PASS replaces private-key control in blockchain wallets with provenance tracking, using an Inbox-Outbox mechanism for verifiable lineage on external actions while preserving privacy for internal transfers, with Lean 4 proofs and an enclave-based prototype.
Forbes (2025),https://www.forbes.com/sites/digital-assets/2025 /02/22/breaking-could-bybits-14b-hack-have-been-stopped-ledger-cz-r eact/
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.CR 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
PASS: A Provenanced Access Subaccount System for Blockchain Wallets
PASS replaces private-key control in blockchain wallets with provenance tracking, using an Inbox-Outbox mechanism for verifiable lineage on external actions while preserving privacy for internal transfers, with Lean 4 proofs and an enclave-based prototype.