買以太坊 買以太坊
Ctrl+D 買以太坊
ads

LID:想開發智能合約?先 get 下這個適合所有人的模型驅動法_區塊鏈怎么入手

Author:

Time:1900/1/1 0:00:00

編者按:本文來自

區塊鏈大本營

,編譯:火火醬,Odaily星球日報經授權轉載。

!webp\"data-img-size-val=\"553,321\"\u002F\\>

不得不說,開發智能合約真的是一個既復雜又昂貴的過程。

與在Solidity中編寫智能合約相反,將智能合約建模為圖形狀態機具有很多優勢。

你可以專注于業務邏輯,而不必糾結于技術細節,甚至非程序員也可以理解你的合約在做什么。

我們使用YAKINDUStatechartTools的開源版本將智能合約建模為狀態機。這樣一來,你就可以使用模擬器測試模型,并最終生成Solidity代碼。

YAKINDUStatechartTools:

https:\u002F\u002Fwww.itemis.com\u002Fen\u002Fyakindu\u002Fstate-machine\u002F

Tim Drape:比特幣已成為世界的重要組成部分:金色財經報道,Draper Associates創始合伙人Tim Draper表示,我認為比特幣正在經歷與互聯網相同的發展歷程,互聯網已成為我們世界的重要組成部分,我認為比特幣也將如此。[2023/7/27 16:01:49]

!webp\"data-img-size-val=\"553,401\"\u002F\\>

想開發智能合約,這兩個問題你必須要解決

區塊鏈的智能合約開發非常復雜。如果你想為以太坊區塊鏈開發智能合約,那么就必須學習一種全新的編程語言,例如Solidity。

如果你已經成功地編寫和測試了自己的第一個智能合約,那么我要提醒你下一個有可能遇到的難題:由于一旦將智能合約部署到主網絡后你就無法再對其進行更新,所以必須確保智能合約代碼能夠抵御攻擊。

雖然我們已經對已知的攻擊媒介有了一定的了解,但是要在智能合約中找到這仍安全漏洞仍需要具備大量經驗。

HashKey Capital與萬向區塊鏈實驗室發起Web3.0創新孵化平臺Future3 Campus:5月30日消息,HashKey Capital與萬向區塊鏈實驗室宣布聯合發起Web3.0創新孵化平臺Future3 Campus,重點聚焦Web3.0 Massive Adoption、DePIN、AI三大賽道,以上海、粵港澳大灣區、新加坡為主要孵化基地,輻射全球Web3.0生態。Future3 Campus將推出首期5000萬美元的種子基金用于Web3.0項目孵化。[2023/5/30 11:47:45]

參考:

https:\u002F\u002Fconsensys.github.io\u002F

過去的經驗告訴我們,智能合約會經常遭到黑客入侵,出現資金被盜問題。

由于保護智能合約的工具還不夠成熟,無法發現所有潛在的安全漏洞,因此你需要對智能合約進行審核。但現在只有少數專家能夠對智能合約進行編碼審核,而這就引出了智能合約開發的第二個問題——價格昂貴。

區塊鏈網絡 TomoChain 獲 Coin98 戰略投資:5月25日消息,Coin98 宣布對區塊鏈網絡 TomoChain 進行戰略投資,以繼續加快基礎設施建設。Coin98 將成為 TomoChain 的官方錢包。[2023/5/25 10:40:14]

這兩個問題放在一起,就使得個人或小型初創企業開發高質量的智能合約變得非常困難。

可解決這些問題的工具

兩年前,我們開始開發YAKINDUSolidityTools,這是一個集成的開發環境,提供了諸如上下文敏感幫助、智能代碼建議、快速修復、重構、模板和實時驗證等功能。

今年,我們將核心功能提取到所謂的語言服務器中,可以在許多編輯器中重復使用。

不過,雖然這極大地改善了開發人員的開發體驗,但這并不是一勞永逸的結果。

語言服務器:

https:\u002F\u002Fdwz.cn\u002FKQjhESNR

