來源: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在總結時這樣說道。