asymptotic-code / sui-proverLinks
Formal Verification tool for Move on Sui
☆16Updated last week
Alternatives and similar repositories for sui-prover
Users that are interested in sui-prover are comparing it to the libraries listed below
Sorting:
- A curated list of Arbitrum Stylus code examples, libraries and resources☆86Updated 7 months ago
- ☆59Updated last year
- A curated list of content related to EIP-7702 account abstraction☆74Updated last month
- Hello World AVS☆101Updated 4 months ago
- 🦄 UniswapV3 fork that computes swaps off-chain via a zkVM☆84Updated last year
- Zero-knowledge arithmetic circuit implementation for on-chain Battleship Game☆75Updated last year
- 🔌 Preconfirmations protocol for sub-second transaction confirmations on Ethereum.☆59Updated last year
- ☆67Updated last year
- Walkthroughs to leverage Odyssey's features from the future.☆104Updated 2 months ago
- ZK Circuit examples, written in Circom and Noir☆37Updated 2 years ago
- Unified interface for sending messages from Ethereum to other chains and rollups.☆104Updated 2 years ago
- ☆116Updated 2 years ago
- A document designed to explain fault proof from multiple perspectives, aimed at quickly bringing newcomers up to speed on the mechanisms …☆42Updated 11 months ago
- EulerSwap is an automated market maker (AMM) that integrates with EVK vaults and the EVC to provide deeper liquidity for swaps.☆43Updated 3 weeks ago
- ☆75Updated 7 months ago
- Hardhat starter template to build zero knowledge proof applications using circom and snark.js☆41Updated 8 months ago
- The simplest way to spin your own dev / prod rollup, fully configurable.☆98Updated 10 months ago
- An Execution Abstraction framework that allows apps, frontends, and oracles to fulfill their users' intents and retain their users' MEV b …☆153Updated last week
- MevWallet is a smart contract wallet that allows the user to capture MEV from Searchers, or create MEV on purpose.☆154Updated 2 years ago
- A repo of example Noir projects.☆64Updated 3 weeks ago
- A VSCode extension offering utilities for solidity smart-contract development.☆133Updated last month
- A Foundry library for deploying and managing upgradeable smart contracts☆96Updated last year
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs☆47Updated 2 years ago
- My homework and notes on zkEVM Bootcamp by zkSync and Encode Club☆66Updated 8 months ago
- ☆105Updated last year
- Simulate cross-chain protocols txs, easily.☆151Updated 2 months ago
- 🌴 Core smart contracts for Mangrove with deployment scripts and example offer logics☆49Updated 4 months ago
- A template for developing Rust projects, with sensible defaults☆91Updated last month
- Account2 is three things: - Account Abstraction (AA) - Economic Abstraction (EA) - Account Linking☆78Updated 2 years ago
- RustBlock-Outpost is the most complete blockchain-oriented Rust knowledge base that was created for educational purposes. Check it to fin…☆55Updated last year