0xPolygonZero/plonky-block-proof-gen 0xPolygonZero/plonky-block-proof-gen

  • This repository has been archived on 18/Jan/2024
  • Stars
    star
    6
  • Rank 2,539,965 (Top 51 %)
  • Language
    Rust
  • License
    Apache License 2.0
  • Created about 1 year ago
  • Updated 10 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
0xPolygonZero/plonky-block-proof-gen
github

0xPolygonZero

Reviews

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

Repository Details

Generates block proofs from proof IR

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

nums

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

hash-constants

Sage
4
star
19

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
20

system-zero

An obsolete zkVM from Polygon Zero
Rust
3
star
21

plonky2-u32

u32 arithmetic gadgets for plonky2
Rust
2
star
22

mir-core-old.github.io

HTML
1
star
23

plonky2-insertion

list-insertion gadget for plonky2
Rust
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