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
Sorting:
- A static analyzer for NEAR smart contract in Rust☆105Updated last year
- A Symbolic Execution Tool for Cairo☆51Updated 2 years ago
- LLVM-based Solidity compiler.☆78Updated last week
- Lints based on the Sealevel Attacks☆43Updated this week
- Arkworks circuits for verifiable time-lock encryption☆89Updated 2 years ago
- PoC Exploit of a soundness bug exploit in the zkSync Era ZK-circuits☆36Updated 2 months ago
- Contracts for Blur and Blend☆30Updated last year
- MEV Olympics☆45Updated 5 months ago
- ☆81Updated 3 months ago
- Validation code for the EOF specification☆55Updated 2 weeks ago
- Book on all things Alloy☆40Updated this week
- Writeup for solved challenges in Paradigm CTF 2022☆76Updated 2 years ago
- CTF Writeups☆37Updated last year
- Rust Implementation of the Solidity ABI☆41Updated last year
- DeFiVulnLabsCosmWasm☆50Updated last year
- SMT 2023 Submission; license pending☆55Updated 5 months ago
- Crypto Gadgets for Plonky2☆71Updated last year
- ☆30Updated 6 months ago
- Library for building symbolically executable stack-based virtual machines☆74Updated 2 years ago
- Utilities for working with native solc and compiling projects.☆88Updated this week
- 🦄 UniswapV3 fork that computes swaps off-chain via a zkVM☆84Updated last year
- ☆54Updated this week
- convert evm bytecode to native machine code and go vroom - just an experiment, probably broken, reach out to georgios@paradigm.xyz to con…☆142Updated 10 months ago
- Repository containing past audit reports☆54Updated last year
- Supporting code for relay.ultrasound.money☆26Updated last week
- A smart contract security search utility☆74Updated 4 months ago
- Remote Attestation VErification☆32Updated 9 months ago
- ☆21Updated 2 years ago
- Symbolic EVM in Rust (WIP)☆86Updated last year
- Fiber client in Rust☆49Updated last week