DOCSEARCHbyAlgolia
Submit Docs

RISC Zero zkVM Documentation

website·Indexed 35 days ago

https://dev.risczero.com

Developer documentation for the RISC Zero zkVM, featuring guides on recursive proving, guest code execution, and the STARK-based proof system. Includes technical specifications for the zkVM execution model, profiling, debugging with gdb, and tutorials for creating zkVM applications across versions 1.0 through 3.0.

Tokens
135.6K
Snippets
563
Records
1.2K
Agent score
61%

What's inside RISC Zero

  1. Overview of RISC Zero Secure Software Development Life Cycle (S-SDLC)

    RISC Zero employs a risk-based approach to security throughout the product and software development life-cycle. The process is driven by external critiques, escape analysis of production defects, industry frameworks (NIST SSDF, ISO 27002:2022, BSIMM 14, OWASP SAAAM), and a maturity framework called FACTORS (Friction, Automation, Coverage, Timing, Opportunity cost, Remediation maturity, and Security resilience).

  2. Overview of RISC Zero Cryptographic Accelerators

    The RISC Zero rv32im implementation includes specialized extension circuits called 'accelerators' for cryptographic functions. These accelerators implement operations directly in the zkVM 'hardware', allowing programs to execute faster and be proven with significantly fewer resources. Currently, accelerators are available for SHA-256 and 256-bit modular multiplication (referred to as 'bigint' multiplication).

  3. Overview of RISC Zero Secure Software Development Life Cycle (SSDLC)

    RISC Zero employs a risk-based approach to security throughout the product development life cycle, utilizing a maturity framework called FACTORS (Friction, Automation, Coverage, Timing, Opportunity cost, Remediation maturity, and Security resilience). The process is informed by industry frameworks including NIST SSDF, ISO 27002:2022, BSIMM 14, and OWASP SAMM.

  4. Overview of RISC Zero zkVM capabilities

    The RISC Zero zkVM allows developers to prove the correct execution of arbitrary code using mature languages like Rust and C++. This eliminates the need for developers to manually build circuits or use custom cryptographic languages, enabling the creation of Zero-Knowledge (ZK) applications without requiring advanced mathematics or cryptography expertise. The zkVM supports GPU acceleration (CUDA and Metal) and utilizes 'continuations' to enable parallel proving of large programs.

  5. Overview of RISC Zero verifiable computation components

    RISC Zero provides an end-to-end solution for verifiable computation, allowing developers to generate proofs for the correct execution of Rust code and verify them on-chain (e.g., on Ethereum Sepolia). The system consists of five primary components:

    1. cargo risczero tool: Compiles Rust code into deterministic RISC-V ELF binaries.
    2. RISC-V Prover: Executes and proves the execution of the ELF binaries.
    3. Recursion Prover: Aggregates proofs from the RISC-V Prover using specific programs (e.g., lift, join, resolve) identified by a control ID and control root.
    4. STARK-to-SNARK Prover: Compresses STARK proofs from the Recursion Prover into Groth16 SNARKs for efficient on-chain verification. It uses the control root as a public input to allow RISC-V Prover updates without a new trusted setup.
    5. On-chain verifier contracts: Verifies Groth16 proofs. The control root is hard-coded into these contracts.

  6. Overview of RISC Zero zkVM capabilities

    The RISC Zero zkVM allows developers to prove the correct execution of arbitrary code using mature languages like Rust and C++. Its primary advantage is that it enables the creation of Zero-Knowledge (ZK) applications without requiring the developer to build a custom circuit or use a specialized ZK language, removing the need for advanced mathematics or cryptography background.

  7. Overview of RISC Zero Secure Development Life Cycle (SDLC)

    RISC Zero employs a risk-based approach to security throughout its product and software development life cycle, consisting of five key phases: Plan, Design, Develop, Verify, and Release. The process is evolved using external critiques, escape analysis of production defects, industry frameworks (such as NIST SSDF, ISO 27002:2022, BSIMM 14, and OWASP SAMM), and a maturity framework called FACTORS (Friction, Automation, Coverage, Timing, Opportunity cost, Remediation maturity, and Security resilience).

  8. Overview of RISC Zero zkVM capabilities

    The RISC Zero zkVM allows developers to prove the correct execution of arbitrary code using mature languages like Rust and C++. This eliminates the need for developers to build custom circuits or learn specialized ZK languages, enabling the creation of zero-knowledge applications without advanced backgrounds in mathematics or cryptography. The platform supports GPU acceleration (CUDA and Metal) and parallel proving of large programs via continuations.

  9. Overview of RISC Zero zkVM capabilities

    The RISC Zero zkVM allows developers to prove the correct execution of arbitrary code using mature languages like Rust and C++. Its primary advantage is enabling the creation of Zero-Knowledge (ZK) applications without the need to manually build circuits or use custom ZK-specific languages. The zkVM supports GPU acceleration (CUDA and Metal) and utilizes 'continuations' to enable parallel proving for large programs.

  10. Overview of RISC Zero zkVM capabilities

    The RISC Zero zkVM allows developers to prove the correct execution of arbitrary code using mature languages like Rust and C++. This eliminates the need to manually build circuits or use custom ZK-specific languages. Because it supports a large portion of the Rust ecosystem (over 70% of the top 1000 Rust crates work out-of-the-box), developers can build ZK applications without advanced backgrounds in mathematics or cryptography. The platform includes GPU acceleration for CUDA and Metal, and supports parallel proving of large programs via continuations.

  11. Overview of RISC Zero Secure Software Development Life Cycle (S-SDLC)

    RISC Zero employs a risk-based approach to security throughout the product and software development life-cycle. The process is evolved based on external critique, production defect escape analysis, industry frameworks (NIST SSDF, ISO 27002:2022, BSIMM 14, OWASP SAAAM), and a maturity framework called FACTORS (Friction, Automation, Coverage, Timing, Opportunity cost, Remediation maturity, and Security resilience).

  12. Overview of RISC Zero Secure Development Life Cycle (SSDLC)

    RISC Zero employs a risk-based approach to security throughout the product development life-cycle, utilizing a maturity framework called FACTORS to self-assess process maturity across seven dimensions: Friction, Automation, Coverage, Timing, Opportunity cost, Remediation maturity, and Security resilience. The process is informed by industry frameworks including NIST SSDF, ISO 27002:2022, BSIMM 14, and OWASP SAMM.