0xPolygonZero/r1cs

Stars
85
Rank 385,668 (Top 8 %)
Language
Rust
Created over 5 years ago
Updated about 3 years ago

0xPolygonZero/r1cs

0xPolygonZero

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A Rust library for building R1CS gadgets

plonky2

plonky

Recursive SNARKs based on Plonk and Halo

zk_evm

r1cs-workshop

Notes for the R1CS programming workshop at ZK0x04

plonky2-semaphore

Plonky2 Semaphore example for ZKHack

bft-simulation

Simulation of several BFT consensus algorithms for benchmarking

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

r1cs-zkinterface

Compiles r1cs gadgets to the zkinterface format

proof-protocol-decoder

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

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

nums

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

hash-constants

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

mir-core-old.github.io

plonky2-insertion

list-insertion gadget for plonky2

plonky2-waksman

permutation gadgets using the Waksman network for plonky2

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).

eth-trie-tools

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

jerigon-test-network

Local jerigon network and smart contracts used to generate input for zero_bin/zk_evm