# ZK Transcript

## Purpose

This transcript gives reviewers a deterministic, machine-backed summary of the current PrivateDAO zk stack.

It is intended to answer:

- which proving system is used
- which ptau artifact underpins setup
- which files belong to each circuit layer
- which hashes identify the reviewer-facing artifacts
- which commands replay build, prove, and verify for each layer

## Stack Identity

- Project: `PrivateDAO`
- ZK stack version: `1`
- Proving system: `groth16`
- PTau artifact: `zk/setup/pot12_final.ptau`
- PTau sha256: `ed4298dfb57be7831b9def92e6caa5d584d2c7a1bcf984fb8a9ace6250ed94d8`
- PTau bytes: `4720054`
- Attestation artifact: `docs/zk-attestation.generated.json`

## Layer Transcript

### VOTE — `private_dao_vote_overlay`

- Source: `zk/circuits/private_dao_vote_overlay.circom`
- Sample input: `zk/inputs/private_dao_vote_overlay.sample.json`
- Proof: `zk/proofs/private_dao_vote_overlay.proof.json`
- Public signals: `zk/proofs/private_dao_vote_overlay.public.json`
- Verification key: `zk/setup/private_dao_vote_overlay_vkey.json`
- Proving key: `zk/setup/private_dao_vote_overlay_final.zkey`
- R1CS: `zk/build/private_dao_vote_overlay.r1cs`
- WASM: `zk/build/private_dao_vote_overlay_js/private_dao_vote_overlay.wasm`
- Witness: `zk/proofs/private_dao_vote_overlay.wtns`
- Public signal count: `6`
- Build command: `npm run zk:build:vote`
- Prove command: `npm run zk:prove:vote`
- Verify command: `npm run zk:verify:vote`

Artifact hashes:

- source sha256: `10894814dbd80792f331313330a9e2b560c4c1d6dddfcefd5fd00af16c8290d0`
- sample input sha256: `fda2fceecc017bb179639a955d54809ebb35941b985e6a928098c0feb7740485`
- proof sha256: `8b006e248fe3cc9532d6e351ff15e6a1c962668ff51e00112919ff01f1dc8410`
- public signals sha256: `274280bc7d44e7dd52969cc806ba16236af08a18aefffc0b9000ac6648377a83`
- verification key sha256: `d4973d720f547cbebc64affc52ab678d0bc7135f03bb8f6b221df1ebd49d2469`
- proving key sha256: `479699baf7005dd1081a047a5fccd6704f4dedb5908bb6bf4be88fa8fb71ccd9`
- r1cs sha256: `ca6bc6eccf007559963ded14e2bc528b97c7a03e839884996c71f06a11b1b5c0`
- wasm sha256: `de36974ba8461c2c27e89ed172266bad4cbf18d961e5074658a84e5621e9921f`
- witness sha256: `24a9b5d55a8934bb02eaba520b8f87f2cf8f4df8dafe66c2785763a7fc7c827b`

### DELEGATION — `private_dao_delegation_overlay`

- Source: `zk/circuits/private_dao_delegation_overlay.circom`
- Sample input: `zk/inputs/private_dao_delegation_overlay.sample.json`
- Proof: `zk/proofs/private_dao_delegation_overlay.proof.json`
- Public signals: `zk/proofs/private_dao_delegation_overlay.public.json`
- Verification key: `zk/setup/private_dao_delegation_overlay_vkey.json`
- Proving key: `zk/setup/private_dao_delegation_overlay_final.zkey`
- R1CS: `zk/build/private_dao_delegation_overlay.r1cs`
- WASM: `zk/build/private_dao_delegation_overlay_js/private_dao_delegation_overlay.wasm`
- Witness: `zk/proofs/private_dao_delegation_overlay.wtns`
- Public signal count: `7`
- Build command: `npm run zk:build:delegation`
- Prove command: `npm run zk:prove:delegation`
- Verify command: `npm run zk:verify:delegation`

Artifact hashes:

