There are no reviews yet. Be the first to send feedback to the community and the maintainers!
plonky2
plonky
Recursive SNARKs based on Plonk and Halor1cs
A Rust library for building R1CS gadgetszk_evm
r1cs-workshop
Notes for the R1CS programming workshop at ZK0x04plonky2-semaphore
Plonky2 Semaphore example for ZKHackbft-simulation
Simulation of several BFT consensus algorithms for benchmarkinghyperstark
Early prototype.zero-bin
plonky2 proving over paladinpaladin
Bringing divine order to remote task execution.plonky2-ecdsa
ECDSA gadgets for plonky2eth-tx-proof
Proving historical Ethereum transactions using the Plonky2 zkEVMr1cs-bellman
Bellman backend for the r1cs crater1cs-zkinterface
Compiles r1cs gadgets to the zkinterface formatproof-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 IRnums
Number theoretic functions, such as primality testing and factorization, for BigUintshash-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 Zeromir-core-old.github.io
plonky2-insertion
list-insertion gadget for plonky2plonky2-waksman
permutation gadgets using the Waksman network for plonky2eth_trie_utils
Types and utility functions for building/working with partial Ethereum triesplonky-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_evmLove Open Source and this site? Check out how you can help us