PASS: A Provenanced Access Subaccount System for Blockchain Wallets
Jay Yu, Shunfan Zhou, Hang Yin, Brian Seong

TL;DR
PASS introduces a provenance-based control system for blockchain wallets, enabling secure, private, and verifiable shared custody suitable for organizational and AI agent use cases.
Contribution
It formalizes a provenance-based access control model for wallets, proves core invariants in Lean 4, and demonstrates an efficient prototype implementation.
Findings
Provenance-based wallets are practical and efficient.
The system maintains privacy of internal transfers.
The prototype achieves measurable throughput on AWS enclaves.
Abstract
Blockchain wallets conventionally follow an ownership model where possession of a private key grants unilateral control. However, this assumption is brittle for emerging settings such as AI agent wallets, organizational custody, and enterprise payroll, where multiple actors must coordinate without exposing secrets or leaking internal activity. We present PASS, a Provenanced Access Subaccount System that replaces role-based or identity-based control with provenance-based control: assets can only be used by subaccounts that can trace custody back to a valid deposit. A simple Inbox-Outbox mechanism ensures all external actions have verifiable lineage, while internal transfers remain private and indistinguishable from ordinary EOAs. We formalize PASS in Lean 4 and prove core invariants, including privacy of internal transfers, asset accessibility, and provenance integrity. We implement a…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
