Integrate with SONIC proof system

Open osuketh opened this issue 6 years ago • 2 comments

Implement SONIC as experimental work. paper: https://eprint.iacr.org/2019/099.pdf code: https://github.com/zknuckles/sonic, https://github.com/matter-labs/bellman/tree/sonic/src/sonic

Apr 03 '19 15:04 osuketh

Reference for W-ary Non-Adjacent Form

https://crypto.stackexchange.com/questions/25225/non-adjacent-form-of-an-integer-is-unique
https://en.wikipedia.org/wiki/Elliptic_curve_point_multiplication#w-ary_non-adjacent_form_(wNAF)_method

Apr 10 '19 09:04 osuketh

Reference for polynomial commitment

Constant-Size Commitments to Polynomials and Their Applications
https://eprint.iacr.org/2001/107.pdf

Reference for constraint system https://eprint.iacr.org/2017/872.pdf

Apr 11 '19 04:04 osuketh