Zellic / move-prover-examplesLinks
A gentle, example-based guide to getting started with the Move prover.
☆51Updated 3 years ago
Alternatives and similar repositories for move-prover-examples
Users that are interested in move-prover-examples are comparing it to the libraries listed below
Sorting:
- Lints based on the Sealevel Attacks☆46Updated last week
- A static analyzer for NEAR smart contract in Rust☆110Updated 2 years ago
- Oracles written in Move for the Sui Ecosystem☆58Updated 3 years ago
- Rust Implementation of the Solidity ABI☆43Updated 4 months ago
- Book on all things Alloy☆57Updated 2 months ago
- Aubrium is a constant product AMM (like Uniswap V2) built in Move on Sui and Aptos for swapping coins.☆89Updated 3 years ago
- Repository containing past audit reports☆55Updated 2 years ago
- Symbolic execution engine written in Solidity, based on Difference Logic.☆111Updated 3 years ago
- Minimal Yul Transpilation to the Miden VM☆52Updated 2 years ago
- ☆150Updated 6 months ago
- Web3 Security Toolbox☆73Updated last year
- ☆84Updated 11 months ago
- Solidity static analyzer☆83Updated 2 years ago
- Utilities for working with native solc and compiling projects.☆106Updated 2 months ago
- An EVM decompiler written in Rust.☆45Updated 3 years ago
- DeFiVulnLabsCosmWasm☆51Updated 2 years ago
- SushiSwap RouteProcessor2 exploit repro + supporting data useful for whitehats.☆92Updated 2 years ago
- EVM abstraction layer☆77Updated this week
- The gas-analyzer is a tool for Ethereum developers seeking to enhance the efficiency and gas optimization of their Solidity code by Lever…☆18Updated last year
- Overview of Blockspace its demand, pricing, and trading☆48Updated 3 years ago
- ☆42Updated 3 years ago
- convert evm bytecode to native machine code and go vroom - just an experiment, probably broken, reach out to georgios@paradigm.xyz to con…☆143Updated last year
- ☆74Updated 3 years ago
- An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.☆91Updated 2 years ago
- Practical examples of the Rust Ethereum Virtual Machine☆71Updated last year
- Foundry EVM Standalone☆23Updated 2 years ago
- Solidity 0.8.X AST parsing and analysis in Rust.☆78Updated 2 years ago
- Symbolic EVM in Rust (WIP)☆86Updated 2 years ago
- A Symbolic Execution Tool for Cairo☆52Updated 3 years ago
- A Solidity interpreter☆71Updated last month