PQMZ: Formally Verified Falcon-PKR for Post-Quantum Cryptographic Migration in Zcash
説明PQMZ:Zcash の耐量子移行に向けた、形式検証済みの Falcon-PKR 方式
要約本論文は、Zcash に類する透明トランザクションの流れを念頭に、Falcon の公開鍵回復版である Falcon-PKR を検討しています。完全な公開鍵の保存を、コンパクトな鍵ダイジェストに置き換え、検証時に署名から候補鍵を再構成します。著者らは、公開鍵と署名の合計サイズが約 15% 減ると報告しています。ランダムオラクルモデルで EasyCrypt により EUF-CMA 還元を機械検証し、SECUER ベースのマルチパーティ計算セレモニーに関する拡張事例研究も含みます。