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 | →📝 |