Skip to content
Change the repository type filter

All

    Repositories list

    • ethproofs

      Public
      the race to prove Ethereum in real-time
      TypeScript
      56135180Updated Jan 9, 2026Jan 9, 2026
    • WebAssembly bindings for the ZisK STARK verifier.
      HTML
      1000Updated Dec 22, 2025Dec 22, 2025
    • Ethereum consensus client in Rust
      Rust
      953000Updated Dec 18, 2025Dec 18, 2025
    • HTML
      2101Updated Dec 11, 2025Dec 11, 2025
    • HTML
      4001Updated Dec 9, 2025Dec 9, 2025
    • HTML
      1000Updated Dec 2, 2025Dec 2, 2025
    • RISC-V prover system for ZKsync OS
      Rust
      27000Updated Nov 21, 2025Nov 21, 2025
    • pico

      Public
      Rust
      48000Updated Nov 20, 2025Nov 20, 2025
    • HTML
      0000Updated Nov 19, 2025Nov 19, 2025
    • HTML
      0000Updated Nov 19, 2025Nov 19, 2025
    • sp1

      Public
      SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
      Rust
      598000Updated Nov 13, 2025Nov 13, 2025
    • pm

      Public
      Project Management: Task issues and project boards
      0090Updated Oct 26, 2025Oct 26, 2025
    • Rust
      5000Updated Oct 25, 2025Oct 25, 2025
    • .github

      Public
      README for GH org
      0100Updated Sep 25, 2025Sep 25, 2025
    • PetraVM

      Public
      A verifiable supercomputer
      Rust
      7000Updated Sep 20, 2025Sep 20, 2025
    • risc0

      Public
      RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
      C++
      680000Updated Sep 18, 2025Sep 18, 2025
    • WebGPU MSM implementation
      Rust
      3000Updated Sep 13, 2025Sep 13, 2025