Alternatives and similar repositories for zk-gas-soundness

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

• chests-genuine / selector-soundness

  View on GitHub
  ☆36Dec 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
• chests-genuine / zk-soundness-lite

  View on GitHub
  ☆34Dec 5, 2025Updated 2 months ago
• base / account-sdk

  View on GitHub
  ☆113Updated this week
• ProvableHQ / leo

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

  View on GitHub
  how will the protocol work?
  ☆7,932Dec 8, 2025Updated 2 months ago
• lukasmasuch / best-of-crypto

  View on GitHub
  🏆 A ranked list of awesome open-source crypto projects. Updated weekly.
  ☆533Jul 12, 2024Updated last year