Ref:
TODO:
- Single polynomial commit and single point opening.
- Fast Fourier Transform and its inverse.
- Optimized version for batch-evaluate, multiply, zerofier and interpolate
- Single polynomial and multiple points opening.
- Multiple polynomials and single point opening.
- Multiple polynomials and multiple points opening.
- Regression Check 1.
- Permutation Argument.
- fiat-shamir
- Lookup table
- Range proof (16bits check based on two 8bits check)
Run:
git submodule init
git submodule update
cargo test --release