protolambda / maculaLinks
Experimental python optimistic rollup fraud-proof generation
☆29Updated 2 years ago
Alternatives and similar repositories for macula
Users that are interested in macula are comparing it to the libraries listed below
Sorting:
- evm playground - optimizations, patterns and bytecode decoding☆15Updated 2 years ago
- ☆19Updated 3 years ago
- Minimalist optimistic rollup tech☆13Updated 3 years ago
- Solidity error logging☆23Updated 3 years ago
- JSON-RPC endpoint proxy that dumps requests/responses for debugging☆29Updated last year
- DEPRECATED - Eth2 data availability sampling - Testground plan☆27Updated 3 years ago
- Know if a call is from an EOA no matter what☆35Updated 4 years ago
- A publicly-modifiable registry of ilks in the Dai Stablecoin System.☆22Updated 2 years ago
- Protocol☆18Updated 2 years ago
- SUPERCEDED by ricobank/multifab☆20Updated 3 years ago
- Token for accruing protocol revenues☆16Updated 3 years ago
- Shows how optimistic geth modifies transactions that get submitted to it by converting them to OVM Messages and then calls to the OVM Exe…☆27Updated 4 years ago
- Gas comparison between Remco Bloemen's and Mikhail Vladimirov's mulDiv implementations.☆18Updated 3 years ago
- Code generation tool for adding Ethereum SimpleSerialiZe support methods to existing go types☆21Updated 11 months ago
- a rust SDK for the gelato relay, using ethers-rs☆31Updated 2 years ago
- Minimal EVM implementation in Rust☆29Updated 7 years ago
- A research-only integration of Sovereign with Celestia☆20Updated 2 years ago
- ☆13Updated 4 years ago
- Novel zero-knowledge proof based social recovery of smart contract wallets☆35Updated 2 years ago
- A tool for single Ethereum archival block state proofs.☆35Updated last year
- Emergency Shutdown Module☆17Updated 2 years ago
- ☆41Updated 5 years ago
- a sketch of what a zkvm could look like☆26Updated 4 years ago
- A document describing purity detection in EVM opcode☆16Updated 3 years ago
- Optimizor Club Gas Golfing and NFT Collection☆14Updated 2 years ago
- ☆12Updated 3 years ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Updated last year
- ☆39Updated 2 years ago
- A list of awesome Cairo and STARK-adjacent projects☆16Updated 3 years ago
- ☆34Updated 3 years ago