A domain-specific hardware accelerator for isogeny-based cryptography

用于基于同源加密的特定领域硬件加速器

• 批准号: 22K12024
• 负责人: Cheng ChenMou
• 金额: $ 1.25万
• 依托单位: Kanazawa University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2022
• 资助国家: 日本
• 起止时间: 2022-04-01 至 2025-03-31
• 项目状态: 未结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-22K12024/
• 关键词: Isogeny cryptography; Domain-specific language; Haskell

In this 3-year project, we aim to design and implement a scalable domain-specific hardware accelerator for speeding up isogeny-based cryptography. During the 1st year, we hired a research assistant and built a research team. The team started the research by designing a small domain-specific language (DSL) with a precise semantics to raise the abstraction level for hardware implementers of isogeny-based cryptosystems. We then began to implement the new DSL by deeply embedding it into the Haskell programming language, allowing us to reuse the rich collections of existing libraries in the Haskell ecosystem. Specifically, we leveraged the syntactic hackage, a popular Haskell package for building DSLs [1]. It provides a generic representation of (open) abstract syntax trees, allowing us to express our DSL constructs more easily in Haskell. It also has a wide variety of common utilities for handling and manipulating the resulting abstract syntax trees, simplifying the subsequent effort of compiler construction.Last but not least, we attended two conferences, IWSEC 2022 and SCIS 2023, in which we communicated preliminary results to and exchanged high-level ideas with experts around the world.[1] syntactic: Generic representation and manipulation of abstract syntax. https://hackage.haskell.org/package/syntactic

在这个为期 3 年的项目中，我们的目标是设计和实现可扩展的特定领域硬件加速器，以加速基于同源的加密技术。 第一年，我们聘请了一名研究助理并组建了一个研究团队。 该团队通过设计一种具有精确语义的小型领域特定语言（DSL）开始研究，以提高基于同源密码系统的硬件实现者的抽象级别。 然后，我们开始通过将新的 DSL 深度嵌入到 Haskell 编程语言中来实现它，从而使我们能够重用 Haskell 生态系统中现有库的丰富集合。 具体来说，我们利用了语法黑客，这是一种用于构建 DSL 的流行 Haskell 包 [1]。 它提供了（开放的）抽象语法树的通用表示，使我们能够在 Haskell 中更轻松地表达我们的 DSL 结构。 它还具有各种通用实用程序，用于处理和操作生成的抽象语法树，从而简化了编译器构建的后续工作。最后但并非最不重要的一点是，我们参加了两个会议：IWSEC 2022 和 SCIS 2023，在会议上我们向世界各地的专家传达了初步结果并交换了高级想法。 [1]语法：抽象语法的通用表示和操作。 https://hackage.haskell.org/package/syntropic