risc0/risc0: RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
github.com · 951 words · saved by 1 readers
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
Important main is the development branch. When building applications or running examples, use the latest release instead. RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture. A zero knowledge proof allows one party (the prover) to convince another party (the verifier) that something is true without revealing all the details. In the case of RISC Zero, the prover can show that they correctly executed some code (known to both parties), while only revealing to the verifier the output of the code, not any of its inputs or any state
related reading
- Zero-knowledge proof - Wikipediaen.wikipedia.org
- Zero Knowledge Proofs: An illustrated primer – A Few Thoughts on Cryptographic Engineeringblog.cryptographyengineering.com
- Introducing SP1: A performant, 100% open-source, contributor-friendly zkVM.blog.succinct.xyz
- Zero Knowledge Canon, part 1 & 2 - a16z cryptoa16zcrypto.com
- Lecture 14: Zero knowledge proofsboazbarak.org
- Hardware Acceleration for Zero Knowledge Proofs - Paradigmparadigm.xyz
- 0xPARC0xparc.org
- Succinct raises $55M led by Paradigm to make zero-knowledge proofs accessible to any developerblog.succinct.xyz
- Zero-Knowledge Proofs | MIT CSAIL Theory of Computationtoc.csail.mit.edu
- Intern Breakdown #4: Zero-Knowledge Proofsinternbreakdowns.substack.com
- STARK-paper.pdfstarkware.co
- Succinct: deep dive — a base layer for zero-knowledgemedium.com