camden-smallwood / solidity-rsView external linksLinks
Solidity 0.8.X AST parsing and analysis in Rust.
☆78Oct 9, 2023Updated 2 years ago
Alternatives and similar repositories for solidity-rs
Users that are interested in solidity-rs are comparing it to the libraries listed below
Sorting:
- Huff-based Smart Contracts for creating Metamorphic (or "redeployable") EVM Contracts.☆46Jun 21, 2023Updated 2 years ago
- Rust bindings for Solidity's AST and visitors☆50Sep 4, 2023Updated 2 years ago
- Yultsur is a Rust implementation of Yul.☆23Jul 2, 2021Updated 4 years ago
- An efficient constant gas function dispatch pattern for solidity external libraries.☆15Sep 1, 2023Updated 2 years ago
- Rolling Liquidity Vault: an ERC4626 compliant vault, passive liquidity vault built atop Sense Space Pools☆28Jul 27, 2023Updated 2 years ago
- ☆35Jul 8, 2022Updated 3 years ago
- ☆11Jan 25, 2022Updated 4 years ago
- Using Dynamic Huffidity to embed MiMCSponge Hash bytecode by tornado cash to a solidity contract.☆10Sep 8, 2023Updated 2 years ago
- A language protocol implementation for Huff☆14Nov 2, 2022Updated 3 years ago
- ☆37May 3, 2022Updated 3 years ago
- Optimized, in-memory, memory safe data structures written in Solidity.☆36Jan 30, 2024Updated 2 years ago
- Example code for testing using Echidna explained during the Spearbit presentation☆40Jul 6, 2022Updated 3 years ago
- ☆40Jun 2, 2020Updated 5 years ago
- An instantiation of the Poseidon hash for use with decaf377☆29Mar 6, 2025Updated 11 months ago
- This is my solution. If you think you can further optimize it - be my guest!☆22Oct 8, 2022Updated 3 years ago
- Create breakpoints for use with Foundry debugger -- https://book.getfoundry.sh/cheatcodes/breakpoint☆33Oct 31, 2023Updated 2 years ago
- Run Reth+Prometheus+Grafana locally via docker-compose☆70Jun 27, 2023Updated 2 years ago
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆127Sep 4, 2022Updated 3 years ago
- Tools for Yul.☆138Mar 29, 2023Updated 2 years ago
- ☆100May 24, 2023Updated 2 years ago
- ☆22Mar 5, 2023Updated 2 years ago
- An EVM low-level language that gives full control over the control flow of the smart contract.☆29Aug 15, 2025Updated 6 months ago
- Huff Proxies with Create2 (no SLOAD)☆41Oct 23, 2022Updated 3 years ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Jun 4, 2024Updated last year
- rollup node experiments☆15Jan 25, 2022Updated 4 years ago
- optimized huff snippets☆20May 2, 2023Updated 2 years ago
- A collection of comparison-benchmarks for Nova & related Proving systems☆44Apr 6, 2023Updated 2 years ago
- ☆18Aug 31, 2022Updated 3 years ago
- Eclectic notes on static analysis and compilers☆47Aug 4, 2022Updated 3 years ago
- Smart contract that checks if the SELFDESTRUCT opcode is still valid on the chain it is deployed to☆29Oct 19, 2022Updated 3 years ago
- EVM bytecode disassembler☆25Jan 4, 2022Updated 4 years ago
- Macros + Primitives for PADE format☆29Jul 26, 2025Updated 6 months ago
- Symbolic EVM in Rust (WIP)☆86Dec 23, 2023Updated 2 years ago
- Use the EVM cache state to shim transient storage☆20Feb 9, 2023Updated 3 years ago
- GobblerWatch: Discord notifications for ArtGobblers☆21Mar 6, 2023Updated 2 years ago
- P256 (a.k.a. secp256r1 elliptic curve) signature verification 🐍Vyper contract.☆19Updated this week
- MEV Olympics☆44Dec 1, 2024Updated last year
- Symbolic execution engine written in Solidity, based on Difference Logic.☆111Oct 6, 2022Updated 3 years ago
- A STARK-friendly elliptic curve designed to work within Cairo circuits☆27Feb 2, 2023Updated 3 years ago