ZKP construction catalogue — records, implementation status and review

[mitchuski]

I’ve opened the ZKP working draft, PR #8. This thread indexes the construction records and the related discussions. These links are pinned to the proposed commit; the changes are not yet merged or adopted.

The guide starts with the trust-graph outcome, then connects credential inputs, proof statements, verifier checks and implementation evidence. The book explains the options using the same records. Personhood is one use case, not the scope of every graph proof.

Record	Construction	Evidence state
001	Set membership over an accredited root	constructed
002	Scoped nullifier (reuse detection)	constructed
003	Transcript binding	constructed
004	Holder binding (key from secret)	carded
005	Distinct member / distinct issuer	constructed
006	Non-revocation against a status root	carded
007	Common control across identifiers	carded
008	Blinded binder (taskContext hiding; presentation correlation unresolved)	carded
010	Community-Anchored Proof (ADR-001)	carded
011	Pairwise edge (VRC possession, directed personas shown, pairwise identifiers hidden)	carded
012	Intentional correlation — one controller across k credentials	carded
020	Delegation chain (VDC) — agent acts for a member	carded

Four records are constructed and eight are carded. These states describe evidence maturity; they do not establish a complete composition or an adopted recommendation. The records remain the source for the generated construction text.

Please name the record ID, the claim or field being reviewed, the relevant assumption or counterexample, and what evidence would resolve it. The implementation guide and verifier worklist give the next steps.

To follow the work:

• TF overview and review questions.
• Proof priorities and ADR-001 follow-up.
• Credential common-control discussion and blinded-binder discussion.
• Meeting reader contribution.
• Standalone evidence update and my agentic gate-posting example.

Technical changes to the records and book can be reviewed here; priorities and working-group decisions return to the task force. I’ll add later revisions as dated links so we can see what changed and why.