Skip to content
Change the repository type filter

All

    Repositories list

    • plonky2

      Public
      Rust
      Apache License 2.0
      290781214Updated Nov 22, 2024Nov 22, 2024
    • zk_evm

      Public
      Rust
      Apache License 2.0
      38868410Updated Nov 22, 2024Nov 22, 2024
    • paladin

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

      Public
      Rust
      3371Updated 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.1k030Updated 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
    • 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
      41031Updated Oct 29, 2024Oct 29, 2024
    • 0000Updated Aug 28, 2024Aug 28, 2024
    • Proving historical Ethereum transactions using the Plonky2 zkEVM
      Rust
      Apache License 2.0
      101523Updated Jul 26, 2024Jul 26, 2024
    • zero-bin

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

      Public
      Number theoretic functions, such as primality testing and factorization, for BigUints
      Rust
      Apache License 2.0
      0400Updated 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
      139020Updated May 8, 2024May 8, 2024
    • u32 arithmetic gadgets for plonky2
      Rust
      Apache License 2.0
      22202Updated Apr 24, 2024Apr 24, 2024
    • Sage
      MIT License
      2400Updated 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
      221805Updated 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
      2300Updated Mar 28, 2023Mar 28, 2023
    • list-insertion gadget for plonky2
      Rust
      Apache License 2.0
      0100Updated Mar 3, 2023Mar 3, 2023
    • permutation gadgets using the Waksman network for plonky2
      Rust
      Apache License 2.0
      0100Updated Mar 3, 2023Mar 3, 2023
    • Plonky2 Semaphore example for ZKHack
      Rust
      122611Updated Mar 8, 2022Mar 8, 2022
    • plonky

      Public archive
      Recursive SNARKs based on Plonk and Halo
      Rust
      1411362Updated Oct 19, 2021Oct 19, 2021
    • r1cs

      Public
      A Rust library for building R1CS gadgets
      Rust
      58900Updated Oct 14, 2021Oct 14, 2021
    • yultsur

      Public
      Yultsur is a Rust implementation of Yul.
      Rust
      GNU General Public License v3.0
      26100Updated Jul 2, 2021Jul 2, 2021