Detailed Security Proofs for DARLT
Year: 2026
Type: article
Abstract: This document gives the complete definitions, oracles and security proofs for DARLT, delegatable anonymous rate-limited tokens with batch spending and public accountability for AI agents. It contains the full experiments for accountability, non-frameability, metadata hiding and least-privilege delegation, the proofs for the underlying primitive SPSEQ-FC in the generic group model, and the proofs of all security theorems of DARLT.
Source: IEEE SIGPORT
DOI: 10.60864/36s9-ya94
Authors: Zhaofeng Ma, Zhiquan Liu, Tian Tian, Haojie Zhou
Language: English
Subfield: Computer Networks and Communications
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7225660974
FWCI:
Cites:
Cited by:
Related to: