Notes Notes 要点

• Proof size is O(log N) group elements, far better than traditional O(N) schemes.
• Public-coin protocol with Fiat-Shamir transform, non-interactive.
• Supports updatable SRS from powers-of-tau ceremony.
• Proof is only ~1.6 MB for 1M ciphertexts, vs. hundreds of KB to MB for others.
• First benchmark for logarithmic-size verifiable shuffle.
• Applicable to e-voting and blockchain anonymization.

• 证明规模仅O(log N)个群元素，远优于传统O(N)方案
• 基于配对的公币协议，通过Fiat-Shamir转化为非交互式
• 支持可更新参考字符串，通过power-of-tau仪式生成
• 百万级密文时证明仅约1.6MB，同规模Shuffle方案需数百KB至数百MB
• 实现并提供了首个对数级可验证混洗的基准测试
• 适用于电子投票和区块链匿名化协议

• Proof sizeはO(log N)個のgroup elementsであり、従来のO(N)スキームよりも遥かに優れています。
• Fiat-Shamir transformを用いた公開コインプロトコルで、非対話的です。
• powers-of-tau ceremonyからの更新可能なSRSをサポートします。
• 1Mのciphertextsに対するProofサイズは〜1.6 MBであり、他のスキームでは数百KBからMBに及びます。
• 対数的サイズの検証可能なシャッフルに関する最初のベンチマークです。
• e-votingやブロックチェーンの匿名化に応用可能です。