Linking pages
- How to transform code into arithmetic circuits https://www.notamonadtutorial.com/how-to-transform-code-into-arithmetic-circuits/ 3 comments
- Champagne SuperNova, incrementally verifiable computation https://www.notamonadtutorial.com/champagne-supernova-incrementally-verifiable-computation-2/ 2 comments
- Decentralized private computation: ZEXE and VERI-ZEXE https://www.notamonadtutorial.com/decentralized-private-computations-zexe-and-veri-zexe/ 0 comments
- Proof aggregation schemes: SnarkPack and aPlonk https://www.notamonadtutorial.com/proof-aggregation-schemes/ 0 comments
Linked pages
Related searches:
Search whole site: site:www.notamonadtutorial.com
Search title: The hunting of the (zk)-SNARK
See how to search.