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
A user performs a private action, such as preparing a hidden transaction.
Their system generates a proof showing that the action follows the correct logic.
The proof is published or sent to a verifier.
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.
Last updated