- source sha256: `b9a63f53fd942f675ca9ffc1a765f17f4bfe87a7bba77244bec582fe6f02fea0`
- sample input sha256: `ed558bdd30408483f4f9b2fd442ca7d53ddb2d76dd652fae68468ab0e1d75b96`
- proof sha256: `c94d61f9201271edf6e86f4970611d59bfea461afa97b605e007ad1a1bbf7294`
- public signals sha256: `715fae38b0d06dd66b637e1c59f30cd38428bc75146b1ed1524a6565ea439c6f`
- verification key sha256: `bb1fa1187507cd88b428bc4d8120290999907560a3761253ff6a68c2985eaf9b`
- proving key sha256: `e382cc1d03d20316a332a8f21f67a25c2b75e4b33348d362f1300c41dec4b202`
- r1cs sha256: `41c5db4f837208142be9ee099b7784666a3ba1195b262cc07127306bfe53627e`
- wasm sha256: `908acca6d51866bde376844f00a99049257c28aa25330a0906b5edec15978674`
- witness sha256: `8fe660ce20c09d3c524916d3cb6c15a3af1156b5e338ae9520dd00f8e10dc9e0`

### TALLY — `private_dao_tally_overlay`

- Source: `zk/circuits/private_dao_tally_overlay.circom`
- Sample input: `zk/inputs/private_dao_tally_overlay.sample.json`
- Proof: `zk/proofs/private_dao_tally_overlay.proof.json`
- Public signals: `zk/proofs/private_dao_tally_overlay.public.json`
- Verification key: `zk/setup/private_dao_tally_overlay_vkey.json`
- Proving key: `zk/setup/private_dao_tally_overlay_final.zkey`
- R1CS: `zk/build/private_dao_tally_overlay.r1cs`
- WASM: `zk/build/private_dao_tally_overlay_js/private_dao_tally_overlay.wasm`
- Witness: `zk/proofs/private_dao_tally_overlay.wtns`
- Public signal count: `7`
- Build command: `npm run zk:build:tally`
- Prove command: `npm run zk:prove:tally`
- Verify command: `npm run zk:verify:tally`

Artifact hashes:

- source sha256: `9cb2cd4b9537bcebc0f6b2414c1937288c085fba6688fb6825db34a6a76ac3ad`
- sample input sha256: `2e6296ad1107b4228114e4bb07f3aa351f83286199256aa335b220c41ba98e26`
- proof sha256: `d60a9cb872c925ce142d78ffebee443471de12e3026cceb59a183b6e4717739d`
- public signals sha256: `f4a395063aa902dc6c943b8941fec71310342cd246d151d9d994e3e85d5046ee`
- verification key sha256: `9e8aad21b0a5aa74cb169f8856643b9d90f5231016f14b648e03a3d87a649ce6`
- proving key sha256: `e0d3a7df3cb6cde5cb3934c8a3f268f0887444c97e77452d209aa4aaf63f10a7`
- r1cs sha256: `2e8d0e3c1ef40f76b9df0404e6ddd223e3b75213e699fd81d29a81b60b5d2883`
- wasm sha256: `eb6dc0cf3078fa6514a3303aa21714f8c5848d8013ea140b0eec3ba72f22cdd0`
- witness sha256: `fe876091a42cff1a172cff96e3cec5546cea6ada02e4ea2e4d50d5b2260948d2`

## Canonical Replay Commands

```bash
npm run build:zk-registry
npm run build:zk-transcript
npm run build:zk-attestation
npm run verify:zk-registry
npm run verify:zk-transcript
npm run verify:zk-attestation
npm run verify:zk-docs
npm run verify:zk-consistency
npm run verify:zk-negative
npm run zk:all
```

## Honest Boundary

This transcript proves that the current repository contains a real Circom and Groth16 artifact stack with reproducible layer commands and stable hashes for the tracked zk materials.

It does not claim:

- on-chain verifier integration
- arbitrary hidden execution
- full hidden tally replacement on the deployed Solana program