gskapka / ethereum-receipt-proof-maker
A maker of merkle-proofs for transaction receipts in ethereum using rust.
☆12Updated 3 years ago
Related projects: ⓘ
- DKG for BLS threshold signature scheme on the EVM using solidity☆32Updated 5 years ago
- Bitcoin Light Client on Ethereum☆40Updated 3 months ago
- Plasma Winter - an account model Plasma with with zkSNARK proved state transitions. Started on ETH Singapore☆31Updated 5 years ago
- (Deprecated) Proof-of-Stake, EVM-compatible blockchain focused on DAOs☆24Updated last year
- zk-STARK for fibonacci sequence in Rust☆36Updated 5 years ago
- An implementation of ZEXE on Ethereum☆36Updated 5 years ago
- Generate & verify Merkle-Patricia-proofs for Ethereum☆106Updated last year
- Kate-Zaverucha-Goldberg Polynomial Commitments☆28Updated 2 years ago
- yellow paper for roll_up token☆66Updated 5 years ago
- Zero-knowledge Tools for the Polkadot Ecosystem☆60Updated last year
- XCLAIM(BTC,ETH): Solidity implementation for Bitcoin backed tokens on Ethereum☆24Updated 5 months ago
- Implements hermez network zk-Snarks circuits☆55Updated last year
- Zero Knowledge Proofs Toolkit for CKB☆65Updated last year
- The adapter for snarkjs and bellman☆15Updated 3 months ago
- Implementation of substrate light client in rust, compilable to wasm.☆17Updated 3 years ago
- Comparison of the different LMD-GHOST implementations☆36Updated 5 years ago
- AZTEC protocol specification☆31Updated 4 years ago
- This repository contains a tutorial on how to build roll_up with Circom☆82Updated 5 years ago
- Tendermint in Solidity☆60Updated 2 years ago
- A golang demo for zk-SNARK aggregation☆41Updated 5 years ago
- ☆31Updated 3 years ago
- ☆24Updated 3 years ago
- A generalized merkle mountain range implementation.☆51Updated last year
- Hermez network protocol smart contracts☆37Updated 2 years ago
- ☆19Updated this week
- ☆31Updated 9 months ago
- Lockdrop contracts☆23Updated last year
- Batch verification proposal for the zkSNARK verification with the same(!) circuit☆24Updated 5 years ago
- ZCash like private DAI transactions on ethereum using ZkSnarks. MakerDAO API prize winner.☆51Updated 5 years ago
- A toolkit to compile and debug circom circuit.☆23Updated 11 months ago