Solution: LP-0002 - Private M-of-N Multisig (v0.2.0-rc5 resubmission)

[jeefxM]

Resubmission of LP-0002 – Private M-of-N Multisig. The prior PR (#91) was closed after first-round review; per @weboko's suggestion this is a fresh PR with all feedback addressed.

This addresses all six review items and ports the solution to the current testnet rev (Logos LEZ v0.2.0-rc5 — the testnet was redeployed and state-wiped, so the program was rebuilt and redeployed, and the full 2-of-3 flow re-run live with real STARKs):

1. CU / cycle cost — reported. Approve inner guest 262,144 RISC0 cycles (197,041 user, 1 segment); outer succinct circuit 1,048,576 cycles; succinct proof 229,379 B; ~180 s wall.
2. Partial-approval resume across restarts — demonstrated. scripts/lp0002-resume-rc5.sh: approval_count survives a kill -9 of the standalone sequencer + restart on the same RocksDB, then completes to threshold.
3. e2e against a standalone sequencer — wired into CI. .github/workflows/lp0002-ci.yml msig-e2e-devmode job boots a standalone sequencer and drives the full 2-of-3 via scripts/lp0002-demo-rc5.sh.
4. README CLI/Basecamp walkthrough — completed.
5. Basecamp assets hosted as a downloadable. Signed, multi-variant .lgx (darwin-arm64 + linux-amd64 + linux-arm64) at https://github.com/jeefxM/logos-lp0002-msig-module/releases/tag/v0.1.0 — install via Package Manager → Install from file; verify with lgx verify.
6. Anonymous-approval binding — now an in-circuit live-account proof (not derivation-only): the guest asserts the vote rides the member's live shielded account (rider.account_id == for_regular_private_account(npk(secret), VOTE_IDENTIFIER) and rider != default), and the LEZ privacy circuit proves the rider's commitment is in the live commitment set.

Submission repo: https://github.com/jeefxM/lp-0002-private-multisig-rc5 — program id 9pwpqhXCZqzBDYctvTvzPeV1qoviSAENw2utmayHgvBF. Full live 2-of-3 evidence (deploy / two anonymous approvals with two distinct nullifiers / threshold execute / treasury 100→0) is in solutions/LP-0002.md and re-queryable on testnet.lez.logos.co.

[github-actions]

✅ Validation passed

A reviewer will assess against the prize criteria.
ℹ️ Solution submission for LP-0002.
ℹ️ Checking repo: https://github.com/jeefxM/lp-0002-private-multisig-rc5

---

Automated check. See solution template and TERMS.