asymptotic-code / sui-proverLinks
Formal Verification tool for Move on Sui
☆33Updated this week
Alternatives and similar repositories for sui-prover
Users that are interested in sui-prover are comparing it to the libraries listed below
Sorting:
- ☆85Updated this week
- Using mutations to improve specs and test suites☆199Updated 7 months ago
- Smart contract debugging data format – Standards development working group☆72Updated 5 months ago
- Playing with zero-knowledge proof languages☆107Updated 2 years ago
- Certora tutorials☆26Updated 3 months ago
- ☆78Updated 2 months ago
- A curated list of awesome ton security resources☆39Updated 2 months ago
- A gentle, example-based guide to getting started with the Move prover.☆51Updated 3 years ago
- Hello World AVS☆101Updated 8 months ago
- Horus, a formal verification tool for StarkNet smart contracts.☆76Updated 5 months ago
- MoveBit Sampled Audit Reports☆52Updated last year
- A playground for Uniswap v4 hooks☆29Updated 2 years ago
- Cross-chain interop research, funded by Optimism Governance.☆61Updated 7 months ago
- My homework and notes on zkEVM Bootcamp by zkSync and Encode Club☆65Updated last year
- List of Halmos resources.☆57Updated 10 months ago
- A Symbolic Execution Tool for Cairo☆52Updated 3 years ago
- ☆120Updated 8 months ago
- Publications of Runtime Verification, Inc.☆93Updated 2 months ago
- experimental solidity compiler☆91Updated this week
- EulerSwap is an automated market maker (AMM) that integrates with EVK vaults and the EVC to provide deeper liquidity for swaps.☆49Updated last month
- My work for Rareskills ZK Book.☆71Updated last year
- This guide is crafted to assist both newcomers and seasoned developers in navigating the Optimism codebase with ease.☆80Updated 3 months ago
- A minimal based rollup implementation that is easy to understand and extend☆46Updated 2 months ago
- Solidity language support & local node testing for VS Code☆51Updated 3 weeks ago
- A mutation testing tool for Solidity Smart Contracts☆85Updated 7 months ago
- ☆106Updated 2 years ago
- ☆102Updated 3 weeks ago
- Solidity 0.8.X AST parsing and analysis in Rust.☆78Updated 2 years ago
- Tools for Yul.☆138Updated 2 years ago
- Smart Contract Property-Based Testing Framework☆137Updated 8 months ago