Zellic / move-prover-examplesLinks
A gentle, example-based guide to getting started with the Move prover.
☆50Updated 2 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:
- Practical examples of the Rust Ethereum Virtual Machine☆65Updated 10 months ago
- ☆74Updated last week
- A static analyzer for NEAR smart contract in Rust☆108Updated last year
- ☆81Updated 6 months ago
- Lints based on the Sealevel Attacks☆44Updated last week
- LLVM-based Solidity compiler.☆130Updated last week
- Book on all things Alloy☆44Updated 3 weeks ago
- Foundry EVM Standalone☆23Updated last year
- 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
- The gas-analyzer is a tool for Ethereum developers seeking to enhance the efficiency and gas optimization of their Solidity code by Lever…☆16Updated last year
- Fast ethereum simulator☆44Updated last year
- DeFiVulnLabsCosmWasm☆50Updated last year
- A Solidity interpreter☆69Updated 3 weeks ago
- ☆41Updated 2 years ago
- Web3 Security Toolbox☆73Updated last year
- Oracles written in Move for the Sui Ecosystem☆58Updated 3 years ago
- Repository containing past audit reports☆55Updated last year
- EVM abstraction layer☆60Updated last week
- ☆41Updated 2 years ago
- Utilities for working with native solc and compiling projects.☆92Updated last week
- CTF Writeups☆36Updated last year
- An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.☆90Updated last year
- Fast implementation of Ethereum RLP serialization☆91Updated 2 months ago
- An EVM decompiler written in Rust.☆45Updated 2 years ago
- Minimal Yul Transpilation to the Miden VM☆53Updated 2 years ago
- Solidity static analyzer☆83Updated last year
- Aubrium is a constant product AMM (like Uniswap V2) built in Move on Sui and Aptos for swapping coins.☆87Updated 2 years ago
- ☆149Updated 3 weeks ago
- Ethereum development made easy. Rust-powered toolkit for devs that inhabit the EVM.☆30Updated last year
- A Symbolic Execution Tool for Cairo☆51Updated 2 years ago