asymptotic-code / sui-proverLinks
Formal Verification tool for Move on Sui
☆28Updated 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:
- Hello World AVS☆102Updated 5 months ago
- ☆67Updated 2 years ago
- A repo of example Noir projects.☆68Updated this week
- ☆60Updated 2 years ago
- Playing with zero-knowledge proof languages☆106Updated 2 years ago
- The implementation of Stateless Ethereum client based on Reth☆168Updated 5 months ago
- Zero-knowledge arithmetic circuit implementation for on-chain Battleship Game☆76Updated last year
- ☆46Updated last year
- A curated list of ZK and Maths resources☆49Updated last year
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆78Updated last year
- A curated list of Arbitrum Stylus code examples, libraries and resources☆87Updated 8 months ago
- The simplest way to spin your own dev / prod rollup, fully configurable.☆99Updated 11 months ago
- JavaScript library for anonymous voting on Ethereum blockchain using zero-knowledge proof☆63Updated 2 years ago
- Introduction to various ZK languages☆87Updated last month
- To collect data on the performance and security characteristics of ZK circuits being verified on the Ethereum Blockchain and expose this …☆60Updated 2 years ago
- Smart contract debugging data format – Standards development working group☆70Updated 3 months ago
- ERC-7683 - Intents Framework Monorepo☆149Updated 6 months ago
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs☆47Updated 3 years ago
- ZK Circuit examples, written in Circom and Noir☆37Updated 2 years ago
- 🦄 UniswapV3 fork that computes swaps off-chain via a zkVM☆84Updated last year
- Template for integrating RISC Zero and Ethereum using Foundry☆138Updated 3 months ago
- Zero-Knowledge University☆33Updated last year
- groth16 verifier implementation with solana altbn syscalls☆53Updated 3 months ago
- basic circom project using hardhat-circom (upgrade to circom2 is WIP)☆132Updated 2 years ago
- Cross-chain interop research, funded by Optimism Governance.☆61Updated 5 months ago
- CLI to verify your starknet contracts classes on block explorers!☆35Updated this week
- Privacy Pools by 0xbow is a compliant way to anonymously transact on Ethereum. 0xbow blocks illicit actors to ensure pool integrity.☆80Updated last month
- A testing & development environment for Circom.☆114Updated 2 months ago
- An Execution Abstraction framework that allows apps, frontends, and oracles to fulfill their users' intents and retain their users' MEV b…☆155Updated this week
- A opensource blazing fast EVM relayer - built in rust.☆102Updated this week