lorenzb / proveth
Generate & verify Merkle-Patricia-proofs for Ethereum
☆106Updated last year
Related projects: ⓘ
- Trustlessly prove a past storage value in a contract to other contracts☆141Updated last year
- This repository contains a tutorial on how to build roll_up with Circom☆82Updated 5 years ago
- non-custodial exchange build with rollup☆104Updated last year
- Partial implementation of the Ethereum runtime in Solidity (PoC)☆98Updated last year
- A curated collection of links for zero-knowledge proof cryptography used in blockchains☆70Updated 5 years ago
- rollup implementation☆91Updated 6 months ago
- integrate signed message recovery directly in your contracts☆37Updated 5 years ago
- Dai Stablecoin System☆120Updated 4 years ago
- 🎴Zero-knowledge non-fungible tokens on Ethereum using zk-SNARKs☆93Updated 6 years ago
- Construct a Merkle Tree database from Ethereum logs.☆67Updated last week
- Lurch is an Ethereum VM para-virtualization (ish) written in EVM bytecode.☆83Updated 4 years ago
- ☆31Updated 9 months ago
- ☆122Updated 5 years ago
- Documentation for the any.sender transaction relaying service☆57Updated 3 years ago
- Contracts for a wallet that is recoverable via backup keys.☆51Updated last year
- yellow paper for roll_up token☆66Updated 5 years ago
- [Optimism] Solidity mock contracts in JavaScript☆72Updated 2 years ago
- Implements hermez network zk-Snarks circuits☆55Updated last year
- ☆53Updated this week
- Solidity proofs that a historical event occurred☆23Updated 4 years ago
- Tiramisu is a "Layer Two" system for scalable token transfers that prioritizes simplicity.☆74Updated last year
- A tool to work with zkSNARK circuits generated by Circom compiler☆97Updated 2 years ago
- ☆44Updated 5 years ago
- An example of how generate zero-knowledge proofs and verify using an Ethereum smart contract.☆36Updated 4 years ago
- ☆76Updated 3 years ago
- Bitcoin Light Client on Ethereum☆40Updated 2 months ago
- General Purpose Atomic Crosschain Transaction Protocol☆81Updated 2 months ago
- A pure solidity implementation of elliptic curve math, parameterised for curve secp256r1 / prime256v1 / p256.☆98Updated 5 months ago
- Intentionally self-destructive Ethereal on-chain-ish Wallet. (Proof-of-Concept bootstrap technique with CREATE2)☆35Updated 5 years ago
- A force-move protocol implementation☆55Updated last year