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/chests-genuine/zk-Soundness-Checker)

chests-genuine / zk-Soundness-Checker

☆36

Alternatives and similar repositories for zk-Soundness-Checker

Users that are interested in zk-Soundness-Checker are comparing it to the libraries listed below

Sorting:

chests-genuine / zk-soundness-lite
View on GitHub
☆34Dec 5, 2025Updated 3 months ago
musks-suburbs / gas-soundness-check
View on GitHub
☆34Dec 5, 2025Updated 3 months ago
carpalsgrabby / web3_focus_slider
View on GitHub
A very small CLI helper that compares three conceptual Web3 styles and shows how well each fits your priorities
☆34Dec 5, 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
base / web
View on GitHub
☆662Updated this week
base / pessimism
View on GitHub
Detect real-time threats and events on OP Stack compatible blockchains
☆1,613May 29, 2024Updated last year
zama-ai / bounty-program
View on GitHub
Zama Bounty Program: Contribute to the FHE space and Zama's open source libraries and get rewarded 💰
☆15,468Feb 20, 2026Updated 3 weeks 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