Solution: LP-0005 — Private Token Balance Attestation

[dubzn]

Draft LP-0005 Submission

This is a draft submission for technical feedback before treating it as award-ready.

Current status:

• Local E2E with RISC0_DEV_MODE=0 passed.
• The proof path uses real local wallet private state and the real LEZ wallet/sequencer getProofForCommitment flow.
• Off-chain verification is implemented with a reusable verifier crate.
• The current on-chain path is a Workable / host-preverified model:
  • the host verifies the public proof envelope before submitting the transaction;
  • the LEZ program records gate admission state and deduplicates the context nullifier;
  • the LEZ program does not yet cryptographically verify the RISC Zero receipt inside public LEZ execution.

The main feedback I am looking for is around the expected on-chain verification model for LP-0005:

• Should LP-0005 require direct public LEZ verification of an external RISC Zero receipt?
• Is there a supported assumptions/receipt path for public LEZ programs today?
• Or would a Logos-native/private-execution gate, or the current host-preverified gate-ledger model, be acceptable if documented clearly?

I intentionally marked the on-chain verifier requirement as partial in the solution file rather than claiming it is complete.