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 535

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

    Template for integrating RISC Zero and Ethereum using Foundry

    Rust 122 76

  3. zeth zeth Public

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

    Rust 417 88

  4. demos demos Public

    HTML 56 18

  5. risc0-ethereum risc0-ethereum Public

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

    Rust 154 65

  6. zirgen zirgen Public

    Zirgen compiler and RISC Zero circuits

    C++ 91 18

Repositories

Showing 10 of 79 repositories
  • ghpages Public

    Reports for RISC Zero

    risc0/ghpages’s past year of commit activity
    JavaScript 1 1 0 0 Updated Apr 12, 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,834 Apache-2.0 535 147 (1 issue needs help) 34 Updated Apr 11, 2025
  • kailua Public

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

    risc0/kailua’s past year of commit activity
    Solidity 40 Apache-2.0 13 1 4 Updated Apr 11, 2025
  • zirgen Public

    Zirgen compiler and RISC Zero circuits

    risc0/zirgen’s past year of commit activity
    C++ 91 Apache-2.0 18 4 14 Updated Apr 11, 2025
  • risc0-ui Public

    Building Blocks for Frontend/UI Components

    risc0/risc0-ui’s past year of commit activity
    TypeScript 2 1 0 0 Updated Apr 11, 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 154 Apache-2.0 65 20 (2 issues need help) 13 Updated Apr 10, 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,870 0 1 Updated Apr 8, 2025
  • r0vm-helios Public Forked from succinctlabs/sp1-helios

    On-chain Ethereum light client built with SP1

    risc0/r0vm-helios’s past year of commit activity
    Rust 0 17 0 3 Updated Apr 4, 2025
  • risc0-solana Public
    risc0/risc0-solana’s past year of commit activity
    TypeScript 34 Apache-2.0 8 2 0 Updated Apr 4, 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 417 Apache-2.0 88 3 3 Updated Apr 3, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…