search

HarryR / ethsnarks

A toolkit for viable zk-SNARKS on Ethereum, Web, Mobile and Desktop
GNU Lesser General Public License v3.0
240 stars 57 forks source link

Safe add and subtract, move N from A to B, for an `n` bit integer #67

Closed HarryR closed 5 years ago

HarryR commented 5 years ago

Fixes #62 Fixes #64

Subtract N from A, add N to B

Verify that the n bit integers don't overflow.