Folding Scheme Protocols
| Protocols | Paper | Implementation | Resources | Universal | Transparent |
|---|---|---|---|---|---|
| Nova - 2021 | →📝 | microsoft | |||
| Supernova - 2022 | →📝 | jules | Champagne supernova: lambdaclass | ||
| Hypernova - 2023 | →📝 | CCS: Customizable constraintsystems for succinct arguments | |||
| Sangria - 2023 | →📝 | Blog | |||
| Protostar - 2023 | →📝 |
