将高阶智能合约语言编译为LLVM
Compiling a Higher-Order Smart Contract Language to LLVM
摘要：
Scilla是一种用于实现智能合约的高阶多态类型中间级语言。在这次演讲中，我们描述了一个针对LLVM的Scilla编译器，重点是将Scilla类型，值及其函数式语言结构映射到LLVM-IR。编译后的LLVM-IR在使用LLVM的JIT框架执行时，在典型的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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
