musks-suburbs/zk-gas-soundness external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

musks-suburbs/zk-gas-soundness

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/musks-suburbs/zk-gas-soundness)

Close

musks-suburbs / zk-gas-soundnessView on GitHubMore

• External links
• Readme badge

☆36Dec 9, 2025Updated 4 months ago

Alternatives and similar repositories for zk-gas-soundness

Users that are interested in zk-gas-soundness are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• chests-genuine / selector-soundness

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

  View on GitHub
  small Web3 architecture gauge for Aztec-style proving.
  ☆39Dec 3, 2025Updated 5 months ago
• chests-genuine / zk-soundness-lite

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

  View on GitHub
  ☆131Apr 17, 2026Updated 2 weeks ago
• ProvableHQ / leo

  View on GitHub
  🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
  ☆4,812Updated this week
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
• teaxyz / white-paper

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

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