• Stars
    star
    1
  • Language
    Rust
  • License
    Apache License 2.0
  • Created over 1 year ago
  • Updated over 1 year ago

Reviews

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

Repository Details

list-insertion gadget for plonky2

More Repositories

1

plonky2

Rust
769
star
2

plonky

Recursive SNARKs based on Plonk and Halo
Rust
111
star
3

r1cs

A Rust library for building R1CS gadgets
Rust
85
star
4

zk_evm

Rust
74
star
5

r1cs-workshop

Notes for the R1CS programming workshop at ZK0x04
TeX
29
star
6

plonky2-semaphore

Plonky2 Semaphore example for ZKHack
Rust
25
star
7

bft-simulation

Simulation of several BFT consensus algorithms for benchmarking
Java
24
star
8

hyperstark

Early prototype.
Rust
23
star
9

zero-bin

plonky2 proving over paladin
Rust
23
star
10

paladin

Bringing divine order to remote task execution.
Rust
20
star
11

plonky2-ecdsa

ECDSA gadgets for plonky2
Rust
18
star
12

eth-tx-proof

Proving historical Ethereum transactions using the Plonky2 zkEVM
Rust
15
star
13

r1cs-bellman

Bellman backend for the r1cs crate
Rust
11
star
14

r1cs-zkinterface

Compiles r1cs gadgets to the zkinterface format
Rust
10
star
15

proof-protocol-decoder

Common protocol for generating ZK proofs for blocks on different blockchains.
Rust
10
star
16

evm-tests

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

plonky-block-proof-gen

Generates block proofs from proof IR
Rust
6
star
18

nums

Number theoretic functions, such as primality testing and factorization, for BigUints
Rust
4
star
19

hash-constants

Sage
4
star
20

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.
Python
4
star
21

system-zero

An obsolete zkVM from Polygon Zero
Rust
3
star
22

plonky2-u32

u32 arithmetic gadgets for plonky2
Rust
2
star
23

mir-core-old.github.io

HTML
1
star
24

plonky2-waksman

permutation gadgets using the Waksman network for plonky2
Rust
1
star
25

eth_trie_utils

Types and utility functions for building/working with partial Ethereum tries
Rust
1
star
26

plonky-edge-block-trace-parser

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

eth-trie-tools

Various debugging tools for working with tries for `eth_trie_utils`.
Rust
1
star
28

jerigon-test-network

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