Name | Proof system | Arithmetization | PCS | Trusted setup | Link |
---|---|---|---|---|---|
FflonkVerifier | fflonk | Plonk | KZG-fflonk | Powers of Tau 28 | Source code |
RecursiveVerifier | eSTARK | eAIR | FRI | No | — |
MainVerifier | eSTARK | eAIR | FRI | No | — |
Name | Proof system | Arithmetization | PCS | Trusted setup | Link |
---|---|---|---|---|---|
PlonkVerifier | Plonk SNARK | Plonk | KZG | Aztec ceremony | Source code |
RecursiveVerifier | Redshift | Plonk | LPC | No | Source code |
MainVerifier | Redshift | Plonk | LPC | No | Source code |