Live Demo — ZK-Proven

Search Military Doctrine

Soldier using military tablet in the field
documents indexed · chunks · collections · ZK proof verified by zkVerify

Ask Any Military Question.
Get Answers You Can Actually Trust.

Real US Army, Navy, Marine Corps, and Air Force doctrine.
AI-powered answers with cryptographic proof on blockchain — no hallucinations, no trust required.

🏠 Best practices for clearing a building room by room
🎖️ Principles of fire and maneuver
🚑 Medical evacuation under fire
📘 Leadership principles from FM 6-22

Why This Matters

🛡️

For Soldiers & Planners

Get doctrine in seconds during planning or ops — with cryptographic proof no one doctored the output.

📡

For Analysts & Trainers

Train teams on real field manuals without digging through PDFs. Every answer links directly to the source.

🔧

For Developers & AI Builders

Build agents that cite sources cryptographically. Never get called out on fake citations again.

🔗 Every Answer Comes with a Verifiable ZK Proof

After any search, click Search with Provenance to generate a cryptographic ZK proof — then verify it live on Horizen via zkVerify. The flow below shows how your query gets tied to the blockchain.

Zero-Knowledge proof flow diagram

📂 Browse the Full Document Catalog

See what documents are in the live corpus — titles, sources, and descriptions. 525,000+ pages of official military doctrine, indexed and searchable.

📡 API Reference

Build with the API — agents use the REST interface, humans browse the interactive docs below.

🔎 Search the Document Corpus

Every answer comes with a verifiable ZK proof — try one of the examples above or type your own below.

📁 Search Within Collection

Collections

Collection Description Documents
Loading…

API Example: Query with Metadata Filtering

curl -X POST https://militarymanuals.ai/api/query \
  -H "Content-Type: application/json" \
  -H "Authorization: Bearer *** \
  -d '{
    "collection": "army",
    "query": "How do I conduct urban operations?",
    "metadata_filter": {
      "category": "field-manual",
      "classification": "unclassified"
    }
  }'

Discovery

🛡️ Trusted Answers for High-Stakes Decisions

In the field, in the TOC, in training — you need fast answers you can trust. Every result here is drawn from official US military publications and carries a ZK proof that ties it back to the blockchain. No AI confabulation. No "looks right." Provable.

🔗 For AI Builders: Agents That Never Fabricate

Build AI systems that cite their sources with cryptographic certainty. Every answer can come with a ZK proof that it was drawn from the committed corpus, not fabricated. Perfect for intelligence tools, training platforms, and operational aids.

Ready to Deploy Your Own Verifiable Military-Grade Corpus?

Turn any document collection into a hallucination-resistant, cryptographically verifiable search engine. Open source, self-hosted, production-ready today.

Built for the field. Built for trust. Built on Horizen + zkVerify.

Run this for your own corpus

The full open-source implementation is available on GitHub — pipelines, ZK circuits, smart contracts, and frontend all included. Built on Horizen EVM and zkVerify.

🔗 How It Works — ZK-RAG

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:

1
Poseidon Hash The passage text is hashed using the Poseidon function into a leaf hash.
2
Merkle Proof The circuit proves this leaf is a member of the Merkle tree for this document.
3
Chain Anchor The Merkle root was anchored on Horizen mainnet when the document was registered — verified on-chain.
4
ZK Verification Anyone can verify this proof on Horizen via zkVerify — without downloading the document or trusting a third party.

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.