plonk arithmetization with fri commitments
PlonK SNARK + FRI poly commitment = Plonky2. Made from scratch.