Fuchsbauer et al. proposed doubly aggregatable signatures in their paper, enabling efficient two-layer aggregation with SNARKs for bitmap predicates, applied to incentivizing vote dissemination in consensus. Fuchsbauer等人在论文中提出双重聚合签名原语,允许两层签名者高效聚合,并利用SNARKs实现位图谓词验证,应用于共识协议中的激励投票传播。
Notes
Introduced doubly aggregatable signatures: layer-0 signatures aggregated into layer-1 attestations, then aggregated into a succinct certificate.
Security model covers unforgeability and equivocation resistance.
Two constructions: one with linear-size public keys & efficient verification (2 pairings), another with constant-size keys but linear pairings.
Based on RMSS, enabling algebraic verification and SNARK-friendly predicates on bitmaps.
Key application: incentivizing timely all-to-all vote dissemination in consensus protocols.
What are Doubly Aggregatable Signatures? 什么是 Doubly Aggregatable Signatures? 倍加集約可能な署名とは何ですか?
Doubly Aggregatable Signatures are a two-layer signature aggregation scheme. Layer-0 signers sign a message, while layer-1 signers attest to the signatures they observed, producing a compact aggregated certificate. Doubly Aggregatable Signatures 是一种双层聚合签名方案。第一层 signer 对消息签名,第二层 signer 对“观察到的签名集合”再签名,最终可以聚合成一个简洁 certificate。 Doubly Aggregatable Signaturesは、2層の署名集約スキームです。レイヤー0の署名者がメッセージに署名し、レイヤー1の署名者が観測した署名について証明(attest)を行うことで、コンパクトな集約済み証明書を生成します。
What is the “who observed whom” bitmap in the paper? 论文中的“who observed whom” bitmap 是什么? 論文における「誰が誰を観察したか」のビットマップとは何ですか?
The bitmap records which layer-1 signers observed which layer-0 signatures. Verifiers can use it to check vote dissemination and prevent fake observation claims. bitmap 用来记录哪些 layer-1 signer 观察到了哪些 layer-0 signatures。验证者可以检查签名传播和投票关系,避免伪造观察记录。 このビットマップは、どのレイヤー1署名者がどのレイヤー0の署名を観測したかを記録します。検証者はこれを利用して投票の伝播を確認し、偽の観測主張を防ぐことができます。
How does the scheme prevent equivocation attacks? 论文如何防止 equivocation attacks? このスキームは、どのようにしてEquivocation攻撃を防いでいるのですか?
The security model ensures that a layer-1 signer can only attest to layer-0 signatures it actually observed. Otherwise, the attestation is treated as a forgery. Cryptographic binding and aggregation checks enforce this property. 安全模型要求 layer-1 signer 只能为真正观察到的 layer-0 signatures 生成 attestation,否则会被视为 forgery。协议通过密码学绑定和聚合验证来保证这一点。 セキュリティモデルにより、レイヤー1の署名者は、実際に観測したレイヤー0の署名にのみアテストできることが保証されます。そうでなければ、そのアテストは偽造と見なされます。このプロパティは、暗号学的バインディングと集約チェックによって強制されます。