Blockstack聯合創始人兼首席執行官Muneed Ali在接受Cointelegraph采訪時表示,智能合約在未來需要更安全的開發語言。
他還認為,就像云計算對很多行業都產生了影響一樣,智能合約也不僅僅會影響金融行業,智能合約的潛在好處和應用遠遠超出了其名稱所暗示的范圍。
動態 | VeriBlock在2019年完成BTC OP_Return輸出的57%:據News.bitcoin消息,VeriBlock在2019年完成BTC OP_Return輸出的57%。此前該協議的操作碼剛開始占主導地位時,一些比特幣支持者將這種輸出稱為“濫用”和“垃圾郵件”。據悉,VeriBlock是一個基于比特幣區塊鏈的項目,其利用OP_RETURN來保護替代區塊鏈網絡,采用PoP (proof-of-proof)共識協議。[2020/1/1]
Ali表示,“其甚至不應該被稱為智能合約,因為這是一個相當有限的名稱。這些是可驗證的程序,它們在云計算時代是不存在的。”
動態 | Block.One CEO Brendan Blumer將參加倫敦EOS Hackathon:據 IMEOS 報道,EOS官方推特于昨天發推,宣布CTO Dan Larimer(BM)將以導師和裁判身份參加于9月份舉辦的倫敦EOS Hackathon之后,今天再發推披露Block.One的CEO Brendan Blumer(BB)也將參加此次活動。[2018/8/9]
Blockstack已同基于權益證明的區塊鏈協議Algorand合作,以支持和應用一種名為“Clarity”的智能合約語言。該語言旨在為智能合約提供比現有編程語言更安全和“專用”的功能。
LTC兼容Blocknet協議:據Ethereum World News,LTC現在與Blocknet協議兼容。Blocknet是一個允許數字貨幣貨幣使用者在沒有第三方介入的情況下交換數字貨幣的系統,其過程通過原子交換完成,這意味著任何持有法定貨幣或者數字貨幣的人可以越過第三方將其換成LTC。[2018/5/18]
他提到,“我們的行業需要一種可預測的、安全的、開源的替代方案,以取代目前像Solidity之類的語言。盡管我們預計智能合約中鎖定的價值最終將達到數萬億美元,但我們的行業尚未為這種增長做好準備。”
在Blockstack和Algorand看來,這種缺乏準備的原因是,開發人員到現在為止“一直在使用一種不安全的語言”。
Ali強調,智能合約旨在通過依靠自動執行的軟件代碼來克服人類或機構中介的弱點,“與典型的計算機程序和網站有很大的不同”。
因此他指出,“對于高風險的運營,它們需要成為可驗證的程序。通用語言在這里可能很危險。”
為了讓利益相關者應用智能合約并發揮其潛力,Ali認為“需要一種在智能合約執行之前安全且在數學上可預測的確定性語言”,因為一個行業“不太可能通過以不安全的語言編寫的智能合約進行高價值交易。”
他指出,這一含義的意義遠遠超出了金融服務行業。Ali補充稱,“編寫可驗證代碼的能力就像開發人員的超級能力。這可以重塑軟件在Internet上的分發和驗證方式、開發人員貢獻代碼獲得報酬的方式、實現Internet服務訪問控制的方式等。”
萬維網興起之初,正是紙媒鼎盛之時。早年間,紙媒往往在本地市場具有壟斷勢力,憑借縱向一體化和廣泛的受眾賺得盆滿缽滿。隨后,互聯網強勢崛起.
1900/1/1 0:00:00金色財經近期推出金色硬核(Hardcore)欄目,為讀者提供熱門項目介紹或者深度解讀。美元的統治地位不可能永遠持續下去,在某些經濟學家看來,美元作為事實上的世界儲備貨幣的命運正在迅速接近尾聲.
1900/1/1 0:00:00吳說區塊鏈獲悉,四川電力交易中心有限公司表示,目前2020年四川年度電量交易完成,其中,水電消納產業示范區交易目前成交電量約13.71億千瓦時.
1900/1/1 0:00:00據俄新社5月28日報道,俄羅斯央行正在開發一個數字抵押貸款平臺,該平臺由俄羅斯自主研發的區塊鏈系統Masterchain提供支持.
1900/1/1 0:00:00與傳統做市商相比,加密貨幣做市是一個新的事物。本文旨在更好地了解加密貨幣做市商的行為。首先,讓我們通過探索對做市流程的基本了解來研究什么是做市.
1900/1/1 0:00:00以太坊2.0將至 這里有關于以太坊2.0最常問的10個問題2020年,以太坊2.0無疑是加密貨幣行業最受關注的事件.
1900/1/1 0:00:00