格是歐氏空間Rⁿ中的離散加法子群,格上的許多計算問題被證明是NP-hard,常用來作為公鑰密碼體制的底層困難問題.目前基于量子計算機模型的量子算法也難以高效求解格上的困難問題,因此后量子時代下格密碼學受到了越來越多的關注.最短向量問題（Shortest Vector Problem,SVP）是格上的計算困難問題,格基約化算法是求解SVP問題的一個有效算法,該算法可以找到格中的一些短向量.YOSHINORI等人在2016年歐洲密碼年會上提出Progressive BKZ算法,是目前格基約化算法中最為高效的算法之一.詳細介紹了PBKZ算法,分析了它的運行機理及其內在特點,然后在Linux系統(tǒng)下成功調試了PBKZ算法庫,并針對Darmstadt格挑戰(zhàn)展開了一系列實驗,最終在600維和725維兩種情形下取得了目前國際上最好結果. 

【文章來源】：河南師范大學學報(自然科學版). 2020,48(05)北大核心

【文章頁數(shù)】：8 頁

【文章目錄】：
1 基礎知識
    1.1 格的基本概念
    1.2 格上求解困難問題
    1.3 格基約化算法
        (1)LLL算法
        (2)BKZ算法
2 PBKZ算法
    2.1 算法主要流程
    2.2 主要技術改進
        2.2.1 分塊策略的最優(yōu)選取
        2.2.2 枚舉算法中參數(shù)的最佳選取
        2.2.3 終止策略
3 算法實現(xiàn)及格挑戰(zhàn)實驗
    3.1 Darmstadt格挑戰(zhàn)
    3.2 實驗及結果
4 總結及展望


【參考文獻】：
期刊論文
[1]格密碼學研究[J]. 王小云,劉明潔.  密碼學報. 2014(01)



本文編號：3454221