Minimal Yul Transpilation to the Miden VM
☆52Jan 27, 2023Updated 3 years ago
Alternatives and similar repositories for Scribe
Users that are interested in Scribe are comparing it to the libraries listed below
Sorting:
- Probably Nothing☆12May 23, 2022Updated 3 years ago
- ☆102Apr 24, 2023Updated 2 years ago
- SUPERCEDED by ricobank/multifab☆20Jul 13, 2022Updated 3 years ago
- A Unified Yul+ Toolchain☆44Oct 14, 2022Updated 3 years ago
- ☆23Mar 4, 2023Updated 3 years ago
- Generate perfect Vyper compatible code headers every time.☆22Jul 30, 2022Updated 3 years ago
- ☆11Sep 24, 2025Updated 5 months ago
- efficient libraries for working with min-heaps in solidity☆23Jun 12, 2023Updated 2 years ago
- A pure-std Rust computation graph library☆15Jun 3, 2021Updated 4 years ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Jun 4, 2024Updated last year
- Shield your initial Uniswap liquidity from malicious actors☆16Nov 10, 2021Updated 4 years ago
- ☆13Apr 9, 2021Updated 4 years ago
- Share private EVM state attestations using STARK proofs☆73Aug 4, 2022Updated 3 years ago
- hardhat template to compare various error gas cost in solidity☆23Dec 21, 2021Updated 4 years ago
- Mirror your Optimism NFTs on Ethereum☆31Nov 10, 2022Updated 3 years ago
- Python simulator to test implementation of the RMMS paper results.☆56Apr 27, 2022Updated 3 years ago
- RStore - use the runtime code of metamorphic contracts for dynamic storage.☆19Apr 16, 2023Updated 2 years ago
- rollup node experiments☆15Jan 25, 2022Updated 4 years ago
- Tools for Yul.☆139Mar 29, 2023Updated 2 years ago
- Huff Proxies with Create2 (no SLOAD)☆41Oct 23, 2022Updated 3 years ago
- Cryptographic primitives used in Polygon Miden rollup☆131Updated this week
- ECFFT in Rust☆58Oct 3, 2023Updated 2 years ago
- Ergonomic alternative to `approve`/`transferFrom` -- flash loans without external calls☆18Feb 2, 2022Updated 4 years ago
- Reference implementation of the node for the Miden blockchain☆90Updated this week
- ☆33Oct 25, 2022Updated 3 years ago
- Convex optimization for fun and profit.☆11Jan 12, 2022Updated 4 years ago
- EVM bytecode disassembler☆25Jan 4, 2022Updated 4 years ago
- proof first, evm specific smt solver☆69Apr 11, 2022Updated 3 years ago
- Scans the internet for open geth RPC clients☆25Jul 2, 2017Updated 8 years ago
- A barebones framework for hand tuned smart contracts in pure opcodes.☆48Aug 22, 2022Updated 3 years ago
- It's Uniswap in a Box!☆13Jan 31, 2022Updated 4 years ago
- ☆41Aug 31, 2023Updated 2 years ago
- Early prototype.☆23Mar 30, 2023Updated 2 years ago
- A proxy node example using Reth!☆93Aug 12, 2023Updated 2 years ago
- ☆38Feb 11, 2022Updated 4 years ago
- ☆14Aug 29, 2024Updated last year
- EthernautDAO reputation system☆13Jun 1, 2022Updated 3 years ago
- ☆15Nov 22, 2021Updated 4 years ago
- Extensible, Minimal Template for Sway Projects☆17Jan 3, 2022Updated 4 years ago