Skip to content
Change the repository type filter

All

    Repositories list

    • Aligned is a verification layer for zero-knowledge proofs using EigenLayer. Our mission is to accelerate the adoption of zero-knowledge and validity proofs on Ethereum.
      Rust
      39127815327Updated Jan 7, 2026Jan 7, 2026
    • rust

      Public
      Rust fork to be used with Lambda VM
      Rust
      0000Updated Jan 6, 2026Jan 6, 2026
    • zk_arcade

      Public
      Aligned ZK Games
      TypeScript
      26174Updated Dec 3, 2025Dec 3, 2025
    • Go
      0000Updated Oct 17, 2025Oct 17, 2025
    • 0000Updated Oct 1, 2025Oct 1, 2025
    • go-rapidsnark
      Go
      7000Updated Aug 29, 2025Aug 29, 2025
    • Go implementation of the Groth16 zkSNARK Prover and Verifier compatible with Circom
      Go
      14000Updated Jun 18, 2025Jun 18, 2025
    • zk_sudoku

      Public
      Rust
      1000Updated Jun 13, 2025Jun 13, 2025
    • Solidity
      118002Updated May 21, 2025May 21, 2025
    • HTML
      326193Updated Apr 15, 2025Apr 15, 2025
    • sp1

      Public
      The fastest, most feature-complete zkVM for developers.
      Rust
      596000Updated Apr 9, 2025Apr 9, 2025
    • Example repo for pages configuration for EigenLayer Operator Metadata
      0000Updated Mar 25, 2025Mar 25, 2025
    • risc0

      Public
      RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
      C++
      679000Updated Mar 5, 2025Mar 5, 2025
    • Go SDK for building AVSs on Eigenlayer
      Go
      67000Updated Jan 14, 2025Jan 14, 2025
    • zkRust

      Public
      Rust
      144344Updated Oct 26, 2024Oct 26, 2024
    • The Rust Playground
      Rust
      252200Updated Sep 13, 2024Sep 13, 2024
    • Transcripts of Aligned Media Archive
      1301Updated Aug 23, 2024Aug 23, 2024
    • Rust
      574000Updated Aug 15, 2024Aug 15, 2024
    • zeth

      Public
      A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM
      Rust
      97000Updated Jul 22, 2024Jul 22, 2024
    • Rust
      574000Updated Jun 27, 2024Jun 27, 2024
    • Email verification circuit in halo2
      Rust
      12100Updated Jun 27, 2024Jun 27, 2024
    • Yet Another Bridge is the most affordable, fastest and secure solution to bridge from Starknet to Ethereum
      Cairo
      411264Updated Jun 16, 2024Jun 16, 2024
    • ethers-rs

      Public
      Complete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers
      Rust
      783000Updated Jun 14, 2024Jun 14, 2024
    • A curated list of resources to become aligned 🟩
      31700Updated May 7, 2024May 7, 2024
    • Go
      1100Updated Apr 17, 2024Apr 17, 2024
    • 0200Updated Jan 26, 2024Jan 26, 2024