mirror of
https://github.com/zooai/proofs.git
synced 2026-10-30 14:49:47 +00:00
Zoo Formal Proofs
Machine-checked and paper proofs for the Zoo Labs Foundation stack: per-LLM training chains, the original 2021 Zoo NFT protocol, and homomorphic-DAO governance.
Provenance
- 2021-10: Zoo whitepaper (Worring & Kelling) coined "NFT Liquidity Protocol"
for collateral-backed NFT lending. See
~/work/zoo/papers/zoo-2021-original-whitepaper/. - 2025: Zoo Securities & DAO paper.
See
~/work/zoo/papers/zoo-2025-securities-and-dao/.
Inventory
| File | Topic | Status |
|---|---|---|
zoo-per-llm-chain-soundness.tex |
per-LLM training chain: deterministic gradient ordering, attribution, reproducibility | paper |
zoo-dao-governance-soundness.tex |
Homomorphic / holographic-consensus DAO: weighted voting, FHE-tallied secrecy, anti-Sybil | paper |
thinking-chains-soundness.tex |
Thinking Chains (Proof of AI): red-team audit of Tier-0 governance contracts + issuance + visibility; on-chain invariants (cap, receipt-auth, digest domain-sep), findings, economic-security caveats | paper |
lean/ |
Lean 4 sources (shared with luxfi/proofs/lean/) |
typecheck |
Build
cd lean && lake build
tectonic zoo-per-llm-chain-soundness.tex
tectonic zoo-dao-governance-soundness.tex
ZIP cross-references
See ~/work/zoo/zips/INDEX.md "Formal Proofs" section.
| ZIP | Proof |
|---|---|
| ZIP-0400-0418 (AI Assistant + per-LLM chains) | zoo-per-llm-chain-soundness.tex |
| ZIP-0500-0570 (Sustainability + DAO) | zoo-dao-governance-soundness.tex |
Chronology
See CHRONOLOGY.md.