☆36Dec 11, 2025Updated 4 months ago
Alternatives and similar repositories for zk-Soundness-Checker
Users that are interested in zk-Soundness-Checker are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆34Dec 5, 2025Updated 4 months ago
- ☆34Dec 5, 2025Updated 4 months ago
- A very small CLI helper that compares three conceptual Web3 styles and shows how well each fits your priorities☆34Dec 5, 2025Updated 4 months ago
- A tiny CLI tool that sketches Merkle-style state commitment layouts for Web3 projects☆34Dec 4, 2025Updated 4 months ago
- 🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications☆4,812Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- how will the protocol work?☆7,926Dec 8, 2025Updated 4 months ago
- ☆672Mar 17, 2026Updated last month
- Detect real-time threats and events on OP Stack compatible blockchains☆1,614May 29, 2024Updated last year
- Zama Bounty Program: Contribute to the FHE space and Zama's open source libraries and get rewarded 💰☆15,381Feb 20, 2026Updated 2 months ago
- FHEVM, a full-stack framework for integrating Fully Homomorphic Encryption (FHE) with blockchain applications☆25,337Updated this week