论文标题
将高阶智能合同语言汇编为LLVM
Compiling a Higher-Order Smart Contract Language to LLVM
论文作者
论文摘要
Scilla是一种用于实施智能合约的高阶多态性类型中间语言。在本演讲中，我们描述了针对LLVM的Scilla编译器，重点是将Scilla类型，值及其功能性语言构造映射到LLVM-IR。 使用LLVM的JIT框架执行时，已编译的LLVM-IR在典型的Scilla合同上的参考解释器上实现了约10倍的速度。在区块链的设置中，这种减少的延迟至关重要，在区块链的情况下，智能合约是作为交易的一部分执行的，以实现每秒处理的峰值交易。 Ackermann功能的实验达到了超过45倍以上的速度。此谈话摘要旨在旨在为其功能语言以及LLVM从业者实施基于LLVM的编译器的编程语言研究人员。
Scilla is a higher-order polymorphic typed intermediate level language for implementing smart contracts. In this talk, we describe a Scilla compiler targeting LLVM, with a focus on mapping Scilla types, values, and its functional language constructs to LLVM-IR. The compiled LLVM-IR, when executed with LLVM's JIT framework, achieves a speedup of about 10x over the reference interpreter on a typical Scilla contract. This reduced latency is crucial in the setting of blockchains, where smart contracts are executed as parts of transactions, to achieve peak transactions processed per second. Experiments on the Ackermann function achieved a speedup of more than 45x. This talk abstract is aimed at both programming language researchers looking to implement an LLVM based compiler for their functional language, as well as at LLVM practitioners.
