musks-suburbs/gas-soundness-check 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/gas-soundness-check

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/gas-soundness-check)

Close

musks-suburbs / gas-soundness-checkView on GitHubMore

• External links
• Readme badge

☆34Dec 5, 2025Updated 3 months ago

Alternatives and similar repositories for gas-soundness-check

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

• carpalsgrabby / zk-arch-noir-gauge

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

  View on GitHub
  ☆36Dec 11, 2025Updated 3 months ago
• carpalsgrabby / state_commitment_layout

  View on GitHub
  A tiny CLI tool that sketches Merkle-style state commitment layouts for Web3 projects
  ☆34Dec 4, 2025Updated 3 months ago
• ProvableHQ / leo

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

  View on GitHub
  how will the protocol work?
  ☆7,928Dec 8, 2025Updated 3 months ago
• genlayerlabs / genlayer-project-boilerplate

  View on GitHub
  ☆5,165Dec 10, 2025Updated 3 months ago
• zama-ai / fhevm

  View on GitHub
  FHEVM, a full-stack framework for integrating Fully Homomorphic Encryption (FHE) with blockchain applications
  ☆25,707Updated this week