Integrate with SONIC proof system

[osuketh]

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

[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

[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