0xpolygonzero Goto Github PK

bft-simulation

Simulation of several BFT consensus algorithms for benchmarking

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.

erigon

Ethereum implementation on the efficiency frontier

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-tx-proof

Proving historical Ethereum transactions using the Plonky2 zkEVM

eth_trie_utils

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

evm-tests

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

hash-constants

hyperstark

Early prototype.

mir-core-old.github.io

nums

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

paladin

Bringing divine order to remote task execution.

plonky

Recursive SNARKs based on Plonk and Halo

plonky-block-proof-gen

Generates block proofs from proof IR

plonky-edge-block-trace-parser

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

plonky2

plonky2-ecdsa

ECDSA gadgets for plonky2

plonky2-insertion

list-insertion gadget for plonky2

plonky2-semaphore

Plonky2 Semaphore example for ZKHack

plonky2-u32

u32 arithmetic gadgets for plonky2

plonky2-waksman

permutation gadgets using the Waksman network for plonky2

proof-protocol-decoder

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

r1cs

A Rust library for building R1CS gadgets

r1cs-bellman

Bellman backend for the r1cs crate

r1cs-workshop

Notes for the R1CS programming workshop at ZK0x04

r1cs-zkinterface

Compiles r1cs gadgets to the zkinterface format

smt_utils

Utilities related to the Sparse Merkle Tree used for type2 provers

system-zero

An obsolete zkVM from Polygon Zero

yultsur

Yultsur is a Rust implementation of Yul.