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 等各种流行语言开放智能合约的编写。