A domain-specific hardware accelerator for isogeny-based cryptography

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

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