Contains in progress rust implementation of FRI protocol.
- FRI proof generation
- FRI LDE Verification
- Fiat Shamir
- Goldilocks Field
- Poseidon Hash
- Merkle Tree with generic Hasher
- Cosets
- DEEP-FRI additions
- Merkle cap to fri config
- Proof of work for grinding
- Batched FRI
- Variable step reduction (-arity bits reduction)
- Security Bits / proof size benchmarks