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:
- Oracles written in Move for the Sui Ecosystem☆57Updated 3 years ago
- Book on all things Alloy☆48Updated 3 weeks ago
- Minimal Yul Transpilation to the Miden VM☆52Updated 2 years ago
- EVM abstraction layer☆74Updated this week
- Lints based on the Sealevel Attacks☆45Updated 2 weeks ago
- convert evm bytecode to native machine code and go vroom - just an experiment, probably broken, reach out to georgios@paradigm.xyz to con…☆142Updated last year
- ☆88Updated this week
- Foundry EVM Standalone☆23Updated 2 years ago
- Solidity static analyzer☆82Updated 2 years ago
- Aubrium is a constant product AMM (like Uniswap V2) built in Move on Sui and Aptos for swapping coins.☆89Updated 3 years ago
- ☆82Updated 10 months ago
- An EVM decompiler written in Rust.☆45Updated 3 years ago
- CLI based transaction simulator supporting any EVM chain, written in Rust.☆57Updated 2 years ago
- ☆40Updated 2 years ago
- A static analyzer for NEAR smart contract in Rust☆110Updated 2 years ago
- Rust Implementation of the Solidity ABI☆43Updated 3 months ago
- ☆39Updated last week
- Fast implementation of Ethereum RLP serialization☆95Updated 6 months ago
- Web3 Security Toolbox☆73Updated last year
- An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.☆91Updated 2 years ago
- An MEV back-running template for ethers-rs☆74Updated 7 months ago
- A list of awesome Reth-related resources☆119Updated 8 months ago
- The gas-analyzer is a tool for Ethereum developers seeking to enhance the efficiency and gas optimization of their Solidity code by Lever…☆17Updated last year
- ☆23Updated last year
- ☆65Updated 2 years ago
- A Solidity interpreter☆71Updated 3 weeks ago
- Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust☆69Updated this week
- 🦄 UniswapV3 fork that computes swaps off-chain in a zero-knowledge virtual machine☆84Updated 2 years ago
- ☆41Updated 2 years ago
- ☆149Updated 4 months ago