<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.1 20151215//EN" "http://jats.nlm.nih.gov/publishing/1.1/JATS-journalpublishing1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML" xml:lang="en" article-type="research-article" dtd-version="1.1">
<front>
<journal-meta>
<journal-id journal-id-type="pmc">CMC</journal-id>
<journal-id journal-id-type="nlm-ta">CMC</journal-id>
<journal-id journal-id-type="publisher-id">CMC</journal-id>
<journal-title-group>
<journal-title>Computers, Materials &#x0026; Continua</journal-title>
</journal-title-group>
<issn pub-type="epub">1546-2226</issn>
<issn pub-type="ppub">1546-2218</issn>
<publisher>
<publisher-name>Tech Science Press</publisher-name>
<publisher-loc>USA</publisher-loc>
</publisher>
</journal-meta>
<article-meta>
<article-id pub-id-type="publisher-id">83047</article-id>
<article-id pub-id-type="doi">10.32604/cmc.2026.083047</article-id>
<article-categories>
<subj-group subj-group-type="heading">
<subject>Article</subject>
</subj-group>
</article-categories>
<title-group>
<article-title>Decentralized Sports Streaming Authorization: A Three-Layer Cryptographic Architecture for Live and On-Demand Access</article-title>
<alt-title alt-title-type="left-running-head">Decentralized Sports Streaming Authorization: A Three-Layer Cryptographic Architecture for Live and On-Demand Access</alt-title>
<alt-title alt-title-type="right-running-head">Decentralized Sports Streaming Authorization: A Three-Layer Cryptographic Architecture for Live and On-Demand Access</alt-title>
</title-group>
<contrib-group>
<contrib id="author-1" contrib-type="author">
<name name-style="western"><surname>Lin</surname><given-names>Liangyu</given-names></name></contrib>
<contrib id="author-2" contrib-type="author" corresp="yes">
<name name-style="western"><surname>Feng</surname><given-names>Li</given-names></name><email>lfeng@must.edu.mo</email></contrib>
<contrib id="author-3" contrib-type="author">
<name name-style="western"><surname>Huang</surname><given-names>Lin</given-names></name></contrib>
<aff id="aff-1"><institution>Faculty of Innovation Engineering, Macau University of Science and Technology</institution>, <addr-line>Macau</addr-line>, <country>China</country></aff>
</contrib-group>
<author-notes>
<corresp id="cor1"><label>&#x002A;</label>Corresponding Author: Li Feng. Email: <email>lfeng@must.edu.mo</email></corresp>
</author-notes>
<pub-date date-type="collection" publication-format="electronic">
<year>2026</year>
</pub-date>
<pub-date date-type="pub" publication-format="electronic">
<day>15</day><month>06</month><year>2026</year>
</pub-date>
<volume>88</volume>
<issue>2</issue>
<elocation-id>83</elocation-id>
<history>
<date date-type="received">
<day>02</day>
<month>04</month>
<year>2026</year>
</date>
<date date-type="accepted">
<day>08</day>
<month>05</month>
<year>2026</year>
</date>
</history>
<permissions>
<copyright-statement>&#x00A9; 2026 The Authors. Published by Tech Science Press.</copyright-statement>
<copyright-year>2026</copyright-year>
<copyright-holder>The Authors</copyright-holder>
<license xlink:href="https://creativecommons.org/licenses/by/4.0/">
<license-p>This work is licensed under a <ext-link ext-link-type="uri" xlink:type="simple" xlink:href="https://creativecommons.org/licenses/by/4.0/">Creative Commons Attribution 4.0 International License</ext-link>, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.</license-p>
</license>
</permissions>
<self-uri content-type="pdf" xlink:href="TSP_CMC_83047.pdf"></self-uri>
<abstract>
<p>The modern sports streaming market is severely fragmented, forcing fans into costly, siloed platforms. While blockchain-based decentralized architectures offer a unified, interoperable sport streaming ecosystem, securely delivering commercial video over untrusted infrastructure remains a profound cryptographic challenge. Existing schemes fail to simultaneously support highly granular on-demand highlights and large scale dynamic live subscriptions. To resolve this, we propose a novel decentralized authorization architecture that systematically integrates existing cryptographic primitives into a decoupled three-layer protocol. By securely bridging on-chain state transitions with off-chain cryptographic enforcement, our architecture directly maps commercial payment workflows onto the underlying key evolution logic. The protocol leverages a top-down Binary Hash Tree for arbitrary-grained aggregated authorization of static highlights, while combining a salt-governed forward hash chain with dynamic Identity-Based Broadcast Encryption to achieve state-driven adaptive authorization for live streams. Rigorous theoretical analysis and extensive evaluations confirm the robust security and high efficiency of our proposed architecture.</p>
</abstract>
<kwd-group kwd-group-type="author">
<kwd>Sports streaming media</kwd>
<kwd>decentralized authorization</kwd>
<kwd>end-to-end encrypted access control</kwd>
<kwd>revocation</kwd>
<kwd>blockchain</kwd>
</kwd-group></article-meta>
</front>
<body>
<sec id="s1">
<label>1</label>
<title>Introduction</title>
<p>The global sports streaming market [<xref ref-type="bibr" rid="ref-1">1</xref>] is experiencing unprecedented fragmentation. To maximize revenue, top-tier sports leagues are splitting their media rights across various independent platforms, forcing fans into a costly and siloed viewing experience where following a single team often requires multiple subscriptions. Concurrently, the sports consumption paradigm has fundamentally evolved. Modern audiences demand not only traditional Live Subscriptions [<xref ref-type="bibr" rid="ref-2">2</xref>] (e.g., full-match broadcasts or season passes) but also highly granular on-demand Highlights [<xref ref-type="bibr" rid="ref-3">3</xref>&#x2013;<xref ref-type="bibr" rid="ref-5">5</xref>] (e.g., short customized clips, player-specific moments, and secondary creations).</p>
<p>To unify this fragmented landscape, blockchain technologies [<xref ref-type="bibr" rid="ref-6">6</xref>] offer a highly promising solution. By leveraging blockchain as a trustless settlement layer and employing wallet-backed self-sovereign identities as universal identities [<xref ref-type="bibr" rid="ref-7">7</xref>], a decentralized ecosystem can dismantle traditional platform silos. This paradigm allows fans to access content from multiple independent broadcasters, or even different federations (e.g., the National Basketball Association (NBA), Premier League, and the Federation Internationale de Football Association (FIFA)), through a single, interoperable portal. It restores a seamless viewing experience for users while enabling content providers to directly monetize diverse digital sporting assets within a transparent, decentralized media economy.</p>
<p>Realizing this unified ecosystem requires delivering commercial video over untrusted infrastructure, such as decentralized storage networks or public content delivery networks [<xref ref-type="bibr" rid="ref-6">6</xref>,<xref ref-type="bibr" rid="ref-8">8</xref>]. To protect copyrights, the video payload must be rigorously end-to-end encrypted [<xref ref-type="bibr" rid="ref-9">9</xref>]. However, it introduces a profound challenge: the selective sharing of encrypted data. This challenge is complex in sports streaming, where data consumption operates along two distinct dimensions: historical Highlights and Live Subscriptions. Highlights demand retroactive, fine-grained isolation of bounded historical intervals (e.g., a specific 10-s goal clip) from a massive, pre-encrypted stream. Conversely, Live Subscriptions demand open-ended, continuous access to future data as it is generated, coupled with the ability to instantly sever access for departing viewers.</p>
<p>Most cryptographic data-sharing schemes are ill-equipped to handle these heterogeneous access patterns. Traditional approaches, such as relying on public-key encryption or Attribute-Based Encryption (ABE) [<xref ref-type="bibr" rid="ref-10">10</xref>], inherently force access policies to be hard-coded into ciphertexts. This static paradigm collapses in sports streaming, where the live audience is highly volatile, and eventual highlight buyers are entirely unknown during the initial broadcast. Furthermore, even advanced underlying cryptographic structures fall short. Binary Hash Trees (BHT) excel at static historical boundaries but cannot scale for continuous live subscriptions. Conversely, hash-chain-based subscription models natively support continuous access but suffer from an &#x201C;all-or-none&#x201D; limitation, failing to enforce exact historical boundaries for short clips. To this end, Droplet [<xref ref-type="bibr" rid="ref-11">11</xref>] proposed a unified architecture combining both primitives, but its continuous key derivation exposes a critical &#x201C;subscribe-cancel-resubscribe&#x201D; vulnerability that leaks unauthorized data. While recent schemes like SegSub [<xref ref-type="bibr" rid="ref-12">12</xref>] mitigate this by segmenting the regression chain, this rigid truncation fundamentally destroys the ultra-fine-grained expressiveness required for precise highlight clipping. More critically, when confronting the massive audience churn of live sports, both architectures collapse: their reliance on point-to-point (unicast) key updates inevitably triggers crippling <inline-formula id="ieqn-1"><mml:math id="mml-ieqn-1"><mml:mi>O</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>N</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> communication storms. Ultimately, no existing framework can simultaneously fulfill the stringent security and efficient authorization requirements of both live subscriptions and on-demand highlights.</p>
<p>To bridge this gap, instead of designing a fundamentally new cryptographic primitive, we propose a decentralized authorization architecture built upon a novel decoupled three-layer cryptographic protocol. The core novelty lies in the system design: rather than forcing access policies into static ciphertexts, our architecture ingeniously orchestrates existing primitives to physically isolate heterogeneous access demands into distinct layers. For static content, it utilizes a top-down BHT exclusively for payload encryption, fulfilling the ultra-fine-grained isolation demanded by on-demand highlights without introducing data redundancy. Conversely, for highly volatile live subscriptions, it orchestrates a salt-governed forward hash chain alongside dynamic Identity-Based Broadcast Encryption (IBBE). Under this mechanism, on-chain revocation events trigger the injection of unpredictable cryptographic salts to explicitly sever the forward derivation path for departing viewers. Simultaneously, dynamic IBBE securely encapsulates these salt updates into a single <inline-formula id="ieqn-2"><mml:math id="mml-ieqn-2"><mml:mi>O</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mn>1</mml:mn><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> broadcast, allowing all remaining legitimate subscribers to seamlessly maintain their access.</p>
<p>In summary, our main contributions are:<list list-type="bullet">
<list-item>
<p>A decentralized authorization architecture is proposed to securely bridge on-chain state transitions with off-chain cryptographic enforcement. By directly mapping commercial payment workflows onto the underlying key evolution logic, it establishes a transparent media economy enabling seamless, cross-platform, and cross-federation interoperability, allowing users to access diverse sports streams through a single portal.</p></list-item>
<list-item>
<p>A novel three-layer protocol design unifies heterogeneous access demands. This architecture design elegantly integrates existing cryptographic primitives into a single underlying cryptographic foundation. For on-demand highlights, it achieves arbitrary-grained aggregated authorization, enabling exact historical clipping without data redundancy. Concurrently, for continuous live streaming, it realizes state-driven adaptive authorization to execute dynamic, real-time access control with robust security and high efficiency.</p></list-item>
<list-item>
<p>Rigorous theoretical proofs demonstrate that the proposed scheme inherently guarantees forward and backward secrecy, alongside robust resistance to complex &#x201C;subscribe-cancel-resubscribe&#x201D; vulnerabilities. Furthermore, extensive evaluations confirm the architecture&#x2019;s overall efficiency across both consumption paradigms, demonstrating optimal communication overhead for exact-chunk highlight retrieval and strict <inline-formula id="ieqn-3"><mml:math id="mml-ieqn-3"><mml:mi>O</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mn>1</mml:mn><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> server scalability during live audience churn, with client latency remaining safely within standard buffer limits.</p></list-item>
</list></p>
<p>For clarity and ease of reference, the principal notations used throughout our system design and analysis are summarized in <xref ref-type="table" rid="table-1">Table 1</xref>.</p>
<table-wrap id="table-1">
<label>Table 1</label>
<caption>
<title>Main notation.</title>
</caption>
<table>
<colgroup>
<col align="center"/>
<col align="center"/> </colgroup>
<thead>
<tr>
<th>Symbol</th>
<th>Meaning</th>
</tr>
</thead>
<tbody>
<tr>
<td><inline-formula id="ieqn-4"><mml:math id="mml-ieqn-4"><mml:msub><mml:mi>m</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:math></inline-formula></td>
<td>Video chunk with global index <inline-formula id="ieqn-5"><mml:math id="mml-ieqn-5"><mml:mi>i</mml:mi></mml:math></inline-formula>.</td>
</tr>
<tr>
<td><inline-formula id="ieqn-6"><mml:math id="mml-ieqn-6"><mml:msub><mml:mi>k</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:math></inline-formula></td>
<td>Content Encryption Key (CEK) for chunk <inline-formula id="ieqn-7"><mml:math id="mml-ieqn-7"><mml:msub><mml:mi>m</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:math></inline-formula> (acts as a static data encryption key).</td>
</tr>
<tr>
<td><inline-formula id="ieqn-8"><mml:math id="mml-ieqn-8"><mml:msub><mml:mi>s</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:math></inline-formula></td>
<td>Temporal state corresponding to chunk <inline-formula id="ieqn-9"><mml:math id="mml-ieqn-9"><mml:msub><mml:mi>m</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:math></inline-formula> (acts as live Subscriber Encryption Key (SEK)).</td>
</tr>
<tr>
<td><inline-formula id="ieqn-10"><mml:math id="mml-ieqn-10"><mml:msub><mml:mi>C</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:math></inline-formula></td>
<td>Static data ciphertext of chunk <inline-formula id="ieqn-11"><mml:math id="mml-ieqn-11"><mml:msub><mml:mi>m</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:math></inline-formula>.</td>
</tr>
<tr>
<td><inline-formula id="ieqn-12"><mml:math id="mml-ieqn-12"><mml:msubsup><mml:mi>C</mml:mi><mml:mi>i</mml:mi><mml:mo>&#x2217;</mml:mo></mml:msubsup></mml:math></inline-formula></td>
<td>Dynamic key-ciphertext wrapping <inline-formula id="ieqn-13"><mml:math id="mml-ieqn-13"><mml:msub><mml:mi>k</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:math></inline-formula> for live access.</td>
</tr>
<tr>
<td><inline-formula id="ieqn-14"><mml:math id="mml-ieqn-14"><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:math></inline-formula></td>
<td>Block height of the most recent on-chain revocation event.</td>
</tr>
<tr>
<td><inline-formula id="ieqn-15"><mml:math id="mml-ieqn-15"><mml:msub><mml:mi>&#x03B7;</mml:mi><mml:mrow><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:msub></mml:math></inline-formula></td>
<td>Fresh Verifiable Random Function (VRF) salt at block height <inline-formula id="ieqn-16"><mml:math id="mml-ieqn-16"><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:math></inline-formula>.</td>
</tr>
<tr>
<td><inline-formula id="ieqn-17"><mml:math id="mml-ieqn-17"><mml:msub><mml:mi>A</mml:mi><mml:mrow><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:msub></mml:math></inline-formula></td>
<td>Accumulator digest representing the active subscriber set.</td>
</tr>
<tr>
<td><inline-formula id="ieqn-18"><mml:math id="mml-ieqn-18"><mml:msub><mml:mi>W</mml:mi><mml:mrow><mml:mi>u</mml:mi><mml:mo>,</mml:mo><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:msub></mml:math></inline-formula></td>
<td>Cryptographic witness of legitimate user <inline-formula id="ieqn-19"><mml:math id="mml-ieqn-19"><mml:mi>u</mml:mi></mml:math></inline-formula> at block height <inline-formula id="ieqn-20"><mml:math id="mml-ieqn-20"><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:math></inline-formula>.</td>
</tr>
<tr>
<td><inline-formula id="ieqn-21"><mml:math id="mml-ieqn-21"><mml:msub><mml:mrow><mml:mi>&#x1D4A9;</mml:mi></mml:mrow><mml:mrow><mml:mi>a</mml:mi><mml:mo>,</mml:mo><mml:mi>b</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula></td>
<td>Minimum node cover derived from the BHT for chunk range <inline-formula id="ieqn-22"><mml:math id="mml-ieqn-22"><mml:mo stretchy="false">[</mml:mo><mml:mi>a</mml:mi><mml:mo>,</mml:mo><mml:mi>b</mml:mi><mml:mo stretchy="false">]</mml:mo></mml:math></inline-formula>.</td>
</tr>
<tr>
<td><inline-formula id="ieqn-23"><mml:math id="mml-ieqn-23"><mml:mi>d</mml:mi></mml:math></inline-formula></td>
<td>Depth of the Layer 1 BHT.</td>
</tr>
<tr>
<td><inline-formula id="ieqn-24"><mml:math id="mml-ieqn-24"><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow><mml:mi>I</mml:mi><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow></mml:math></inline-formula></td>
<td>Length of the requested historical highlight interval.</td>
</tr>
<tr>
<td><inline-formula id="ieqn-25"><mml:math id="mml-ieqn-25"><mml:mi>K</mml:mi></mml:math></inline-formula></td>
<td>Total number of video chunks in a continuous live stream.</td>
</tr>
<tr>
<td><inline-formula id="ieqn-26"><mml:math id="mml-ieqn-26"><mml:mi>N</mml:mi></mml:math></inline-formula></td>
<td>Total number of active subscribers in the ecosystem.</td>
</tr>
<tr>
<td><inline-formula id="ieqn-27"><mml:math id="mml-ieqn-27"><mml:mi>R</mml:mi></mml:math></inline-formula></td>
<td>Number of revoked users in a single revocation batch.</td>
</tr>
</tbody>
</table>
</table-wrap>
</sec>
<sec id="s2">
<label>2</label>
<title>Related Work</title>
<p>Recent research relevant to our problem spans three main areas: blockchain-enabled media ecosystems, sports highlight generation, and cryptographic data sharing.</p>
<sec id="s2_1">
<label>2.1</label>
<title>Blockchain-Enabled Media Distribution and Decentralized Access Control</title>
<p>Blockchain has emerged as a coordination layer for transparent settlement and direct media monetization, though most designs focus on coarse-grained business workflows rather than chunk-level stream authorization [<xref ref-type="bibr" rid="ref-1">1</xref>]. While prototypes successfully integrate smart contracts with decentralized storage for live video delivery [<xref ref-type="bibr" rid="ref-6">6</xref>], practical InterPlanetary File System deployments often face non-trivial performance and centralization trade-offs [<xref ref-type="bibr" rid="ref-8">8</xref>,<xref ref-type="bibr" rid="ref-13">13</xref>,<xref ref-type="bibr" rid="ref-14">14</xref>]. Similarly, decentralized access control frameworks for cloud and Internet of Things systems [<xref ref-type="bibr" rid="ref-15">15</xref>&#x2013;<xref ref-type="bibr" rid="ref-17">17</xref>], alongside self-sovereign identity mechanisms [<xref ref-type="bibr" rid="ref-7">7</xref>,<xref ref-type="bibr" rid="ref-18">18</xref>], effectively reduce central authority reliance. However, they typically manage access at the file or service level, failing to address the dual demands of fine-grained historical clipping and continuous live subscriptions within a single encrypted stream.</p>
</sec>
<sec id="s2_2">
<label>2.2</label>
<title>Sports Highlights and Personalized Consumption</title>
<p>Multimedia research has significantly advanced automatic sports highlight generation [<xref ref-type="bibr" rid="ref-3">3</xref>], personalized detection [<xref ref-type="bibr" rid="ref-4">4</xref>], implicit user-specified generation [<xref ref-type="bibr" rid="ref-5">5</xref>], and automated narration [<xref ref-type="bibr" rid="ref-19">19</xref>]. While these works underscore the growing demand for highly granular, personalized sports clips, they primarily focus on content understanding and generation. They generally assume the desired footage is already accessible to the system, leaving the orthogonal challenge of cryptographically enforcing fine-grained paid access over untrusted distribution networks unresolved.</p>
</sec>
<sec id="s2_3">
<label>2.3</label>
<title>Cryptographic Data Sharing for Historical and Live Access</title>
<p>ABE offers expressive fine-grained authorization [<xref ref-type="bibr" rid="ref-10">10</xref>,<xref ref-type="bibr" rid="ref-20">20</xref>], but hard-codes policies into ciphertexts, rendering it inflexible for live streams with dynamically changing audiences. For temporal access, interval-based schemes efficiently delegate bounded historical ranges [<xref ref-type="bibr" rid="ref-21">21</xref>], while key regression enables forward-only derivation of future decryption states [<xref ref-type="bibr" rid="ref-22">22</xref>]. Droplet combined these concepts into a unified framework for decentralized streams [<xref ref-type="bibr" rid="ref-11">11</xref>], and SegSub further improved resilience against re-subscription leakage via chain segmentation [<xref ref-type="bibr" rid="ref-12">12</xref>]. Additionally, accumulators and broadcast encryption have been utilized for scalable revocation and group updates [<xref ref-type="bibr" rid="ref-23">23</xref>,<xref ref-type="bibr" rid="ref-24">24</xref>]. Despite these advances, no prior system simultaneously delivers exact-granularity historical clipping, secure forward-only live continuation, resistance to subscribe-cancel-resubscribe abuse, and server-side <inline-formula id="ieqn-28"><mml:math id="mml-ieqn-28"><mml:mi>O</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mn>1</mml:mn><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> communication during massive audience churn&#x2014;a gap our three-layer architecture precisely bridges. <xref ref-type="table" rid="table-2">Table 2</xref> summarizes the key differences between representative cryptographic data-sharing schemes and our proposed design.</p>
<table-wrap id="table-2">
<label>Table 2</label>
<caption>
<title>Comparison of cryptographic data-sharing schemes.</title>
</caption>
<table>
<colgroup>
<col align="center"/>
<col align="center"/>
<col align="center"/>
<col align="center"/>
<col align="center"/> </colgroup>
<thead>
<tr>
<th>Scheme</th>
<th>Fine-Grained Access</th>
<th>Continuous Stream Authorization</th>
<th>Revocation Overhead</th>
<th>SCR Security</th>
</tr>
</thead>
<tbody>
<tr>
<td>Traditional ABE [<xref ref-type="bibr" rid="ref-10">10</xref>,<xref ref-type="bibr" rid="ref-20">20</xref>]</td>
<td>Limited; (hard-coded into ciphertexts)</td>
<td>Not applicable</td>
<td><inline-formula id="ieqn-29"><mml:math id="mml-ieqn-29"><mml:mi>O</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>N</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> re-encryption</td>
<td>Not applicable</td>
</tr>
<tr>
<td>Droplet [<xref ref-type="bibr" rid="ref-11">11</xref>]</td>
<td>Yes</td>
<td>Yes</td>
<td><inline-formula id="ieqn-30"><mml:math id="mml-ieqn-30"><mml:mi>O</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>N</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> rekeying storm under mass revocation</td>
<td>Vulnerable</td>
</tr>
<tr>
<td>SegSub [<xref ref-type="bibr" rid="ref-12">12</xref>]</td>
<td>No (Segment-level access)</td>
<td>Yes</td>
<td>Grouping collapses; surges to <inline-formula id="ieqn-31"><mml:math id="mml-ieqn-31"><mml:mi>O</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>N</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula></td>
<td>Secure</td>
</tr>
<tr>
<td><bold>Our scheme</bold></td>
<td><bold>Yes; Arbitrary exact-chunk access</bold></td>
<td><bold>Yes; Adaptive authorization</bold></td>
<td><bold><italic>O</italic> (1)</bold></td>
<td><bold>Secure</bold></td>
</tr>
</tbody>
</table>
<table-wrap-foot>
<fn id="table-2fn1" fn-type="other">
<p>Note: <inline-formula id="ieqn-32"><mml:math id="mml-ieqn-32"><mml:mi>N</mml:mi></mml:math></inline-formula> denotes the number of active subscribers; SCR stands for Subscribe-Cancel-Resubscribe.</p>
</fn>
</table-wrap-foot>
</table-wrap>
</sec>
</sec>
<sec id="s3">
<label>3</label>
<title>Preliminaries</title>
<p>In this section, we define the three foundational cryptographic primitives utilized in our architecture.</p>
<sec id="s3_1">
<label>3.1</label>
<title>Binary Hash Trees</title>
<p>BHT [<xref ref-type="bibr" rid="ref-25">25</xref>] is a hierarchical structure designed for deterministic key derivation. It employs a top-down approach to expand a single root secret into a large set of related keys. Let <inline-formula id="ieqn-33"><mml:math id="mml-ieqn-33"><mml:msub><mml:mi>S</mml:mi><mml:mrow><mml:mn>0</mml:mn><mml:mo>,</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub><mml:mo>&#x2208;</mml:mo><mml:mo fence="false" stretchy="false">{</mml:mo><mml:mn>0</mml:mn><mml:mo>,</mml:mo><mml:mn>1</mml:mn><mml:msup><mml:mo fence="false" stretchy="false">}</mml:mo><mml:mi>&#x03BB;</mml:mi></mml:msup></mml:math></inline-formula> be the root seed at depth 0, where <inline-formula id="ieqn-34"><mml:math id="mml-ieqn-34"><mml:mi>&#x03BB;</mml:mi></mml:math></inline-formula> represents the security parameter. Using two independent one-way hash functions <inline-formula id="ieqn-35"><mml:math id="mml-ieqn-35"><mml:msub><mml:mi>H</mml:mi><mml:mi>L</mml:mi></mml:msub></mml:math></inline-formula> and <inline-formula id="ieqn-36"><mml:math id="mml-ieqn-36"><mml:msub><mml:mi>H</mml:mi><mml:mi>R</mml:mi></mml:msub></mml:math></inline-formula>, the nodes at depth <inline-formula id="ieqn-37"><mml:math id="mml-ieqn-37"><mml:mi>d</mml:mi><mml:mo>+</mml:mo><mml:mn>1</mml:mn></mml:math></inline-formula> are recursively derived from their parent node <inline-formula id="ieqn-38"><mml:math id="mml-ieqn-38"><mml:msub><mml:mi>S</mml:mi><mml:mrow><mml:mi>d</mml:mi><mml:mo>,</mml:mo><mml:mi>i</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> at depth <inline-formula id="ieqn-39"><mml:math id="mml-ieqn-39"><mml:mi>d</mml:mi></mml:math></inline-formula> as follows:<disp-formula id="eqn-1"><label>(1)</label><mml:math id="mml-eqn-1" display="block"><mml:msub><mml:mi>S</mml:mi><mml:mrow><mml:mi>d</mml:mi><mml:mo>+</mml:mo><mml:mn>1</mml:mn><mml:mo>,</mml:mo><mml:mn>2</mml:mn><mml:mi>i</mml:mi><mml:mo>&#x2212;</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:msub><mml:mi>H</mml:mi><mml:mi>L</mml:mi></mml:msub><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mrow><mml:mi>d</mml:mi><mml:mo>,</mml:mo><mml:mi>i</mml:mi></mml:mrow></mml:msub><mml:mo stretchy="false">)</mml:mo><mml:mo>,</mml:mo><mml:mspace width="1em" /><mml:msub><mml:mi>S</mml:mi><mml:mrow><mml:mi>d</mml:mi><mml:mo>+</mml:mo><mml:mn>1</mml:mn><mml:mo>,</mml:mo><mml:mn>2</mml:mn><mml:mi>i</mml:mi></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:msub><mml:mi>H</mml:mi><mml:mi>R</mml:mi></mml:msub><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mrow><mml:mi>d</mml:mi><mml:mo>,</mml:mo><mml:mi>i</mml:mi></mml:mrow></mml:msub><mml:mo stretchy="false">)</mml:mo></mml:math></disp-formula>where <inline-formula id="ieqn-40"><mml:math id="mml-ieqn-40"><mml:mi>i</mml:mi><mml:mo>&#x2208;</mml:mo><mml:mo fence="false" stretchy="false">{</mml:mo><mml:mn>1</mml:mn><mml:mo>,</mml:mo><mml:mo>&#x2026;</mml:mo><mml:mo>,</mml:mo><mml:msup><mml:mn>2</mml:mn><mml:mi>d</mml:mi></mml:msup><mml:mo fence="false" stretchy="false">}</mml:mo></mml:math></inline-formula> denotes the node index at depth <inline-formula id="ieqn-41"><mml:math id="mml-ieqn-41"><mml:mi>d</mml:mi></mml:math></inline-formula>. For a tree of depth <inline-formula id="ieqn-42"><mml:math id="mml-ieqn-42"><mml:mi>k</mml:mi></mml:math></inline-formula>, this construction yields <inline-formula id="ieqn-43"><mml:math id="mml-ieqn-43"><mml:mi>N</mml:mi><mml:mo>=</mml:mo><mml:msup><mml:mn>2</mml:mn><mml:mi>k</mml:mi></mml:msup></mml:math></inline-formula> distinct leaf keys. The BHT structure inherently guarantees logarithmic delegation and cryptographic isolation, providing a highly efficient mechanism for hierarchical authorization in decentralized environments.</p>
</sec>
<sec id="s3_2">
<label>3.2</label>
<title>Dynamic IBBE</title>
<p>Dynamic IBBE [<xref ref-type="bibr" rid="ref-24">24</xref>] is a cryptographic primitive that securely transmits a message <inline-formula id="ieqn-44"><mml:math id="mml-ieqn-44"><mml:mi>M</mml:mi></mml:math></inline-formula> to a dynamically changing set of authorized receivers <inline-formula id="ieqn-45"><mml:math id="mml-ieqn-45"><mml:msub><mml:mrow><mml:mi>&#x1D4B0;</mml:mi></mml:mrow><mml:mi>t</mml:mi></mml:msub></mml:math></inline-formula> at any given time <inline-formula id="ieqn-46"><mml:math id="mml-ieqn-46"><mml:mi>t</mml:mi></mml:math></inline-formula>. Built upon the standard Rivest-Shamir-Adleman cryptographic framework, the system computes a succinct group digest <inline-formula id="ieqn-47"><mml:math id="mml-ieqn-47"><mml:msub><mml:mi>A</mml:mi><mml:mi>t</mml:mi></mml:msub></mml:math></inline-formula> to represent the current authorized set, and issues a private decryption key (or witness) <inline-formula id="ieqn-48"><mml:math id="mml-ieqn-48"><mml:mi>s</mml:mi><mml:msubsup><mml:mi>k</mml:mi><mml:mi>u</mml:mi><mml:mi>t</mml:mi></mml:msubsup></mml:math></inline-formula> to each user <inline-formula id="ieqn-49"><mml:math id="mml-ieqn-49"><mml:mi>u</mml:mi><mml:mo>&#x2208;</mml:mo><mml:msub><mml:mrow><mml:mi>&#x1D4B0;</mml:mi></mml:mrow><mml:mi>t</mml:mi></mml:msub></mml:math></inline-formula>. To distribute content, a broadcast ciphertext <inline-formula id="ieqn-50"><mml:math id="mml-ieqn-50"><mml:mi>C</mml:mi><mml:msub><mml:mi>T</mml:mi><mml:mi>t</mml:mi></mml:msub></mml:math></inline-formula> is generated as follows:<disp-formula id="eqn-2"><label>(2)</label><mml:math id="mml-eqn-2" display="block"><mml:mi>C</mml:mi><mml:msub><mml:mi>T</mml:mi><mml:mi>t</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:mrow><mml:mtext mathvariant="sans-serif">IBBE.Encrypt</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mrow><mml:mtext mathvariant="sans-serif">PK</mml:mtext></mml:mrow><mml:mo>,</mml:mo><mml:msub><mml:mi>A</mml:mi><mml:mi>t</mml:mi></mml:msub><mml:mo>,</mml:mo><mml:mi>M</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>,</mml:mo></mml:math></disp-formula>where <inline-formula id="ieqn-51"><mml:math id="mml-ieqn-51"><mml:mrow><mml:mtext mathvariant="sans-serif">PK</mml:mtext></mml:mrow></mml:math></inline-formula> denotes the global public parameters. Any valid user <inline-formula id="ieqn-52"><mml:math id="mml-ieqn-52"><mml:mi>u</mml:mi><mml:mo>&#x2208;</mml:mo><mml:msub><mml:mrow><mml:mi>&#x1D4B0;</mml:mi></mml:mrow><mml:mi>t</mml:mi></mml:msub></mml:math></inline-formula> can process <inline-formula id="ieqn-53"><mml:math id="mml-ieqn-53"><mml:mi>C</mml:mi><mml:msub><mml:mi>T</mml:mi><mml:mi>t</mml:mi></mml:msub></mml:math></inline-formula> using their specific key <inline-formula id="ieqn-54"><mml:math id="mml-ieqn-54"><mml:mi>s</mml:mi><mml:msubsup><mml:mi>k</mml:mi><mml:mi>u</mml:mi><mml:mi>t</mml:mi></mml:msubsup></mml:math></inline-formula> and the digest <inline-formula id="ieqn-55"><mml:math id="mml-ieqn-55"><mml:msub><mml:mi>A</mml:mi><mml:mi>t</mml:mi></mml:msub></mml:math></inline-formula> to recover <inline-formula id="ieqn-56"><mml:math id="mml-ieqn-56"><mml:mi>M</mml:mi></mml:math></inline-formula>. When the authorized set changes, the system simply updates <inline-formula id="ieqn-57"><mml:math id="mml-ieqn-57"><mml:msub><mml:mi>A</mml:mi><mml:mi>t</mml:mi></mml:msub></mml:math></inline-formula> and the corresponding public parameters to reflect the new membership.</p>
</sec>
</sec>
<sec id="s4">
<label>4</label>
<title>Decentralized Streaming Authorization System Design</title>
<p>In this section, we present the architecture of our decentralized authorization system, designed to support the full lifecycle of sports streaming. At its core, the proposed scheme decouples the <italic>transaction plane</italic> (trading and state management), the <italic>control plane</italic> (dynamic access management), and the <italic>data plane</italic> (static payload encryption). By integrating the blockchain with a novel three-layer cryptographic protocol, our design mathematically maps the commercial payment logic directly onto the underlying key evolution logic. Consequently, the system achieves fine-grained, dynamic authorization with robust security and low overhead. We first formalize the system model, and subsequently detail the proposed three-layer cryptographic protocol.</p>
<sec id="s4_1">
<label>4.1</label>
<title>System Model</title>
<p>We consider a global ecosystem comprising multiple independent sports leagues and federations (e.g., the Premier League, the NBA, and the FIFA) acting as content providers. Each provider broadcasts numerous live matches to a global audience. Aligning with standard modern streaming protocols such as Hypertext Transfer Protocol Live Streaming and Moving Picture Experts Group Dynamic Adaptive Streaming over Hypertext Transfer Protocol, a continuous live match video <inline-formula id="ieqn-58"><mml:math id="mml-ieqn-58"><mml:mrow><mml:mi>&#x1D4B1;</mml:mi></mml:mrow></mml:math></inline-formula> is digitized and segmented into a finite sequence of chronological data chunks, denoted as <inline-formula id="ieqn-59"><mml:math id="mml-ieqn-59"><mml:mrow><mml:mi>&#x1D4B1;</mml:mi></mml:mrow><mml:mo>=</mml:mo><mml:mo fence="false" stretchy="false">{</mml:mo><mml:msub><mml:mi>m</mml:mi><mml:mn>1</mml:mn></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>m</mml:mi><mml:mn>2</mml:mn></mml:msub><mml:mo>,</mml:mo><mml:mo>&#x2026;</mml:mo><mml:mo>,</mml:mo><mml:msub><mml:mi>m</mml:mi><mml:mi>N</mml:mi></mml:msub><mml:mo fence="false" stretchy="false">}</mml:mo></mml:math></inline-formula>. To protect commercial value, these chunks are subsequently encrypted, cached, and distributed via untrusted infrastructure, including both decentralized storage networks and content delivery networks.</p>
<p>To securely orchestrate this ecosystem, our system involves the following interacting entities, as illustrated in <xref ref-type="fig" rid="fig-1">Fig. 1</xref>:<list list-type="bullet">
<list-item>
<p><bold>Content Provider (CP):</bold> The CP is the owner and producer of the commercial streaming data. It orchestrates the entire authorization lifecycle by registering matches and commercial parameters (e.g., pricing models) on the blockchain, continuously encrypting the live video chunks, and enforcing flexible access control across diverse consumption models. Given the industrial scale of global sports broadcasting, we assume the CP is equipped with robust computational infrastructure (e.g., dedicated servers or cloud environments) capable of handling high-definition video processing and real-time cryptography.</p>
</list-item>
<list-item>
<p><bold>Live Subscribers:</bold> Live subscribers are the end-users dedicated to accessing the real-time broadcast (e.g., via a season pass or a pay-per-view live match). They initiate on-chain transactions to purchase a continuous <italic>state of access over time</italic> from the CP. Given the massive scale of global sports audiences, their authorization state is inherently dynamic (e.g., frequently joining or revoking mid-stream), directly driving the rapid and continuous evolution of the active authorized set <inline-formula id="ieqn-60"><mml:math id="mml-ieqn-60"><mml:msub><mml:mrow><mml:mi>&#x1D4B0;</mml:mi></mml:mrow><mml:mi>t</mml:mi></mml:msub></mml:math></inline-formula>.</p></list-item>
<list-item>
<p><bold>Highlight Buyers:</bold> Highlight buyers are the end-users who purchase specific video segments post-match (e.g., a 10-s goal clip or a player highlight). They initiate on-chain transactions to acquire on-demand access to a discrete chunk range. This long-tail, fragmented consumption pattern necessitates strictly granular authorization.</p></list-item>
<list-item>
<p><bold>Blockchain:</bold> The blockchain is the decentralized ledger for financial settlement. It maintains the global authorization state via a smart contract (SC) layer, functioning as programmable, autonomously executing state machines. Both content providers (e.g., diverse sports leagues) and global end-users register on-chain, leveraging cryptographic wallet addresses as universal identities to achieve seamless cross-platform interoperability.</p></list-item>
<list-item>
<p><bold>Storage Infrastructure:</bold> Serving purely as the data delivery pipeline, this infrastructure is strictly modeled under the honest-but-curious security assumption. While it faithfully caches and routes the encrypted data, it remains completely oblivious to the plaintext content, cryptographic keys, and authorization logic. This explicitly decouples the ecosystem&#x2019;s security from infrastructural trust.</p></list-item>
</list></p>
<fig id="fig-1">
<label>Figure 1</label>
<caption>
<title>System model of the decentralized sports streaming authorization architecture. The ecosystem decouples the transaction plane (Blockchain), the data plane (Storage), and the control plane to serve both Live Subscribers and Highlight Buyers.</title>
</caption>
<graphic mimetype="image" mime-subtype="tif" xlink:href="CMC_83047-fig-1.tif"/>
</fig>	
</sec>
<sec id="s4_2">
<label>4.2</label>
<title>Three-Layer Cryptographic Protocol</title>
<p>To achieve extremely fine-grained authorization (down to a single chunk <inline-formula id="ieqn-61"><mml:math id="mml-ieqn-61"><mml:msub><mml:mi>m</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:math></inline-formula>) while executing highly scalable dynamic access control, we propose a three-layer cryptographic architecture. This design decouples the static data payload from the dynamic authorization state by partitioning the cryptographic operations into chunk-level static encryption, stream-level key derivation, and group-level access control, thereby eliminating data re-encryption and redundant ciphertexts. The decoupled architecture of the first two layers is illustrated in <xref ref-type="fig" rid="fig-2">Fig. 2</xref>.</p>
<fig id="fig-2">
<label>Figure 2</label>
<caption>
<title>The decoupled cryptographic architecture of Layer 1 and Layer 2. Layer 1 (top) utilizes a BHT for static CEK derivation. Layer 2 (bottom) maintains a temporal hash chain of SEKs. During a revocation event (e.g., at <inline-formula id="ieqn-62"><mml:math id="mml-ieqn-62"><mml:msub><mml:mi>t</mml:mi><mml:mn>4</mml:mn></mml:msub></mml:math></inline-formula>), a fresh cryptographic salt is injected to break the forward derivation chain, naturally enforcing access severance without re-encrypting the payload.</title>
</caption>
<graphic mimetype="image" mime-subtype="tif" xlink:href="CMC_83047-fig-2.tif"/>
</fig>
<p><bold>Layer 1: Chunk-Level Static Encryption</bold></p>
<p>For a raw video stream comprising a chronological sequence of discrete chunks <inline-formula id="ieqn-63"><mml:math id="mml-ieqn-63"><mml:mrow><mml:mi>&#x1D4B1;</mml:mi></mml:mrow><mml:mo>=</mml:mo><mml:mo fence="false" stretchy="false">{</mml:mo><mml:msub><mml:mi>m</mml:mi><mml:mn>1</mml:mn></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>m</mml:mi><mml:mn>2</mml:mn></mml:msub><mml:mo>,</mml:mo><mml:mo>&#x2026;</mml:mo><mml:mo>,</mml:mo><mml:msub><mml:mi>m</mml:mi><mml:mi>K</mml:mi></mml:msub><mml:mo fence="false" stretchy="false">}</mml:mo></mml:math></inline-formula>, the layer executes independent, chunk-by-chunk encryption. By configuring a BHT with an adequate depth <inline-formula id="ieqn-64"><mml:math id="mml-ieqn-64"><mml:mi>d</mml:mi><mml:mo>&#x2265;</mml:mo><mml:msub><mml:mi>log</mml:mi><mml:mn>2</mml:mn></mml:msub><mml:mo>&#x2061;</mml:mo><mml:mi>K</mml:mi></mml:math></inline-formula>, we deterministically derives a mutually independent CEK <inline-formula id="ieqn-65"><mml:math id="mml-ieqn-65"><mml:msub><mml:mi>k</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:math></inline-formula> for each respective chunk <inline-formula id="ieqn-66"><mml:math id="mml-ieqn-66"><mml:msub><mml:mi>m</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:math></inline-formula>. Consequently, the raw payload is strictly symmetrically encrypted exactly once, yielding the data ciphertext:<disp-formula id="eqn-3"><label>(3)</label><mml:math id="mml-eqn-3" display="block"><mml:mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true"><mml:mtr><mml:mtd><mml:msub><mml:mi>C</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:mrow><mml:mtext mathvariant="sans-serif">SymEnc</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi>k</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>m</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo stretchy="false">)</mml:mo><mml:mo>,</mml:mo></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula>which is subsequently offloaded to the storage infrastructure. Benefiting from the BHT&#x2019;s top-down key derivation, this layer natively enables <italic>arbitrary-grained key aggregation</italic>. This topological property allows the system to efficiently share any arbitrary highlight clip of the sports stream (e.g., aggregating a minimal set of intermediate tree nodes to authorize a discrete chunk range), explicitly fulfilling the highlight buyers&#x2019; demands without introducing data redundancy.</p>
<p><bold>Layer 2: Stream-Level Key Derivation</bold></p>
<p>For the chronological delivery of a live streaming, this layer executes a continuous, time-bound key encapsulation. By initializing a unidirectional hash chain, we recursively derives a temporal state <inline-formula id="ieqn-67"><mml:math id="mml-ieqn-67"><mml:msub><mml:mi>s</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:math></inline-formula> uniquely corresponding to each chunk <inline-formula id="ieqn-68"><mml:math id="mml-ieqn-68"><mml:msub><mml:mi>m</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:math></inline-formula>. This derivation is governed by a dynamic cryptographic salt, denoted as <inline-formula id="ieqn-69"><mml:math id="mml-ieqn-69"><mml:msub><mml:mi>&#x03B7;</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:math></inline-formula>, defined mathematically as <inline-formula id="ieqn-70"><mml:math id="mml-ieqn-70"><mml:msub><mml:mi>s</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:mi>H</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi>s</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mo>&#x2212;</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub><mml:mo>&#x2225;</mml:mo><mml:msub><mml:mi>&#x03B7;</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>. Consequently, rather than exposing the static CEK <inline-formula id="ieqn-71"><mml:math id="mml-ieqn-71"><mml:msub><mml:mi>k</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:math></inline-formula> directly, the CP symmetrically encrypts it using the current temporal state <inline-formula id="ieqn-72"><mml:math id="mml-ieqn-72"><mml:msub><mml:mi>s</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:math></inline-formula>, yielding the lightweight key-ciphertext:<disp-formula id="eqn-4"><label>(4)</label><mml:math id="mml-eqn-4" display="block"><mml:mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true"><mml:mtr><mml:mtd><mml:msubsup><mml:mi>C</mml:mi><mml:mi>i</mml:mi><mml:mo>&#x2217;</mml:mo></mml:msubsup><mml:mo>=</mml:mo><mml:mrow><mml:mtext mathvariant="sans-serif">SymEnc</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi>s</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>k</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo stretchy="false">)</mml:mo></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula>which is continuously distributed as the composite ciphertext tuple <inline-formula id="ieqn-73"><mml:math id="mml-ieqn-73"><mml:mo fence="false" stretchy="false">{</mml:mo><mml:msub><mml:mi>C</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>,</mml:mo><mml:msubsup><mml:mi>C</mml:mi><mml:mi>i</mml:mi><mml:mo>&#x2217;</mml:mo></mml:msubsup><mml:mo fence="false" stretchy="false">}</mml:mo></mml:math></inline-formula>. To further detail the state transition, let <inline-formula id="ieqn-74"><mml:math id="mml-ieqn-74"><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:math></inline-formula> denote the block height of the most recent on-chain revocation event synchronized by the CP prior to computing state <inline-formula id="ieqn-75"><mml:math id="mml-ieqn-75"><mml:msub><mml:mi>s</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:math></inline-formula>. The salt <inline-formula id="ieqn-76"><mml:math id="mml-ieqn-76"><mml:msub><mml:mi>&#x03B7;</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:math></inline-formula> is updated by
<disp-formula id="eqn-5"><label>(5)</label><mml:math id="mml-eqn-5" display="block"><mml:mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true"><mml:mtr><mml:mtd><mml:msub><mml:mi>&#x03B7;</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:mrow><mml:mo>{</mml:mo><mml:mtable columnalign="left left" rowspacing=".2em" columnspacing="1em" displaystyle="false"><mml:mtr><mml:mtd><mml:mn>0</mml:mn><mml:mo>,</mml:mo></mml:mtd><mml:mtd><mml:mrow><mml:mtext>if&#xA0;</mml:mtext></mml:mrow><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mo>&#x2212;</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mrow><mml:mtext mathvariant="sans-serif">VRF</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>s</mml:mi><mml:msub><mml:mi>k</mml:mi><mml:mrow><mml:mi>C</mml:mi><mml:mi>P</mml:mi></mml:mrow></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo stretchy="false">)</mml:mo><mml:mo>,</mml:mo></mml:mtd><mml:mtd><mml:mrow><mml:mtext>if&#xA0;</mml:mtext></mml:mrow><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>&#x003E;</mml:mo><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mo>&#x2212;</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:mtd></mml:mtr></mml:mtable><mml:mo fence="true" stretchy="true" symmetric="true"></mml:mo></mml:mrow></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula>where <inline-formula id="ieqn-77"><mml:math id="mml-ieqn-77"><mml:mrow><mml:mtext mathvariant="sans-serif">VRF</mml:mtext></mml:mrow></mml:math></inline-formula> denotes the VRF evaluation parameterized by the CP&#x2019;s secret key <inline-formula id="ieqn-78"><mml:math id="mml-ieqn-78"><mml:mi>s</mml:mi><mml:msub><mml:mi>k</mml:mi><mml:mrow><mml:mi>C</mml:mi><mml:mi>P</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>.</p>
<p>During periods of stable on-chain membership (<inline-formula id="ieqn-79"><mml:math id="mml-ieqn-79"><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mo>&#x2212;</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:math></inline-formula>), the salt defaults to a deterministic zero (<inline-formula id="ieqn-80"><mml:math id="mml-ieqn-80"><mml:msub><mml:mi>&#x03B7;</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:mn>0</mml:mn></mml:math></inline-formula>). Legitimate subscribers holding a valid prior state <inline-formula id="ieqn-81"><mml:math id="mml-ieqn-81"><mml:msub><mml:mi>s</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mo>&#x2212;</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:math></inline-formula> can autonomously derive <inline-formula id="ieqn-82"><mml:math id="mml-ieqn-82"><mml:msub><mml:mi>s</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:math></inline-formula> and subsequent states strictly via local hash operations (i.e., <inline-formula id="ieqn-83"><mml:math id="mml-ieqn-83"><mml:msub><mml:mi>s</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:mi>H</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi>s</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mo>&#x2212;</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub><mml:mo>&#x2225;</mml:mo><mml:mn>0</mml:mn><mml:mo stretchy="false">)</mml:mo><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>.</p>
<p>Conversely, upon detecting a new on-chain revocation (<inline-formula id="ieqn-84"><mml:math id="mml-ieqn-84"><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>&#x003E;</mml:mo><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mo>&#x2212;</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:math></inline-formula>), the CP transitions the authorization phase. By injecting a verifiable, unpredictable salt <inline-formula id="ieqn-85"><mml:math id="mml-ieqn-85"><mml:msub><mml:mi>&#x03B7;</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:math></inline-formula>, the CP mathematically breaks the hash derivation chain. Lacking this parameter, the revoked user is precluded from deriving <inline-formula id="ieqn-86"><mml:math id="mml-ieqn-86"><mml:msub><mml:mi>s</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:math></inline-formula> and any future states. Meanwhile, the remaining valid subscribers securely receive the updated <inline-formula id="ieqn-87"><mml:math id="mml-ieqn-87"><mml:msub><mml:mi>&#x03B7;</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:math></inline-formula> (detailed in Layer 3) to resume their autonomous derivation. Due to the one-way nature of the hash chain, this layer naturally guarantees backward secrecy, which means that newly joined subscribers cannot rewind the hash progression to decrypt past video chunks.</p>
<p>In this manner, Layer 2 achieves an event-triggered adaptive authorization segmentation, which enforces precise, time-bound access control without ever requiring the heavy static payloads in Layer 1 to be re-encrypted.</p>
<p><bold>Layer 3: Group-Level Access Control</bold></p>
<p>To securely distribute the dynamic salt generated in Layer 2 exclusively to authorized subscribers, this layer establishes a group-level access control mechanism by leveraging a Dynamic IBBE scheme.</p>
<p>Let <inline-formula id="ieqn-88"><mml:math id="mml-ieqn-88"><mml:msub><mml:mrow><mml:mi>&#x1D4B0;</mml:mi></mml:mrow><mml:mrow><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:msub></mml:math></inline-formula> denotes the set of active, authorized blockchain addresses, and let <inline-formula id="ieqn-89"><mml:math id="mml-ieqn-89"><mml:msub><mml:mi>A</mml:mi><mml:mrow><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:msub></mml:math></inline-formula> represent its corresponding accumulator value bound to the latest revocation block height <inline-formula id="ieqn-90"><mml:math id="mml-ieqn-90"><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:math></inline-formula>. The layer encapsulates the newly derived salt (denoted as <inline-formula id="ieqn-91"><mml:math id="mml-ieqn-91"><mml:msub><mml:mi>&#x03B7;</mml:mi><mml:mrow><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:msub></mml:math></inline-formula>) into a broadcast ciphertext:<disp-formula id="eqn-6"><label>(6)</label><mml:math id="mml-eqn-6" display="block"><mml:mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true"><mml:mtr><mml:mtd><mml:msub><mml:mrow><mml:mover><mml:mi>C</mml:mi><mml:mo stretchy="false">&#x005E;</mml:mo></mml:mover></mml:mrow><mml:mrow><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:mrow><mml:mtext mathvariant="sans-serif">IBBE.Enc</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mrow><mml:mtext mathvariant="sans-serif">PP</mml:mtext></mml:mrow><mml:mo>,</mml:mo><mml:msub><mml:mi>A</mml:mi><mml:mrow><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>&#x03B7;</mml:mi><mml:mrow><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:msub><mml:mo stretchy="false">)</mml:mo></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula>where <inline-formula id="ieqn-92"><mml:math id="mml-ieqn-92"><mml:mrow><mml:mtext mathvariant="sans-serif">PP</mml:mtext></mml:mrow></mml:math></inline-formula> denotes the global public parameters. This ciphertext <inline-formula id="ieqn-93"><mml:math id="mml-ieqn-93"><mml:msub><mml:mrow><mml:mover><mml:mi>C</mml:mi><mml:mo stretchy="false">&#x005E;</mml:mo></mml:mover></mml:mrow><mml:mrow><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:msub></mml:math></inline-formula> is subsequently packaged into an on-chain transaction. The legitimate subscriber <inline-formula id="ieqn-94"><mml:math id="mml-ieqn-94"><mml:mi>u</mml:mi><mml:mo>&#x2208;</mml:mo><mml:msub><mml:mrow><mml:mi>&#x1D4B0;</mml:mi></mml:mrow><mml:mrow><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:msub></mml:math></inline-formula> utilizes a cryptographic witness <inline-formula id="ieqn-95"><mml:math id="mml-ieqn-95"><mml:msub><mml:mi>W</mml:mi><mml:mrow><mml:mi>u</mml:mi><mml:mo>,</mml:mo><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:msub></mml:math></inline-formula> to retrieve the salt as follows:<disp-formula id="eqn-7"><label>(7)</label><mml:math id="mml-eqn-7" display="block"><mml:mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true"><mml:mtr><mml:mtd><mml:msub><mml:mi>&#x03B7;</mml:mi><mml:mrow><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:mrow><mml:mtext mathvariant="sans-serif">IBBE.Dec</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi>W</mml:mi><mml:mrow><mml:mi>u</mml:mi><mml:mo>,</mml:mo><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mrow><mml:mover><mml:mi>C</mml:mi><mml:mo stretchy="false">&#x005E;</mml:mo></mml:mover></mml:mrow><mml:mrow><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:msub><mml:mo stretchy="false">)</mml:mo><mml:mo>.</mml:mo></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula></p>
<p>Cryptographically, the witness <inline-formula id="ieqn-96"><mml:math id="mml-ieqn-96"><mml:msub><mml:mi>W</mml:mi><mml:mrow><mml:mi>u</mml:mi><mml:mo>,</mml:mo><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:msub></mml:math></inline-formula> is inherently bound to the accumulator state <inline-formula id="ieqn-97"><mml:math id="mml-ieqn-97"><mml:msub><mml:mi>A</mml:mi><mml:mrow><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:msub></mml:math></inline-formula>. When the authorized group changes, the accumulator <inline-formula id="ieqn-98"><mml:math id="mml-ieqn-98"><mml:msub><mml:mi>A</mml:mi><mml:mrow><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:msub></mml:math></inline-formula> is updated, requiring remaining legitimate subscribers to update their witness locally via the standard Stateless Witness Update algorithm [<xref ref-type="bibr" rid="ref-26">26</xref>]:<disp-formula id="eqn-8"><label>(8)</label><mml:math id="mml-eqn-8" display="block"><mml:mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true"><mml:mtr><mml:mtd><mml:msub><mml:mi>W</mml:mi><mml:mrow><mml:mi>u</mml:mi><mml:mo>,</mml:mo><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:mrow><mml:mtext mathvariant="sans-serif">WitnessUpdate</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi>W</mml:mi><mml:mrow><mml:mi>u</mml:mi><mml:mo>,</mml:mo><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mo>&#x2212;</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msub><mml:mo>,</mml:mo><mml:mi mathvariant="normal">&#x0394;</mml:mi><mml:msub><mml:mrow><mml:mi mathvariant="bold-script">R</mml:mi></mml:mrow><mml:mrow><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:msub><mml:mo>,</mml:mo><mml:mrow><mml:mtext mathvariant="sans-serif">PP</mml:mtext></mml:mrow><mml:mo stretchy="false">)</mml:mo></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula>where <inline-formula id="ieqn-99"><mml:math id="mml-ieqn-99"><mml:mi mathvariant="normal">&#x0394;</mml:mi><mml:msub><mml:mrow><mml:mi>&#x211B;</mml:mi></mml:mrow><mml:mrow><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:msub></mml:math></inline-formula> denotes the membership delta (e.g., the set of revoked and added addresses) in the authorized group, which can be derived directly from recorded on-chain transactions. Users excluded from <inline-formula id="ieqn-100"><mml:math id="mml-ieqn-100"><mml:msub><mml:mi>A</mml:mi><mml:mrow><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:msub></mml:math></inline-formula> cannot obtain a valid witness to decrypt <inline-formula id="ieqn-101"><mml:math id="mml-ieqn-101"><mml:msub><mml:mrow><mml:mover><mml:mi>C</mml:mi><mml:mo stretchy="false">&#x005E;</mml:mo></mml:mover></mml:mrow><mml:mrow><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:msub></mml:math></inline-formula>, inherently guaranteeing <italic>forward secrecy</italic>. Additionally, regardless of the sheer volume of addresses in <inline-formula id="ieqn-102"><mml:math id="mml-ieqn-102"><mml:msub><mml:mrow><mml:mi>&#x1D4B0;</mml:mi></mml:mrow><mml:mrow><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:msub></mml:math></inline-formula>, the size of <inline-formula id="ieqn-103"><mml:math id="mml-ieqn-103"><mml:msub><mml:mrow><mml:mover><mml:mi>C</mml:mi><mml:mo stretchy="false">&#x005E;</mml:mo></mml:mover></mml:mrow><mml:mrow><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:msub></mml:math></inline-formula> depends solely on the public parameters <inline-formula id="ieqn-104"><mml:math id="mml-ieqn-104"><mml:mrow><mml:mtext mathvariant="sans-serif">PP</mml:mtext></mml:mrow></mml:math></inline-formula>, thus ensuring an <inline-formula id="ieqn-105"><mml:math id="mml-ieqn-105"><mml:mi>O</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mn>1</mml:mn><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> communication overhead.</p>
<p>Ultimately, this three-layer architecture establishes a rigorous cryptographic foundation tailored for decentralized sports streaming. Specifically, Layer 1 achieves arbitrary-grained aggregated authorization, empowering users to unlock customized, discrete video segments (e.g., highlights) using a single compact key token. Concurrently, Layer 2 and Layer 3 jointly realize state-driven adaptive authorization for continuous live subscriptions.</p>
</sec>
<sec id="s4_3">
<label>4.3</label>
<title>Arbitrary-Grained Highlight Authorization</title>
<p>In the on-demand scenario, the live event has concluded, and the entire video <inline-formula id="ieqn-106"><mml:math id="mml-ieqn-106"><mml:mrow><mml:mi>&#x1D4B1;</mml:mi></mml:mrow></mml:math></inline-formula> is securely anchored within the static Layer 1 BHT. A viewer <inline-formula id="ieqn-107"><mml:math id="mml-ieqn-107"><mml:mi>v</mml:mi></mml:math></inline-formula> wishes to purchase a specific highlight reel spanning from chunk <inline-formula id="ieqn-108"><mml:math id="mml-ieqn-108"><mml:msub><mml:mi>m</mml:mi><mml:mi>a</mml:mi></mml:msub></mml:math></inline-formula> to <inline-formula id="ieqn-109"><mml:math id="mml-ieqn-109"><mml:msub><mml:mi>m</mml:mi><mml:mi>b</mml:mi></mml:msub></mml:math></inline-formula>. Since the temporal stream has finalized, this paradigm bypasses the Layer 2 Hash Chain and Layer 3 IBBE entirely, relying strictly on a direct on-chain delivery mechanism. The authorization protocol proceeds in four stages (as summarized in Algorithm 1):</p>
<p><bold>Step 1:</bold> Purchase Initiation. Viewer <inline-formula id="ieqn-110"><mml:math id="mml-ieqn-110"><mml:mi>v</mml:mi></mml:math></inline-formula> triggers a smart contract function BuyHighlight (<inline-formula id="ieqn-111"><mml:math id="mml-ieqn-111"><mml:mi>a</mml:mi><mml:mi>d</mml:mi><mml:mi>d</mml:mi><mml:msub><mml:mi>r</mml:mi><mml:mi>v</mml:mi></mml:msub><mml:mo>,</mml:mo><mml:mi>a</mml:mi><mml:mo>,</mml:mo><mml:mi>b</mml:mi></mml:math></inline-formula>), transferring the requisite cryptocurrency. Upon payment validation, the contract emits a public PurchaseRequest event.</p>
<p><bold>Step 2:</bold> Minimum Cover Derivation. The CP monitors the blockchain for purchase events. To authorize access, the CP derives the <italic>Minimum Node Cover</italic> <inline-formula id="ieqn-112"><mml:math id="mml-ieqn-112"><mml:msub><mml:mrow><mml:mi>&#x1D4A9;</mml:mi></mml:mrow><mml:mrow><mml:mi>a</mml:mi><mml:mo>,</mml:mo><mml:mi>b</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> from the BHT, which represents the minimal set of higher-level intermediate nodes required to perfectly reconstruct the requested subtree.</p>
<p><bold>Step 3:</bold> Token Delivery. To ensure secure delivery over the public ledger, the CP encrypts <inline-formula id="ieqn-113"><mml:math id="mml-ieqn-113"><mml:msub><mml:mrow><mml:mi>&#x1D4A9;</mml:mi></mml:mrow><mml:mrow><mml:mi>a</mml:mi><mml:mo>,</mml:mo><mml:mi>b</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> using the viewer&#x2019;s public key <inline-formula id="ieqn-114"><mml:math id="mml-ieqn-114"><mml:mi>p</mml:mi><mml:msub><mml:mi>k</mml:mi><mml:mi>v</mml:mi></mml:msub></mml:math></inline-formula>. The resulting cryptographic token is <inline-formula id="ieqn-115"><mml:math id="mml-ieqn-115"><mml:mi>T</mml:mi><mml:mi>o</mml:mi><mml:mi>k</mml:mi><mml:mi>e</mml:mi><mml:msub><mml:mi>n</mml:mi><mml:mi>v</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:mrow><mml:mtext mathvariant="sans-serif">AsymEnc</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>p</mml:mi><mml:msub><mml:mi>k</mml:mi><mml:mi>v</mml:mi></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mrow><mml:mi>&#x1D4A9;</mml:mi></mml:mrow><mml:mrow><mml:mi>a</mml:mi><mml:mo>,</mml:mo><mml:mi>b</mml:mi></mml:mrow></mml:msub><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>. The CP submits <inline-formula id="ieqn-116"><mml:math id="mml-ieqn-116"><mml:mi>T</mml:mi><mml:mi>o</mml:mi><mml:mi>k</mml:mi><mml:mi>e</mml:mi><mml:msub><mml:mi>n</mml:mi><mml:mi>v</mml:mi></mml:msub></mml:math></inline-formula> to the smart contract via a fulfillment transaction, prompting the contract to emit the token compactly within an on-chain event log.</p>
<p><bold>Step 4:</bold> Decryption. Viewer <inline-formula id="ieqn-117"><mml:math id="mml-ieqn-117"><mml:mi>v</mml:mi></mml:math></inline-formula> retrieves the emitted token from the blockchain event log, decrypts <inline-formula id="ieqn-118"><mml:math id="mml-ieqn-118"><mml:mi>T</mml:mi><mml:mi>o</mml:mi><mml:mi>k</mml:mi><mml:mi>e</mml:mi><mml:msub><mml:mi>n</mml:mi><mml:mi>v</mml:mi></mml:msub></mml:math></inline-formula> using their local wallet private key <inline-formula id="ieqn-119"><mml:math id="mml-ieqn-119"><mml:mi>s</mml:mi><mml:msub><mml:mi>k</mml:mi><mml:mi>v</mml:mi></mml:msub></mml:math></inline-formula>, and deterministically derives all underlying CEKs <inline-formula id="ieqn-120"><mml:math id="mml-ieqn-120"><mml:mo fence="false" stretchy="false">{</mml:mo><mml:msub><mml:mi>k</mml:mi><mml:mi>j</mml:mi></mml:msub><mml:msubsup><mml:mo fence="false" stretchy="false">}</mml:mo><mml:mrow><mml:mi>j</mml:mi><mml:mo>=</mml:mo><mml:mi>a</mml:mi></mml:mrow><mml:mi>b</mml:mi></mml:msubsup></mml:math></inline-formula> via top-down hashing to unlock the specific video chunks.</p>
<fig id="fig-7">
<graphic mimetype="image" mime-subtype="tif" xlink:href="CMC_83047-fig-7.tif"/>
</fig>
</sec>
<sec id="s4_4">
<label>4.4</label>
<title>State-Driven Live Subscription</title>
<p>Unlike the static on-demand scenario, live sports streaming requires continuous temporal progression and dynamic membership management. This workflow activates the full three-layer architecture to handle the onboarding of new subscribers and the access severance of revoked users, entirely without re-encrypting the video payload. The protocol operates through a continuous steady-state derivation, punctuated by rigorous state transitions, detailed in Algorithm 2:</p>
<p><bold>Step 1:</bold> Subscription Initiation. When a new viewer <inline-formula id="ieqn-141"><mml:math id="mml-ieqn-141"><mml:mi>v</mml:mi></mml:math></inline-formula> subscribes mid-match, the smart contract dynamically adds <inline-formula id="ieqn-142"><mml:math id="mml-ieqn-142"><mml:mi>a</mml:mi><mml:mi>d</mml:mi><mml:mi>d</mml:mi><mml:msub><mml:mi>r</mml:mi><mml:mi>v</mml:mi></mml:msub></mml:math></inline-formula> to the authorized group and updates the accumulator to <inline-formula id="ieqn-143"><mml:math id="mml-ieqn-143"><mml:msup><mml:mi>A</mml:mi><mml:mrow><mml:mi mathvariant="normal">&#x2032;</mml:mi></mml:mrow></mml:msup></mml:math></inline-formula> to reflect this addition. As defined in Layer 2, the current temporal salt <inline-formula id="ieqn-144"><mml:math id="mml-ieqn-144"><mml:msub><mml:mi>&#x03B7;</mml:mi><mml:mrow><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:msub></mml:math></inline-formula> remains unchanged, since salt rotation is strictly triggered by revocations (detailed below).</p>
<p><bold>Step 2:</bold> Token Delivery. When the CP detects the on-chain update, it extracts the current Layer 2 temporal state <inline-formula id="ieqn-145"><mml:math id="mml-ieqn-145"><mml:msub><mml:mi>s</mml:mi><mml:mi>j</mml:mi></mml:msub></mml:math></inline-formula> alongside generating the initial Layer 3 witness <inline-formula id="ieqn-146"><mml:math id="mml-ieqn-146"><mml:msub><mml:mi>W</mml:mi><mml:mi>v</mml:mi></mml:msub></mml:math></inline-formula>. The CP encrypts this minimal state tuple using the viewer&#x2019;s public key as <inline-formula id="ieqn-147"><mml:math id="mml-ieqn-147"><mml:mi>T</mml:mi><mml:mi>o</mml:mi><mml:mi>k</mml:mi><mml:mi>e</mml:mi><mml:msub><mml:mi>n</mml:mi><mml:mi>v</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:mrow><mml:mtext mathvariant="sans-serif">AsymEnc</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>p</mml:mi><mml:msub><mml:mi>k</mml:mi><mml:mi>v</mml:mi></mml:msub><mml:mo>,</mml:mo><mml:mo fence="false" stretchy="false">{</mml:mo><mml:msub><mml:mi>W</mml:mi><mml:mi>v</mml:mi></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>s</mml:mi><mml:mi>j</mml:mi></mml:msub><mml:mo fence="false" stretchy="false">}</mml:mo><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>, and submits it to the contract to emit compactly via an event log.</p>
<p><bold>Step 3:</bold> Derivation and Decryption. Viewer <inline-formula id="ieqn-148"><mml:math id="mml-ieqn-148"><mml:mi>v</mml:mi></mml:math></inline-formula> retrieves and decrypts <inline-formula id="ieqn-149"><mml:math id="mml-ieqn-149"><mml:mi>T</mml:mi><mml:mi>o</mml:mi><mml:mi>k</mml:mi><mml:mi>e</mml:mi><mml:msub><mml:mi>n</mml:mi><mml:mi>v</mml:mi></mml:msub></mml:math></inline-formula> to obtain <inline-formula id="ieqn-150"><mml:math id="mml-ieqn-150"><mml:mo fence="false" stretchy="false">{</mml:mo><mml:msub><mml:mi>W</mml:mi><mml:mi>v</mml:mi></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>s</mml:mi><mml:mi>j</mml:mi></mml:msub><mml:mo fence="false" stretchy="false">}</mml:mo></mml:math></inline-formula>. With <inline-formula id="ieqn-151"><mml:math id="mml-ieqn-151"><mml:msub><mml:mi>s</mml:mi><mml:mi>j</mml:mi></mml:msub></mml:math></inline-formula> acquired, the viewer immediately begins playback. As the CP continuously broadcasts the encrypted chunks and key-ciphertexts <inline-formula id="ieqn-152"><mml:math id="mml-ieqn-152"><mml:msubsup><mml:mi>C</mml:mi><mml:mrow><mml:mi>j</mml:mi><mml:mo>+</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mo>&#x2217;</mml:mo></mml:msubsup><mml:mo>=</mml:mo><mml:mrow><mml:mtext mathvariant="sans-serif">SymEnc</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi>s</mml:mi><mml:mrow><mml:mi>j</mml:mi><mml:mo>+</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>k</mml:mi><mml:mrow><mml:mi>j</mml:mi><mml:mo>+</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> generated in layer 2, the viewer autonomously rolls their local hash chain <inline-formula id="ieqn-153"><mml:math id="mml-ieqn-153"><mml:msub><mml:mi>s</mml:mi><mml:mrow><mml:mi>j</mml:mi><mml:mo>+</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:mi>H</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi>s</mml:mi><mml:mi>j</mml:mi></mml:msub><mml:mo>&#x2225;</mml:mo><mml:mn>0</mml:mn><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> to unwrap the underlying video keys. The witness <inline-formula id="ieqn-154"><mml:math id="mml-ieqn-154"><mml:msub><mml:mi>W</mml:mi><mml:mi>v</mml:mi></mml:msub></mml:math></inline-formula> is securely stored locally, remaining dormant until the next revocation triggers a salt rotation.</p>
<p><bold>Revocation:</bold> When a user <inline-formula id="ieqn-155"><mml:math id="mml-ieqn-155"><mml:mi>w</mml:mi></mml:math></inline-formula> is revoked (e.g., subscription expiration) at the subsequent block height <inline-formula id="ieqn-156"><mml:math id="mml-ieqn-156"><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mo>+</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:math></inline-formula>, the CP triggers a strict state transition to sever access.
<list list-type="simple">
<list-item>
<label>(a)</label>
<p>The CP updates the accumulator to <inline-formula id="ieqn-157"><mml:math id="mml-ieqn-157"><mml:msub><mml:mi>A</mml:mi><mml:mrow><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mo>+</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msub></mml:math></inline-formula>, permanently excluding user <inline-formula id="ieqn-158"><mml:math id="mml-ieqn-158"><mml:mi>w</mml:mi></mml:math></inline-formula>.</p></list-item>
<list-item>
<label>(b)</label>
<p>It generates a fresh salt <inline-formula id="ieqn-159"><mml:math id="mml-ieqn-159"><mml:msub><mml:mi>&#x03B7;</mml:mi><mml:mrow><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mo>+</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:mrow><mml:mtext mathvariant="sans-serif">VRF</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>s</mml:mi><mml:msub><mml:mi>k</mml:mi><mml:mrow><mml:mi>C</mml:mi><mml:mi>P</mml:mi></mml:mrow></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mo>+</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>, mathematically breaking the forward derivation path from the previous state.</p></list-item>
<list-item>
<label>(c)</label>
<p>It broadcasts the new ciphertext <inline-formula id="ieqn-160"><mml:math id="mml-ieqn-160"><mml:msub><mml:mrow><mml:mover><mml:mi>C</mml:mi><mml:mo stretchy="false">&#x005E;</mml:mo></mml:mover></mml:mrow><mml:mrow><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mo>+</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:mrow><mml:mtext mathvariant="sans-serif">IBBE.Enc</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mrow><mml:mtext mathvariant="sans-serif">PP</mml:mtext></mml:mrow><mml:mo>,</mml:mo><mml:msub><mml:mi>A</mml:mi><mml:mrow><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mo>+</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>&#x03B7;</mml:mi><mml:mrow><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mo>+</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msub><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>.</p></list-item>
</list></p>
<p>Excluded from <inline-formula id="ieqn-161"><mml:math id="mml-ieqn-161"><mml:msub><mml:mi>A</mml:mi><mml:mrow><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mo>+</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msub></mml:math></inline-formula>, the revoked user <inline-formula id="ieqn-162"><mml:math id="mml-ieqn-162"><mml:mi>w</mml:mi></mml:math></inline-formula> cannot obtain a valid witness to decrypt <inline-formula id="ieqn-163"><mml:math id="mml-ieqn-163"><mml:msub><mml:mrow><mml:mover><mml:mi>C</mml:mi><mml:mo stretchy="false">&#x005E;</mml:mo></mml:mover></mml:mrow><mml:mrow><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mo>+</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msub></mml:math></inline-formula>. Consequently, their local hash chain stalls, explicitly preventing them from deriving any subsequent temporal states. Meanwhile, remaining legitimate viewers autonomously update their witness to <inline-formula id="ieqn-164"><mml:math id="mml-ieqn-164"><mml:msub><mml:mi>W</mml:mi><mml:mrow><mml:mi>v</mml:mi><mml:mo>,</mml:mo><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mo>+</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msub></mml:math></inline-formula> locally using public blockchain records, decrypt the new salt <inline-formula id="ieqn-165"><mml:math id="mml-ieqn-165"><mml:msub><mml:mi>&#x03B7;</mml:mi><mml:mrow><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mo>+</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msub></mml:math></inline-formula>, and continuously derive subsequent video keys.</p>
<fig id="fig-8">
<graphic mimetype="image" mime-subtype="tif" xlink:href="CMC_83047-fig-8.tif"/>
</fig>
</sec>
</sec>
<sec id="s5">
<label>5</label>
<title>Security and Performance Analysis</title>
<p>In this section, we theoretically analyze the proposed architecture, demonstrating its rigorous cryptographic security guarantees, alongside an evaluation of its performance.</p>
<sec id="s5_1">
<label>5.1</label>
<title>Adversarial Model</title>
<p>We model the adversary <inline-formula id="ieqn-194"><mml:math id="mml-ieqn-194"><mml:mrow><mml:mi>&#x1D49C;</mml:mi></mml:mrow></mml:math></inline-formula> as a Probabilistic Polynomial-Time (PPT) entity. The adversary can observe all on-chain transactions and event logs, control the honest-but-curious storage infrastructure, obtain all public ciphertexts <inline-formula id="ieqn-195"><mml:math id="mml-ieqn-195"><mml:mo fence="false" stretchy="false">{</mml:mo><mml:msub><mml:mi>C</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>,</mml:mo><mml:msubsup><mml:mi>C</mml:mi><mml:mi>i</mml:mi><mml:mo>&#x2217;</mml:mo></mml:msubsup><mml:mo fence="false" stretchy="false">}</mml:mo></mml:math></inline-formula>, and adaptively issue subscription, cancellation, resubscription, and highlight-purchase queries through corrupted blockchain addresses. The adversary may also pool all credentials legitimately obtained by corrupted identities, including historical BHT tokens, stale temporal states, and stale IBBE witnesses. However, <inline-formula id="ieqn-196"><mml:math id="mml-ieqn-196"><mml:mrow><mml:mi>&#x1D49C;</mml:mi></mml:mrow></mml:math></inline-formula> cannot compromise the CP&#x2019;s signing key, VRF secret key, or IBBE master secret, cannot violate the finality and correct execution of the underlying blockchain, and cannot force an honest active subscriber to redistribute freshly decrypted salts, keys, or plaintext outside the protocol.</p>
</sec>
<sec id="s5_2">
<label>5.2</label>
<title>Formal Security Definitions</title>

<p><bold>Definition 1 (Forward Secrecy):</bold> <italic>We define forward secrecy via a challenge-response game</italic> <inline-formula id="ieqn-197"><mml:math id="mml-ieqn-197"><mml:msub><mml:mrow><mml:mi>G</mml:mi></mml:mrow><mml:mrow><mml:mi>F</mml:mi><mml:mi>S</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> <italic>between a challenger</italic> <inline-formula id="ieqn-198"><mml:math id="mml-ieqn-198"><mml:mrow><mml:mi>&#x1D49E;</mml:mi></mml:mrow></mml:math></inline-formula> <italic>and a PPT adversary</italic> <inline-formula id="ieqn-199"><mml:math id="mml-ieqn-199"><mml:mrow><mml:mi>&#x1D49C;</mml:mi></mml:mrow></mml:math></inline-formula>. <italic>Let</italic> <inline-formula id="ieqn-200"><mml:math id="mml-ieqn-200"><mml:msub><mml:mi>t</mml:mi><mml:mi>c</mml:mi></mml:msub></mml:math></inline-formula> <italic>be the time of a cancellation query made by</italic> <inline-formula id="ieqn-201"><mml:math id="mml-ieqn-201"><mml:mrow><mml:mi>&#x1D49C;</mml:mi></mml:mrow></mml:math></inline-formula>. <inline-formula id="ieqn-202"><mml:math id="mml-ieqn-202"><mml:mrow><mml:mi>&#x1D49C;</mml:mi></mml:mrow></mml:math></inline-formula> <italic>wins if it can distinguish the temporal state</italic> <inline-formula id="ieqn-203"><mml:math id="mml-ieqn-203"><mml:msub><mml:mi>s</mml:mi><mml:mi>t</mml:mi></mml:msub></mml:math></inline-formula> <italic>(where</italic> <inline-formula id="ieqn-204"><mml:math id="mml-ieqn-204"><mml:mi>t</mml:mi><mml:mo>&#x003E;</mml:mo><mml:msub><mml:mi>t</mml:mi><mml:mi>c</mml:mi></mml:msub></mml:math></inline-formula><italic>) from a truly random string with a non-negligible advantage. The proposed architecture guarantees forward secrecy if, for all PPT adversaries, the advantage in</italic> <inline-formula id="ieqn-205"><mml:math id="mml-ieqn-205"><mml:msub><mml:mrow><mml:mi>G</mml:mi></mml:mrow><mml:mrow><mml:mi>F</mml:mi><mml:mi>S</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> <italic>is negligible</italic>.</p>


<p><bold>Definition 2 (Backward Secrecy):</bold> <italic>Symmetrically, we define backward secrecy via a game</italic> <inline-formula id="ieqn-206"><mml:math id="mml-ieqn-206"><mml:msub><mml:mrow><mml:mi>G</mml:mi></mml:mrow><mml:mrow><mml:mi>B</mml:mi><mml:mi>S</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>. <italic>Let</italic> <inline-formula id="ieqn-207"><mml:math id="mml-ieqn-207"><mml:msub><mml:mi>t</mml:mi><mml:mi>s</mml:mi></mml:msub></mml:math></inline-formula> <italic>be the time of a subscription query</italic>. <inline-formula id="ieqn-208"><mml:math id="mml-ieqn-208"><mml:mrow><mml:mi>&#x1D49C;</mml:mi></mml:mrow></mml:math></inline-formula> <italic>wins if it can distinguish any historical temporal state</italic> <inline-formula id="ieqn-209"><mml:math id="mml-ieqn-209"><mml:msub><mml:mi>s</mml:mi><mml:mi>t</mml:mi></mml:msub></mml:math></inline-formula> <italic>(where</italic> <inline-formula id="ieqn-210"><mml:math id="mml-ieqn-210"><mml:mi>t</mml:mi><mml:mo>&#x003C;</mml:mo><mml:msub><mml:mi>t</mml:mi><mml:mi>s</mml:mi></mml:msub></mml:math></inline-formula><italic>) from a random string with a non-negligible advantage</italic>.</p>


<p><bold>Definition 3 (SCR Security under Collusion):</bold> <italic>We formalize Subscribe-Cancel-Resubscribe (SCR) security under a collusion model. Let</italic> <inline-formula id="ieqn-211"><mml:math id="mml-ieqn-211"><mml:mrow><mml:mi>&#x1D49C;</mml:mi></mml:mrow></mml:math></inline-formula> <italic>adaptively issue a cancellation query at</italic> <inline-formula id="ieqn-212"><mml:math id="mml-ieqn-212"><mml:msub><mml:mi>t</mml:mi><mml:mn>1</mml:mn></mml:msub></mml:math></inline-formula> <italic>and a subsequent resubscription query at</italic> <inline-formula id="ieqn-213"><mml:math id="mml-ieqn-213"><mml:msub><mml:mi>t</mml:mi><mml:mn>2</mml:mn></mml:msub></mml:math></inline-formula> <italic>(</italic><inline-formula id="ieqn-214"><mml:math id="mml-ieqn-214"><mml:msub><mml:mi>t</mml:mi><mml:mn>1</mml:mn></mml:msub><mml:mo>&#x003C;</mml:mo><mml:msub><mml:mi>t</mml:mi><mml:mn>2</mml:mn></mml:msub></mml:math></inline-formula><italic>). By pooling the stale credentials from</italic> <inline-formula id="ieqn-215"><mml:math id="mml-ieqn-215"><mml:msub><mml:mi>t</mml:mi><mml:mn>1</mml:mn></mml:msub></mml:math></inline-formula> <italic>and the fresh credentials from</italic> <inline-formula id="ieqn-216"><mml:math id="mml-ieqn-216"><mml:msub><mml:mi>t</mml:mi><mml:mn>2</mml:mn></mml:msub></mml:math></inline-formula>, <inline-formula id="ieqn-217"><mml:math id="mml-ieqn-217"><mml:mrow><mml:mi>&#x1D49C;</mml:mi></mml:mrow></mml:math></inline-formula> <italic>attempts to derive the symmetric key</italic> <inline-formula id="ieqn-218"><mml:math id="mml-ieqn-218"><mml:msub><mml:mi>k</mml:mi><mml:mi>t</mml:mi></mml:msub></mml:math></inline-formula> <italic>for any chunk within the unauthorized gap</italic> <inline-formula id="ieqn-219"><mml:math id="mml-ieqn-219"><mml:mi>t</mml:mi><mml:mo>&#x2208;</mml:mo><mml:mo stretchy="false">[</mml:mo><mml:msub><mml:mi>t</mml:mi><mml:mn>1</mml:mn></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>t</mml:mi><mml:mn>2</mml:mn></mml:msub><mml:mo>&#x2212;</mml:mo><mml:mn>1</mml:mn><mml:mo stretchy="false">]</mml:mo></mml:math></inline-formula>. <italic>The architecture achieves SCR security if</italic> <inline-formula id="ieqn-220"><mml:math id="mml-ieqn-220"><mml:mrow><mml:mi>&#x1D49C;</mml:mi></mml:mrow></mml:math></inline-formula><italic>&#x2019;s advantage in deriving</italic> <inline-formula id="ieqn-221"><mml:math id="mml-ieqn-221"><mml:msub><mml:mi>s</mml:mi><mml:mi>t</mml:mi></mml:msub></mml:math></inline-formula> <italic>remains negligible despite the pooled knowledge</italic>.</p>

</sec>
<sec id="s5_3">
<label>5.3</label>
<title>Security Proofs</title>

<p><bold>Theorem 1 (Forward Secrecy):</bold> <italic>The proposed architecture ensures forward secrecy such that a revoked adversary</italic> <inline-formula id="ieqn-222"><mml:math id="mml-ieqn-222"><mml:mrow><mml:mi>&#x1D49C;</mml:mi></mml:mrow></mml:math></inline-formula> <italic>at chunk</italic> <inline-formula id="ieqn-223"><mml:math id="mml-ieqn-223"><mml:msub><mml:mi>t</mml:mi><mml:mi>c</mml:mi></mml:msub></mml:math></inline-formula> <italic>cannot derive any subsequent temporal state</italic> <inline-formula id="ieqn-224"><mml:math id="mml-ieqn-224"><mml:msub><mml:mi>s</mml:mi><mml:mi>t</mml:mi></mml:msub></mml:math></inline-formula> <italic>for</italic> <inline-formula id="ieqn-225"><mml:math id="mml-ieqn-225"><mml:mi>t</mml:mi><mml:mo>&#x003E;</mml:mo><mml:msub><mml:mi>t</mml:mi><mml:mi>c</mml:mi></mml:msub></mml:math></inline-formula>.</p>

<p><bold>Proof of Theorem 1:</bold> Suppose <inline-formula id="ieqn-226"><mml:math id="mml-ieqn-226"><mml:mrow><mml:mi>&#x1D49C;</mml:mi></mml:mrow></mml:math></inline-formula> wins <inline-formula id="ieqn-227"><mml:math id="mml-ieqn-227"><mml:msub><mml:mtext>G</mml:mtext><mml:mrow><mml:mtext>FS</mml:mtext></mml:mrow></mml:msub></mml:math></inline-formula> by deriving <inline-formula id="ieqn-228"><mml:math id="mml-ieqn-228"><mml:msub><mml:mi>s</mml:mi><mml:mrow><mml:msub><mml:mi>t</mml:mi><mml:mi>c</mml:mi></mml:msub><mml:mo>+</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:math></inline-formula>. According to the protocol, <inline-formula id="ieqn-229"><mml:math id="mml-ieqn-229"><mml:msub><mml:mi>s</mml:mi><mml:mrow><mml:msub><mml:mi>t</mml:mi><mml:mi>c</mml:mi></mml:msub><mml:mo>+</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:mi>H</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi>s</mml:mi><mml:mrow><mml:msub><mml:mi>t</mml:mi><mml:mi>c</mml:mi></mml:msub></mml:mrow></mml:msub><mml:mo>&#x2225;</mml:mo><mml:msub><mml:mi>&#x03B7;</mml:mi><mml:mrow><mml:mi>&#x03C1;</mml:mi></mml:mrow></mml:msub><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>. While <inline-formula id="ieqn-230"><mml:math id="mml-ieqn-230"><mml:mrow><mml:mi>&#x1D49C;</mml:mi></mml:mrow></mml:math></inline-formula> may possess the stale state <inline-formula id="ieqn-231"><mml:math id="mml-ieqn-231"><mml:msub><mml:mi>s</mml:mi><mml:mrow><mml:msub><mml:mi>t</mml:mi><mml:mi>c</mml:mi></mml:msub></mml:mrow></mml:msub></mml:math></inline-formula>, computing <inline-formula id="ieqn-232"><mml:math id="mml-ieqn-232"><mml:msub><mml:mi>s</mml:mi><mml:mrow><mml:msub><mml:mi>t</mml:mi><mml:mi>c</mml:mi></mml:msub><mml:mo>+</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:math></inline-formula> strictly requires the fresh salt <inline-formula id="ieqn-233"><mml:math id="mml-ieqn-233"><mml:msub><mml:mi>&#x03B7;</mml:mi><mml:mrow><mml:mi>&#x03C1;</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>, which is encapsulated within the broadcast ciphertext <inline-formula id="ieqn-234"><mml:math id="mml-ieqn-234"><mml:msub><mml:mrow><mml:mover><mml:mi>C</mml:mi><mml:mo stretchy="false">&#x005E;</mml:mo></mml:mover></mml:mrow><mml:mrow><mml:mi>&#x03C1;</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> using the dynamic IBBE scheme. Since <inline-formula id="ieqn-235"><mml:math id="mml-ieqn-235"><mml:mrow><mml:mi>&#x1D49C;</mml:mi></mml:mrow></mml:math></inline-formula>&#x2019;s witness <inline-formula id="ieqn-236"><mml:math id="mml-ieqn-236"><mml:msub><mml:mi>W</mml:mi><mml:mi>u</mml:mi></mml:msub></mml:math></inline-formula> is mathematically excluded from the updated IBBE accumulator <inline-formula id="ieqn-237"><mml:math id="mml-ieqn-237"><mml:msub><mml:mi>A</mml:mi><mml:mrow><mml:mi>&#x03C1;</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> upon revocation, deriving <inline-formula id="ieqn-238"><mml:math id="mml-ieqn-238"><mml:msub><mml:mi>&#x03B7;</mml:mi><mml:mrow><mml:mi>&#x03C1;</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> is equivalent to breaking the underlying IBBE scheme&#x2019;s indistinguishability under chosen-plaintext attack. Furthermore, the pseudo-randomness of the VRF ensures <inline-formula id="ieqn-239"><mml:math id="mml-ieqn-239"><mml:msub><mml:mi>&#x03B7;</mml:mi><mml:mrow><mml:mi>&#x03C1;</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> cannot be predicted without the secret key <inline-formula id="ieqn-240"><mml:math id="mml-ieqn-240"><mml:mi>s</mml:mi><mml:msub><mml:mi>k</mml:mi><mml:mrow><mml:mi>C</mml:mi><mml:mi>P</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>. Thus, <inline-formula id="ieqn-241"><mml:math id="mml-ieqn-241"><mml:mrow><mml:mi>&#x1D49C;</mml:mi></mml:mrow></mml:math></inline-formula>&#x2019;s advantage is negligible. &#x25A1;</p>

<p><bold>Theorem 2 (Backward Secrecy):</bold> <italic>The proposed architecture ensures backward secrecy such that a newly joined adversary</italic> <inline-formula id="ieqn-242"><mml:math id="mml-ieqn-242"><mml:mrow><mml:mi>&#x1D49C;</mml:mi></mml:mrow></mml:math></inline-formula> <italic>at chunk</italic> <inline-formula id="ieqn-243"><mml:math id="mml-ieqn-243"><mml:msub><mml:mi>t</mml:mi><mml:mi>s</mml:mi></mml:msub></mml:math></inline-formula> <italic>cannot derive any historical temporal state</italic> <inline-formula id="ieqn-244"><mml:math id="mml-ieqn-244"><mml:msub><mml:mi>s</mml:mi><mml:mi>t</mml:mi></mml:msub></mml:math></inline-formula> <italic>for</italic> <inline-formula id="ieqn-245"><mml:math id="mml-ieqn-245"><mml:mi>t</mml:mi><mml:mo>&#x003C;</mml:mo><mml:msub><mml:mi>t</mml:mi><mml:mi>s</mml:mi></mml:msub></mml:math></inline-formula>.</p>

<p><bold>Proof of Theorem 2:</bold> Let <inline-formula id="ieqn-246"><mml:math id="mml-ieqn-246"><mml:mrow><mml:mi>&#x1D49C;</mml:mi></mml:mrow></mml:math></inline-formula> possess the current temporal state <inline-formula id="ieqn-247"><mml:math id="mml-ieqn-247"><mml:msub><mml:mi>s</mml:mi><mml:mrow><mml:msub><mml:mi>t</mml:mi><mml:mi>s</mml:mi></mml:msub></mml:mrow></mml:msub></mml:math></inline-formula> upon subscription. To win <inline-formula id="ieqn-248"><mml:math id="mml-ieqn-248"><mml:msub><mml:mtext>G</mml:mtext><mml:mrow><mml:mtext>BS</mml:mtext></mml:mrow></mml:msub></mml:math></inline-formula>, <inline-formula id="ieqn-249"><mml:math id="mml-ieqn-249"><mml:mrow><mml:mi>&#x1D49C;</mml:mi></mml:mrow></mml:math></inline-formula> must derive <inline-formula id="ieqn-250"><mml:math id="mml-ieqn-250"><mml:msub><mml:mi>s</mml:mi><mml:mrow><mml:msub><mml:mi>t</mml:mi><mml:mi>s</mml:mi></mml:msub><mml:mo>&#x2212;</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:math></inline-formula> from the known <inline-formula id="ieqn-251"><mml:math id="mml-ieqn-251"><mml:msub><mml:mi>s</mml:mi><mml:mrow><mml:msub><mml:mi>t</mml:mi><mml:mi>s</mml:mi></mml:msub></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:mi>H</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi>s</mml:mi><mml:mrow><mml:msub><mml:mi>t</mml:mi><mml:mi>s</mml:mi></mml:msub><mml:mo>&#x2212;</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub><mml:mo>&#x2225;</mml:mo><mml:msub><mml:mi>&#x03B7;</mml:mi><mml:mrow><mml:msub><mml:mi>t</mml:mi><mml:mi>s</mml:mi></mml:msub></mml:mrow></mml:msub><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>. This requires inverting the cryptographic hash function <inline-formula id="ieqn-252"><mml:math id="mml-ieqn-252"><mml:mi>H</mml:mi></mml:math></inline-formula>. Under the assumption that <inline-formula id="ieqn-253"><mml:math id="mml-ieqn-253"><mml:mi>H</mml:mi></mml:math></inline-formula> exhibits pre-image resistance, finding <inline-formula id="ieqn-254"><mml:math id="mml-ieqn-254"><mml:msub><mml:mi>s</mml:mi><mml:mrow><mml:msub><mml:mi>t</mml:mi><mml:mi>s</mml:mi></mml:msub><mml:mo>&#x2212;</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:math></inline-formula> is computationally infeasible for any PPT adversary. By induction, all historical states <inline-formula id="ieqn-255"><mml:math id="mml-ieqn-255"><mml:mo fence="false" stretchy="false">{</mml:mo><mml:msub><mml:mi>s</mml:mi><mml:mn>0</mml:mn></mml:msub><mml:mo>,</mml:mo><mml:mo>&#x2026;</mml:mo><mml:mo>,</mml:mo><mml:msub><mml:mi>s</mml:mi><mml:mrow><mml:msub><mml:mi>t</mml:mi><mml:mi>s</mml:mi></mml:msub><mml:mo>&#x2212;</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub><mml:mo fence="false" stretchy="false">}</mml:mo></mml:math></inline-formula> remain hidden. Thus, <inline-formula id="ieqn-256"><mml:math id="mml-ieqn-256"><mml:mrow><mml:mi>&#x1D49C;</mml:mi></mml:mrow></mml:math></inline-formula>&#x2019;s advantage is negligible. &#x25A1;</p>

<p><bold>Theorem 3 (SCR Attack Resistance and Collusion Resilience):</bold> <italic>The architecture is resilient against SCR attacks and collusion among multiple corrupted identities, ensuring that pooled credentials yield no advantage in unauthorized intervals</italic>.</p>

<p><bold>Proof of Theorem 3:</bold> Consider an extreme collusion scenario (satisfying Definition 3) where <inline-formula id="ieqn-257"><mml:math id="mml-ieqn-257"><mml:mrow><mml:mi>&#x1D49C;</mml:mi></mml:mrow></mml:math></inline-formula> pools credentials from a revoked session at <inline-formula id="ieqn-258"><mml:math id="mml-ieqn-258"><mml:msub><mml:mi>t</mml:mi><mml:mn>1</mml:mn></mml:msub></mml:math></inline-formula> and a new session at <inline-formula id="ieqn-259"><mml:math id="mml-ieqn-259"><mml:msub><mml:mi>t</mml:mi><mml:mn>2</mml:mn></mml:msub></mml:math></inline-formula> (<inline-formula id="ieqn-260"><mml:math id="mml-ieqn-260"><mml:msub><mml:mi>t</mml:mi><mml:mn>1</mml:mn></mml:msub><mml:mo>&#x003C;</mml:mo><mml:msub><mml:mi>t</mml:mi><mml:mn>2</mml:mn></mml:msub></mml:math></inline-formula>). Let the pooled knowledge be <inline-formula id="ieqn-261"><mml:math id="mml-ieqn-261"><mml:msub><mml:mrow><mml:mi mathvariant="bold-script">K</mml:mi></mml:mrow><mml:mrow><mml:mi>c</mml:mi><mml:mi>o</mml:mi><mml:mi>l</mml:mi><mml:mi>l</mml:mi><mml:mi>u</mml:mi><mml:mi>s</mml:mi><mml:mi>i</mml:mi><mml:mi>o</mml:mi><mml:mi>n</mml:mi></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:msub><mml:mrow><mml:mi mathvariant="bold-script">K</mml:mi></mml:mrow><mml:mrow><mml:msub><mml:mi>t</mml:mi><mml:mn>1</mml:mn></mml:msub></mml:mrow></mml:msub><mml:mo>&#x222A;</mml:mo><mml:msub><mml:mrow><mml:mi mathvariant="bold-script">K</mml:mi></mml:mrow><mml:mrow><mml:msub><mml:mi>t</mml:mi><mml:mn>2</mml:mn></mml:msub></mml:mrow></mml:msub></mml:math></inline-formula>. To derive any key <inline-formula id="ieqn-262"><mml:math id="mml-ieqn-262"><mml:msub><mml:mi>k</mml:mi><mml:mi>t</mml:mi></mml:msub></mml:math></inline-formula> for the unauthorized gap <inline-formula id="ieqn-263"><mml:math id="mml-ieqn-263"><mml:mi>t</mml:mi><mml:mo>&#x2208;</mml:mo><mml:mo stretchy="false">[</mml:mo><mml:msub><mml:mi>t</mml:mi><mml:mn>1</mml:mn></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>t</mml:mi><mml:mn>2</mml:mn></mml:msub><mml:mo>&#x2212;</mml:mo><mml:mn>1</mml:mn><mml:mo stretchy="false">]</mml:mo></mml:math></inline-formula>, <inline-formula id="ieqn-264"><mml:math id="mml-ieqn-264"><mml:mrow><mml:mi>&#x1D49C;</mml:mi></mml:mrow></mml:math></inline-formula> must either roll <inline-formula id="ieqn-265"><mml:math id="mml-ieqn-265"><mml:msub><mml:mi>s</mml:mi><mml:mrow><mml:msub><mml:mi>t</mml:mi><mml:mn>1</mml:mn></mml:msub></mml:mrow></mml:msub></mml:math></inline-formula> forward or <inline-formula id="ieqn-266"><mml:math id="mml-ieqn-266"><mml:msub><mml:mi>s</mml:mi><mml:mrow><mml:msub><mml:mi>t</mml:mi><mml:mn>2</mml:mn></mml:msub></mml:mrow></mml:msub></mml:math></inline-formula> backward. As demonstrated in Theorem 1, the forward derivation is blocked by the exclusion from the IBBE-protected salt update. As demonstrated in Theorem 2, the backward derivation is blocked by the pre-image resistance of the hash chain. Since both the forward and backward cryptographic paths are severed at the authorization boundaries, combining the knowledge <inline-formula id="ieqn-267"><mml:math id="mml-ieqn-267"><mml:msub><mml:mrow><mml:mi mathvariant="bold-script">K</mml:mi></mml:mrow><mml:mrow><mml:msub><mml:mi>t</mml:mi><mml:mn>1</mml:mn></mml:msub></mml:mrow></mml:msub></mml:math></inline-formula> and <inline-formula id="ieqn-268"><mml:math id="mml-ieqn-268"><mml:msub><mml:mrow><mml:mi mathvariant="bold-script">K</mml:mi></mml:mrow><mml:mrow><mml:msub><mml:mi>t</mml:mi><mml:mn>2</mml:mn></mml:msub></mml:mrow></mml:msub></mml:math></inline-formula> provides no algebraic path to <inline-formula id="ieqn-269"><mml:math id="mml-ieqn-269"><mml:msub><mml:mi>s</mml:mi><mml:mi>t</mml:mi></mml:msub></mml:math></inline-formula>. Thus, the architecture is secure against both SCR and collusion attacks. &#x25A1;</p>

<p><bold>Remark 1 (Out-of-Band Key Sharing and Piracy):</bold> <italic>While our architecture rigorously prevents cryptographic collusion (i.e., attackers attempting to derive unauthorized keys by pooling stale and fresh credentials, as formally proven in Theorem 3), it does not prevent a legitimate, active subscriber from voluntarily redistributing their correctly decrypted keys or plaintext video payload to unauthorized users. Such out-of-band key sharing is fundamentally beyond the scope of cryptographic access control models. In commercial digital rights management deployments, mitigating this specific piracy vector requires integrating complementary orthogonal technologies, such as digital watermarking or traitor tracing schemes, which can be seamlessly applied to the Layer 1 static payloads without altering our proposed three-layer authorization protocol</italic>.</p>

</sec>
<sec id="s5_4">
<label>5.4</label>
<title>Complexity Analysis</title>
<p>By decoupling the static video payload from dynamic access rights, our architecture achieves highly scalable performance strictly bounded by constants or logarithmic functions.</p>
<p><bold>Communication Overhead.</bold> For continuous live subscriptions, the Layer 3 dynamic IBBE ensures that the broadcast ciphertext <inline-formula id="ieqn-270"><mml:math id="mml-ieqn-270"><mml:msub><mml:mrow><mml:mover><mml:mi>C</mml:mi><mml:mo stretchy="false">&#x005E;</mml:mo></mml:mover></mml:mrow><mml:mrow><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mo>+</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msub></mml:math></inline-formula> size remains strictly constant at <inline-formula id="ieqn-271"><mml:math id="mml-ieqn-271"><mml:mi>O</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mn>1</mml:mn><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>, entirely independent of the total subscriber population <inline-formula id="ieqn-272"><mml:math id="mml-ieqn-272"><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow><mml:mrow><mml:mi>&#x1D4B0;</mml:mi></mml:mrow><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow></mml:math></inline-formula>. For arbitrary-grained highlight authorization, the encrypted token uniquely encapsulates the minimum node cover <inline-formula id="ieqn-273"><mml:math id="mml-ieqn-273"><mml:msub><mml:mrow><mml:mi>&#x1D4A9;</mml:mi></mml:mrow><mml:mrow><mml:mi>a</mml:mi><mml:mo>,</mml:mo><mml:mi>b</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>. Due to the structural properties of the Layer 1 BHT, the token size is rigorously bounded by <inline-formula id="ieqn-274"><mml:math id="mml-ieqn-274"><mml:mi>O</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>log</mml:mi><mml:mo>&#x2061;</mml:mo><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow><mml:mi>I</mml:mi><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>, where <inline-formula id="ieqn-275"><mml:math id="mml-ieqn-275"><mml:mi>M</mml:mi></mml:math></inline-formula> is the requested chunk span. These properties make on-chain event emissions exceptionally economical and scalable.</p>
<p><bold>Computational Efficiency (Content Provider).</bold> During steady-state streaming, the CP&#x2019;s workload is minimal, requiring only one symmetric encryption and one hash evaluation <inline-formula id="ieqn-276"><mml:math id="mml-ieqn-276"><mml:mi>O</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mn>1</mml:mn><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> per video chunk. For the most intensive administrative operation (e.g., dynamic revocation), the CP only computes the accumulator state transition and generates a single <inline-formula id="ieqn-277"><mml:math id="mml-ieqn-277"><mml:mi>O</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mn>1</mml:mn><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> IBBE ciphertext <inline-formula id="ieqn-278"><mml:math id="mml-ieqn-278"><mml:msub><mml:mrow><mml:mover><mml:mi>C</mml:mi><mml:mo stretchy="false">&#x005E;</mml:mo></mml:mover></mml:mrow><mml:mrow><mml:msub><mml:mi>&#x03C1;</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mo>+</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msub></mml:math></inline-formula>.</p>
<p><bold>Computational Efficiency (Subscriber).</bold> Authorized viewers execute real-time playback on local devices with negligible overhead. Unwrapping a temporal chunk requires precisely one <inline-formula id="ieqn-279"><mml:math id="mml-ieqn-279"><mml:mi>O</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mn>1</mml:mn><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> hash derivation and one symmetric decryption. Crucially, during membership transitions, remaining legitimate viewers locally execute the witness update. The complexity of the stateless witness update algorithm is mathematically bounded by <inline-formula id="ieqn-280"><mml:math id="mml-ieqn-280"><mml:mi>O</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mo movablelimits="true" form="prefix">min</mml:mo><mml:mo stretchy="false">(</mml:mo><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow><mml:mi mathvariant="normal">&#x0394;</mml:mi><mml:mrow><mml:mi>&#x211B;</mml:mi></mml:mrow><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow><mml:mo>,</mml:mo><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow><mml:msub><mml:mrow><mml:mi>&#x1D4B0;</mml:mi></mml:mrow><mml:mrow><mml:mi>a</mml:mi><mml:mi>c</mml:mi><mml:mi>t</mml:mi><mml:mi>i</mml:mi><mml:mi>v</mml:mi><mml:mi>e</mml:mi></mml:mrow></mml:msub><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow><mml:mo stretchy="false">)</mml:mo><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>, where <inline-formula id="ieqn-281"><mml:math id="mml-ieqn-281"><mml:msub><mml:mrow><mml:mi>&#x1D4B0;</mml:mi></mml:mrow><mml:mrow><mml:mi>a</mml:mi><mml:mi>c</mml:mi><mml:mi>t</mml:mi><mml:mi>i</mml:mi><mml:mi>v</mml:mi><mml:mi>e</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> denotes the set of remaining legitimate viewers. For standard sparse revocations, the overhead scales incrementally with <inline-formula id="ieqn-282"><mml:math id="mml-ieqn-282"><mml:mi>O</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow><mml:mi mathvariant="normal">&#x0394;</mml:mi><mml:mrow><mml:mi>&#x211B;</mml:mi></mml:mrow><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>. However, during massive revocation events where the revoked population exceeds a specific threshold, the algorithm efficiently reconstructs the witness based on the shrinking active population, causing the computational overhead to decrease. This guarantees that end-users can seamlessly maintain temporal hash progression under any extreme membership volatility, even on resource-constrained mobile devices.</p>
</sec>
</sec>
<sec id="s6">
<label>6</label>
<title>Performance Evaluation</title>
<p>In this section, we evaluate the performance of our scheme through three core dimensions: communication efficiency for historical highlights, server-side scalability under high churn, and the client-side latency trade-off. We compare Our Scheme against two decentralized stream sharing schemes, Droplet [<xref ref-type="bibr" rid="ref-11">11</xref>] and SegSub [<xref ref-type="bibr" rid="ref-12">12</xref>], under workloads that reflect the high-churn and fine-grained access patterns typical of decentralized sports streaming.</p>
<sec id="s6_1">
<label>6.1</label>
<title>Efficiency of On-Demand Highlights</title>
<p>To evaluate the communication overhead for historical video highlights, we simulate a stream of <inline-formula id="ieqn-283"><mml:math id="mml-ieqn-283"><mml:mi>K</mml:mi><mml:mo>=</mml:mo><mml:mn>4096</mml:mn></mml:math></inline-formula> chunks using Secure Hash Algorithm 256-bit (SHA-256) (32-Byte keys). We configure SegSub with a segment length of <inline-formula id="ieqn-284"><mml:math id="mml-ieqn-284"><mml:mi>l</mml:mi><mml:mo>=</mml:mo><mml:mn>16</mml:mn></mml:math></inline-formula> and account for Droplet&#x2019;s 33-Byte privacy-preserving ephemeral key overhead. <xref ref-type="fig" rid="fig-3">Fig. 3</xref> evaluates the communication cost across varying highlight lengths from 10 to 1000 chunks under two conditions: <italic>Relaxed Granularity</italic> and <italic>Exact-Chunk Granularity</italic>.</p>
<fig id="fig-3">
<label>Figure 3</label>
<caption>
<title>Communication overhead for on-demand highlight authorization. (<bold>a</bold>) Evaluated under relaxed granularity, permitting segment-level redundant access. (<bold>b</bold>) Evaluated under strict exact-chunk granularity, ensuring zero data leakage.</title>
</caption>
<graphic mimetype="image" mime-subtype="tif" xlink:href="CMC_83047-fig-3.tif"/>
</fig>
<p><italic>Boundary Alignment and Privacy Overhead</italic>. As shown in <xref ref-type="fig" rid="fig-3">Fig. 3</xref>, both Our Scheme and Droplet exhibit jagged curves. This is because the communication cost in BHT-based designs depends on how well the requested intervals align with the tree structure. Although both schemes achieve an <inline-formula id="ieqn-285"><mml:math id="mml-ieqn-285"><mml:mi>O</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>log</mml:mi><mml:mo>&#x2061;</mml:mo><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow><mml:mi>I</mml:mi><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> bound, Droplet has a consistently higher cost due to its 33-Byte &#x201C;privacy tax&#x201D; for identity-unlinkability. Our Scheme removes this extra payload because such extreme anonymization is not required for sports streaming. As a result, Our Scheme achieves the most efficient overhead for exact-chunk authorization.</p>
<p><italic>Impact of Access Precision</italic>. As shown in <xref ref-type="fig" rid="fig-3">Fig. 3a</xref>, SegSub seems competitive under relaxed granularity because it delivers keys at the segment level. However, this approach is limited because it often includes extra, unrequested chunks within those segments to simplify key delivery. This means the provider either risks data leakage by sending more than requested or faces higher costs to be precise. When we enforce <italic>Exact-Chunk Granularity</italic> to prevent such leakage (<xref ref-type="fig" rid="fig-3">Fig. 3b</xref>), SegSub&#x2019;s performance drops significantly. This happens because SegSub send many individual 32-Byte keys for any chunks that fall outside its segment boundaries. In contrast, Our Scheme supports precise access for any interval from the start, which keeps the communication cost low while strictly following the principle of least privilege.</p>
</sec>
<sec id="s6_2">
<label>6.2</label>
<title>Server Communication Overhead under Revocation</title>
<p>To evaluate scalability under high churn, we examine the server communication overhead during batch revocation events. <xref ref-type="fig" rid="fig-4">Fig. 4</xref> plots the server communication cost (in kilobytes) relative to the number of revoked users (<inline-formula id="ieqn-286"><mml:math id="mml-ieqn-286"><mml:mi>R</mml:mi></mml:math></inline-formula>), assuming a total audience of <inline-formula id="ieqn-287"><mml:math id="mml-ieqn-287"><mml:mi>N</mml:mi><mml:mo>=</mml:mo><mml:mn>100</mml:mn><mml:mo>,</mml:mo><mml:mspace width="negativethinmathspace" /><mml:mn>000</mml:mn></mml:math></inline-formula>.</p>
<fig id="fig-4">
<label>Figure 4</label>
<caption>
<title>Server communication overhead relative to the revocation batch size <inline-formula id="ieqn-298"><mml:math id="mml-ieqn-298"><mml:mi>R</mml:mi></mml:math></inline-formula>. SegSub degrades to Droplet&#x2019;s unicast cost as <inline-formula id="ieqn-299"><mml:math id="mml-ieqn-299"><mml:mi>R</mml:mi></mml:math></inline-formula> increases, while Our Scheme maintains the <inline-formula id="ieqn-300"><mml:math id="mml-ieqn-300"><mml:mi>O</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mn>1</mml:mn><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> broadcast cost.</title>
</caption>
<graphic mimetype="image" mime-subtype="tif" xlink:href="CMC_83047-fig-4.tif"/>
</fig>
<p>Droplet relies on a unicast mechanism to distribute updated keys to all remaining valid users, causing its communication cost to scale linearly with <inline-formula id="ieqn-288"><mml:math id="mml-ieqn-288"><mml:mi>N</mml:mi><mml:mo>&#x2212;</mml:mo><mml:mi>R</mml:mi></mml:math></inline-formula>. As shown in <xref ref-type="fig" rid="fig-4">Fig. 4</xref>, its overhead starts extremely high and decreases only when the majority of the user base is revoked. SegSub attempts to optimize this by grouping users (e.g., <inline-formula id="ieqn-289"><mml:math id="mml-ieqn-289"><mml:mi>M</mml:mi><mml:mo>=</mml:mo><mml:mn>100</mml:mn></mml:math></inline-formula> per group). For very small <inline-formula id="ieqn-290"><mml:math id="mml-ieqn-290"><mml:mi>R</mml:mi></mml:math></inline-formula>, it successfully reduces communication by broadcasting to unaffected groups. However, as <inline-formula id="ieqn-291"><mml:math id="mml-ieqn-291"><mml:mi>R</mml:mi></mml:math></inline-formula> increases, the probability of a group containing at least one revoked user rapidly approaches 1. Once a group is &#x201C;tainted&#x201D; by a revoked user, its shared group key becomes invalid, forcing SegSub to fall back to unicasting new keys to the remaining valid users in that specific group. Consequently, when <inline-formula id="ieqn-292"><mml:math id="mml-ieqn-292"><mml:mi>R</mml:mi></mml:math></inline-formula> grows (e.g., <inline-formula id="ieqn-293"><mml:math id="mml-ieqn-293"><mml:mi>R</mml:mi><mml:mo>&#x2265;</mml:mo><mml:mn>1000</mml:mn></mml:math></inline-formula>), SegSub&#x2019;s grouping mechanism collapses, and its overhead surges to match Droplet&#x2019;s linear cost.</p>
<p>In contrast, Our Scheme eliminates the need for user-specific key distribution. By leveraging IBBE and on-chain state tracking, the server only needs to broadcast a single, constant-size epoch ciphertext. As illustrated by the flat blue line in <xref ref-type="fig" rid="fig-4">Fig. 4</xref>, the server communication overhead remains strictly <inline-formula id="ieqn-294"><mml:math id="mml-ieqn-294"><mml:mi>O</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mn>1</mml:mn><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> and minimal, providing absolute immunity to revocation storms regardless of the batch size <inline-formula id="ieqn-295"><mml:math id="mml-ieqn-295"><mml:mi>R</mml:mi></mml:math></inline-formula>. However, this <inline-formula id="ieqn-296"><mml:math id="mml-ieqn-296"><mml:mi>O</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mn>1</mml:mn><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> communication efficiency involves an inherent architectural trade-off by shifting the cryptographic burden to the clients. Consequently, Our Scheme incurs a higher client-side computation latency than Droplet and SegSub (<xref ref-type="fig" rid="fig-5">Fig. 5</xref>), although this localized state-transition overhead is safely absorbed within the <inline-formula id="ieqn-297"><mml:math id="mml-ieqn-297"><mml:mn>2000</mml:mn></mml:math></inline-formula> ms decoding deadline of standard chunk buffers (<xref ref-type="fig" rid="fig-6">Fig. 6</xref>).</p>
<fig id="fig-5">
<label>Figure 5</label>
<caption>
<title>End-to-end computation latency trade-off during a major revocation event (<inline-formula id="ieqn-301"><mml:math id="mml-ieqn-301"><mml:mi>R</mml:mi><mml:mo>=</mml:mo><mml:mn>1000</mml:mn></mml:math></inline-formula>, <inline-formula id="ieqn-302"><mml:math id="mml-ieqn-302"><mml:mi>N</mml:mi><mml:mo>=</mml:mo><mml:mn>100</mml:mn><mml:mo>,</mml:mo><mml:mspace width="negativethinmathspace" /><mml:mn>000</mml:mn></mml:math></inline-formula>). (<bold>a</bold>) Server-side latency (log scale) demonstrating our scheme&#x2019;s absolute immunity. (<bold>b</bold>) Client-side authorization latency, illustrating that our scheme&#x2019;s decentralized witness computation safely consumes less than <inline-formula id="ieqn-303"><mml:math id="mml-ieqn-303"><mml:mn>16</mml:mn><mml:mi mathvariant="normal">&#x0025;</mml:mi></mml:math></inline-formula> of the standard <inline-formula id="ieqn-304"><mml:math id="mml-ieqn-304"><mml:mn>2000</mml:mn></mml:math></inline-formula> ms chunk buffer.</title>
</caption>
<graphic mimetype="image" mime-subtype="tif" xlink:href="CMC_83047-fig-5.tif"/>
</fig><fig id="fig-6">
<label>Figure 6</label>
<caption>
<title>Client computation latency relative to the revocation batch size <inline-formula id="ieqn-305"><mml:math id="mml-ieqn-305"><mml:mi>R</mml:mi></mml:math></inline-formula>, identifying the theoretical performance boundary at <inline-formula id="ieqn-306"><mml:math id="mml-ieqn-306"><mml:mi>R</mml:mi><mml:mo>=</mml:mo><mml:mi>N</mml:mi><mml:mrow><mml:mo>/</mml:mo></mml:mrow><mml:mi>e</mml:mi></mml:math></inline-formula>.</title>
</caption>
<graphic mimetype="image" mime-subtype="tif" xlink:href="CMC_83047-fig-6.tif"/>
</fig>
</sec>
<sec id="s6_3">
<label>6.3</label>
<title>End-to-End Computation Latency Trade-off</title>
<p>To evaluate practical deployment, we anchor our simulation parameters to standard micro-benchmarks. For the server, we model a standard cloud instance (Elliptic Curve Integrated Encryption Scheme: <inline-formula id="ieqn-307"><mml:math id="mml-ieqn-307"><mml:mn>1.1</mml:mn></mml:math></inline-formula> ms, SHA-256: <inline-formula id="ieqn-308"><mml:math id="mml-ieqn-308"><mml:mn>1.2</mml:mn><mml:mtext>&#xA0;</mml:mtext><mml:mrow><mml:mi mathvariant="normal">&#x0B5;</mml:mi></mml:mrow></mml:math></inline-formula>s, IBBE broadcast: <inline-formula id="ieqn-309"><mml:math id="mml-ieqn-309"><mml:mn>10</mml:mn></mml:math></inline-formula> ms). For the client, we model a typical smartphone (Elliptic Curve Digital Signature Algorithm: <inline-formula id="ieqn-310"><mml:math id="mml-ieqn-310"><mml:mn>4.4</mml:mn></mml:math></inline-formula> ms, SHA-256: <inline-formula id="ieqn-311"><mml:math id="mml-ieqn-311"><mml:mn>45</mml:mn><mml:mtext>&#xA0;</mml:mtext><mml:mrow><mml:mi mathvariant="normal">&#x0B5;</mml:mi></mml:mrow></mml:math></inline-formula>s, IBBE resolve: <inline-formula id="ieqn-312"><mml:math id="mml-ieqn-312"><mml:mn>15</mml:mn></mml:math></inline-formula> ms).</p>
<p><italic>Server-Side Scalability</italic>. During a batch revocation of <inline-formula id="ieqn-313"><mml:math id="mml-ieqn-313"><mml:mi>R</mml:mi><mml:mo>=</mml:mo><mml:mn>1000</mml:mn></mml:math></inline-formula> out of N &#x003D; 100,000 users, Droplet and SegSub require the server to perform nearly 99,000 asymmetric encryptions. This sequential load exceeds <inline-formula id="ieqn-314"><mml:math id="mml-ieqn-314"><mml:mn>1.5</mml:mn></mml:math></inline-formula> min, forcing the live stream to stall. In contrast, Our Scheme offloads witness updates to the clients, requiring the server to execute only a single <inline-formula id="ieqn-315"><mml:math id="mml-ieqn-315"><mml:mi>O</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mn>1</mml:mn><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> IBBE encryption. As shown in <xref ref-type="fig" rid="fig-5">Fig. 5a</xref>, the server latency remains strictly at <inline-formula id="ieqn-316"><mml:math id="mml-ieqn-316"><mml:mn>10.0</mml:mn></mml:math></inline-formula> ms, rendering it immune to revocation storms.</p>
<p><italic>Client-Side Latency</italic>. To achieve this server scalability, legitimate clients should fetch the on-chain revocation list and locally compute the <inline-formula id="ieqn-317"><mml:math id="mml-ieqn-317"><mml:mi>O</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>R</mml:mi><mml:msub><mml:mi>log</mml:mi><mml:mn>2</mml:mn></mml:msub><mml:mo>&#x2061;</mml:mo><mml:mo stretchy="false">(</mml:mo><mml:mi>N</mml:mi><mml:mrow><mml:mo>/</mml:mo></mml:mrow><mml:mi>R</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> witness update. <xref ref-type="fig" rid="fig-5">Fig. 5b</xref> shows that this computation takes approximately <inline-formula id="ieqn-318"><mml:math id="mml-ieqn-318"><mml:mn>314</mml:mn></mml:math></inline-formula> ms for <inline-formula id="ieqn-319"><mml:math id="mml-ieqn-319"><mml:mi>R</mml:mi><mml:mo>=</mml:mo><mml:mn>1000</mml:mn></mml:math></inline-formula>. While higher than the baselines&#x2019; <inline-formula id="ieqn-320"><mml:math id="mml-ieqn-320"><mml:mn>5</mml:mn></mml:math></inline-formula> ms, this <inline-formula id="ieqn-321"><mml:math id="mml-ieqn-321"><mml:mn>314</mml:mn></mml:math></inline-formula> ms latency safely consumes less than <inline-formula id="ieqn-322"><mml:math id="mml-ieqn-322"><mml:mn>16</mml:mn><mml:mi mathvariant="normal">&#x0025;</mml:mi></mml:math></inline-formula> of the standard <inline-formula id="ieqn-323"><mml:math id="mml-ieqn-323"><mml:mn>2000</mml:mn></mml:math></inline-formula> ms decoding buffer margin typical of chunk-based streaming protocols.</p>
<p><italic>Theoretical Boundary and Practical Limitations</italic>. Since the client latency is dominated by local hashing, we evaluate its non-linear scaling to identify hardware limits. The computational complexity reaches its theoretical maximum at <inline-formula id="ieqn-324"><mml:math id="mml-ieqn-324"><mml:mi>R</mml:mi><mml:mo>=</mml:mo><mml:mi>N</mml:mi><mml:mrow><mml:mo>/</mml:mo></mml:mrow><mml:mi>e</mml:mi></mml:math></inline-formula> (<inline-formula id="ieqn-325"><mml:math id="mml-ieqn-325"><mml:mo>&#x2248;</mml:mo></mml:math></inline-formula>36,787 evictions for <inline-formula id="ieqn-326"><mml:math id="mml-ieqn-326"><mml:mi>N</mml:mi><mml:mo>=</mml:mo><mml:mn>100</mml:mn><mml:mo>,</mml:mo><mml:mspace width="negativethinmathspace" /><mml:mn>000</mml:mn></mml:math></inline-formula>), resulting in a latency of <inline-formula id="ieqn-327"><mml:math id="mml-ieqn-327"><mml:mn>2403</mml:mn></mml:math></inline-formula> ms. While this marginally exceeds the <inline-formula id="ieqn-328"><mml:math id="mml-ieqn-328"><mml:mn>2000</mml:mn></mml:math></inline-formula> ms buffer limit (<xref ref-type="fig" rid="fig-6">Fig. 6</xref>), it is practically mitigated by two factors. First, the probability of an instantaneous <inline-formula id="ieqn-329"><mml:math id="mml-ieqn-329"><mml:mn>36</mml:mn><mml:mi mathvariant="normal">&#x0025;</mml:mi></mml:math></inline-formula> churn rate within a 2-s epoch is negligible; real-world churn is distributed over time, keeping <inline-formula id="ieqn-330"><mml:math id="mml-ieqn-330"><mml:mi>R</mml:mi></mml:math></inline-formula> safely below this boundary. Second, this peak represents a transient, one-time state synchronization cost. Once updated, the latency for subsequent chunks instantly reverts to the nominal baseline, resulting in at most a sub-second stutter isolated to a single chunk. By trading a transient local delay for the absolute eradication of <inline-formula id="ieqn-331"><mml:math id="mml-ieqn-331"><mml:mi>O</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>N</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> server-side bottlenecks, the system achieves genuine scalability.</p>
<p>Since the IBBE decryption overhead is constant (<inline-formula id="ieqn-332"><mml:math id="mml-ieqn-332"><mml:mn>15</mml:mn></mml:math></inline-formula> ms), the client latency is entirely dominated by the local batch witness update, which scales mathematically at <inline-formula id="ieqn-333"><mml:math id="mml-ieqn-333"><mml:mi>O</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>R</mml:mi><mml:msub><mml:mi>log</mml:mi><mml:mn>2</mml:mn></mml:msub><mml:mo>&#x2061;</mml:mo><mml:mo stretchy="false">(</mml:mo><mml:mi>N</mml:mi><mml:mrow><mml:mo>/</mml:mo></mml:mrow><mml:mi>R</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>. <xref ref-type="fig" rid="fig-6">Fig. 6</xref> tracks this non-linear scaling behavior.</p>

<p><bold>Remark 2 (Mitigating Blockchain Latency):</bold> <italic>Our system is immune to blockchain latency during steady-state operations, as subscribers autonomously roll the hash chain off-chain (<inline-formula id="ieqn-334"><mml:math id="mml-ieqn-334"><mml:mi>&#x03B7;</mml:mi><mml:mo>=</mml:mo><mml:mn>0</mml:mn></mml:math></inline-formula>). Latency is only introduced during revocation events, which require waiting for block confirmations to retrieve a fresh salt</italic> <inline-formula id="ieqn-335"><mml:math id="mml-ieqn-335"><mml:mi>&#x03B7;</mml:mi></mml:math></inline-formula>. <italic>For seamless playback, this latency can be mitigated via: (1) Scheduled Revocation: The new salt&#x2019;s activation is scheduled for a future chunk, absorbing confirmation delays with negligible economic impact (e.g., granting revoked users brief extra access); and (2) Pre-Confirmation Propagation: The CP immediately distributes the updated ciphertext</italic> <inline-formula id="ieqn-336"><mml:math id="mml-ieqn-336"><mml:mrow><mml:mover><mml:mi>C</mml:mi><mml:mo stretchy="false">&#x005E;</mml:mo></mml:mover></mml:mrow></mml:math></inline-formula> <italic>via the peer-to-peer network, allowing subscribers to verify the signature and retrieve</italic> <inline-formula id="ieqn-337"><mml:math id="mml-ieqn-337"><mml:mi>&#x03B7;</mml:mi></mml:math></inline-formula> <italic>without waiting for strict on-chain finality</italic>.</p>


<p><bold>Remark 3 (Client-Side Revocation Overhead):</bold> <italic>The primary client-side computational bottleneck stems from the IBBE witness updates triggered by membership revocations. As illustrated in <xref ref-type="fig" rid="fig-5">Figs. 5</xref> and <xref ref-type="fig" rid="fig-6">6</xref>, this overhead is manageable under typical churn rates. For constrained clients (e.g., low-power devices), this computation can be practically absorbed without playback stuttering by expanding the playback buffer (e.g., from 2 s to 4 s) or dynamically adjusting the video frame rate. Furthermore, to address increased natural churn at a massive system scale, our future research will explore reputation-based tiered grouping. By isolating volatile users, this approach minimizes the revocation scale within stable clusters, fundamentally reducing the witness update burden for the majority of clients</italic>.</p>

</sec>
</sec>
<sec id="s7">
<label>7</label>
<title>Conclusion</title>
<p>This paper presents a decentralized architecture that unifies the fragmented sports streaming ecosystem. By decoupling static video payloads from dynamic access rights via a three-layer cryptographic protocol, we directly map commercial workflows onto the underlying key evolution. Our approach successfully resolves the technical conflict between fine-grained highlight isolation and continuous live streaming authorization. We proved the system&#x2019;s strict forward and backward secrecy over untrusted infrastructure. Furthermore, by permanently eradicating <inline-formula id="ieqn-338"><mml:math id="mml-ieqn-338"><mml:mi>O</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>N</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> communication bottlenecks and maintaining <inline-formula id="ieqn-339"><mml:math id="mml-ieqn-339"><mml:mi>O</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mn>1</mml:mn><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> server scalability under massive audience churn, this framework establishes a secure, highly efficient, and interoperable foundation for the future Web3 sport streaming economy.</p>
</sec>
</body>
<back>
<ack>
<p>None.</p>
</ack>
<sec>
<title>Funding Statement</title>
<p>The authors received no specific funding for this study.</p>
</sec>
<sec>
<title>Author Contributions</title>
<p>The authors confirm contribution to the paper as follows: Conceptualization, Liangyu Lin and Li Feng; methodology, Liangyu Lin; software, Lin Huang; validation, Li Feng; formal analysis, Li Feng; investigation, Lin Huang; writing&#x2014;original draft preparation, Liangyu Lin; writing&#x2014;review and editing, Liangyu Lin; visualization, Lin Huang; project administration, Li Feng. All authors reviewed and approved the final version of the manuscript.</p>
</sec>
<sec sec-type="data-availability">
<title>Availability of Data and Materials</title>
<p>Not applicable.</p>
</sec>
<sec>
<title>Ethics Approval</title>
<p>Not applicable.</p>
</sec>
<sec sec-type="COI-statement">
<title>Conflicts of Interest</title>
<p>The authors declare no conflicts of interest.</p>
</sec>
<ref-list content-type="authoryear">
<title>References</title>
<ref id="ref-1"><label>[1]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Berkani</surname> <given-names>AS</given-names></string-name>, <string-name><surname>Moumen</surname> <given-names>H</given-names></string-name>, <string-name><surname>Benharzallah</surname> <given-names>S</given-names></string-name>, <string-name><surname>Yahiaoui</surname> <given-names>S</given-names></string-name>, <string-name><surname>Bounceur</surname> <given-names>A</given-names></string-name></person-group>. <article-title>Blockchain use cases in the sports industry: a systematic review</article-title>. <source>Int J Netw Distrib Comput</source>. <year>2024</year>;<volume>12</volume>(<issue>1</issue>):<fpage>17</fpage>&#x2013;<lpage>40</lpage>. doi:<pub-id pub-id-type="doi">10.1007/s44227-024-00022-3</pub-id>.</mixed-citation></ref>
<ref id="ref-2"><label>[2]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Zhou</surname> <given-names>K</given-names></string-name>, <string-name><surname>Wu</surname> <given-names>T</given-names></string-name>, <string-name><surname>Zhang</surname> <given-names>J</given-names></string-name></person-group>. <article-title>EGOP: a server-side enhanced architecture to eliminate end-to-end latency caused by GOP length in live streaming</article-title>. <source>Comput Mater Contin</source>. <year>2026</year>;<volume>86</volume>(<issue>1</issue>):<fpage>1</fpage>&#x2013;<lpage>27</lpage>.</mixed-citation></ref>
<ref id="ref-3"><label>[3]</label><mixed-citation publication-type="conf-proc"><person-group person-group-type="author"><string-name><surname>Midoglu</surname> <given-names>C</given-names></string-name>, <string-name><surname>Sabet</surname> <given-names>SS</given-names></string-name>, <string-name><surname>Sarkhoosh</surname> <given-names>MH</given-names></string-name>, <string-name><surname>Majidi</surname> <given-names>M</given-names></string-name>, <string-name><surname>Gautam</surname> <given-names>S</given-names></string-name>, <string-name><surname>Solberg</surname> <given-names>HM</given-names></string-name>, <etal>et al</etal></person-group>. <article-title>AI-based sports highlight generation for social media</article-title>. In: <conf-name>Proceedings of the 3rd ACM Mile-High Video Conference; 2024 Feb 11&#x2013;14</conf-name>; <publisher-loc>Denver, CO, USA</publisher-loc>. p. <fpage>7</fpage>&#x2013;<lpage>13</lpage>.</mixed-citation></ref>
<ref id="ref-4"><label>[4]</label><mixed-citation publication-type="conf-proc"><person-group person-group-type="author"><string-name><surname>Chen</surname> <given-names>R</given-names></string-name>, <string-name><surname>Zhou</surname> <given-names>P</given-names></string-name>, <string-name><surname>Wang</surname> <given-names>W</given-names></string-name>, <string-name><surname>Chen</surname> <given-names>N</given-names></string-name>, <string-name><surname>Peng</surname> <given-names>P</given-names></string-name>, <string-name><surname>Sun</surname> <given-names>X</given-names></string-name>, <etal>et al</etal></person-group>. <article-title>PR-Net: preference reasoning for personalized video highlight detection</article-title>. In: <conf-name>Proceedings of the IEEE/CVF International Conference on Computer Vision (ICCV); 2021 Oct 10&#x2013;17</conf-name>; <publisher-loc>Montreal, QC, Canada</publisher-loc>. p. <fpage>7980</fpage>&#x2013;<lpage>9</lpage>.</mixed-citation></ref>
<ref id="ref-5"><label>[5]</label><mixed-citation publication-type="conf-proc"><person-group person-group-type="author"><string-name><surname>Kim</surname> <given-names>M</given-names></string-name>, <string-name><surname>Lee</surname> <given-names>D</given-names></string-name>, <string-name><surname>Noh</surname> <given-names>J</given-names></string-name></person-group>. <article-title>Generating highlight videos of a user-specified length using most replayed data</article-title>. In: <conf-name>Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems; 2025 Apr 26&#x2013;May 1</conf-name>; <publisher-loc>Yokohama, Japan</publisher-loc>. p. <fpage>1138:1</fpage>&#x2013;<lpage>13</lpage>.</mixed-citation></ref>
<ref id="ref-6"><label>[6]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Lopes</surname> <given-names>EJ</given-names></string-name>, <string-name><surname>Kataria</surname> <given-names>S</given-names></string-name>, <string-name><surname>Keshav</surname> <given-names>S</given-names></string-name>, <string-name><surname>Ikram</surname> <given-names>ST</given-names></string-name>, <string-name><surname>Ghalib</surname> <given-names>MR</given-names></string-name>, <string-name><surname>Shankar</surname> <given-names>A</given-names></string-name>, <etal>et al</etal></person-group>. <article-title>Live video streaming service with pay-as-you-use model on ethereum blockchain and interplanetary file system</article-title>. <source>Wirel Netw</source>. <year>2022</year>;<volume>28</volume>(<issue>7</issue>):<fpage>3111</fpage>&#x2013;<lpage>25</lpage>. doi:<pub-id pub-id-type="doi">10.1007/s11276-022-03009-6</pub-id>.</mixed-citation></ref>
<ref id="ref-7"><label>[7]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Ding</surname> <given-names>Y</given-names></string-name>, <string-name><surname>Yu</surname> <given-names>J</given-names></string-name>, <string-name><surname>Li</surname> <given-names>S</given-names></string-name>, <string-name><surname>Sato</surname> <given-names>H</given-names></string-name>, <string-name><surname>Machizawa</surname> <given-names>MG</given-names></string-name></person-group>. <article-title>Data aggregation management with self-sovereign identity in decentralized networks</article-title>. <source>IEEE Trans Netw Serv Manag</source>. <year>2024</year>;<volume>21</volume>(<issue>6</issue>):<fpage>6174</fpage>&#x2013;<lpage>89</lpage>. doi:<pub-id pub-id-type="doi">10.1109/tnsm.2024.3451995</pub-id>; <pub-id pub-id-type="pmid">25079929</pub-id></mixed-citation></ref>
<ref id="ref-8"><label>[8]</label><mixed-citation publication-type="conf-proc"><person-group person-group-type="author"><string-name><surname>Wu</surname> <given-names>Z</given-names></string-name>, <string-name><surname>Yang</surname> <given-names>CR</given-names></string-name>, <string-name><surname>Vargas</surname> <given-names>S</given-names></string-name>, <string-name><surname>Balasubramanian</surname> <given-names>A</given-names></string-name></person-group>. <chapter-title>Is IPFS ready for decentralized video streaming?</chapter-title> In: <article-title>Proceedings of the ACM Web Conference 2023; 2023 Apr 30&#x2013;May 4</article-title>; <publisher-loc>Austin, TX, USA</publisher-loc>. p. <fpage>3002</fpage>&#x2013;<lpage>10</lpage>.</mixed-citation></ref>
<ref id="ref-9"><label>[9]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Alluhaidan</surname> <given-names>ASD</given-names></string-name>, <string-name><surname>Prabu</surname> <given-names>P</given-names></string-name></person-group>. <article-title>End-to-end encryption in resource-constrained IoT device</article-title>. <source>IEEE Access</source>. <year>2023</year>;<volume>11</volume>:<fpage>70040</fpage>&#x2013;<lpage>51</lpage>. doi:<pub-id pub-id-type="doi">10.1109/access.2023.3292829</pub-id>; <pub-id pub-id-type="pmid">25079929</pub-id></mixed-citation></ref>
<ref id="ref-10"><label>[10]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Zhang</surname> <given-names>Y</given-names></string-name>, <string-name><surname>Deng</surname> <given-names>RH</given-names></string-name>, <string-name><surname>Xu</surname> <given-names>S</given-names></string-name>, <string-name><surname>Sun</surname> <given-names>J</given-names></string-name>, <string-name><surname>Li</surname> <given-names>Q</given-names></string-name>, <string-name><surname>Zheng</surname> <given-names>D</given-names></string-name></person-group>. <article-title>Attribute-based encryption for cloud computing access control: a survey</article-title>. <source>ACM Comput Surv</source>. <year>2021</year>;<volume>53</volume>(<issue>4</issue>):<fpage>83:1</fpage>&#x2013;<lpage>41</lpage>. doi:<pub-id pub-id-type="doi">10.1145/3398036</pub-id>.</mixed-citation></ref>
<ref id="ref-11"><label>[11]</label><mixed-citation publication-type="conf-proc"><person-group person-group-type="author"><string-name><surname>Shafagh</surname> <given-names>H</given-names></string-name>, <string-name><surname>Burkhalter</surname> <given-names>L</given-names></string-name>, <string-name><surname>Ratnasamy</surname> <given-names>S</given-names></string-name>, <string-name><surname>Hithnawi</surname> <given-names>A</given-names></string-name></person-group>. <article-title>Droplet: decentralized authorization and access control for encrypted data streams</article-title>. In: <conf-name>Proceedings of the 29th USENIX Security Symposium (USENIX Security 20); 2020 Aug 12&#x2013;14; Virtual</conf-name>. p. <fpage>2469</fpage>&#x2013;<lpage>86</lpage>.</mixed-citation></ref>
<ref id="ref-12"><label>[12]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Gao</surname> <given-names>S</given-names></string-name>, <string-name><surname>Zhao</surname> <given-names>Q</given-names></string-name>, <string-name><surname>Li</surname> <given-names>G</given-names></string-name>, <string-name><surname>Feng</surname> <given-names>L</given-names></string-name>, <string-name><surname>Shen</surname> <given-names>M</given-names></string-name>, <string-name><surname>Zhang</surname> <given-names>P</given-names></string-name>, <etal>et al</etal></person-group>. <article-title>SegSub: balancing security and efficiency for large-scale decentralized data subscription in Web3</article-title>. <source>IEEE Trans Netw Sci Eng</source>. <year>2026</year>;<volume>13</volume>:<fpage>4261</fpage>&#x2013;<lpage>76</lpage>.</mixed-citation></ref>
<ref id="ref-13"><label>[13]</label><mixed-citation publication-type="conf-proc"><person-group person-group-type="author"><string-name><surname>Trautwein</surname> <given-names>D</given-names></string-name>, <string-name><surname>Raman</surname> <given-names>A</given-names></string-name>, <string-name><surname>Tyson</surname> <given-names>G</given-names></string-name>, <string-name><surname>Castro</surname> <given-names>I</given-names></string-name>, <string-name><surname>Scott</surname> <given-names>W</given-names></string-name>, <string-name><surname>Schubotz</surname> <given-names>M</given-names></string-name>, <etal>et al</etal></person-group>. <article-title>Design and evaluation of IPFS: a storage layer for the decentralized web</article-title>. In: <conf-name>Proceedings of the ACM SIGCOMM 2022 Conference; 2022 Aug 22&#x2013;26</conf-name>; <publisher-loc>Amsterdam, The Netherlands</publisher-loc>. p. <fpage>739</fpage>&#x2013;<lpage>52</lpage>.</mixed-citation></ref>
<ref id="ref-14"><label>[14]</label><mixed-citation publication-type="conf-proc"><person-group person-group-type="author"><string-name><surname>Balduf</surname> <given-names>L</given-names></string-name>, <string-name><surname>Korczy&#x0144;ski</surname> <given-names>M</given-names></string-name>, <string-name><surname>Ascigil</surname> <given-names>O</given-names></string-name>, <string-name><surname>Keizer</surname> <given-names>NV</given-names></string-name>, <string-name><surname>Pavlou</surname> <given-names>G</given-names></string-name>, <string-name><surname>Scheuermann</surname> <given-names>B</given-names></string-name>, <etal>et al</etal></person-group>. <article-title>The cloud strikes back: investigating the decentralization of IPFS</article-title>. In: <conf-name>Proceedings of the 2023 ACM Internet Measurement Conference; 2023 Oct 24&#x2013;26</conf-name>; <publisher-loc>Montreal, QC, Canada</publisher-loc>. p. <fpage>391</fpage>&#x2013;<lpage>405</lpage>.</mixed-citation></ref>
<ref id="ref-15"><label>[15]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Pal</surname> <given-names>S</given-names></string-name>, <string-name><surname>Dorri</surname> <given-names>A</given-names></string-name>, <string-name><surname>Jurdak</surname> <given-names>R</given-names></string-name></person-group>. <article-title>Blockchain for IoT access control: recent trends and future research directions</article-title>. <source>J Netw Comput Appl</source>. <year>2022</year>;<volume>203</volume>:<fpage>103371</fpage>.</mixed-citation></ref>
<ref id="ref-16"><label>[16]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Wei</surname> <given-names>X</given-names></string-name>, <string-name><surname>Yan</surname> <given-names>Y</given-names></string-name>, <string-name><surname>Guo</surname> <given-names>S</given-names></string-name>, <string-name><surname>Qiu</surname> <given-names>X</given-names></string-name>, <string-name><surname>Qi</surname> <given-names>F</given-names></string-name></person-group>. <article-title>Secure data sharing: blockchain-enabled data access control framework for IoT</article-title>. <source>IEEE Internet Things J</source>. <year>2022</year>;<volume>9</volume>(<issue>11</issue>):<fpage>8143</fpage>&#x2013;<lpage>53</lpage>.</mixed-citation></ref>
<ref id="ref-17"><label>[17]</label><mixed-citation publication-type="conf-proc"><person-group person-group-type="author"><string-name><surname>Qin</surname> <given-names>B</given-names></string-name>, <string-name><surname>Liu</surname> <given-names>J</given-names></string-name>, <string-name><surname>Xing</surname> <given-names>X</given-names></string-name>, <string-name><surname>Meng</surname> <given-names>W</given-names></string-name>, <string-name><surname>Liu</surname> <given-names>Y</given-names></string-name></person-group>. <article-title>Mitigating centralization in access control system with blockchain and distributed storage</article-title>. In: <conf-name>Proceedings of the 2024 IEEE International Conference on Blockchain (Blockchain); 2024 Aug 19&#x2013;22</conf-name>; <publisher-loc>Copenhagen, Denmark</publisher-loc>. p. <fpage>340</fpage>&#x2013;<lpage>5</lpage>.</mixed-citation></ref>
<ref id="ref-18"><label>[18]</label><mixed-citation publication-type="conf-proc"><person-group person-group-type="author"><string-name><surname>Vrielynck</surname> <given-names>PJ</given-names></string-name>, <string-name><surname>hamme</surname> <given-names>TV</given-names></string-name>, <string-name><surname>Ghostin</surname> <given-names>R</given-names></string-name>, <string-name><surname>Lagaisse</surname> <given-names>B</given-names></string-name>, <string-name><surname>Preuveneers</surname> <given-names>D</given-names></string-name>, <string-name><surname>Joosen</surname> <given-names>W</given-names></string-name></person-group>. <article-title>A self-sovereign identity approach to decentralized access control with transitive delegations</article-title>. In: <conf-name>Proceedings of the 29th ACM Symposium on Access Control Models and Technologies; 2024 May 15&#x2013;17</conf-name>; <publisher-loc>San Antonio, TX, USA</publisher-loc>. p. <fpage>139</fpage>&#x2013;<lpage>47</lpage>.</mixed-citation></ref>
<ref id="ref-19"><label>[19]</label><mixed-citation publication-type="conf-proc"><person-group person-group-type="author"><string-name><surname>Sarfati</surname> <given-names>N</given-names></string-name>, <string-name><surname>Yerushalmy</surname> <given-names>I</given-names></string-name>, <string-name><surname>Chertok</surname> <given-names>M</given-names></string-name>, <string-name><surname>Keller</surname> <given-names>Y</given-names></string-name></person-group>. <article-title>Generating factually consistent sport highlights narrations</article-title>. In: <conf-name>Proceedings of the 6th International Workshop on Multimedia Content Analysis in Sports; 2023 Oct 29</conf-name>; <publisher-loc>Ottawa, ON, Canada</publisher-loc>. p. <fpage>15</fpage>&#x2013;<lpage>22</lpage>.</mixed-citation></ref>
<ref id="ref-20"><label>[20]</label><mixed-citation publication-type="conf-proc"><person-group person-group-type="author"><string-name><surname>Li</surname> <given-names>X</given-names></string-name>, <string-name><surname>Yang</surname> <given-names>G</given-names></string-name>, <string-name><surname>Xiang</surname> <given-names>T</given-names></string-name>, <string-name><surname>Xu</surname> <given-names>S</given-names></string-name>, <string-name><surname>Zhao</surname> <given-names>B</given-names></string-name>, <string-name><surname>Deng</surname> <given-names>RH</given-names></string-name>, <etal>et al</etal></person-group>. <article-title>Make revocation cheaper: hardware-based revocable attribute-based encryption</article-title>. In: <conf-name>Proceedings of the 2024 IEEE Symposium on Security and Privacy (SP); 2024 May 19&#x2013;23</conf-name>; <publisher-loc>San Francisco, CA, USA</publisher-loc>. p. <fpage>3109</fpage>&#x2013;<lpage>27</lpage>.</mixed-citation></ref>
<ref id="ref-21"><label>[21]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Crampton</surname> <given-names>J</given-names></string-name></person-group>. <article-title>Practical and efficient cryptographic enforcement of interval-based access control policies</article-title>. <source>ACM Trans Inf Syst Secur</source>. <year>2011</year>;<volume>14</volume>(<issue>1</issue>):<fpage>14:1</fpage>&#x2013;<lpage>30</lpage>. doi:<pub-id pub-id-type="doi">10.1145/1952982.1952996</pub-id>.</mixed-citation></ref>
<ref id="ref-22"><label>[22]</label><mixed-citation publication-type="other"><person-group person-group-type="author"><string-name><surname>Fu</surname> <given-names>K</given-names></string-name>, <string-name><surname>Kamara</surname> <given-names>S</given-names></string-name>, <string-name><surname>Kohno</surname> <given-names>T</given-names></string-name></person-group>. <article-title>Key regression: enabling efficient key distribution for secure distributed storage. Cryptology ePrint archive. Paper 2005/303</article-title>. <comment>2005 [cited 2026 May 7]</comment>. Available from: <ext-link ext-link-type="uri" xlink:href="https://eprint.iacr.org/2005/303">https://eprint.iacr.org/2005/303</ext-link>.</mixed-citation></ref>
<ref id="ref-23"><label>[23]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Loporchio</surname> <given-names>M</given-names></string-name>, <string-name><surname>Bernasconi</surname> <given-names>A</given-names></string-name>, <string-name><surname>Maesa</surname> <given-names>DDF</given-names></string-name>, <string-name><surname>Ricci</surname> <given-names>L</given-names></string-name></person-group>. <article-title>A survey of set accumulators for blockchain systems</article-title>. <source>Comput Sci Rev</source>. <year>2023</year>;<volume>49</volume>(<issue>2014</issue>):<fpage>100570</fpage>. doi:<pub-id pub-id-type="doi">10.1016/j.cosrev.2023.100570</pub-id>.</mixed-citation></ref>
<ref id="ref-24"><label>[24]</label><mixed-citation publication-type="conf-proc"><person-group person-group-type="author"><string-name><surname>Delerabl&#x00E9;e</surname> <given-names>C</given-names></string-name></person-group>. <article-title>Identity-based broadcast encryption with constant size ciphertexts and private keys</article-title>. In: <conf-name>Advances in Cryptology&#x2013;ASIACRYPT 2007. Vol. 4833 of Lecture Notes in Computer Science</conf-name>. <publisher-loc>Berlin/Heidelberg, Germany</publisher-loc>: <publisher-name>Springer</publisher-name>; <year>2007</year>. p. <fpage>200</fpage>&#x2013;<lpage>15</lpage>.</mixed-citation></ref>
<ref id="ref-25"><label>[25]</label><mixed-citation publication-type="conf-proc"><person-group person-group-type="author"><string-name><surname>Kumar</surname> <given-names>V</given-names></string-name>, <string-name><surname>Petit</surname> <given-names>J</given-names></string-name>, <string-name><surname>Whyte</surname> <given-names>W</given-names></string-name></person-group>. <article-title>Binary hash tree based certificate access management for connected vehicles</article-title>. In: <conf-name>Proceedings of the 10th ACM Conference on Security and Privacy in Wireless and Mobile Networks; 2017 Jul 18&#x2013;20</conf-name>; <publisher-loc>Boston, MA, USA</publisher-loc>. p. <fpage>145</fpage>&#x2013;<lpage>55</lpage>.</mixed-citation></ref>
<ref id="ref-26"><label>[26]</label><mixed-citation publication-type="conf-proc"><person-group person-group-type="author"><string-name><surname>Camenisch</surname> <given-names>J</given-names></string-name>, <string-name><surname>Lysyanskaya</surname> <given-names>A</given-names></string-name></person-group>. <article-title>Dynamic accumulators and application to efficient revocation of anonymous credentials</article-title>. In: <conf-name>Advances in Cryptology&#x2013;CRYPTO 2002. Vol. 2442 of Lecture Notes in Computer Science</conf-name>. <publisher-loc>Berlin/Heidelberg, Germany</publisher-loc>: <publisher-name>Springer</publisher-name>; <year>2002</year>. p. <fpage>61</fpage>&#x2013;<lpage>76</lpage>.</mixed-citation></ref>
</ref-list>
</back></article>