chests-genuine/zk-soundness-lite 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-lite

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-lite)

Close

chests-genuine / zk-soundness-liteView on GitHubMore

• External links
• Readme badge

☆34Dec 5, 2025Updated 4 months ago

Alternatives and similar repositories for zk-soundness-lite

Users that are interested in zk-soundness-lite 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-Checker

  View on GitHub
  ☆36Dec 11, 2025Updated 4 months ago
• carpalsgrabby / zk-arch-noir-gauge

  View on GitHub
  small Web3 architecture gauge for Aztec-style proving.
  ☆39Dec 3, 2025Updated 4 months ago
• musks-suburbs / zk-gas-soundness

  View on GitHub
  ☆36Dec 9, 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
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
• coinbase / smart-wallet

  View on GitHub
  ☆480Jan 14, 2026Updated 2 months ago
• coinbase / onchainkit

  View on GitHub
  React components and TypeScript utilities to help you build top-tier onchain apps.
  ☆1,028Jan 31, 2026Updated 2 months ago
• coinbase / agentkit

  View on GitHub
  Every AI Agent deserves a wallet.
  ☆1,188Apr 2, 2026Updated last week
• base / pessimism

  View on GitHub
  Detect real-time threats and events on OP Stack compatible blockchains
  ☆1,614May 29, 2024Updated last year
• spaceandtimefdn / sxt-proof-of-sql

  View on GitHub
  Space and Time | Proof of SQL
  ☆5,465Mar 27, 2026Updated 2 weeks ago
• 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