☆36Dec 10, 2025Updated 3 months ago
Alternatives and similar repositories for selector-soundness
Users that are interested in selector-soundness are comparing it to the libraries listed below
Sorting:
- A very small CLI helper that compares three conceptual Web3 styles and shows how well each fits your priorities☆34Dec 5, 2025Updated 3 months ago
- ☆36Dec 9, 2025Updated 3 months ago
- ☆37Dec 10, 2025Updated 3 months ago
- small Web3 architecture gauge for Aztec-style proving.☆39Dec 3, 2025Updated 3 months ago
- 🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications☆4,804Updated this week
- how will the protocol work?☆7,928Dec 8, 2025Updated 3 months ago
- ☆472Jan 14, 2026Updated last month
- Zama Bounty Program: Contribute to the FHE space and Zama's open source libraries and get rewarded 💰☆15,468Feb 20, 2026Updated 3 weeks ago
- FHEVM, a full-stack framework for integrating Fully Homomorphic Encryption (FHE) with blockchain applications☆25,707Updated this week