Skip to content
@risc0

RISC Zero

Fixing the Internet, one ZKP at a time

Pinned Loading

  1. risc0 risc0 Public

    RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

    C++ 1.8k 519

  2. risc0-foundry-template risc0-foundry-template Public

    Template for integrating RISC Zero and Ethereum using Foundry

    Rust 121 72

  3. zeth zeth Public

    A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM

    Rust 409 86

  4. demos demos Public

    HTML 55 18

  5. risc0-ethereum risc0-ethereum Public

    Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.

    Rust 135 55

  6. zirgen zirgen Public

    Zirgen compiler and RISC Zero circuits

    C++ 88 16

Repositories

Showing 10 of 78 repositories
  • kailua Public

    The Ultimate ZK Fault/Validity Proof Software Suite for Securing Rollups

    risc0/kailua’s past year of commit activity
    Solidity 35 Apache-2.0 11 1 2 Updated Mar 13, 2025
  • risc0 Public

    RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

    risc0/risc0’s past year of commit activity
    C++ 1,808 Apache-2.0 519 145 (1 issue needs help) 31 Updated Mar 13, 2025
  • ghpages Public

    Reports for RISC Zero

    risc0/ghpages’s past year of commit activity
    JavaScript 1 1 0 0 Updated Mar 13, 2025
  • blst Public Forked from supranational/blst

    Multilingual BLS12-381 signature library

    risc0/blst’s past year of commit activity
    Assembly 0 Apache-2.0 193 0 1 Updated Mar 13, 2025
  • risc0-foundry-template Public

    Template for integrating RISC Zero and Ethereum using Foundry

    risc0/risc0-foundry-template’s past year of commit activity
    Rust 121 72 7 (1 issue needs help) 4 Updated Mar 13, 2025
  • risc0-ethereum Public

    Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.

    risc0/risc0-ethereum’s past year of commit activity
    Rust 135 Apache-2.0 55 19 (2 issues need help) 12 Updated Mar 13, 2025
  • rust Public Forked from rust-lang/rust

    Empowering everyone to build reliable and efficient software.

    risc0/rust’s past year of commit activity
    Rust 2 13,815 0 1 Updated Mar 13, 2025
  • zirgen Public

    Zirgen compiler and RISC Zero circuits

    risc0/zirgen’s past year of commit activity
    C++ 88 Apache-2.0 16 3 14 Updated Mar 12, 2025
  • rz-security Public
    risc0/rz-security’s past year of commit activity
    3 1 0 0 Updated Mar 12, 2025
  • zeth Public

    A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM

    risc0/zeth’s past year of commit activity
    Rust 409 Apache-2.0 86 3 1 Updated Mar 12, 2025