Solution: LP-0005 — Private Balance Attestation

[dubzn]

Submission for LP-0005: Private Token Balance Attestation.

Implementation repo:
https://github.com/dubzn/logos-private-balance-attestation

This solution includes:

• RISC Zero balance-attestation circuit for the LEZ private account commitment format.
• Real local wallet/sequencer witness path using getProofForCommitment.
• Off-chain verifier for the public proof envelope.
• Context binding, presenter binding, and context nullifier derivation.
• Local/pluggable Messaging adapter with token-gated admission and duplicate rejection.
• Backend-backed Basecamp MVP.
• Standalone consumer integration demos: governance gate, chat gate, and fee-tier gate.
• Root demo.sh, SPEL-style IDL JSON, Basecamp module.json, CI, local benchmark docs, and clean-room runner.

Validation command:

./demo.sh --clean-room --real-prover

With local LEZ sequencer/wallet/private account:

PRIVATE_ACCOUNT=Private/<private-account-id> \
THRESHOLD=1 \
  ./demo.sh --clean-room --real-prover --with-lez --with-live --with-ppe

Important on-chain note:

The repo includes two local on-chain candidates:

1. Workable public LEZ gate:
   The host verifies the RISC Zero proof envelope before submitting the LEZ gate transaction; the LEZ program records/deduplicates the context nullifier.

2. PPE-native LEZ gate:
   LEZ private execution checks balance >= threshold and writes public gate/nullifier state. This passed locally with RISC0_DEV_MODE=0, including duplicate and insufficient-balance rejection.

Open evaluator question:

For LP-0005, should the final on-chain path be the PPE-native private execution gate, or is there a supported public LEZ pattern for verifying an externally submitted RISC Zero receipt inside a LEZ program?

Relevant docs:

• docs/SUBMISSION_STATUS.md
• docs/ONCHAIN_PATH_DECISION.md
• docs/PRIZE_CHECKLIST.md
• docs/EVALUATOR_GUIDE.md

[github-actions]

✅ Validation passed

A reviewer will assess against the prize criteria.
ℹ️ Solution submission for LP-0005.
ℹ️ Checking repo: https://github.com/dubzn/logos-private-balance-attestation

---

Automated check. See solution template and TERMS.