Polygon Zero's repositories
r1cs-workshop
Notes for the R1CS programming workshop at ZK0x04
plonky2-semaphore
Plonky2 Semaphore example for ZKHack
hyperstark
Early prototype.
plonky2-ecdsa
ECDSA gadgets for plonky2
eth-tx-proof
Proving historical Ethereum transactions using the Plonky2 zkEVM
proof-protocol-decoder
Common protocol for generating ZK proofs for blocks on different blockchains.
r1cs-zkinterface
Compiles r1cs gadgets to the zkinterface format
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.
system-zero
An obsolete zkVM from Polygon Zero
plonky2-u32
u32 arithmetic gadgets for plonky2
eth-pos-devnet-provable
An eth PoS devnet which is provable using the Polygon Type1 Prover
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
jerigon-test-network
Local jerigon network and smart contracts used to generate input for zero_bin/zk_evm
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-waksman
permutation gadgets using the Waksman network for plonky2