Algorand 将更新智能合约模子和虚拟机：支持图灵完备语言和庞大

Algorand 将公布虚拟机 AVM v1.0，使智能合约可以或许以图灵完备语言编写，并可以发送生意业务，AVM 还将可以或许执行庞大智能合约。

原文标题：《Algorand 推出智能合约开辟新要领》 撰文：Paul Riegle，Algorand CPO

Algorand 区块链以高速（生意业务速度凌驾 1000TPS，区块天生不到 4.5 秒）、低成本（每笔生意业务仅花费 0.001 Algo）、即时确定（无分叉，1 次确认）和节能环保（负碳）而著名。这些特点再加上 Algorand 尺度资产 (ASA) 等 Layer-1 第一层特性，使得 Algorand 成为了很多资产刊行商和资产办理平台的首选区块链。

我们的智能合约一直忠实履行这些首要原则，包括成为首个负碳智能合约系统。差别于其他平台上的智能合约，我们的智能合约力图高速（与其他生意业务速度沟通）、低成本（与其他生意业务成底细当：0.001 Algo）和处于 Layer-1 第一层，因而具有与 Algorand 共鸣协议平等的宁静性和确定性。

Algorand 智能合约模子

我们的模子简练而强盛。智能合约接纳高级语言编写，并编译为字节码在 Layer-1 第一层 Algorand 虚拟机 (AVM) 上执行。这一点可参考以太坊框架，其智能合约以 Solidity 语言编写，并编译为字节码由以太坊虚拟机 (EVM) 执行。

假如您在 Algorand 上编写过智能合约，那您就已经使用名为 Teal 的类汇编语言与 AVM 的早期版本直接交互过了。通过 AVM 的早期使用，Teal 开辟者给了我们反馈，使我们可以或许快速迭代和改良 AVM。AVM v1.0 公布期近，AVM 将使智能合约可以或许以图灵完备语言编写，并可以发送生意业务，AVM 还将可以或许执行庞大智能合约，鞭策当前区块链中最风行的 DeFi、NFT 和 web3 往中央化应用。

最要害的是，这种智能合约的能力不会牺牲速度或成本。计较和存储预算虽然富足，但也是在运行时举行估算和执行的。这意味着智能合约在设计大将继续享有宁静防护，潜在的死轮回也会在对系统发生影响之前被实时终止。

Algorand 上的智能合约语言

我们认为，可以或许用收留易理解的语言编写智能合约是十分重要的。我们还认为，在编写与数十亿美元价值交互的智能合约基础举措措施时，很有须要包管宁静性和正确性。因此，与我们的社区和生态一起，我们专注于提供可以或许告竣得当均衡的语言。

Reach - Reach 以其他任何语言都无法提供的方式，提供了智能合约迈向主流所需的易用性、可及性和宁静性包管。Reach 使用 JavaScript 的子集来指定整个往中央化应用：智能合约、前端运行的客户端、后端运行的办事器，以及所有组件之间的通讯。整个规范接纳一种语言编写，因而开辟职员可以或许快速创建、阐明和布置往中央化应用。别的，编译器自己接纳类型查抄、信息流宁静和端点投影，从单个规范正确导出每个组件。编译器集成了可满意性模理论 (SMT) 定理证实器，通过特定于开辟职员的谓词自动查抄应用的正确性，并自动天生合用于所有往中央化应用的属性。

Python - Algorand 提供 Python 到 AVM 的语言绑定。开辟职员用 Python 编写代码，并通过所提供的库会见 AVM 操作码，无需用 Teal 语言直接编写。只管更喜欢与仓库呆板语言直接交互的开辟职员仍旧可以使用 Teal，但我们发起改用更高级的语言来编写更直观的智能合约。

Clarity - 我们也在努力鞭策编译器开辟事情，但愿能将 Clarity 语言引进到我们的 Layer-1 第一层智能合约中。Clarity 是一种可鉴定语言，也就是说，必定可以从代码自己知道法式会做哪些操作。Clarity 旨在优化可预测性和宁静性，接纳了“所见即所得”要领，更收留易推算智能合约的行为、成本和机能。Clarity 允许对给定智能合约的整个挪用图举行静态阐明。其对类型和类型查抄器的支持可以消除所有错误类型，如意外强制类型转换、可重进错误和未初始化值读取。Algorand、Stacks 生态和 Hiro PBC 均支持 Clarity 开源项目。Clarity 是一种遍及接纳的、可鉴定的、宁静的、高度可阐明的开源语言，开辟职员可以使用 Clarity 无缝创建和挪用合约。

此项目和我们的社区此刻显然可以接纳初级虚拟机 (LLVM) 栈集成等其他计谋，向 Rust、C、C++、Go、Haskell、Python、JavaScript 等各类风行语言开放智能合约的编写。

可连续成长的智能合约平台

我们今朝的智能合约可以支持所有主流往中央化应用的需求。别的，我们努力筹办应对将来的需求。在将来，智能合约生意业务将无处不在，数目复杂到甚至在 Algorand 这样的高吞吐量区块链上也会造成拥塞。

我们也在为法式中资源使用的天然演入做筹办，筹办应对庞大新兴协议和暗码原语演入到需将资源使用限制在当前框架内的环境。我们正在积极设计和迭代满意这些将来需求的 Layer-2 第二层智能合约系统，该系统将是强盛而机动的，且完全兼收留我们不停增长的 Layer-1 第一层智能合约往中央化应用生态。

插手我们的构建者生态

Algorand 上的开辟职员可以联合以下前提构建高级 DeFi、NFT 相关和 web3 往中央化应用：

收留易理解且宁静的高级语言（如 Reach、Python、Clarity）

强盛的执行情况（使用 AVM 1.0）

高吞吐量 (1000TPS+) 低成本 (0.001 Algo) 智能合约生意业务

Algorand 基于明智透彻的研究、仔细的规划和精彩的实现，我们的智能合约也不破例。它们功效强盛、速度快、成本低，并且收留易上手。

快来 Algorand 上立异和构建吧！

来历链接：twitter.com

免责声明：作为区块链信息平台，本站所公布文章仅代表作者小我私家概念，与链闻 ChainNews 态度无关。文章内的信息、意见等均仅供参考，并非作为或被视为实际投资发起。