9.6.1 Zero Knowledge Fundamentals¶
Why This Sub-Part Matters¶
Zero Knowledge Fundamentals is the working skill inside ZK and Verifiable AI that helps you build the stage artifact, A threat model, red-team report, smart contract security lab, and tiny ZKML or verifiable computation demo, while collecting enough evidence to trust the result. A sub-part is now a folder so longer topics can grow without forcing everything into one huge page.
Study Pages¶
| Page | Purpose |
|---|---|
| Deep Dive | Full explanation, mechanisms, examples, and failure modes. |
| Examples and Practice | Worked exercises, project drills, and self-check prompts. |
Core Ideas¶
- Define Zero Knowledge Fundamentals in plain language before naming tools or frameworks.
- Connect it to the stage artifact: A threat model, red-team report, smart contract security lab, and tiny ZKML or verifiable computation demo.
- Measure it with: circuit size, proving time, verification time, precision loss, and model limits
- Name at least one failure mode, because real AI engineering is mostly controlled failure reduction.
- Keep the first implementation small enough to inspect by hand before scaling it.
How to Study It¶
- Read this overview and write the concept in your own words.
- Read the deep dive and identify the input, transformation, output, and failure mode.
- Complete the examples and practice page.
- Add one measurement using: Track circuit size, proving time, verification time, precision loss, and model limits.
Completion Standard¶
- I can explain Zero Knowledge Fundamentals without naming a tool first.
- I can connect it to the stage artifact.
- I can show a small artifact, measurement, or test.
- I know how it fails and what I would inspect first.
Return to 9.6 ZK and Verifiable AI.