musks-suburbs/gas-soundness-check

Readme badge preview -

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

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

musks-suburbs / gas-soundness-check

☆34

Alternatives and similar repositories for gas-soundness-check

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

Sorting:

carpalsgrabby / zk-arch-noir-gauge
View on GitHub
small Web3 architecture gauge for Aztec-style proving.
☆39Dec 3, 2025Updated 4 months ago
chests-genuine / zk-Soundness-Checker
View on GitHub
☆36Dec 11, 2025Updated 4 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 4 months ago
ProvableHQ / leo
View on GitHub
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
☆4,806Updated this week
teaxyz / white-paper
View on GitHub
how will the protocol work?
☆7,925Dec 8, 2025Updated 4 months ago
Bare Metal GPUs on DigitalOcean Gradient AI • Ad
Purpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
genlayerlabs / genlayer-project-boilerplate
View on GitHub
☆10,632Mar 11, 2026Updated last month
zama-ai / fhevm
View on GitHub
FHEVM, a full-stack framework for integrating Fully Homomorphic Encryption (FHE) with blockchain applications
☆25,380Updated this week