比特幣:想開發智能合約？先 get 下這個適合所有人的模型驅動法

編者按：本文來自

區塊鏈大本營

，編譯：火火醬，Odaily星球日報經授權轉載。

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

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

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

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

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

YAKINDUStatechartTools：

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

美國首只杠桿比特幣ETF BITX上線前15分鐘內交易了價值約50萬美元:金色財經報道，波動性股票2x比特幣策略交易所交易基金(BITX)是美國第一支杠桿加密ETF，于周二開始交易，自上線以來迄今交易量約為420萬美元。根據彭博社的數據，該ETF在前15分鐘內交易了價值約50萬美元的股票。Bitx目前股價約為15.48美元，自交易時段開始以來上漲了2%至15.90美元。[2023/6/28 22:04:19]

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

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

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

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

比特幣礦企 Cathedra Bitcoin 計劃在 360 Mining 的德克薩斯州站點部署比特幣礦機:金色財經報道，比特幣礦企 Cathedra Bitcoin（CBIT）與離網比特幣礦企 360 Mining 建立合作伙伴關系，計劃在 360 Mining 擁有的德克薩斯州站點部署移動數據中心與比特幣礦機。360 Mining 提供天然氣和發電基礎設施，為 Cathedra 的比特幣礦機提供持續電力。Cathedra 將向 360 Mining 支付每兆瓦時 55 美元的耗電量，外加該站點開采的比特幣總量的 10%。雙方還保留在經濟上有利的情況下放棄比特幣挖礦以將天然氣出售給市場的選擇權。該合作伙伴關系使 Cathedra 擁有 2.0 兆瓦發電能力的權利，并在未來 60 天內完成 0.3 兆瓦的初始部署。[2023/6/2 11:55:14]

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

Kraken律師：美國國會在加密領域取得進展的跡象使SEC受到法律約束:金色財經報道，當美國證券交易委員會（SEC）繼續對加密貨幣行業進行執法時，Kraken的首席法律官Marco Santori表示，一個特定的法律原則可能會破壞監管機構的權力。Coinbase在其對未決案件的先發制人辯護中引用了所謂的重大問題原則，即美國行政法的一個要點，它建議聯邦機構不應在國會面前介入具有重大經濟意義的問題。SEC的行動，Santori認為這與立法者開始加密監管工作尤為相關。Santori表示，“國會正在處理這個問題，而且兩黨都有代表，兩個委員會就此舉行了歷史性的聯合聽證會，這些都表明實際上存在一個重大問題。法院可能會審視國會的所作所為，并說SEC超越了國會的授權，這是一個應該由國會決定的重大問題。”[2023/5/13 15:00:21]

參考：

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

二里頭夏都遺址博物館發布文創產品及數字藏品:金色財經報道，二里頭夏都遺址博物館文創產品及數字藏品發布儀式在二里頭夏都遺址博物館舉行。本次活動由河南日報社、洛陽市委宣傳部指導，偃師區委、區政府和洛陽市文物局主辦，二里頭夏都遺址博物館、河南日報社洛陽分社、河南大河全媒體廣告集團有限公司承辦。

本次發布的三款文創產品，以獲得中國新聞獎的河南日報《走進最早的中國——二里頭特刊》跨版版面為藍本，分“走進最早的中國”簡牘書卷香樟典藏版、簡牘書卷錦絨珍藏版，以及簡牘屏風擺件版。[2023/4/23 14:21:10]

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

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

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

彭博社：自薩爾瓦多采納BTC為法定貨幣以來，近60家加密貨幣和區塊鏈公注冊在該國辦事處:9月6日消息，據外媒報道，自薩爾瓦多采納比特幣為法定貨幣以來，近60家加密貨幣和區塊鏈公司在薩爾瓦多注冊了辦事處，不過，當前該國的比特幣采用率仍然較低。2021年6月份，薩爾瓦多批準將比特幣作為該國法定貨幣，同年9月正式生效。（彭博社）[2022/9/6 13:11:01]

可解決這些問題的工具

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

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

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

語言服務器：

https:\u002F\u002Fdwz.cn\u002FKQjhESNR

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

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

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：比特幣LID區塊鏈SOLID比特幣最新價格行情走勢SOLID幣區塊鏈的未來發展前景與應用Solidex

瑞波幣