Alternatives and similar repositories for selector-soundness

Users that are interested in selector-soundness are comparing it to the libraries listed below

• carpalsgrabby / web3_focus_slider

  View on GitHub
  A very small CLI helper that compares three conceptual Web3 styles and shows how well each fits your priorities
  ☆34Dec 5, 2025Updated 2 months ago
• musks-suburbs / zk-gas-soundness

  View on GitHub
  ☆36Dec 9, 2025Updated 2 months ago
• casks-mutters / tx-fee-soundness

  View on GitHub
  ☆37Dec 10, 2025Updated 2 months ago
• carpalsgrabby / zk-arch-noir-gauge

  View on GitHub
  small Web3 architecture gauge for Aztec-style proving.
  ☆39Dec 3, 2025Updated 2 months ago
• ProvableHQ / leo

  View on GitHub
  🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
  ☆4,802Updated this week
• teaxyz / white-paper

  View on GitHub
  how will the protocol work?
  ☆7,932Dec 8, 2025Updated 2 months ago
• coinbase / smart-wallet

  View on GitHub
  ☆469Jan 14, 2026Updated last month
• zama-ai / bounty-program

  View on GitHub
  Zama Bounty Program: Contribute to the FHE space and Zama's open source libraries and get rewarded 💰
  ☆15,497Jul 25, 2025Updated 6 months ago
• zama-ai / fhevm

  View on GitHub
  FHEVM, a full-stack framework for integrating Fully Homomorphic Encryption (FHE) with blockchain applications
  ☆25,803Feb 6, 2026Updated last week