An AI search system that can prove — cryptographically — that its results come from your actual documents, not fabricated citations. Every answer generates a ZK proof verified by zkVerify, anchored on the Horizen blockchain — provably, without exposing the source documents. The collection below is a live demo using publicly available military doctrine as the example corpus.
Documents are anchored on-chain once. Every search triggers a fresh ZK proof verified via Kurier → zkVerify — provably, without revealing the documents.
See what documents are in the demo corpus — titles, sources, and descriptions.
Build with the API — agents use the REST interface, humans browse the interactive docs below.
| Collection | Description | Documents |
|---|---|---|
| Loading… | ||
curl -X POST https://militarymanuals.ai/api/query \
-H "Content-Type: application/json" \
-H "Authorization: Bearer YOUR_API_KEY" \
-d '{
"collection": "army",
"query": "How do I conduct urban operations?",
"metadata_filter": {
"category": "field-manual",
"classification": "unclassified"
}
}'Publish your documents once. Others can search and verify them — provably — without ever downloading the originals. Your IP stays private; your corpus stays useful.
Build AI systems that cite their sources with cryptographic certainty. Every answer can come with a ZK proof that it was drawn from your committed corpus, not fabricated.
The full open-source implementation is available on GitHub — pipelines, ZK circuits, smart contracts, and frontend all included. Built on Horizen EVM and zkVerify.
ZK-RAG (Zero-Knowledge Retrieval-Augmented Generation) combines semantic search with cryptographic proofs so every result can be independently verified without revealing the underlying documents. Every passage in these search results is anchored to the Horizen blockchain at the time documents are registered. The ZK circuit proves the following without revealing the full document:
This allows third parties to cryptographically verify that a passage existed in a document at a specific block — provably — without requiring access to the original file. Click "🔗 Not verified" on any passage to generate and submit a ZK proof.