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 012
hyperstark
Early prototype.
Language:Rust23 5 02
paladin
Bringing divine order to remote task execution.
Language:Rust21 9 24
plonky
Recursive SNARKs based on Plonk and Halo
Language:Rust112 8 1614
plonky2
Language:Rust778 31 165289
plonky2-semaphore
Plonky2 Semaphore example for ZKHack
Language:Rust26 4 112
r1cs
A Rust library for building R1CS gadgets
Language:Rust89 10 25
r1cs-workshop
Notes for the R1CS programming workshop at ZK0x04
Language:TeX30 4 04
zero-bin
plonky2 proving over paladin
Language:Rust24 4 2411
zk_evm
Language:Rust85 16 29037

Polygon Zero's Repositories

0xPolygonZero/plonky2
Language:Rust778 31 165289
0xPolygonZero/plonky
Recursive SNARKs based on Plonk and Halo
Language:Rust112 8 1614
0xPolygonZero/r1cs
A Rust library for building R1CS gadgets
Language:Rust89 10 25
0xPolygonZero/zk_evm
Language:Rust85 16 29037
0xPolygonZero/plonky2-semaphore
Plonky2 Semaphore example for ZKHack
Language:Rust26 4 112
0xPolygonZero/zero-bin
plonky2 proving over paladin
Language:Rust24 4 2411
0xPolygonZero/hyperstark
Early prototype.
Language:Rust23 5 02
0xPolygonZero/paladin
Bringing divine order to remote task execution.
Language:Rust21 9 24
0xPolygonZero/plonky2-ecdsa
ECDSA gadgets for plonky2
Language:Rust18 5 121
0xPolygonZero/eth-tx-proof
Proving historical Ethereum transactions using the Plonky2 zkEVM
Language:Rust15 7 610
0xPolygonZero/evm-tests
Parser and test runner for testing compatable common Ethereum full node tests against Polygon Zero's EVM.
Language:Rust10 5 114
0xPolygonZero/proof-protocol-decoder
Common protocol for generating ZK proofs for blocks on different blockchains.
Language:Rust10 3 13
0xPolygonZero/r1cs-zkinterface
Compiles r1cs gadgets to the zkinterface format
Language:Rust10 6 13
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 02
0xPolygonZero/hash-constants
Language:Sage4 5 02
0xPolygonZero/nums
Number theoretic functions, such as primality testing and factorization, for BigUints
Language:Rust4 3 00
0xPolygonZero/system-zero
An obsolete zkVM from Polygon Zero
Language:Rust3 5 02
0xPolygonZero/plonky2-u32
u32 arithmetic gadgets for plonky2
Language:Rust2 5 022
0xPolygonZero/eth-pos-devnet-provable
An eth PoS devnet which is provable using the Polygon Type1 Prover
Language:Makefile1 0 26
0xPolygonZero/eth-trie-tools
Various debugging tools for working with tries for `eth_trie_utils`.
Language:Rust1 6 72
0xPolygonZero/eth_trie_utils
Types and utility functions for building/working with partial Ethereum tries
Language:Rust1 6 05
0xPolygonZero/jerigon-test-network
Local jerigon network and smart contracts used to generate input for zero_bin/zk_evm
Language:TypeScript1
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-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/0xPolygonZero.github.io
0xPolygonZero/erigon
Ethereum implementation on the efficiency frontier
Language:Go0 54
0xPolygonZero/smt_utils
Utilities related to the Sparse Merkle Tree used for type2 provers
Language:Rust13 0