Skip to content
Change the repository type filter

All

    Repositories list

    • The interface of Pinto at https://pinto.money
      TypeScript
      MIT License
      6000Updated Mar 27, 2026Mar 27, 2026
    • TypeScript
      1001Updated Dec 20, 2025Dec 20, 2025
    • TypeScript
      1000Updated Sep 22, 2025Sep 22, 2025
    • 0100Updated Jun 24, 2025Jun 24, 2025
    • babylon-finality-provider

      Public
      Babylon Finality Provider Daemon
      Rust
      1001Updated Jun 6, 2025Jun 6, 2025
    • mode-proxy
      Rust
      0000Updated Feb 22, 2025Feb 22, 2025
    • allora-proxy

      Public
      allora-proxy
      Rust
      0000Updated Feb 20, 2025Feb 20, 2025
    • docs

      Public
      Official Spicenet documentation
      1001Updated Aug 15, 2024Aug 15, 2024
    • Lighthouse fork to research ethereum fork-choice
      Rust
      Apache License 2.0
      997000Updated Aug 12, 2024Aug 12, 2024
    • sokoban

      Public
      Compact, efficient data structures in contiguous byte arrays
      Rust
      MIT License
      22000Updated Jul 25, 2024Jul 25, 2024
    • Compiler from MidenIR to Miden Assembly
      Rust
      MIT License
      70000Updated Jul 18, 2024Jul 18, 2024
    • Rust
      73000Updated Jul 12, 2024Jul 12, 2024
    • High performance EraVM for zkSync.
      Rust
      Apache License 2.0
      12000Updated Jun 10, 2024Jun 10, 2024
    • spicenet-specs

      Public archive
      0100Updated Jun 6, 2024Jun 6, 2024
    • Boojum, the scariest SNARK implementation.
      Rust
      Other
      86000Updated May 30, 2024May 30, 2024
    • Go
      Other
      192000Updated May 30, 2024May 30, 2024
    • Nitro goes vroom and fixes everything
      Go
      Other
      720000Updated May 30, 2024May 30, 2024
    • A monorepo containing all the custom components of the Astria network, a decentralized system that replaces traditional sequencers, offering a shared, permissio…
      Rust
      Apache License 2.0
      96000Updated May 30, 2024May 30, 2024
    • RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
      C++
      Apache License 2.0
      704000Updated May 30, 2024May 30, 2024
    • sp1-fork

      Public
      A performant, 100% open-source, contributor-friendly zkVM.
      Rust
      Apache License 2.0
      642000Updated May 30, 2024May 30, 2024
    • lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing custo…
      Rust
      Apache License 2.0
      189000Updated May 23, 2024May 23, 2024
    • groth16

      Public
      A Rust implementation of the Groth16 zkSNARK
      Rust
      Apache License 2.0
      147000Updated May 19, 2024May 19, 2024
    • stwo-fork

      Public
      Rust
      Apache License 2.0
      172000Updated May 18, 2024May 18, 2024
    • A STARK prover and verifier for arbitrary computations
      Rust
      MIT License
      227000Updated May 9, 2024May 9, 2024
    • halo2

      Public
      The Halo2 zero-knowledge proving system
      Rust
      Other
      586000Updated Apr 29, 2024Apr 29, 2024
    • Solana SVM, modularized.
      Rust
      9000Updated Apr 24, 2024Apr 24, 2024
    • Fork of polygon plonky3 for PLONK and STARK proof systems.
      Rust
      Apache License 2.0
      414000Updated Apr 21, 2024Apr 21, 2024
    • plonky2

      Public
      Fork of polygon plonky2 for PLONK and STARK proof systems
      Rust
      Apache License 2.0
      352000Updated Apr 19, 2024Apr 19, 2024
    • STARK-based virtual machine
      Rust
      MIT License
      281000Updated Apr 17, 2024Apr 17, 2024
    • bold-fork

      Public
      Efficient, all-vs-all dispute protocol for Optimistic Rollups
      Solidity
      Other
      35000Updated Apr 15, 2024Apr 15, 2024
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.