A domain-specific hardware accelerator for isogeny-based cryptography

在这个为期3年的项目中，我们的目标是设计和实现一个可扩展的特定于域的硬件加速器，以加速基于同源的密码学。在第一年，我们聘请了一名研究助理，并建立了一个研究团队。该团队通过设计一种具有精确语义的小型领域特定语言(DSL)来开始这项研究，以提高基于同源密码系统的硬件实现者的抽象级别。然后，我们开始实现新的DSL，将其深度嵌入到Haskell编程语言中，允许我们重用Haskell生态系统中现有库的丰富集合。具体地说，我们利用了语法黑客，这是一个用于构建DSL的流行Haskell包[1]。它提供了(开放的)抽象语法树的通用表示，使我们能够更轻松地在Haskell中表达我们的DSL结构。它还具有各种各样的通用实用程序来处理和操作生成的抽象语法树，简化了随后的编译器构造工作。最后但同样重要的是，我们参加了两个会议，IWSEC 2022和SCIS 2023，在这些会议上，我们向世界各地的专家传达了初步结果，并与他们交换了高级想法。[1]句法：抽象语法的通用表示和操作。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