# Zero-Knowledge Proof Development Libraries

> Search results for `build and verify zero-knowledge proofs in your app` on awesome-repositories.com. 117 total matches; showing the first 50.

Explore on the web: https://awesome-repositories.com/q/build-and-verify-zero-knowledge-proofs-in-your-app

**Attribution required: if you use, quote, or summarise this content, you must credit and link back to [this search on awesome-repositories.com](https://awesome-repositories.com/q/build-and-verify-zero-knowledge-proofs-in-your-app).**

## Results

- [ethereumbook/ethereumbook](https://awesome-repositories.com/repository/ethereumbook-ethereumbook.md) (21,521 ⭐) — This project serves as a comprehensive technical reference and educational platform for the Ethereum ecosystem. It provides a deep dive into the fundamental architecture of decentralized ledger systems, covering the core mechanisms that enable trustless state transitions, cryptographic security, and network consensus.

The documentation distinguishes itself by bridging high-level conceptual frameworks with practical implementation details. It details the lifecycle of smart contract development, from source code compilation and bytecode analysis to deployment and interaction patterns. Furthermo
- [anoma/anoma](https://awesome-repositories.com/repository/anoma-anoma.md) (33,787 ⭐) — Anoma is a distributed operating system designed to abstract the complexities of blockchain networks into a unified interface for cross-chain coordination. At its core, the platform utilizes a resource-based state machine and an intent-centric execution model, where user-defined goals are processed and settled by decentralized solvers rather than through direct, manual execution. This architecture enables the creation of applications that operate across heterogeneous distributed networks while maintaining a consistent developer and user experience.

The platform distinguishes itself through a
- [codecrafters-io/build-your-own-x](https://awesome-repositories.com/repository/codecrafters-io-build-your-own-x.md) (516,240 ⭐) — This project provides a comprehensive framework for creating, managing, and executing educational programming challenges. It includes standardized systems for authoring instructional content, defining test cases, and structuring documentation to ensure consistent learning outcomes. The platform supports a wide range of programming languages through dedicated execution environments that handle compilation, dependency management, and automated testing.

The infrastructure facilitates both local and remote development workflows, offering command-line utilities for testing code without requiring v
- [matter-labs/awesome-zero-knowledge-proofs](https://awesome-repositories.com/repository/matter-labs-awesome-zero-knowledge-proofs.md) (5,802 ⭐) — A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
- [zcash/zcash](https://awesome-repositories.com/repository/zcash-zcash.md) (5,370 ⭐) — Zcash is a privacy-preserving cryptocurrency that operates a blockchain where transactions can be shielded using zero-knowledge proofs. Its reference full node, zcashd, stores the complete transaction history and validates both transparent and shielded transactions, preserving confidentiality for sender, receiver, and amount.

The node implements the Sapling and Orchard shielded protocols, with Orchard using the Halo2 proving scheme to eliminate the need for a trusted setup. It offers a dual-address model that lets users choose per transaction between transparent (fully public) and shielded (p
- [appsmithorg/appsmith](https://awesome-repositories.com/repository/appsmithorg-appsmith.md) (40,051 ⭐) — Appsmith is a low-code platform designed for building internal business tools, such as operational dashboards and administrative panels. It enables developers to construct dynamic user interfaces by dragging and dropping modular widgets onto a canvas and binding them directly to backend data sources. The platform utilizes a reactive framework that automatically updates interface elements and triggers functions whenever underlying data or widget properties change, eliminating the need for manual event handling.

The platform distinguishes itself through a server-side proxy architecture that exe
- [vote-and-verify/vote-and-verify](https://awesome-repositories.com/repository/vote-and-verify-vote-and-verify.md) (19 ⭐) — A Vote-and-Verify Strategy for Fast Spatial Verification in Image Retrieval
- [amazingang/wtf-solidity](https://awesome-repositories.com/repository/amazingang-wtf-solidity.md) (14,002 ⭐) — WTF-Solidity is a comprehensive educational curriculum and learning platform designed to guide developers through the complexities of smart contract development and blockchain infrastructure. It serves as a technical resource for mastering the Ethereum ecosystem, providing structured tutorials that cover everything from fundamental programming concepts to advanced virtual machine operation codes.

The project distinguishes itself through an integrated on-chain certification system that issues verifiable digital credentials to students upon the successful completion of course modules. By combin
- [peiyuanix/build-your-own-zerotier](https://awesome-repositories.com/repository/peiyuanix-build-your-own-zerotier.md) (603 ⭐) — Build your own layer-2 virtual switch in less than 300 lines of code
- [agno-agi/agno](https://awesome-repositories.com/repository/agno-agi-agno.md) (40,717 ⭐) — Agno is an agent operating system designed to manage the lifecycle, tool execution, and persistent state of autonomous agents across distributed infrastructure. It provides a unified runtime environment that wraps diverse agent frameworks into a consistent, interoperable protocol, allowing developers to build and deploy complex multi-agent systems that coordinate tasks and delegate sub-processes.

The platform distinguishes itself through a robust governance and orchestration layer that includes human-in-the-loop approval gates, role-based access control, and a centralized API gateway. It feat
- [kroma-network/tachyon](https://awesome-repositories.com/repository/kroma-network-tachyon.md) (7,666 ⭐) — Tachyon is a suite of hardware-accelerated engines and modular infrastructure for generating succinct non-interactive arguments of knowledge and polynomial commitments. It provides a GPU-accelerated zero-knowledge proof backend and a prover system designed to construct proofs from high-level circuit descriptions.

The project distinguishes itself through a GPU cryptographic accelerator that offloads elliptic curve operations, field arithmetic, and cryptographic hashes to graphics hardware. This infrastructure includes a specialized polynomial commitment engine and modular components that allow
- [crewaiinc/crewai](https://awesome-repositories.com/repository/crewaiinc-crewai.md) (53,687 ⭐) — CrewAI is a multi-agent orchestration framework designed for building autonomous systems that execute complex, multi-step workflows. It provides a development platform where specialized agents are defined with specific roles, goals, and tool sets to perform tasks collaboratively. By leveraging a declarative workflow engine, the system manages task dependencies, state transitions, and execution logic, allowing for the creation of structured, stateful sequences of operations.

The framework distinguishes itself through its hierarchical management capabilities, which utilize manager agents to coo
- [ibax-io/go-ibax](https://awesome-repositories.com/repository/ibax-io-go-ibax.md) (7,858 ⭐) — go-ibax is a blockchain protocol platform and decentralized application infrastructure used to deploy networks with custom governance and token economics. It provides a foundation for building decentralized applications through a framework that integrates identity management and on-chain data storage.

The project features a multilingual virtual machine capable of executing smart contracts written in Go, Rust, and Solidity. It implements a sharded blockchain network to increase throughput and a privacy layer utilizing zero-knowledge proofs and homomorphic encryption to anonymize transaction da
- [buildthingsuseful/build-your-own-kafka](https://awesome-repositories.com/repository/buildthingsuseful-build-your-own-kafka.md) (65 ⭐) — Build Your Own Kafka
- [calebegg/proof-pad](https://awesome-repositories.com/repository/calebegg-proof-pad.md) (11 ⭐) — Proof Pad is a web based IDE for ACL2, using Google Kubernetes Engine to run ACL2 itself on the backend. Users can write and verify functions and theorems using a modern editor or a REPL interface. It's the evolution of the original Proof Pad project.
- [curl/curl](https://awesome-repositories.com/repository/curl-curl.md) (42,214 ⭐) — Curl is a command-line tool and portable library for transferring data across a wide range of network protocols. It functions as a unified engine that abstracts diverse communication standards, allowing users and developers to move files and information between servers using a consistent interface. The project provides both a versatile command-line client for terminal-based automation and a stable programmatic interface for integrating complex network operations into applications.

The system is distinguished by its protocol-agnostic core and its ability to manage both synchronous and asynchro
- [stellar/stellar-core](https://awesome-repositories.com/repository/stellar-stellar-core.md) (3,269 ⭐) — Stellar Core is the primary software implementation of the Stellar blockchain network, serving as a distributed ledger and a Federated Byzantine Agreement system. It functions as a core node that maintains the shared state of the network and provides a runtime environment for executing WebAssembly smart contracts.

The project enables the creation and management of digital assets, including the implementation of decentralized exchanges through distributed orderbooks and automated liquidity pools. It facilitates cross-border payment settlement by routing assets via path payments and bridging di
- [danistefanovic/build-your-own-x](https://awesome-repositories.com/repository/danistefanovic-build-your-own-x.md) (516,495 ⭐) — Master programming by recreating your favorite technologies from scratch.
- [remix-project-org/remix-project](https://awesome-repositories.com/repository/remix-project-org-remix-project.md) (3,003 ⭐) — Remix is a comprehensive blockchain development environment and Ethereum smart contract IDE. It provides a complete workspace for writing, compiling, deploying, and debugging smart contracts across simulated and public blockchain networks.

The project distinguishes itself as a specialized toolchain for EVM debugging and analysis, offering opcode-level transaction stepping and state memory analysis. It also includes a dedicated zero-knowledge proof toolchain for compiling ZK circuits and generating cryptographic proofs, alongside an AI-powered coding assistant for code generation and explanati
- [ibm/ipfs-social-proof](https://awesome-repositories.com/repository/ibm-ipfs-social-proof.md) (149 ⭐) — IPFS Social Proof: A decentralized identity and social proof system
- [verifytests/verify](https://awesome-repositories.com/repository/verifytests-verify.md) (3,446 ⭐) — Verify is a snapshot testing tool that simplifies the assertion of complex data models and documents.
- [offciercia/defi-developer-road-map](https://awesome-repositories.com/repository/offciercia-defi-developer-road-map.md) (10,697 ⭐) — This project serves as a comprehensive educational roadmap and technical resource collection for developers building decentralized finance applications. It provides a structured curriculum that guides users through the entire lifecycle of blockchain development, from mastering smart contract architecture and security best practices to integrating decentralized infrastructure into modern web applications.

The repository distinguishes itself by offering a holistic view of the decentralized ecosystem, bridging the gap between low-level protocol interaction and high-level application design. It c
- [dotheevo/selfhosted-apps-docker](https://awesome-repositories.com/repository/dotheevo-selfhosted-apps-docker.md) (2,833 ⭐) — This project is a curated collection of deployment files and configurations for hosting a wide variety of open-source services on a home server. It primarily utilizes Docker and Docker Compose to automate the orchestration, lifecycle management, and deployment of containerized applications.

The repository provides a comprehensive suite for self-hosted infrastructure, covering network management tools, media streaming, and home automation. It includes specialized configurations for securing internal services via reverse proxies, WireGuard VPN tunnels, and automated SSL/TLS certificate manageme
- [mystenlabs/sui](https://awesome-repositories.com/repository/mystenlabs-sui.md) (7,612 ⭐) — Sui is a blockchain platform featuring an object-centric state model and resource-oriented smart contracts. It utilizes parallel transaction execution to increase network throughput and supports programmable transaction blocks that bundle multiple operations into single atomic units.

The platform distinguishes itself with a capability-based access control system and zero-knowledge login mechanisms, enabling users to authenticate via identity providers without seed phrases. It also implements deterministic object addressing to allow predictable state lookups and supports the creation of soulbo
- [leela-zero/leela-zero](https://awesome-repositories.com/repository/leela-zero-leela-zero.md) (5,579 ⭐) — Go engine with no human-provided knowledge, modeled after the AlphaGo Zero paper.
- [dbt-labs/dbt-core](https://awesome-repositories.com/repository/dbt-labs-dbt-core.md) (13,051 ⭐) — dbt-core is a command-line framework for transforming data within a warehouse using modular SQL and version control. It functions as a data transformation engine that enables users to define data structures and business logic through declarative configuration files, which the system then compiles into executable code. By managing complex data dependencies through a directed acyclic graph, it ensures that transformation tasks execute in the correct order while maintaining a manifest-driven state to track lineage and execution history.

The project distinguishes itself through an adapter-based d
- [f/prompts.chat](https://awesome-repositories.com/repository/f-prompts-chat.md) (163,814 ⭐) — This platform serves as a centralized management system for organizing, refining, and versioning AI instructions and agent skills. It functions as a repository that enables users to store, categorize, and retrieve structured prompts, ensuring consistent performance across various artificial intelligence models. By integrating with the Model Context Protocol, the system allows external AI assistants and development environments to discover and access these instruction libraries directly.

The platform distinguishes itself through its focus on prompt engineering and automated refinement, utilizi
- [thoughtworks/build-your-own-radar](https://awesome-repositories.com/repository/thoughtworks-build-your-own-radar.md) (2,549 ⭐) — This project is a technology radar visualization tool and dockerized static site generator. It transforms JSON or CSV datasets into an interactive technology map used to track the adoption status and maturity of tools and techniques across an organization.

The tool enables enterprise architecture mapping by organizing portfolios of technologies into categories and maturity levels. It supports custom technical taxonomies, allowing the definition of specialized rings and quadrants to match specific organizational evaluation criteria.

The system covers automated radar generation and technology
- [matter-labs/zksync](https://awesome-repositories.com/repository/matter-labs-zksync.md) (4,950 ⭐) — zkSync is an Ethereum layer 2 scaling network and zero-knowledge rollup solution. It processes transactions off-chain and submits validity proofs to the mainchain to increase throughput and reduce transaction costs while inheriting the security of the Ethereum mainnet.

The project features an account abstraction framework that uses smart accounts and session keys to enable gasless transactions and simplified user onboarding. It includes a zero-knowledge proof framework for verifying computations and asset transfers without revealing underlying private data.

The system covers a broad range of
- [expo/expo](https://awesome-repositories.com/repository/expo-expo.md) (50,111 ⭐) — Expo is a universal mobile framework designed to build native iOS and Android applications from a single codebase using web-standard technologies. It provides a comprehensive development environment that includes a unified runtime for testing, cloud-based infrastructure for compiling and signing native binaries, and automated tools for managing the entire mobile release lifecycle, including app store submission.

The framework distinguishes itself through a plugin-based native configuration engine that programmatically modifies project files, allowing developers to integrate native modules wit
- [knowledgecanvas/knowledge](https://awesome-repositories.com/repository/knowledgecanvas-knowledge.md) (1,458 ⭐) — Knowledge is a tool for saving, searching, accessing, exploring and chatting with all of your favorite websites, documents and files.
- [zama-ai/fhevm](https://awesome-repositories.com/repository/zama-ai-fhevm.md) (25,215 ⭐) — fhevm is a full-stack blockchain framework designed to integrate Fully Homomorphic Encryption into smart contracts. It provides a platform for developing confidential smart contracts that can process encrypted data and execute private on-chain computations without decrypting the underlying information.

The framework utilizes a coprocessor system to offload resource-intensive encrypted operations to an asynchronous service, improving blockchain performance and scalability. It incorporates a secure key management service based on multi-party computation and a zero-knowledge proof verifier to en
- [dyad-sh/dyad](https://awesome-repositories.com/repository/dyad-sh-dyad.md) (19,648 ⭐) — Dyad is a local, artificial intelligence-powered development environment designed to manage, edit, and scaffold full-stack software projects. It functions as an automated codebase manager and code editor that leverages language models to execute programming tasks, maintain project context, and apply targeted modifications directly to source files on a user's machine.

The platform distinguishes itself through a model-agnostic architecture that allows for flexible integration with various language model runtimes. It provides specialized operational modes to optimize development speed and effici
- [tickstem/verify](https://awesome-repositories.com/repository/tickstem-verify.md) (2 ⭐) — Go SDK for Tickstem — email verification for production apps
- [fincept-corporation/finceptterminal](https://awesome-repositories.com/repository/fincept-corporation-finceptterminal.md) (26,900 ⭐) — FinceptTerminal is a quantitative finance platform and financial engineering library designed for asset valuation, risk management, and fixed-income analytics. It provides a comprehensive suite for algorithmic trading and investment strategy automation, integrating specialized language model agents and node-based workflows to automate market research and alpha generation.

The project distinguishes itself with a dedicated game theory analysis engine for calculating Nash equilibria and simulating strategic interactions in competitive markets. It also features a specialized credit risk modeling
- [tokenrove/build-your-own-shell](https://awesome-repositories.com/repository/tokenrove-build-your-own-shell.md) (496 ⭐) — Guidance for mollusks (WIP)
- [unionlabs/union](https://awesome-repositories.com/repository/unionlabs-union.md) (73,961 ⭐) — Union is an interoperability messaging protocol and trust-minimized asset bridge designed to transport data and instructions across diverse blockchain ecosystems. It provides a zero-knowledge cross-chain bridge and a state verifier that uses zero-knowledge provers and light clients to validate blockchain state transitions without relying on trusted intermediaries.

The project features a WebAssembly blockchain runtime that hosts virtualized smart contracts and stacks for extensible network functionality. It employs a modular relayer architecture and a decentralized mechanism for moving assets
- [florinpop17/app-ideas](https://awesome-repositories.com/repository/florinpop17-app-ideas.md) (95,036 ⭐) — App-ideas is a development platform that integrates autonomous AI agents into local environments to orchestrate code review, automated fix application, and workflow management. It functions as a command-line interface that connects external AI assistants to your codebase, enabling iterative development cycles through plugin-based integration and natural language triggers.

The platform distinguishes itself through a robust static analysis engine that traverses syntax trees to enforce structural coding standards and identify violations. Users can define custom review rules, architectural prefer
- [lukemathwalker/build-your-own-jira-with-rust](https://awesome-repositories.com/repository/lukemathwalker-build-your-own-jira-with-rust.md) (0 ⭐) — You will be working through a series of test-driven exercises, or koans, to learn Rust while building your own JIRA clone!
- [pyinstaller/pyinstaller](https://awesome-repositories.com/repository/pyinstaller-pyinstaller.md) (13,019 ⭐) — PyInstaller is a cross-platform binary packager and application freezer that bundles Python scripts and their dependencies into standalone executables. It allows programs to be distributed and run on target operating systems without requiring a local installation of the Python interpreter.

The tool functions as a standalone executable bundler, packaging the application with all necessary modules and libraries into a single file or folder. It includes integration for digital binary signing to satisfy operating system security requirements for distributed software.

The system utilizes static a
- [gocn/knowledge](https://awesome-repositories.com/repository/gocn-knowledge.md) (2,667 ⭐) — Go社区的知识图谱，Knowledge Graph
- [futurice/ios-good-practices](https://awesome-repositories.com/repository/futurice-ios-good-practices.md) (10,976 ⭐) — This project provides a set of development guidelines and architectural recommendations for building iOS applications. It focuses on structuring Swift applications to decouple business logic from the user interface to improve testability and maintenance.

The project covers specific implementation standards for security, such as using keychain storage for sensitive data and TLS certificate pinning for network traffic. It also defines patterns for code quality enforcement through static analysis and compiler configurations, as well as strategies for asset and localization management.

The guide
- [eczarny/spectacle](https://awesome-repositories.com/repository/eczarny-spectacle.md) (13,631 ⭐) — Spectacle is a keyboard-driven window manager and organizer that uses system accessibility frameworks to manipulate window coordinates and dimensions. It allows for the arrangement, resizing, and movement of application windows across multiple displays using global keyboard shortcuts.

The tool focuses on multi-monitor layout management, enabling users to shift active windows between connected displays and snap windows into predefined screen regions such as halves, thirds, or corners. It also provides the ability to center and maximize windows to optimize screen real estate without using a mou
- [missing-semester-cn/missing-semester-cn.github.io](https://awesome-repositories.com/repository/missing-semester-cn-missing-semester-cn-github-io.md) (7,311 ⭐) — This is an open-source educational website that translates and localizes MIT's Missing Semester course, teaching practical computing skills for computer science students. The curriculum covers developer tooling, shell scripting, version control, security fundamentals, and open-source collaboration, with a focus on core computing skills including data processing pipelines, workflow automation, secure remote access, shell productivity, Vim editing, and Git version control.

The project distinguishes itself by teaching command-line mastery, shell scripting, and automation to boost daily developer
- [flipperdevices/flipperzero-firmware](https://awesome-repositories.com/repository/flipperdevices-flipperzero-firmware.md) (15,563 ⭐) — This project provides an open-source firmware platform and complete build environment for portable multi-tool hardware. It functions as an embedded operating system designed to manage radio, infrared, and physical interface components, enabling users to develop custom applications and system logic for specialized hardware devices.

The firmware distinguishes itself through a modular architecture that organizes system functionality into isolated units, allowing for the development of custom user interfaces and logic. It includes a comprehensive collection of low-level drivers and applications s
- [vbpf/ebpf-verifier](https://awesome-repositories.com/repository/vbpf-ebpf-verifier.md) (467 ⭐) — eBPF verifier based on abstract interpretation
- [clickhouse/clickhouse](https://awesome-repositories.com/repository/clickhouse-clickhouse.md) (48,229 ⭐) — ClickHouse is a high-performance, columnar analytical database designed for real-time query execution and large-scale data aggregation. It functions as a distributed data warehouse capable of processing petabytes of information, while also providing an embedded engine that integrates directly into applications for native query capabilities without external dependencies. The system is built to handle high-throughput ingestion and complex analytical workloads, delivering millisecond-level latency for interactive dashboards and operational monitoring.

The platform distinguishes itself through ad
- [mattermost/mattermost](https://awesome-repositories.com/repository/mattermost-mattermost.md) (38,139 ⭐) — Mattermost is a self-hosted, enterprise-grade communication platform designed for organizations that require strict control over their internal data and messaging infrastructure. It functions as a centralized hub for real-time team interaction, offering persistent messaging, voice and video conferencing, and integrated project management tools within a single, private workspace. The platform is built to support high-security environments, including air-gapped deployments where public internet access is restricted or unavailable.

The platform distinguishes itself through a focus on regulatory
- [vercel/turborepo](https://awesome-repositories.com/repository/vercel-turborepo.md) (30,552 ⭐) — Turborepo is a build orchestrator designed to manage task execution within monorepos. It functions as a task pipeline manager that models workspace relationships as a directed acyclic graph, allowing it to coordinate complex build sequences and dependency orders across multiple interconnected packages.

The system accelerates development cycles through incremental task execution, which identifies and skips redundant work by analyzing file contents and environment variables to generate unique task identifiers. It leverages content-addressable caching to store build outputs locally or remotely,
- [ravirupareliya/rn-in-app-review](https://awesome-repositories.com/repository/ravirupareliya-rn-in-app-review.md) (78 ⭐) — React native package to add in app review functionality for android and ios applications