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:
- ☆84Updated this week
- Playing with zero-knowledge proof languages☆107Updated 2 years ago
- Horus, a formal verification tool for StarkNet smart contracts.☆76Updated 5 months ago
- Smart contract debugging data format – Standards development working group☆72Updated 4 months ago
- This is the markdown for the ZK Book☆105Updated this week
- Certora tutorials☆26Updated 2 months ago
- A curated list of awesome ton security resources☆39Updated 2 months ago
- A curated list of repos related to Circom☆102Updated 2 years ago
- Zero-Knowledge University☆34Updated last year
- Automated verification of uniqueness property for ZKP circuits☆90Updated last year
- MoveBit Sampled Audit Reports☆53Updated last year
- My work for Rareskills ZK Book.☆68Updated last year
- Ethereum zkEVM book☆77Updated last month
- Hello World AVS☆101Updated 7 months ago
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆78Updated last year
- Using mutations to improve specs and test suites☆200Updated 6 months ago
- A gentle, example-based guide to getting started with the Move prover.☆51Updated 3 years ago
- A repo of example Noir projects.☆71Updated 2 weeks ago
- My homework and notes on zkEVM Bootcamp by zkSync and Encode Club☆65Updated 11 months ago
- Resources for learning Noir from ZKCamp's Aztec Course☆59Updated 2 years ago
- RISC-V prover system for ZKsync OS☆104Updated this week
- MoonMath Manual notes, exercise solution and extra comments.☆30Updated last year
- Introduction to various ZK languages☆87Updated 2 months ago
- basic circom project using hardhat-circom (upgrade to circom2 is WIP)☆133Updated 2 years ago
- ☆69Updated 2 years ago
- A curated list of research, articles, tools, and resources focused on attacks against Fully Homomorphic Encryption (FHE)☆86Updated last week
- A collection of awesome Wake tests including links to guides and more.☆16Updated 2 months ago
- A curated list of resources for learning about Trusted Execution Environments (TEEs) in the context of blockchains.☆34Updated last month
- Solutions to exercises from MoonMath Manual to zkSNARKs.☆86Updated 11 months ago
- LLVM-based Solidity compiler.☆168Updated last week