LOCK:Blockstack首席執行官：智能合約需要更安全的語言_Green Blocks

Blockstack聯合創始人兼首席執行官Muneed Ali在接受Cointelegraph采訪時表示，智能合約在未來需要更安全的開發語言。

他還認為，就像云計算對很多行業都產生了影響一樣，智能合約也不僅僅會影響金融行業，智能合約的潛在好處和應用遠遠超出了其名稱所暗示的范圍。

波卡生態衍生品平臺Satori完成1000萬美元融資，Polychain、Blockchange領投:5月13日消息，波卡生態衍生品平臺 Satori 完成 1000 萬美元融資，Polychain、Blockchange 領投，參投方包括 Jump Crypto、Coinbase Ventures、Portal、Acala、Astar、Parallel、Clover，個人投資者包括波卡創始人 Gavin Wood 等。Satori 是一個結合了 AMM 與訂單簿模型的衍生品市場，將于未來幾周上線。[2022/5/13 3:13:30]

Ali表示，“其甚至不應該被稱為智能合約，因為這是一個相當有限的名稱。這些是可驗證的程序，它們在云計算時代是不存在的。”

聲音 | Blockroots聯合創始人：保證金可降低交易對手的風險:對沖基金經理、Blockroots聯合創始人Cantering Clark在接受采訪時表示：“在加密貨幣交易中，人們利用杠桿效應，通過擴大資本敞口來放大收益。通常情況下，交易員承擔損失是因為他們并不真正了解保證金是如何運作的，以及保證金的真正用途是什么。保證金降低了交易對手的風險，這對加密尤其有利。有了杠桿，如果我擁有一個比特幣，我可以把我的比特幣的90%放在一個冷錢包里，只把比特幣的10%用來交換，這樣就可以保護我自己不受交易對手風險的影響。適量的杠桿可以給交易員利用市場趨勢的機會。兩倍和三倍的杠桿率讓人們能夠順應趨勢，尤其是當比特幣處于明顯的支持和阻力水平的強勁趨勢時。”（CryptoDaily）[2019/9/15]

Blockstack已同基于權益證明的區塊鏈協議Algorand合作，以支持和應用一種名為“Clarity”的智能合約語言。該語言旨在為智能合約提供比現有編程語言更安全和“專用”的功能。

動態 | Blockstack正在開發一種名為“Stack”的新型分布式賬本協議:區塊鏈技術公司Blockstack表示，正在開發一種名為“Stack”的新型分布式賬本協議，這是一種可以利用比特幣網絡哈希算力的鏈。[2019/2/3]

他提到，“我們的行業需要一種可預測的、安全的、開源的替代方案，以取代目前像Solidity之類的語言。盡管我們預計智能合約中鎖定的價值最終將達到數萬億美元，但我們的行業尚未為這種增長做好準備。”

在Blockstack和Algorand看來，這種缺乏準備的原因是，開發人員到現在為止“一直在使用一種不安全的語言”。

Ali強調，智能合約旨在通過依靠自動執行的軟件代碼來克服人類或機構中介的弱點，“與典型的計算機程序和網站有很大的不同”。

因此他指出，“對于高風險的運營，它們需要成為可驗證的程序。通用語言在這里可能很危險。”

為了讓利益相關者應用智能合約并發揮其潛力，Ali認為“需要一種在智能合約執行之前安全且在數學上可預測的確定性語言”，因為一個行業“不太可能通過以不安全的語言編寫的智能合約進行高價值交易。”

他指出，這一含義的意義遠遠超出了金融服務行業。Ali補充稱，“編寫可驗證代碼的能力就像開發人員的超級能力。這可以重塑軟件在Internet上的分發和驗證方式、開發人員貢獻代碼獲得報酬的方式、實現Internet服務訪問控制的方式等。”

Tags：LOCKLOCBLOCKBLOGreen BlocksYieldLockAngryBlockchainbloc幣價格

世界幣