ByNobleID
    Negabinary arithmetic circuits using binary arithmetic | NobleID