lorenzb / proveth
Generate & verify Merkle-Patricia-proofs for Ethereum
☆108Updated 2 years ago
Alternatives and similar repositories for proveth
Users that are interested in proveth are comparing it to the libraries listed below
Sorting:
- Trustlessly prove a past storage value in a contract to other contracts☆146Updated 2 years ago
- This repository contains a tutorial on how to build roll_up with Circom☆84Updated 6 years ago
- A curated collection of links for zero-knowledge proof cryptography used in blockchains☆74Updated 5 months ago
- Partial implementation of the Ethereum runtime in Solidity (PoC)☆102Updated 2 years ago
- 🎴Zero-knowledge non-fungible tokens on Ethereum using zk-SNARKs☆95Updated 6 years ago
- non-custodial exchange build with rollup☆105Updated 2 years ago
- yellow paper for roll_up token☆67Updated 5 years ago
- ☆34Updated last year
- integrate signed message recovery directly in your contracts☆37Updated 6 years ago
- Lurch is an Ethereum VM para-virtualization (ish) written in EVM bytecode.☆82Updated 5 years ago
- Gas Saver is a collection of smart contracts to save gas on Ethereum☆65Updated 2 years ago
- A tool to work with zkSNARK circuits generated by Circom compiler☆102Updated 3 years ago
- rollup implementation☆90Updated last year
- Automatic market maker with batched buy & sell orders☆32Updated 2 years ago
- Dai Stablecoin System☆122Updated 5 years ago
- Implements hermez network zk-Snarks circuits☆56Updated last year
- Bitcoin Light Client on Ethereum☆41Updated 10 months ago
- Verifiable Random Function (VRF) library written in Solidity☆102Updated 2 years ago
- 311 byte EIP712 Signing Compliant Delegate-Call Enabled MultiSignature Wallet for the Ethereum Virtual Machine☆60Updated 2 years ago
- Intentionally self-destructive Ethereal on-chain-ish Wallet. (Proof-of-Concept bootstrap technique with CREATE2)☆35Updated 6 years ago
- Solidity proofs that a historical event occurred☆28Updated last week
- Compile Solidity source code and verify its bytecode matches the blockchain☆89Updated 10 months ago
- Construct a Merkle Tree database from Ethereum logs.☆66Updated last week
- ☆34Updated 4 years ago
- A pure solidity implementation of elliptic curve math, parameterised for curve secp256r1 / prime256v1 / p256.☆103Updated last year
- circom and snarkjs / websnark tutorial, using RollupNC as an example☆62Updated 4 years ago
- [Optimism] Service Integration & Rapid Development☆55Updated 4 years ago
- Get a merkle-proof from the blockchain. Verify it locally.☆193Updated last year
- ☆126Updated 6 years ago
- Proof of concept for a delegatecall proxy upgrade pattern without storage usage☆55Updated 8 months ago