区块链技术博客
www.b2bchain.cn

区块链技术Algorand 将更新虚拟机:支持复杂合约逻辑和更多开发语言

第19651篇区块链技术文章区块链技术Algorand 将更新虚拟机:支持复杂合约逻辑和更多开发语言

Algorand将发布虚拟机AVM v1.0,以使智能合约能够用图灵完整语言编写并发送事务。AVM还将能够执行复杂的智能合约

原题:algorand引入智能合约开发的新方法
作者:Paul Riegle,algorand CPO

algorand区块链以其高速(交易速度超过1000tps,区块生成不到4.5秒)而闻名,低成本(每笔交易仅需0.001 algo)、即时确认(无分叉,一次确认)、节能环保(负碳)。这些功能,加上algorand standard asset(ASA)等第一层功能,使algorand成为许多资产发行商和资产管理平台的首选区块链

我们的智能合约一直忠实于这些首要原则,包括成为第一个负碳智能合约系统。与其他平台上的智能合约不同,我们的智能合约追求高速(与其他交易速度相同)、低成本(与其他交易成本相同:0.001 algo),并且处于第一层,因此它们具有与algorand共识协议相同的安全性和确定性,我们的模型简单而强大。智能合约采用高级语言编写,编译成字节码,在第一层algorand虚拟机(AVM)上执行。这可以参考以太坊框架。它的智能合约是用solid语言编写的,并编译成字节码,字节码由以太坊虚拟机(EVM)执行,如果您在algorand上编写过智能合约,那么您可以使用一种名为Teal的类汇编语言直接与AVM的早期版本交互。通过AVM的早期使用,teal开发人员给了我们反馈,使我们能够快速迭代和改进AVM。AVM v1.0即将发布。AVM将使智能合约能够用图灵完全语言编写,并可以发送交易。AVM还将能够执行复杂的智能合约,并推广当前区块链中最流行的defi、NFT和Web3的去中心化应用

Algorand 智能合约模型

最重要的是,这种智能合约的能力不会牺牲速度或成本。虽然计算和存储预算足够,但它是在运行时估计和执行的。这意味着智能合约在设计上将继续享受安全保护,潜在的死循环将在对系统产生影响之前及时终止

我们认为,能够用易懂的语言编写智能合约非常重要。我们还认为,在编写价值数十亿美元的智能合约基础设施时,必须确保安全性和正确性。因此,与我们的社区和生态一起,我们专注于提供语言的适当平衡,以其他语言无法提供的方式,提供智能合约进入主流所需的易用性、可访问性和安全性的保证。Reach使用JavaScript的一个子集来指定整个分散的应用程序:智能合约、在前端运行的客户端、在后端运行的服务器以及所有组件之间的通信。整个规范是用一种语言编写的,因此开发人员可以快速创建、分析和部署分散的应用程序。此外,编译器本身使用类型检查、信息流安全性和端点投影从单个规范正确导出每个组件。编译器集成了可满足性模块理论(SMT)的定理证明器,可以通过特定于开发人员的谓词自动检查应用程序的正确性,并自动生成适合所有分散应用程序的属性

Python-algorand提供Python-to-AVM语言绑定。开发人员用Python编写代码,并通过提供的库访问AVM操作代码,而不用直接用teal语言编写。尽管喜欢直接与堆栈机器语言交互的开发人员仍然可以使用teal,但我们建议使用更高级的语言来编写更直观的智能合约,我们也在积极推动编译器开发,希望将clearity语言引入我们的第一层智能合约。Clarity是一种可判定语言,也就是说,您可以从代码本身明确地知道程序将做什么。clarity以优化可预测性和安全性为目标,采用了“所见即所得”的方法,使得计算智能合约的行为、成本和性能变得更加容易。清晰性允许对给定智能合约的整个调用图进行静态分析。它对类型和类型检查器的支持消除了所有错误类型,例如弃用错误、可重入错误和未初始化的值读取。Algorand、stacks ecology和Hiro PBC都支持clarity开源项目。Clarity是一种广泛使用的、可判定的、安全的和高度可分析的开源语言。开发人员可以使用clarity无缝地创建和调用契约

这个项目和我们的社区可以明显地采用其他策略,例如低层虚拟机(llvm)堆栈集成,以打开智能契约的编写,使之可以使用各种流行语言,如rust、C、C++、go、Haskell、python、JavaScript、,etc

Algorand 上的智能合约语言

我们当前的智能合约可以支持所有主流分散应用程序的需求。此外,我们正在积极准备未来的需要。未来,智能合约交易的数量将非常庞大,甚至在algorand等高通量区块链上也会造成拥塞,我们也在为程序中资源使用的自然演变做准备,为复杂的新兴协议和加密原语需要在当前框架内限制资源使用的情况做准备。我们正在努力设计和迭代第二层第二层智能合约系统,以满足这些未来的需求。该系统将强大灵活,并与我们不断增长的一层一层智能合约分散应用生态系统完全兼容,algorand上的开发者可以结合以下条件构建高级defi,NFT相关和Web3去中心化应用程序:

  • 易于理解和安全的高级语言(如reach、python Clarity)

  • 强大的执行环境(使用AVM 1.0)

  • 高吞吐量(1000tps)+低成本(0.001 algo)智能合约交易

基于明智和深入的研究,精心策划和出色实施,我们的智能合约也不例外。它们功能强大、速度快、成本低且易于使用

可持续发展的智能合约平台

欢迎来到algorand进行创新和构建

来源链接:twitter.com

加入我们的构建者生态

Algorand 上的开发人员可以结合以下条件构建高级 DeFi、NFT 相关和 web3 去中心化应用:

  • 容易理解且安全的高级语言(如 Reach、Python、Clarity)

  • 强大的执行环境(使用 AVM 1.0)

  • 高吞吐量 (1000TPS+) 低成本 (0.001 Algo) 智能合约交易

Algorand 基于明智透彻的研究、仔细的规划和出色的实现,我们的智能合约也不例外。它们功能强大、速度快、成本低,而且容易上手。

快来 Algorand 上创新和构建吧!

来源链接:twitter.com

区块链技术Algorand 将更新虚拟机:支持复杂合约逻辑和更多开发语言 由www.b2bchain.cn 提供
文章整理自网络,只为个人学习与分享使用
链接地址https://www.b2bchain.cn/?p=19651

赞(0) 打赏
部分文章转自网络,侵权联系删除b2bchain区块链学习技术社区 » 区块链技术Algorand 将更新虚拟机:支持复杂合约逻辑和更多开发语言
分享到: 更多 (0)

评论 抢沙发

  • 昵称 (必填)
  • 邮箱 (必填)
  • 网址

b2b链

联系我们联系我们