Skip to content

@0xPolygonZero Polygon Zero

Change the repository type filter

All

    Repositories list

    40 repositories

    • sp1

      Public
      The fastest, most feature-complete zkVM for developers.
      Rust
      •
      Apache License 2.0
      •559•0•0•0•Updated Aug 8, 2025Aug 8, 2025

    • plonky2

      Public
      Rust
      •
      Apache License 2.0
      •330•828•25•13•Updated Jul 1, 2025Jul 1, 2025

    • hash-constants

      Public
      Sage
      •
      MIT License
      •3•5•0•0•Updated Jun 11, 2025Jun 11, 2025

    • binius

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

    • zk_evm

      Public
      Rust
      •
      Apache License 2.0
      •45•96•82•9•Updated May 2, 2025May 2, 2025

    • agglayer

      Public
      Rust implementation of the Agglayer.
      Rust
      •
      Apache License 2.0
      •51•0•0•0•Updated 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
      •72•0•0•0•Updated 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
      •4•10•2•0•Updated Dec 2, 2024Dec 2, 2024

    • paladin

      Public
      Bringing divine order to remote task execution.
      Rust
      •
      Apache License 2.0
      •6•27•1•0•Updated Nov 25, 2024Nov 25, 2024

    • zeth

      Public
      Rust
      •2•3•7•0•Updated Nov 19, 2024Nov 19, 2024

    • alloy-compat

      Public
      conversions between `ethereum_types` and `alloy_primitives`
      Rust
      •0•0•0•0•Updated Nov 7, 2024Nov 7, 2024

    • erigon

      Public
      Ethereum implementation on the efficiency frontier
      Go
      •
      GNU Lesser General Public License v3.0
      •1.3k•0•3•0•Updated Nov 7, 2024Nov 7, 2024

    • jerigon-test-network

      Public
      Local jerigon network and smart contracts used to generate input for zero_bin/zk_evm
      TypeScript
      •
      Apache License 2.0
      •0•1•0•0•Updated Nov 5, 2024Nov 5, 2024

    • 0xPolygonZero.github.io

      Public
      0•0•0•0•Updated Aug 28, 2024Aug 28, 2024

    • eth-tx-proof

      Public
      Proving historical Ethereum transactions using the Plonky2 zkEVM
      Rust
      •
      Apache License 2.0
      •11•14•2•4•Updated Jul 26, 2024Jul 26, 2024

    • zero-bin

      Public archive
      plonky2 proving over paladin
      Rust
      •
      Apache License 2.0
      •13•22•0•0•Updated Jun 19, 2024Jun 19, 2024

    • nums

      Public
      Number theoretic functions, such as primality testing and factorization, for BigUints
      Rust
      •
      Apache License 2.0
      •1•3•0•0•Updated Jun 16, 2024Jun 16, 2024

    • eth-trie-tools

      Public
      Various debugging tools for working with tries for `eth_trie_utils`.
      Rust
      •2•1•3•0•Updated Jun 13, 2024Jun 13, 2024

    • eth-pos-devnet-provable

      Public
      An eth PoS devnet which is provable using the Polygon Type1 Prover
      Makefile
      •
      MIT License
      •165•1•2•0•Updated May 8, 2024May 8, 2024

    • plonky2-u32

      Public
      u32 arithmetic gadgets for plonky2
      Rust
      •
      Apache License 2.0
      •35•2•0•3•Updated Apr 24, 2024Apr 24, 2024

    • eth_trie_utils

      Public
      Types and utility functions for building/working with partial Ethereum tries
      Rust
      •
      Apache License 2.0
      •5•1•0•0•Updated Feb 15, 2024Feb 15, 2024

    • proof-protocol-decoder

      Public
      Common protocol for generating ZK proofs for blocks on different blockchains.
      Rust
      •
      Apache License 2.0
      •3•10•0•0•Updated Feb 9, 2024Feb 9, 2024

    • plonky-block-proof-gen

      Public archive
      Generates block proofs from proof IR
      Rust
      •
      Apache License 2.0
      •1•6•0•0•Updated Jan 18, 2024Jan 18, 2024

    • plonky-edge-block-trace-parser

      Public
      Logic for parsing a block trace for edge into txn generation payloads for plonky (2 & 3).
      Rust
      •
      Apache License 2.0
      •1•1•0•0•Updated Nov 1, 2023Nov 1, 2023

    • smt_utils

      Public
      Utilities related to the Sparse Merkle Tree used for type2 provers
      Rust
      •
      MIT License
      •0•0•0•0•Updated Nov 1, 2023Nov 1, 2023

    • plonky2-ecdsa

      Public
      ECDSA gadgets for plonky2
      Rust
      •
      Apache License 2.0
      •35•19•0•5•Updated Oct 20, 2023Oct 20, 2023

    • hyperstark

      Public archive
      Early prototype.
      Rust
      •
      Apache License 2.0
      •2•23•0•0•Updated Mar 30, 2023Mar 30, 2023

    • system-zero

      Public
      An obsolete zkVM from Polygon Zero
      Rust
      •
      Apache License 2.0
      •3•3•0•0•Updated Mar 28, 2023Mar 28, 2023

    • plonky2-insertion

      Public
      list-insertion gadget for plonky2
      Rust
      •
      Apache License 2.0
      •1•1•0•0•Updated Mar 3, 2023Mar 3, 2023

    • plonky2-waksman

      Public
      permutation gadgets using the Waksman network for plonky2
      Rust
      •
      Apache License 2.0
      •1•1•0•0•Updated Mar 3, 2023Mar 3, 2023