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 将更新虚拟机:支持复杂合约逻辑和更多开发语言

如果您在 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