Blockstack首席執行官：智能合約需要更安全的語言_BLOCK

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

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

聲音 | Blockstream營銷總監：比特幣很難實現完全離線交易:金色財經報道，Blockstream營銷總監Neil Woodfine近期表示，比特幣很難實現完全離線交易。他表示，理想情況下，比特幣離線交易解決方案需要適用于低功耗環境，例如自然災害。同時，離線解決方案的另一個挑戰是運行一個比特幣全節點所需的資源，實現該過程每月需消耗約20 GB的數據，而非互聯網、廉價、消費者級的網絡選項的帶寬容量往往較低。Woodfine還稱，Blockstream衛星將比特幣區塊鏈數據傳送至四顆對地靜止衛星上，然后再將這些數據廣播到“世界上幾乎所有人口稠密的陸地”。可以使用一些設備來接收這些數據信號，但一些設備可能只能接收信號而無法回送任何數據。同時數據驗證也面臨信任問題。[2020/1/8]

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

動態 | 受Veriblock捕獲超25％BTC交易影響，比特幣區塊大小飆升至3M以上:據cointelegraph消息，在7月14日24小時內，Veriblock捕獲了超過25％的BTC交易。Veriblock是借由BTC網絡算力來保護其他次級區塊鏈的解決方案，能夠有效幫助其它區塊鏈抵御51攻擊，雙花攻擊等等。據分析，受此影響，BTC區塊最近變得更加擁堵，平均區塊大小大幅飆升，從大約1M大小跳升到3M以上。[2019/7/15]

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

聲音 | Blockchain Capital合伙人：Facebook和Telegram的加入會促進加密市場大幅增長:據CCN報道，加密投資公司Blockchain Capital的合伙人Spencer Bogart在一篇新博客文章中指出，未來兩年Facebook、Telegram和穩定幣將為比特幣行業帶來有史以來最大的增長。這是一個良性循環，隨著越來越多的用戶進入加密市場，越來越多的開發人員用“可編程的錢”建立更多令人難以置信的事情，從而為行業帶來更多用戶和更多資金。最終結果是增長更快。Bogart稱，重要的是，最初吸引新用戶進入加密市場的東西可能與留住他們的不同。例如，Telegram的代幣TON可能會成為加密市場的入口。但是一旦用戶擁有TON，就很容易將其交換為具有更強的價值支持和更成熟跟蹤記錄的其他加密資產。此外，他還指出，最新推出的穩定幣與此前長期存在的穩定幣（如Tether）存在根本區別。[2019/4/20]

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

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

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

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

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

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

Tags：BLOLOCKBLOCBLOCKBLOGGERBlockEcoSUNBLOCKTERMINALBlock Ape Scissors

NEAR