Skip to content

test(privacy): add privacy-preserving test coverage for LEZ programs#215

Draft
jonesmarvin8 wants to merge 3 commits into
mainfrom
marvin/privacy-tests
Draft

test(privacy): add privacy-preserving test coverage for LEZ programs#215
jonesmarvin8 wants to merge 3 commits into
mainfrom
marvin/privacy-tests

Conversation

@jonesmarvin8

@jonesmarvin8 jonesmarvin8 commented Jul 7, 2026

Copy link
Copy Markdown

Examine privacy preserving test coverage for LEZ programs; add tests when applicable and explain any blockers from test coverages.

… programs

Validates the Q2 privacy features (shield/deshield, private-to-private transfers,
existing-account crediting, group-owned accounts, and private PDAs) against the
token and ata program flows, which previously ran almost entirely in public
context. Adds the key_protocol dependency for GMS-based group-account tests and
introduces a docs/privacy-test-matrix.md tracker mapping each program/instruction/
privacy-dimension combination to pass, fail, or not-expressible, with root-cause
findings for each gap (notably that private PDAs are structurally unsupported by
any program currently deriving addresses via for_public_pda).

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
@jonesmarvin8 jonesmarvin8 changed the title test(privacy): add privacy-preserving test coverage for token and ata… test(privacy): add privacy-preserving test coverage for LEZ programs Jul 7, 2026
…/ATA gaps

Add Stablecoin privacy-preserving tests for WithdrawCollateral and RepayDebt
(personal and group-owned variants), plus a regression test confirming
OpenPosition is incompatible with the privacy circuit (chained-call
re-authorization). Close the last planned Token row (MintWithAuthority to a
private holding) and the ATA owner-signer gap for Transfer (personal and
group-owned), plus a defensive Create/group-owner test.

Extract shared privacy-test helpers (identity builders, GroupOwner
seal/unseal handshake) into integration_tests/src/lib.rs and use them
throughout token.rs, collapsing duplicated InputAccountIdentity/account
construction. Update docs/privacy-test-matrix.md with all new findings.
…, refine ATA/token coverage

Documents the private-account primitives (private PDA vs public PDA, group-shared
accounts) and per-program privacy test results in docs/findings.md. Adds a
stablecoin test confirming WithdrawCollateral can't pay out to a brand-new private
destination, and folds in further ATA/token privacy test refinements.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant