✳flâneur — a map of the web's best reading
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
Explore this link on the map →related reading
- Introducing SP1: A performant, 100% open-source, contributor-friendly zkVM.blog.succinct.xyz
- Zero Knowledge Proofs: An illustrated primer – A Few Thoughts on Cryptographic Engineeringblog.cryptographyengineering.com
- Zero Knowledge Canon, part 1 & 2 - a16z cryptoa16zcrypto.com
- Zero-knowledge proof - Wikipediaen.wikipedia.org
- Hardware Acceleration for Zero Knowledge Proofs - Paradigmparadigm.xyz
- Lecture 14: Zero knowledge proofsboazbarak.org
- Zero-Knowledge Proofs | MIT CSAIL Theory of Computationtoc.csail.mit.edu
- Intern Breakdown #4: Zero-Knowledge Proofsinternbreakdowns.substack.com
- Putting the zk in zkVM: Jolt now supports zero knowledge - a16z cryptoa16zcrypto.com
- Super Computer - by Paul Veradittakit - VeradiVerdictveradiverdict.com
- ZK-Friendly Hash Functions | Zellic — Researchzellic.io
- ProofsArgsAndZK.pdfpeople.cs.georgetown.edu