☆36Dec 11, 2025Updated 6 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 6 months ago
- ☆34Dec 5, 2025Updated 6 months ago
- A very small CLI helper that compares three conceptual Web3 styles and shows how well each fits your priorities☆34Dec 5, 2025Updated 6 months ago
- A tiny CLI tool that sketches Merkle-style state commitment layouts for Web3 projects☆34Dec 4, 2025Updated 6 months ago
- 🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications☆4,819Updated this week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- how will the protocol work?☆7,925Dec 8, 2025Updated 6 months ago
- ☆681Mar 17, 2026Updated 3 months ago
- Detect real-time threats and events on OP Stack compatible blockchains☆1,616May 29, 2024Updated 2 years ago
- Zama Bounty Program: Contribute to the FHE space and Zama's open source libraries and get rewarded 💰☆15,310Feb 20, 2026Updated 4 months ago
- FHEVM, a full-stack framework for integrating Fully Homomorphic Encryption (FHE) with blockchain applications☆25,200Jun 26, 2026Updated last week