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☆45Updated 3 weeks ago
- Aubrium is a constant product AMM (like Uniswap V2) built in Move on Sui and Aptos for swapping coins.☆89Updated 3 years ago
- A Symbolic Execution Tool for Cairo☆52Updated 3 years ago
- Oracles written in Move for the Sui Ecosystem☆57Updated 3 years ago
- Web3 Security Toolbox☆73Updated last year
- Minimal Yul Transpilation to the Miden VM☆52Updated 2 years ago
- ☆41Updated 2 years ago
- ☆82Updated 9 months ago
- Multisignature wallet in Move (with support for adding and removing participants).☆36Updated 3 years ago
- A static analyzer for NEAR smart contract in Rust☆110Updated 2 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…☆142Updated last year
- An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.☆91Updated 2 years ago
- solve scripts for all 3 of @0xhana's paradigm ctf challs!☆20Updated 2 years ago
- Foundry like framework for starknet contracts☆77Updated 2 years ago
- MEV Olympics☆44Updated 11 months ago
- Rust Implementation of the Solidity ABI☆43Updated 2 months ago
- 🦄 UniswapV3 fork that computes swaps off-chain via a zkVM☆84Updated 2 years ago
- DeFiVulnLabsCosmWasm☆50Updated 2 years ago
- Solidity static analyzer☆82Updated last year
- ☆149Updated 4 months ago
- Validation code for the EOF specification☆57Updated 6 months ago
- As I learn more about ZKP and its use cases in blockchain, I'll be updating this repository with new resources and insights to help you s…☆42Updated last year
- Overview of Blockspace its demand, pricing, and trading☆48Updated 2 years ago
- Utilities for working with native solc and compiling projects.☆97Updated last week
- Repository containing past audit reports☆55Updated last year
- LLVM-based Solidity compiler.☆165Updated last week
- Practical examples of the Rust Ethereum Virtual Machine☆71Updated last year
- A list of awesome Reth-related resources☆120Updated 7 months ago
- An EVM decompiler written in Rust.☆45Updated 2 years ago
- A standalone consensus networking service for listening to events☆53Updated 2 years ago