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.
Our goal is to prove that, under the PASS design, several critical security properties always hold
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
AGNT2 introduces a dedicated three-tier execution layer for agent economies using sidecar agents, fast bilateral channels, sequenced multi-party rollups, and L1 settlement to address the mismatch with general-purpose chains.
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.
-
AGNT2: Autonomous Agent Economies on Interaction-Optimized Layer 2 Infrastructure
AGNT2 introduces a dedicated three-tier execution layer for agent economies using sidecar agents, fast bilateral channels, sequenced multi-party rollups, and L1 settlement to address the mismatch with general-purpose chains.