NotesNotes要点

• BLS signatures are insecure in the quantum computing era, requiring post-quantum alternatives.
• LaBRADOR is a lattice-based scheme that can aggregate Falcon signatures (quantum-resistant).
• 10k signature aggregation results: 74KB proof, 5.95 seconds generation, 2.65 seconds verification.
• Verification bottleneck: 90% time spent on serial step simple_reduce.
• Compared to hash-based schemes (e.g., STARKs): verification is fast (106ms) but proofs are large (1.7MB).
• Advantages of LaBRADOR: small proof size; disadvantages: slower verification than hash schemes.
• Future directions: optimize parallel verification or combine with delegated proof techniques.

• BLS签名在量子计算时代不安全，需后量子替代方案
• LaBRADOR是格基方案，可聚合Falcon签名（抗量子）
• 10k签名聚合结果：74KB证明，5.95秒生成，2.65秒验证
• 验证瓶颈：90%时间在串行步骤simple_reduce
• 对比哈希基方案（如STARKs）：验证快(106ms)但证明大(1.7MB)
• LaBRADOR优势：小证明体积；劣势：验证慢于哈希方案
• 未来方向：优化并行验证或结合委托证明技术

• BLS署名は量子コンピューティング時代において安全ではないため、ポスト量子代替手段が必要である。
• LaBRADORは、Falcon署名（耐量子性あり）を集約できる格子ベースのスキームである。
• 10k署名集約の結果：証明サイズ74KB、生成時間5.95秒、検証時間2.65秒。
• 検証のボトルネック：時間の90%がserial step simple_reduceに費やされている。
• ハッシュベースのスキーム（例：STARKs）との比較：検証は高速（106ms）だが証明サイズが大きい（1.7MB）。
• LaBRADORの利点：小さな証明サイズ。欠点：ハッシュスキームに比べて検証が遅いこと。
• 今後の方向性：並列検証の最適化、または委任プルーフ技術との組み合わせ。