leonardoalt / dl_symb_exec_solView external linksLinks
Symbolic execution engine written in Solidity, based on Difference Logic.
☆111Oct 6, 2022Updated 3 years ago
Alternatives and similar repositories for dl_symb_exec_sol
Users that are interested in dl_symb_exec_sol are comparing it to the libraries listed below
Sorting:
- Symbolic EVM in Rust (WIP)☆86Dec 23, 2023Updated 2 years ago
- ☆100May 24, 2023Updated 2 years ago
- Library for building symbolically executable stack-based virtual machines☆75Oct 20, 2022Updated 3 years ago
- ☆14May 19, 2022Updated 3 years ago
- Tools for Yul.☆138Mar 29, 2023Updated 2 years ago
- This is a solidity implementation of extremely efficient approximations for PI☆28May 13, 2022Updated 3 years ago
- A data structures library that does memory management for you☆221Feb 11, 2023Updated 3 years ago
- Solidity library with basic trigonometry functions☆150Mar 9, 2023Updated 2 years ago
- ☆33Oct 25, 2022Updated 3 years ago
- evm toolkit☆359Jun 21, 2024Updated last year
- Symbolic and concrete EVM execution engine☆327Feb 6, 2026Updated last week
- An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable C…☆117May 6, 2024Updated last year
- Time Weighted Asset Mints☆62Jan 25, 2022Updated 4 years ago
- ☆38Feb 11, 2022Updated 4 years ago
- ☆74Jun 10, 2022Updated 3 years ago
- ☆34Feb 1, 2022Updated 4 years ago
- Delegatecall from any contract. A kind of vm.prank for delegatecalls.☆19Sep 10, 2024Updated last year
- A symbolic testing tool for EVM smart contracts☆967Aug 6, 2025Updated 6 months ago
- proof first, evm specific smt solver☆69Apr 11, 2022Updated 3 years ago
- A list of common Solidity optimization tips and myths.☆207Feb 17, 2022Updated 3 years ago
- Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry☆167Jul 14, 2022Updated 3 years ago
- ☆41Nov 21, 2022Updated 3 years ago
- ethers-rs middleware and signer for Fireblocks' APIs☆50Apr 9, 2024Updated last year
- evm inception: the evm inside the evm via yul and solidity☆227Apr 19, 2023Updated 2 years ago
- ☆102Apr 24, 2023Updated 2 years ago
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆127Sep 4, 2022Updated 3 years ago
- Ranger is an ethereum p2p client capable of interacting with peers without a full node☆202Apr 6, 2023Updated 2 years ago
- ☆75Feb 27, 2022Updated 3 years ago
- Pending transaction stream in rust☆27May 31, 2021Updated 4 years ago
- Preprint, Procedural approaches towards Maximal Extracted Value☆47Mar 29, 2023Updated 2 years ago
- A port of the weiroll vm in huff☆27Jan 18, 2023Updated 3 years ago
- ☆23Mar 4, 2023Updated 2 years ago
- This is my solution. If you think you can further optimize it - be my guest!☆22Oct 8, 2022Updated 3 years ago
- A Solidity static analyzer to identify contract vulnerabilities and gas efficiencies.☆430Nov 17, 2023Updated 2 years ago
- Minimal Yul Transpilation to the Miden VM☆52Jan 27, 2023Updated 3 years ago
- Proof-of-concept Huff smart contracts for deploying arbitrary bytecode to deterministic addresses☆36Jan 16, 2023Updated 3 years ago
- A contract for placing a takeover bid for an NFT collection☆29Jan 8, 2022Updated 4 years ago
- ☆28Sep 27, 2022Updated 3 years ago
- CompEVM: Rust Ethereum Virtual Machine Implementation designed for Smart Contract Composability testing☆46Sep 8, 2021Updated 4 years ago