Hodlnaut司法管理人:Holdnaut幾位最大債權人希望將公司清算而非重組:金色財經報道,根據破產的加密借貸平臺Hodlnaut司法管理人發布的一份法庭文件,Holdnaut的幾位最大債權人表示,他們希望將公司清算,而不是進行重組。反對重組的債權人包括Algorand基金會和目前正在清算中的 Samtrade Custodian Limited,這些債權人的債權價值約為1.7億美元。

2022年8月份,Hodlnaut在新加坡向高等法院提交了一份申請,尋求債權人保護,使法律索賠和訴訟程序能夠暫時暫停,避免以低價強制出售代幣,以便可以穩定財務狀況,專注于重組和恢復計劃。[2023/4/26 14:26:36]

對于非Solidity專家來講,智能合約開發仍然十分困難

由于我們也是YAKINDUStatechartTools的開發人員,因此我們對狀態機如何簡化智能合約的開發進行了一些研究,并開始將語言服務器集成到YAKINDUStatechartTools中。

Safe未申領空投重新分配提案將開放投票:3月15日消息,數字資產管理平臺 Safe(原 Gnosis Safe)治理社區 SafeDAO 關于未申領 SAFE 空投重新分配的提案 SEP #5 將開放投票。

此前,Safe 向用戶共計空投占總發行量 5%(即 5000 萬枚)SAFE Token,其中 17,799,818 枚已由用戶主動申領。本次投票涉及剩余超 3220 萬枚 Safe Token 的歸屬方式。[2023/3/15 13:05:58]

YAKINDUStatechartTools:

https:\u002F\u002Fdwz.cn\u002F1Me4yZeY

這基本上意味著我們可以在對狀態機進行建模時訪問Solidity的內置功能,例如全局變量、常量和函數。

集成的仿真引擎可以驗證模型的行為。只需點擊一下鼠標,即可在模型之外生成智能合約Solidity代碼。

什么是狀態機?

大多數軟件開發人員認為,狀態機比看起來復雜得多,并且會在日常工作中避免使用它們。這并不奇怪,因為狀態機通常被認為過于復雜和學術化,不適合實際應用。

如果你看過維基百科上關于有限狀態機的文章,就會發現諸如“計算的數學模型”、“確定性和非確定性自動機”以及“powerset構造”等術語。聽起來一點也不好玩,對不?

維基百科關于有限狀態機的文章:

https:\u002F\u002Fdwz.cn\u002F1Me4yZeY

實際上,我們在這里進行智能合約開發的狀態機,與學術上說的的狀態機是完全不同的兩種東西。這里提到的狀態機,指的是為許多不同應用程序開發軟件的有效方式。

例如,它們經常在嵌入式系統領域中,被用于對汽車或飛機之類的反應系統進行建模。反應系統是一種對外界事件做出反應的系統,該事件由傳感器或人機接口觸發。

智能合約沒有什么不同,來自外界的交易觸發了智能合約內部狀態的改變。

狀態機的基本構建塊是“狀態”和“轉換”。狀態機是由有限數量的“狀態”組成的。機器一次只處于一種狀態,該狀態被稱為“活動狀態”。它可以通過“觸發器”或者在特定條件下從一種狀態更改為另一種狀態。

示例:管理許可證的智能合約

舉個例子,我們開發了一個智能合約,該合約將被用于管理許可證。該用例非常適合于區塊鏈,因為只要不終止合同,許可證持有者就可以控制許可證協議。

!webp\"data-img-size-val=\"553,321\"\u002F\\>

一個智能合約可以維護一個許可證的使用周期。智能合約創建后,許可證進入“Valid有效”狀態,初始預算為10個代幣。有兩種不同的接口可以與智能合約進行交互。

許可證的所有者可以增加預算以延長許可證期限。許可證管理者可以根據時間段定期收取許可證費用。

