Skip to content
Change the repository type filter

All

    Repositories list

    • Plonky3

      Public
      A toolkit for polynomial IOPs (PIOPs)
      Rust
      Apache License 2.0
      416103Updated Sep 10, 2025Sep 10, 2025
    • sp1

      Public
      The fastest, most feature-complete zkVM for developers.
      Rust
      Apache License 2.0
      647100Updated Aug 13, 2025Aug 13, 2025
    • plonky2

      Public
      Rust
      Apache License 2.0
      352856250Updated Jul 1, 2025Jul 1, 2025
    • Sage
      MIT License
      3500Updated Jun 11, 2025Jun 11, 2025
    • binius

      Public
      A SNARK using towers of binary fields, implemented in Rust
      Rust
      Apache License 2.0
      66000Updated Jun 11, 2025Jun 11, 2025
    • zk_evm

      Public
      Rust
      Apache License 2.0
      45101827Updated May 2, 2025May 2, 2025
    • agglayer

      Public
      Rust implementation of the Agglayer.
      Rust
      Apache License 2.0
      85000Updated Feb 5, 2025Feb 5, 2025
    • rsp

      Public
      A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
      Rust
      Apache License 2.0
      85000Updated Dec 2, 2024Dec 2, 2024
    • evm-tests

      Public
      Parser and test runner for testing compatable common Ethereum full node tests against Polygon Zero's EVM.
      Rust
      Apache License 2.0
      41020Updated Dec 2, 2024Dec 2, 2024
    • paladin

      Public
      Bringing divine order to remote task execution.
      Rust
      Apache License 2.0
      63010Updated Nov 25, 2024Nov 25, 2024
    • zeth

      Public
      Rust
      2370Updated Nov 19, 2024Nov 19, 2024
    • conversions between `ethereum_types` and `alloy_primitives`
      Rust
      0000Updated Nov 7, 2024Nov 7, 2024
    • erigon

      Public
      Ethereum implementation on the efficiency frontier
      Go
      GNU Lesser General Public License v3.0
      1.5k030Updated Nov 7, 2024Nov 7, 2024
    • Local jerigon network and smart contracts used to generate input for zero_bin/zk_evm
      TypeScript
      Apache License 2.0
      0100Updated Nov 5, 2024Nov 5, 2024
    • 0000Updated Aug 28, 2024Aug 28, 2024
    • Proving historical Ethereum transactions using the Plonky2 zkEVM
      Rust
      Apache License 2.0
      111424Updated Jul 26, 2024Jul 26, 2024
    • zero-bin

      Public archive
      plonky2 proving over paladin
      Rust
      Apache License 2.0
      122200Updated Jun 19, 2024Jun 19, 2024
    • nums

      Public
      Number theoretic functions, such as primality testing and factorization, for BigUints
      Rust
      Apache License 2.0
      1310Updated Jun 16, 2024Jun 16, 2024
    • Various debugging tools for working with tries for `eth_trie_utils`.
      Rust
      2130Updated Jun 13, 2024Jun 13, 2024
    • An eth PoS devnet which is provable using the Polygon Type1 Prover
      Makefile
      MIT License
      163120Updated May 8, 2024May 8, 2024
    • u32 arithmetic gadgets for plonky2
      Rust
      Apache License 2.0
      40303Updated Apr 24, 2024Apr 24, 2024
    • Types and utility functions for building/working with partial Ethereum tries
      Rust
      Apache License 2.0
      5100Updated Feb 15, 2024Feb 15, 2024
    • Common protocol for generating ZK proofs for blocks on different blockchains.
      Rust
      Apache License 2.0
      31000Updated Feb 9, 2024Feb 9, 2024
    • Generates block proofs from proof IR
      Rust
      Apache License 2.0
      1600Updated Jan 18, 2024Jan 18, 2024
    • Logic for parsing a block trace for edge into txn generation payloads for plonky (2 & 3).
      Rust
      Apache License 2.0
      1100Updated Nov 1, 2023Nov 1, 2023
    • smt_utils

      Public
      Utilities related to the Sparse Merkle Tree used for type2 provers
      Rust
      MIT License
      0000Updated Nov 1, 2023Nov 1, 2023
    • ECDSA gadgets for plonky2
      Rust
      Apache License 2.0
      361905Updated Oct 20, 2023Oct 20, 2023
    • hyperstark

      Public archive
      Early prototype.
      Rust
      Apache License 2.0
      22300Updated Mar 30, 2023Mar 30, 2023
    • An obsolete zkVM from Polygon Zero
      Rust
      Apache License 2.0
      3400Updated Mar 28, 2023Mar 28, 2023
    • list-insertion gadget for plonky2
      Rust
      Apache License 2.0
      2100Updated Mar 3, 2023Mar 3, 2023
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.