Skip to content
Change the repository type filter

All

    Repositories list

    • pico

      Public
      Rust
      Apache License 2.0
      50102914Updated Jun 15, 2026Jun 15, 2026
    • zkCoprocessor Doc
      1200Updated Jun 8, 2026Jun 8, 2026
    • Solidity
      MIT License
      3302Updated May 20, 2026May 20, 2026
    • rsp

      Public
      A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
      Rust
      Apache License 2.0
      89000Updated May 8, 2026May 8, 2026
    • bn

      Public
      Pairing cryptography library in Rust
      Rust
      Apache License 2.0
      145000Updated May 8, 2026May 8, 2026
    • Rust
      1100Updated May 7, 2026May 7, 2026
    • Rust
      2000Updated May 6, 2026May 6, 2026
    • HTML
      2000Updated Apr 30, 2026Apr 30, 2026
    • 0000Updated Apr 28, 2026Apr 28, 2026
    • pico-docs

      Public
      0000Updated Apr 28, 2026Apr 28, 2026
    • revm

      Public
      Rust implementation of the Ethereum Virtual Machine.
      Rust
      MIT License
      1k100Updated Apr 22, 2026Apr 22, 2026
    • BNB_ZK_ID_framework contract
      Solidity
      0000Updated Apr 1, 2026Apr 1, 2026
    • Collection of pure Rust elliptic curve implementations: NIST P-224, P-256, P-384, P-521, secp256k1, SM2
      Rust
      282100Updated Mar 30, 2026Mar 30, 2026
    • Go
      GNU General Public License v3.0
      0001Updated Mar 21, 2026Mar 21, 2026
    • 0000Updated Mar 20, 2026Mar 20, 2026
    • Brevis Pico Proving Service
      Rust
      1203Updated Mar 19, 2026Mar 19, 2026
    • Solidity
      MIT License
      62203Updated Mar 10, 2026Mar 10, 2026
    • Rust
      MIT License
      2500Updated Mar 9, 2026Mar 9, 2026
    • kzg-rs

      Public
      Rust
      MIT License
      1000Updated Mar 3, 2026Mar 3, 2026
    • bls12_381

      Public
      Implementation of the BLS12-381 pairing-friendly elliptic curve group
      Rust
      Other
      209000Updated Mar 3, 2026Mar 3, 2026
    • Python
      Apache License 2.0
      3001Updated Mar 2, 2026Mar 2, 2026
    • Cryptographic signature algorithms: DSA, ECDSA, Ed25519
      Rust
      194100Updated Feb 27, 2026Feb 27, 2026
    • An implementation of Keccak derived functions specified in FIPS-202, SP800-185 and KangarooTwelve
      Rust
      Creative Commons Zero v1.0 Universal
      63100Updated Feb 27, 2026Feb 27, 2026
    • A pure-Rust implementation of group operations on Ristretto and Curve25519
      Rust
      Other
      590000Updated Feb 27, 2026Feb 27, 2026
    • hashes

      Public
      Collection of cryptographic hash functions written in pure Rust
      Rust
      324001Updated Feb 27, 2026Feb 27, 2026
    • rrs-pico

      Public
      Rust RISC-V Simulator
      Rust
      Other
      14000Updated Feb 26, 2026Feb 26, 2026
    • incentra-docs.brevis.network
      0000Updated Feb 26, 2026Feb 26, 2026
    • SDK for writing application circuits on Brevis
      Go
      MIT License
      273318Updated Feb 26, 2026Feb 26, 2026
    • rust

      Public
      Empowering everyone to build reliable and efficient software.
      Rust
      Apache License 2.0
      15k000Updated Feb 26, 2026Feb 26, 2026
    • soundcalc

      Public
      A universal soundness calculator across FRI-based zkEVMs and security regimes
      Python
      26100Updated Feb 19, 2026Feb 19, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.