原文标题：《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) 定理证明器，通过特定于开发人员的谓词自动检查应用的正确性，并自动生成适用于所有去中心化应用的属性。 (责任编辑：admin)