Polygon Zero

plonky2

plonky

Recursive SNARKs based on Plonk and Halo

r1cs

A Rust library for building R1CS gadgets

zk_evm

r1cs-workshop

Notes for the R1CS programming workshop at ZK0x04

plonky2-semaphore

Plonky2 Semaphore example for ZKHack

hyperstark

Early prototype.

zero-bin

plonky2 proving over paladin

paladin

Bringing divine order to remote task execution.

plonky2-ecdsa

ECDSA gadgets for plonky2

eth-tx-proof

Proving historical Ethereum transactions using the Plonky2 zkEVM

r1cs-bellman

Bellman backend for the r1cs crate

proof-protocol-decoder

Common protocol for generating ZK proofs for blocks on different blockchains.

r1cs-zkinterface

Compiles r1cs gadgets to the zkinterface format

evm-tests

Parser and test runner for testing compatable common Ethereum full node tests against Polygon Zero's EVM.

plonky-block-proof-gen

Generates block proofs from proof IR

commitment-set-poc

This is a proof-of-concept implementation of Mir's Commitment Set storage model, which is based on the Modified Huffman coding.

hash-constants

nums

Number theoretic functions, such as primality testing and factorization, for BigUints

system-zero

An obsolete zkVM from Polygon Zero

eth-trie-tools

Various debugging tools for working with tries for `eth_trie_utils`.

eth_trie_utils

Types and utility functions for building/working with partial Ethereum tries

plonky-edge-block-trace-parser

Logic for parsing a block trace for edge into txn generation payloads for plonky (2 & 3).

plonky2-insertion

list-insertion gadget for plonky2

plonky2-u32

u32 arithmetic gadgets for plonky2

plonky2-waksman

permutation gadgets using the Waksman network for plonky2

yultsur

Yultsur is a Rust implementation of Yul.

erigon

Ethereum implementation on the efficiency frontier

eth-pos-devnet-provable

An eth PoS devnet which is provable using the Polygon Type1 Prover

smt_utils

Utilities related to the Sparse Merkle Tree used for type2 provers