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

chests-genuine/zk-Soundness-Checker

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

Close

chests-genuine / zk-Soundness-CheckerView on GitHubMore

• External links
• Readme badge

☆36Dec 11, 2025Updated 4 months ago

Alternatives and similar repositories for zk-Soundness-Checker

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

• chests-genuine / zk-soundness-lite

  View on GitHub
  ☆34Dec 5, 2025Updated 4 months ago
• musks-suburbs / gas-soundness-check

  View on GitHub
  ☆34Dec 5, 2025Updated 4 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 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
• Proton VPN Special Offer - Get 70% off • Ad
  Special partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
• teaxyz / white-paper

  View on GitHub
  how will the protocol work?
  ☆7,925Dec 8, 2025Updated 4 months ago
• base / web

  View on GitHub
  ☆666Mar 17, 2026Updated 3 weeks ago
• base / pessimism

  View on GitHub
  Detect real-time threats and events on OP Stack compatible blockchains
  ☆1,614May 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,416Feb 20, 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