Introducing SP1: A performant, 100% open-source, contributor-friendly zkVM.
We’re excited to announce Succinct Processor 1 (SP1): our first-generation zero-knowledge virtual machine (zkVM) that verifies the execution of arbitrary Rust (or any LLVM-compiled language) programs. SP1 targets an order of magnitude performance improvement vs. existing zkVMs—its alpha release is already up to 28x faster for certain programs and competitive with circuit-based approaches. SP1 is a 100% open-source, contributor-friendly public good that takes a collaborative approach towards building the best zkVM for rollups, coprocessors, and other ZKP applications. SP1 is continuously evolving—disrupting the status quo of black-box zkVMs that are hard to customize and keep up to date with the latest proof system advances. Start building with SP1 and contributing today. Zero-knowledge proofs (ZKPs) are a powerful primitive that will enable a new generation of more secure, scalable and innovative blockchain architectures that rely on truth not trust. But ZKP adoption has been held back
Blog / Introducing SP1: A performant, 100% open-source, contributor-friendly zkVM. Outline We’re excited to announce Succinct Processor 1 (SP1): our first-generation zero-knowledge virtual machine (zkVM) that verifies the execution of arbitrary Rust (or any LLVM-compiled language) programs. SP1 targets an order of magnitude performance improvement vs. existing zkVMs—its alpha release is already up to 28x faster for certain programs and competitive with circuit-based approaches. SP1 is a 100% open-source, contributor-friendly public good that takes a collaborative approach towards building the
Explore this link on the map →saved by
related reading
- Zero Knowledge Canon, part 1 & 2 - a16z cryptoa16zcrypto.com
- Super Computer - by Paul Veradittakit - VeradiVerdictveradiverdict.com
- Benefits of EOF (EVM Object Format) for Zero Knowledge Proofsblog.succinct.xyz
- Hardware Acceleration for Zero Knowledge Proofs - Paradigmparadigm.xyz
- Understanding Jolt: Clarifications and reflections - a16z cryptoa16zcrypto.com
- Putting the zk in zkVM: Jolt now supports zero knowledge - a16z cryptoa16zcrypto.com
- Intern Breakdown #4: Zero-Knowledge Proofsinternbreakdowns.substack.com
- 17 misconceptions about SNARKs - a16z cryptoa16zcrypto.com
- Building Jolt: A fast, easy-to-use zkVM - a16z cryptoa16zcrypto.com
- GitHub - risc0/risc0: RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture. · GitHubgithub.com
- ZK-Friendly Hash Functions | Zellic — Researchzellic.io
- Aleo: Can You Keep a Secret?notboring.co