- naive experiments, measurements etc
- e2e fri POC with cross platform code, Fiat Shamir based on merlin library, no extension field support yet.
- Sumcheck API example and measurement
- examples with predefined program
- writing Nova (relaxed r1cs) with program
- Basefold
- STIR
- WHIR
- Send me your wishlist ":)"