Range Proof

Used in anonymous payments like Monero

Used libraries: EcPy

Curve: bn254, base points generated by generators.py

Usage

Run python3 range_verify.py

Provable value is defined in range_create.py.

range_create.py generates a values to verify

range_verify.py verifies the results, generated by create()

Specs

Proof of n bit value.

Size: 3 scalars, 2*log(n) + 2 EC points, 1 hidden value

Verify operations: 2log(n) + 6 ec_mul, 2log(n) + 5 ec_add