PISAresearch / event-proofsLinks
Solidity proofs that a historical event occurred
☆28Updated last month
Alternatives and similar repositories for event-proofs
Users that are interested in event-proofs 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
- Construct a Merkle Tree database from Ethereum logs.☆65Updated last month
- ☆30Updated 2 years ago
- ☆89Updated 3 years ago
- 311 byte EIP712 Signing Compliant Delegate-Call Enabled MultiSignature Wallet for the Ethereum Virtual Machine☆60Updated 2 years ago
- Memory access with runtime typechecking in Solidity☆75Updated 2 years ago
- Proof of concept for a delegatecall proxy upgrade pattern without storage usage☆54Updated 11 months ago
- ☆57Updated 2 years ago
- Eth2 CLI debugging tool☆38Updated 5 months ago
- Ethereum local test chain with block reorg on-demand☆34Updated 2 years ago
- Generate & verify Merkle-Patricia-proofs for Ethereum☆111Updated 2 years ago
- A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.☆34Updated 2 years ago
- An anonymous message board powered by zero-knowledge group signatures.☆54Updated 3 years ago
- A tool to work with zkSNARK circuits generated by Circom compiler☆103Updated 3 years ago
- ☆32Updated 2 years ago
- Tricking frontrunners into doing good☆42Updated 2 years ago
- Notes from the ERC-4337 bundler working group☆20Updated 2 years ago
- ☆47Updated 3 years ago
- POC construction of superlight client for Ethereum Proof of Stake using interactive bisection games☆39Updated 2 years ago
- ☆52Updated 4 years ago
- This repository contains a tutorial on how to build roll_up with Circom☆84Updated 6 years ago
- Tendermint in Solidity☆60Updated 3 years ago
- Lurch is an Ethereum VM para-virtualization (ish) written in EVM bytecode.☆83Updated 5 years ago
- yellow paper for roll_up token☆67Updated 6 years ago
- Anonymous Proof of Ethereum Address Ownership☆43Updated 10 months ago
- Testing EIP-4844 on EL and CL clients☆58Updated 2 years ago
- 2FA with Zero-Knowledge proofs☆48Updated 2 weeks ago
- Solidity - Self-Balancing Binary Search Tree with Order Statistics☆79Updated 2 years ago
- A minimal KZG polynominal commitment library with a Solidity verifier☆72Updated last year
- Verifying merkle multiproofs in solidity example (unaudited)☆44Updated 3 years ago