emp-toolkit / emp-zk

Efficient and Interactive Zero-Knowledge Proofs
Other
77 stars 18 forks source link

Bug fix on rhs of bit equality #27

Closed SecantZhang closed 1 year ago

SecantZhang commented 1 year ago

The size of rhs in the bit equality should be block_sz=64 instead of val_sz=640, which caused the tests to fail.