文章转载来源: 比推BitPush
来源:Cointelegraph
编译:比推BitpushNews an
想象一下,如果普通人可以用他们的母语编写智能合约,它可以带来“数十亿新的区块链用户”。
Ava Labs的创始人、构建了Avalanche区块链的 Emin Gün Sirer 说:“智能合约编程很难。因为捕捉 “意图 ”很难,编写代码很棘手,验证也仍然是一项挑战。”
Sirer 在最近在纽约市举行的康奈尔区块链大会上表示:“这是阻碍智能合约蓬勃发展的主要问题。“
但试想一下,如果像 ChatGPT 或Llama 这样的人工智能(AI)可以帮你完成所有的智能合约编码工作,那将会是怎样的一番景象?相对于程序员,律师可能很快就会成为智能合约的主要编写者。
更有趣的是,普通人将能够使用自己的母语,以点对点的方式编写智能合约,这将变得跟写银行支票一样简单。
在4月26日于纽约市举行的康奈尔区块链大会上,Sirer进一步阐释了这一未来愿景:
“你们都熟悉写支票的流程,对吧?那就是我们的银行提供的最复杂的金融工具。目前,我们的选择相当有限。比如,我可以给‘约翰’开一张支票,上面写着‘我特此向约翰转账5000美元’——基本上就这些。”
但如果我们能够进行同样的操作,并且能够添加额外的条件,Sirer 继续举例说明:
“我在此向约翰提供5000美元,条件是他必须在9月底之前筹集到500万美元以拍摄一部电影。如果他做不到,我希望我的钱能被退回。’我可以这样直接写明。”
Sirer表示,他所设想的这种情景可能还需要5到10年的时间才能实现,但如果真的能够实现,它将是具有“变革性”的。
“我们将能够接纳数十亿新的(区块链)用户。”
目前,大多数智能合约都是使用Solidity这种编程语言来编写的,而这种计算机语言即便在程序员群体中也并不广为人知。
但是,Avalanche公司已经在人工智能与区块链技术融合的领域内着手开发一种新型虚拟机。Sirer表示,这种虚拟机“支持使用自然语言进行编程。你可以选择使用英语、德语、法语、他加禄语、中文等,也就是你母亲用母语教会你的任何一种自然语言来编写你的程序。”
但这是否仅仅是空想呢?在Sirer所称的“投币式代理”能够被广泛采用之前,还有许多问题亟待解决。
首先,必须处理好法律方面的问题。关键词和术语需要被精确定义。比如,在智能合约中使用“软件”这样的词汇之前,可能需要对其进行非常细致的界定。完成这些工作可能需要一定的时间。
此外,人工智能“代理”是否已经准备好撰写具有法律约束力的文件,这还是一个问题。毕竟,大型语言模型(LLM)有时会产生错误的信息,这种现象有时被称为“幻觉”。
Sirer 指出:”大家肯定都见过[由人工智能生成的]有着七根手指的人的图片。
不过,这些问题中有一些是可以找到短期解决办法的。比如,可以将交易同时提交给 ChatGPT 3.5 和 Llama,在智能合约解决方案被采纳之前,要求两个代理都必须达成一致。“这样,至少你获得了两个值得信赖的执行者,而且你正取他们行动的交集。”
“用简单明了的英语编写智能合约的说明”
也有人表示,能够处理“自然”语言的智能合约已经问世——或者可以说已经触手可及。
Chainlink Labs 的首席解决方案架构师萨姆·弗里德曼(Sam Friedman)向 Cointelegraph 表示:”在当今世界,已经存在让每个人都能成为自己程序员的能力。”
弗里德曼提到了Chainlink BUILD 计划中的一个项目,即由 ChainML 开发的人工智能代理框架 Council,该框架“允许开发人员提供简单的英语指令,并立即将其转换成可执行的代码。目前,这些代码主要是 Python 或 SQL,但要实现智能合约的功能,只需进行一次升级即可。”
他还提到了 Chainlink 开发者中心的“问 AI”功能,当用户用简单的英语提交请求时,这个功能能够返回一个完整的智能合约。例如,用户可以这样请求:“请给我展示一个智能合约的示例,该合约允许用户请求一个介于 1 到 10 之间的随机数,并应使用Chainlink VRF(可验证随机函数)。”
然而,目前的产品可能还没有完全实现Sirer所设想的所有功能,Friedman在接受Cointelegraph采访时表示,未来还有很多工作要做。
他说道:“尽管编写智能合约的人工智能代理已经出现,但它们尚未达到最终形态。它们在质量和复杂性方面仍然需要进一步的改进。”为了实现这一点,人工智能模型需要通过不断更新的内容进行训练。
即便如此,Friedman仍然能够想象出一些应用场景,其中多个扮演不同角色的人工智能“代理”协同工作,以完成智能合约的生命周期管理。例如:
一个代理帮助定义需求;
另一个代理负责编写智能合约;
还有一个代理执行质量和安全测试;
另一个代理负责部署合约;
最后一个代理在合约部署后对合约中的参数或全局变量进行持续的维护或调整。
在康奈尔区块链大会上,Sirer承认目前仍然存在“巨大的未知数”,要想取得进展,需要各方面的指导,需要那些“既有技术背景,又有伦理和人文背景的人”的参与。
在演讲结束后的问答环节中,有人向Sirer提问,如果不再需要使用Solidity语言,而可以用ASCII文本进行编码,那么将来会是谁来编写智能合约?
“那么谁将是最理想的程序员呢?乍看之下,软件程序员似乎更占优势。毕竟,他们已经能够熟练地使用精确的语言来定义和指定条件。
“但真正懂得如何使用规范语言来制定合同的是律师。因此,他们将成为那个领域的领军人物[......]是那些真正能够在这个系统中蓬勃发展的人。”
对于普通用户,他们的情况又如何呢?“我认为他们完全有能力定义基本的交易,”Sirer说。事实上,他预计这些新功能将建立在“民主、开放的平台”上,这些平台“任何人都可以平等地使用”。
总的来说,这种新的智能合约方法非常吸引人,并且充满了希望,“我们不能仅仅把它搁置一旁,”Sirer在总结时这样说道。
来源:比推BitPush
发布人:暖色
声明:该文观点仅代表作者本人,不代表火讯财经立场。火讯财经系信息发布平台,仅提供信息存储空间服务。
如文章涉及侵权, 请及时致函告之,本站将第⼀时间删除⽂章。邮箱:840034348@qq.com