Negative numbers and less than tests

iden3 / circuits

Circom circuits used by the iden3 core protocol.

GNU General Public License v3.0

82 stars 14 forks source link

Negative numbers and less than tests #43

Closed OBrezhniev closed 1 year ago

OBrezhniev commented 2 years ago

WASM witness generator gives incorrect (and different from C++ witness generator) values for negative numbers. Depends on https://github.com/iden3/circom_tester/pull/11 - otherwise c tester fails.

OBrezhniev commented 1 year ago

Some of the tests are disabled while we are not supporting negative numbers and cpp witness calc stopped accepting them too. Kept folder org as it was - it follows the structure of circomlib.