Open DavePearce opened 4 weeks ago
See also #127
Currently, byte@prove annotations generate large amounts of additional constraints. After various discussions, the conclusion is they should use range proofs. Therefore, this issue is to action that.
byte@prove
See also #127
Currently,
byte@proveannotations generate large amounts of additional constraints. After various discussions, the conclusion is they should use range proofs. Therefore, this issue is to action that.