Zellic / move-prover-examples
A gentle, example-based guide to getting started with the Move prover.
☆48Updated 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
- CTF Writeups☆37Updated last year
- ☄️ A toy implementation of the EVM from scratch using Rust.☆36Updated last year
- A Symbolic Execution Tool for Cairo☆51Updated 2 years ago
- DeFiVulnLabsCosmWasm☆50Updated last year
- Validation code for the EOF specification☆54Updated last week
- Utilities for working with native solc and compiling projects.☆87Updated last week
- convert evm bytecode to native machine code and go vroom - just an experiment, probably broken, reach out to georgios@paradigm.xyz to con…☆143Updated 10 months ago
- Lints based on the Sealevel Attacks☆41Updated this week
- Practical examples of the Rust Ethereum Virtual Machine☆60Updated 7 months ago
- Contracts for Blur and Blend☆30Updated last year
- A static analyzer for NEAR smart contract in Rust☆105Updated last year
- StarkNet smart contract fuzzer☆78Updated 2 years ago
- ☆21Updated 2 years ago
- ☆75Updated last year
- This repository implements a simplified PoC that showcases how a contract can morph. A similar approach was used as part of the governanc…☆50Updated 2 weeks ago
- A Solidity interpreter☆66Updated 3 weeks ago
- A list of awesome Reth-related resources☆116Updated 3 weeks ago
- A curated list of awesome Solana security resources☆59Updated last year
- SushiSwap RouteProcessor2 exploit repro + supporting data useful for whitehats.☆91Updated 2 years ago
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆33Updated 6 months ago
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆107Updated last month
- SMT 2023 Submission; license pending☆53Updated 5 months ago
- ☆40Updated 2 years ago
- ☆81Updated 2 months ago
- Library for building symbolically executable stack-based virtual machines☆74Updated 2 years ago
- ☆146Updated last week
- Helpers for deploying smart contracts to multiple chains with CREATE2☆50Updated last month
- A Symbolic Execution Tool for Cairo☆16Updated 2 years ago
- Remote Attestation VErification☆32Updated 8 months ago
- ☆87Updated last month