Algorand 将更新智能合约模型和虚拟机：支持图灵完备语言和复杂逻辑

私募比特币

Algorand 将发布虚拟机 AVM v1.0，使智能合约能够以图灵齐备言语编写，并能够发送买卖，AVM 还将能够实行杂乱智能合约。

原文标题：《Algorand 推出智能合约开发新办法》 撰文：Paul Riegle，Algorand CPOAlgorand 区块链以高速（买卖速度超越 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

最后编辑：2021-07-25

作者：BITCOIN86

这个作者貌似有点懒，什么都没有留下。

站内专栏 站点