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 5 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,812Updated this week
teaxyz / white-paper
View on GitHub
how will the protocol work?
☆7,926Dec 8, 2025Updated 4 months ago
Wordpress hosting with auto-scaling - Free Trial Offer • Ad
Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
genlayerlabs / genlayer-project-boilerplate
View on GitHub
☆11,904Updated this week
zama-ai / fhevm
View on GitHub
FHEVM, a full-stack framework for integrating Fully Homomorphic Encryption (FHE) with blockchain applications
☆25,337Updated this week