如果沒有更多可用預算,許可證將進入“Invalid無效”狀態,直到有新的預算被添加到合約。許可證所有者可以隨時終止合同,并收回剩余預算。

可以看一下上面的圖片。我認為該模型比500行Solidity代碼更全面,也更易于理解。

模型驅動的智能合約開發有哪些優勢?

首先,可以在更高的抽象級別上為智能合約建模。在隱藏所有技術細節后,你可以專注于要開發的域邏輯。甚至連根本沒有編程經驗的人都可以理解圖形狀態機。

生成的智能合約代碼質量更高。一旦確定了代碼生成器會生成正確且安全的代碼,你就不必審核使用此代碼生成器生成的每個合約。這將減少小型創新型初創公司以及大型公司將其業務案例遷移到區塊鏈技術的障礙。

!webp\"data-img-size-val=\"639,300\"\u002F\\>

模型是獨立于平臺之外的。通過使用不同的代碼生成器,你可以用不同的語言生成智能合約。也許在將來的某一天,將會產生另一個與以太坊一樣強大的區塊鏈。

更值得高興的是,你可以重復使用模型來為另一個區塊鏈生成智能合約。

你可以執行和測試模型。在將模型部署到區塊鏈之前,你可以使用內置模擬器輕松執行模型,以此來驗證模型是否符合預期。

!webp\"data-img-size-val=\"640,280\"\u002F\\>

該工具仍處于早期開發階段,代碼生成器尚未準備好投入生產。生成高質量的合同代碼是一項非常艱巨的任務,但我們希望我們能盡快提供一個可供下載的工作原型!

Tags:區塊鏈WEBLIDSAFE區塊鏈怎么入手bitwebMOSOLIDSafeMars Protocol

抹茶交易所
加密貨幣:這是當前區塊鏈面臨的7個問題,每個問題都價值10億_比特幣

區塊鏈的冬天正在融化,2018年對區塊鏈技術的期望以及加密貨幣的價值跌落到了低點,當然區塊鏈的“冬天”一直很苦。而現在有綠芽的跡象,公司采用區塊鏈已達到一個轉折點.

1900/1/1 0:00:00
COIN:Fundamental Labs:關于新的 Filecoin 挖礦方案,你需要知道這些_coinbase股票行情

編者按:本文來自加密谷Live,作者:樊緒新,Odaily星球日報經授權轉載。11月27日ProtocolLabs官方Slack一則使用GPU“挖礦”消息被爆出,被眾多“標題黨”解讀成CPU礦機.

1900/1/1 0:00:00
BIT:韓國交易所Upbit 34.2萬枚ETH不翼而飛,黑客入侵or內鬼作祟?_UPB

編者按:本文來自中本小蔥,作者:小蔥姐,Odaily星球日報經授權發布。午后Upbit交易所頻現大額轉賬11月27日下午,據whale_alert監測顯示,Upbit交易所地址出現一系列包括ET.

1900/1/1 0:00:00
以太坊:V神:我說服以太坊基金會賣出了1億美元ETH,而且基本都是在“最高點”_RIN

編者按:本文來自巴比特資訊,作者:kyle,星球日報經授權發布。以太坊的聯合創始人VitalikButerin表示,以太坊基金會此前賣出了70,000個ETH,而且基本上都是賣在“最高點”.

1900/1/1 0:00:00
ATM:肖磊:為什么全球兩大央行都提出要爭取數字貨幣領導權_比特幣

編者按:本文來自肖磊看市,作者:肖磊,Odaily星球日報經授權轉載。現在我們經常會看到金融科技,以及金融創新等宣傳字眼,那么在數百年的金融歷史上,到底什么才是顛覆性的金融創新呢?什么樣的金融科.

1900/1/1 0:00:00
區塊鏈:當區塊鏈遇上地產,會產生怎樣的變革?_TAL

編者按:本文來自鏈內參,作者:內參君,Odaily星球日報經授權轉載。政策利好風起,讓久違的區塊鏈又大熱了起來.

1900/1/1 0:00:00
ads