0xPolygonZero/hyperstark

This repository has been archived on 30/Mar/2023
Stars
23
Rank 1,016,462 (Top 21 %)
Language
Rust
License
Apache License 2.0
Created almost 2 years ago
Updated over 1 year ago

0xPolygonZero/hyperstark

0xPolygonZero

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

Early prototype.

plonky2

plonky

Recursive SNARKs based on Plonk and Halo

r1cs

A Rust library for building R1CS gadgets

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

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