> For the complete documentation index, see [llms.txt](https://ghostwareos.gitbook.io/docs/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://ghostwareos.gitbook.io/docs/cryptography/zero-knowledge-proofs.md).
# Zero Knowledge Proofs
Zero Knowledge Proofs, or ZK proofs, allow someone to prove that something is true without revealing the details behind it. In GhostWare, they make it possible to show that a transaction or operation is valid without exposing who sent it, what was sent, or how the process was carried out.
PLONK is the specific proof system used in GhostWare. It stands for *Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge*. In simple terms, PLONK is a flexible and efficient proof system built for real-world use. It works fast enough to keep up with Solana’s speed while preserving full privacy.
### Why It Matters
Public blockchains are transparent by design. While transparency helps with verification, it completely removes privacy. Zero Knowledge Proofs let GhostWare keep transactions verifiable without revealing the details.
With ZK proofs, users can:
* Confirm a transaction follows the rules without showing who sent or received it.
* Prove that balances match without displaying exact amounts.
* Demonstrate compliance or limits without leaking personal data.
ZK proofs protect both security and privacy at the same time.
### How It Works
1. A user performs a private action, such as preparing a hidden transaction.
2. Their system generates a proof showing that the action follows the correct logic.
3. The proof is published or sent to a verifier.
4. Anyone can verify that the proof is valid without learning any private details.
The data stays hidden, but everyone can still be sure that the operation is legitimate.
### Why PLONK
PLONK is the right choice for GhostWare because it is simple, universal, and efficient.
* **Universal Setup:** One setup can be reused for many different types of proofs.
* **Small Proofs:** Proofs are compact, so they are easy to store and send.
* **Fast Verification:** Checking a proof takes only a few milliseconds.
* **Flexible:** It can represent complex logic, from balance checks to contract validation.
PLONK’s efficiency means GhostWare can run private operations without slowing down the Solana network.
### Use in GhostWare
GhostWare applies PLONK proofs in several ways:
* **Private Transactions:** Proving that inputs and outputs balance correctly without revealing any amounts.
* **Relay Validation:** Showing that ShadowNet relays processed data correctly without exposing paths.
* **Optional Compliance:** Allowing users to prove they meet certain conditions (such as not sending above a limit) without exposing their identity.
* **Cross-Module Trust:** Connecting private actions across GhostOS, GhostPay, and GhostRoute in a verifiable way.
### Solana Integration
GhostWare generates PLONK proofs off-chain to keep the network light. Only proof commitments or verification results are stored on Solana. This design keeps transactions fast while maintaining integrity.
Smart contracts on Solana can verify PLONK proofs directly or reference external verifiers. This means developers can build private systems that still work with standard Solana programs.
### In Simple Terms
ZK proofs are a way to prove honesty without revealing information. PLONK makes this process fast and practical. Together they let GhostWare give users complete privacy and trust at the same time.
---
# Agent Instructions
This documentation is published with GitBook. GitBook is the documentation platform designed so that both humans and AI agents can read, navigate, and reason over technical content effectively. Learn more at gitbook.com.
## Querying This Documentation
If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.
Perform an HTTP GET request on the current page URL with the `ask` query parameter, and the optional `goal` query parameter:
```
GET https://ghostwareos.gitbook.io/docs/cryptography/zero-knowledge-proofs.md?ask=&goal=
```
`ask` is the immediate question: it should be specific, self-contained, and written in natural language.
`goal` is optional and describes the broader end goal you are ultimately trying to accomplish on behalf of the user. GitBook uses it to tailor the answer towards what is most useful for that goal.
The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.
Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.