Polygon Zero

Polygon Zero develops tools for cryptographic verification of blockchain systems including STARKs for proving EVM Execution

Pinned Repositories

bft-simulation
Simulation of several BFT consensus algorithms for benchmarking
Language:Java24 4 011
hyperstark
Early prototype.
Language:Rust23 5 01
paladin
Bringing divine order to remote task execution.
Language:Rust17 5 13
plonky
Recursive SNARKs based on Plonk and Halo
Language:Rust109 7 1613
plonky2
Language:Rust725 32 156258
plonky2-semaphore
Plonky2 Semaphore example for ZKHack
Language:Rust25 4 110
r1cs
A Rust library for building R1CS gadgets
Language:Rust87 10 25
r1cs-workshop
Notes for the R1CS programming workshop at ZK0x04
Language:TeX29 4 04
zero-bin
plonky2 proving over paladin
Language:Rust24 4 2911
zk_evm
Language:Rust65 13 8017

Polygon Zero's Repositories

0xPolygonZero/plonky2
Language:Rust725 32 156258
0xPolygonZero/plonky
Recursive SNARKs based on Plonk and Halo
Language:Rust109 7 1613
0xPolygonZero/r1cs
A Rust library for building R1CS gadgets
Language:Rust87 10 25
0xPolygonZero/zk_evm
Language:Rust65 13 8017
0xPolygonZero/r1cs-workshop
Notes for the R1CS programming workshop at ZK0x04
Language:TeX29 4 04
0xPolygonZero/plonky2-semaphore
Plonky2 Semaphore example for ZKHack
Language:Rust25 4 110
0xPolygonZero/zero-bin
plonky2 proving over paladin
Language:Rust24 4 2911
0xPolygonZero/hyperstark
Early prototype.
Language:Rust23 5 01
0xPolygonZero/plonky2-ecdsa
ECDSA gadgets for plonky2
Language:Rust18 5 117
0xPolygonZero/paladin
Bringing divine order to remote task execution.
Language:Rust17 5 13
0xPolygonZero/eth-tx-proof
Proving historical Ethereum transactions using the Plonky2 zkEVM
Language:Rust15 8 68
0xPolygonZero/r1cs-bellman
Bellman backend for the r1cs crate
Language:Rust11 7 03
0xPolygonZero/proof-protocol-decoder
Common protocol for generating ZK proofs for blocks on different blockchains.
Language:Rust10 4 13
0xPolygonZero/r1cs-zkinterface
Compiles r1cs gadgets to the zkinterface format
Language:Rust10 6 13
0xPolygonZero/evm-tests
Parser and test runner for testing compatable common Ethereum full node tests against Polygon Zero's EVM.
Language:Rust7 5 103
0xPolygonZero/plonky-block-proof-gen
Generates block proofs from proof IR
Language:Rust6 4 11
0xPolygonZero/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.
Language:Python4 4 01
0xPolygonZero/hash-constants
Language:Sage4 5 01
0xPolygonZero/nums
Number theoretic functions, such as primality testing and factorization, for BigUints
Language:Rust4 3 0
0xPolygonZero/system-zero
An obsolete zkVM from Polygon Zero
Language:Rust3 5 02
0xPolygonZero/eth-trie-tools
Various debugging tools for working with tries for `eth_trie_utils`.
Language:Rust1 6 71
0xPolygonZero/eth_trie_utils
Types and utility functions for building/working with partial Ethereum tries
Language:Rust1 6 04
0xPolygonZero/plonky-edge-block-trace-parser
Logic for parsing a block trace for edge into txn generation payloads for plonky (2 & 3).
Language:Rust1 3 01
0xPolygonZero/plonky2-insertion
list-insertion gadget for plonky2
Language:Rust1 5 0
0xPolygonZero/plonky2-u32
u32 arithmetic gadgets for plonky2
Language:Rust1 5 017
0xPolygonZero/plonky2-waksman
permutation gadgets using the Waksman network for plonky2
Language:Rust1 5 0
0xPolygonZero/yultsur
Yultsur is a Rust implementation of Yul.
Language:Rust1 1 02
0xPolygonZero/erigon
Ethereum implementation on the efficiency frontier
Language:Go0 44
0xPolygonZero/eth-pos-devnet-provable
An eth PoS devnet which is provable using the Polygon Type1 Prover
Language:Makefile0 15
0xPolygonZero/smt_utils
Utilities related to the Sparse Merkle Tree used for type2 provers
Language:Rust13 0