> For the complete documentation index, see [llms.txt](https://docs.nubit.org/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://docs.nubit.org/a-unified-bitcoin-asset-protocol/goldinals-a-unified-bitcoin-asset-protocol/zero-knowledge-proofs.md).

# Zero-Knowledge Proofs

Zero-knowledge proofs enable private ownership proof and public transaction verification. ZKOracles scan Bitcoin blocks, validate state changes, and compress data into on-chain proofs, reducing dependence on trusted indexers.

#### Technical Architecture

* State Management: ZKOracles track and compress state, making balances auditable on-chain.
* Computation Offloading: Transactions are proven off-chain, with proofs validated on-chain.
* Trust Model: Assumes one honest validator, with Bitcoin consensus as the final authority.
* Cryptography: Employs Merkle trees, recursive ZK systems, and challenge-response mechanisms for efficiency and security.