protolambda / macula
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
- Minimalist optimistic rollup tech☆13Updated 3 years ago
- ☆19Updated 2 years ago
- etk-Foundry project template☆21Updated 2 years ago
- JSON-RPC endpoint proxy that dumps requests/responses for debugging☆29Updated last year
- formal verification of multicollateral dai in the K framework☆15Updated 3 years ago
- Solidity error logging☆23Updated 3 years ago
- Code generation tool for adding Ethereum SimpleSerialiZe support methods to existing go types☆19Updated 7 months ago
- Protocol☆18Updated 2 years ago
- A research-only integration of Sovereign with Celestia☆20Updated last year
- a sketch of what a zkvm could look like☆26Updated 3 years ago
- Eth2 CLI debugging tool☆37Updated last month
- 🎁 Wrap a L2 ERC20 withdrawal event as an ERC1155 subtoken on L1 🎁☆17Updated 3 years ago
- evm playground - optimizations, patterns and bytecode decoding☆15Updated 2 years ago
- Gas comparison between Remco Bloemen's and Mikhail Vladimirov's mulDiv implementations.☆18Updated 3 years ago
- [Optimism] Client-Side Services☆17Updated 4 years ago
- 🦀 celestia-node REST client in Rust.☆18Updated 2 years ago
- ☆17Updated 2 years ago
- An implementation of the Rift Protocol in Solidity☆15Updated 2 years ago
- Merge Mock - testing tool for the Ethereum Merge☆40Updated 2 years ago
- Notes from the ERC-4337 bundler working group☆19Updated 2 years ago
- A list of awesome Cairo and STARK-adjacent projects☆16Updated 2 years ago
- DEPRECATED - Eth2 data availability sampling - Testground plan☆27Updated 3 years ago
- rollup node experiments☆15Updated 3 years ago
- Token for accruing protocol revenues☆16Updated 2 years ago
- Slow burner for protocol assets.☆33Updated 2 years ago
- ETHPrague☆31Updated last year
- Novel zero-knowledge proof based social recovery of smart contract wallets☆35Updated 2 years ago
- An EVM interpreter (wip)☆12Updated 3 years ago
- An Ethereum transaction-parser☆15Updated last year
- 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