Fast zk proving system combining PLONK like constraints with FRI, optimized for recursion. ← Pedersen Commitment Quadratic Funding →