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 6 months ago
chests-genuine / zk-Soundness-Checker
View on GitHub
☆36Dec 11, 2025Updated 6 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 6 months ago
ProvableHQ / leo
View on GitHub
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
☆4,816Jun 5, 2026Updated last week
teaxyz / white-paper
View on GitHub
how will the protocol work?
☆7,935Dec 8, 2025Updated 6 months ago
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.
genlayerlabs / genlayer-project-boilerplate
View on GitHub
☆13,368Jun 5, 2026Updated last week
zama-ai / fhevm
View on GitHub
FHEVM, a full-stack framework for integrating Fully Homomorphic Encryption (FHE) with blockchain applications
☆25,245Jun 6, 2026Updated last week