LayerXcom / stark-sol
[WIP] a solidity implementation of verification in a STARK on a MIMC calculation
☆10Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for stark-sol
- Smart contracts for OPRHub protocol ✌🏻☆12Updated 4 years ago
- ☆11Updated 4 years ago
- ☆10Updated 2 years ago
- Huff implementation of the BabyJubJub curve☆13Updated 5 years ago
- [Optimism] Batches go zoom☆12Updated 3 years ago
- hardhat ignite☆11Updated 3 years ago
- Reconstruction of the Akropolis Delphi reentrancy exploit☆10Updated 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…☆26Updated 3 years ago
- 🎁 Wrap a L2 ERC20 withdrawal event as an ERC1155 subtoken on L1 🎁☆17Updated 3 years ago
- Gas comparison between Remco Bloemen's and Mikhail Vladimirov's mulDiv implementations.☆18Updated 2 years ago
- [Optimism] Plugins!☆12Updated 3 years ago
- [Optimism] Client-Side Services☆16Updated 3 years ago
- ☆11Updated 3 years ago
- ☆18Updated 3 years ago
- ☆13Updated last year
- Minimal Ethereum delegatecall proxies☆22Updated last year
- A Solidity implementation of a VDF verifier contract☆16Updated last year
- ☆10Updated 3 years ago
- ☆10Updated 3 years ago
- Using various tools to rediscover popsicle exploit☆15Updated 2 years ago
- ☆19Updated 3 years ago
- a sketch of what a zkvm could look like☆26Updated 3 years ago
- A simple tool to convert Yul arithmetic expressions to Huff☆14Updated last year
- Ethereum Virtual Machine implementation from scratch in Rust☆26Updated 3 years ago
- Takes a snapshot of all know positive balances and tokens on a given block. Also checks MongoDB for missing blocks prior to snapshot. Als…☆14Updated 3 years ago
- solidity techniques explained☆10Updated 4 years ago
- A research-only integration of Sovereign with Celestia☆20Updated last year