CRYSTALS-Dilithium Scheme - Verify phase

  • 产品编号: CRYSTALS-DILITHIUM-VERIFY
  • 供应商: Magmio a.s.
  • Certified Partner

产品描述

The compact IP core represents the verify phase for quantum-resistant CRYSTALS-Dilithium digital signature scheme for FPGA. CRYSTALS-Dilithium (shortly Dilithium) is a candidate to be Standardized by NIST as the post quantum cryptography – digital signature algorithm (announced July 5, 2022. NISTIR 8413). The IP core takes the message, the signature and the public Dilithium key for verification and decides if the input signature is valid or invalid. IP Core has been developed by the cooperation of Magmio and Brno University of Technology. This work was supported by Ministry of the Interior of the Czech Republic under grant VI20192022126 (Modular Hardware Accelerator for Cryptographic Operations).

For detailed description, please, read our paper:

Ricci, S., Malina, L., Jedlicka, P., Smékal, D., Hajny, J., Cibik, P., Dzurenda, P., Dobias, P. (2021, August). Implementing crystals-dilithium signature scheme on fpgas. In The 16th International Conference on Availability, Reliability and Security (pp. 1-11).


主要特性与优势

  • Standard compliance with CRYSTALS-Dilithium reference implementation (available from the github repository: https://github.com/pq-crystals/dilithium)
  • Standard compliance with AXI Stream interface
  • Easy integration with additional logic
  • Optimized for performance

器件实现矩阵

面向此核实现范例的器件使用矩阵。联系供应商了解更多信息。

系列 器件 速度等级 工具版本 硬件验证? LUT BRAM DSP48 CMT GTx FMAX (Mhz)
VIRTEX-UP Family XCVU9P -2 Vivado 2019.1 Y 19896 54137 18 215 0 0 312

IP 质量指标

综合信息

数据创建日期 Oct 03, 2022
当前 IP 修订号 1.0
当前修订日期已发布 Aug 06, 2022
第一版发布日期 Aug 06, 2022

Xilinx 客户的生产使用情况

Xilinx 客户成功生产项目的数量 0
可否提供参考? N

交付内容

可供购买的 IP 格式 Netlist, Source Code
源代码格式 VHDL
是否包含高级模型? N
提供集成测试台 Y
集成测试台格式 VHDL
是否提供代码覆盖率报告? N
是否提供功能覆盖率报告? N
是否提供 UCF? N
商业评估板是否可用? Y
评估板所用的 FPGA Virtex UltraScale+
是否提供软件驱动程序? N

实现方案

代码是否针对 Xilinx 进行优化? Y
标准 FPGA 优化技术 Inference
定制 FPGA 优化技术 None
所支持的综合软件工具及版本 Vivado Synthesis / 2019.1
是否执行静态时序分析? N
AXI 接口 AXI4-Stream
是否包含 IP-XACT 元数据? N

验证

是否有可用的文档验证计划? No
测试方法 None
断言 N
收集的覆盖指标 Functional
是否执行时序验证? N
可用的时序验证报告 N
所支持的仿真器 Xilinx lSim

硬件验证

在 FPGA 上进行验证 Y
所使用的硬件验证平台 Silicom Denmark fb4CGg3
已通过的行业标准合规测试 N
是否提供测试结果? N