智能合約真的智能嗎？_COIN

近幾年，隨著人工智能的日益普及，“智能”二字在我們的生活中幾乎處處可見。智能空調，智能掃地機器人，智能手環等等屢見不鮮。前兩天，又見閨蜜拿了一個智能水杯，說的是只要給它插上電，就可以讓里面的水一直保持在一個恒定的適合飲用的溫度上。但在18年我們聽的最多的肯定是智能合約。乍一聽這個詞我們一般會認為它必定也是跟前面這些一樣是一種人工智能技術吧，其實它跟人工智能沒多大關系，而是源自于現在吵得很熱的一種新技術—區塊鏈技術。

說到智能合約，就不得不提一個人物—尼克·薩博（NickSzabo)，他是一位計算機科學家、密碼學家、法律學者。早在1993年他就提出來“智能合約(Smartcontract)”這一概念，1994年他寫成了《智能合約》論文，是智能合約的開山之作。之后在1998年，尼克·薩博設計出了一種叫“比特黃金”(bitgold)的去中心化的數字貨幣機制，由于缺少廣泛支持最后失敗了，但是卻被公認為是比特幣的最直接先驅。尼克·薩博也因此被懷疑是比特幣背后的神秘發明者—中本聰(SatoshiNakamoto)。

以太坊技術服務商Open Zeppelin開源智能合約安全注冊表，提供聯系人緊急通知及通信服務:11月9日消息，以太坊技術服務商Open Zeppelin宣布開源智能合約安全注冊表（SmartContractSecurityRegistry），該安全注冊表將識別智能合約屬性和在安全事件發生時尋找緊急聯系人，降低漏洞被利用的可能性，并且為去中心化項目間提供與適當聯系人通信的方式。

注冊表中的信息包括重要的聯系地址，如電子郵件地址或Telegram，Open Zeppelin表示不會因為安全以外的任何原因而聯系這個名單上的任何人。項目可以通過添加以下信息加入注冊表：項目標識符、項目名稱、Github組織、安全聯系人電子郵件、部署的網絡，以及使用Open Zeppelin的庫部署智能合約的地址。[2021/11/9 6:41:28]

好，我們言歸正傳，智能合約真的智能嗎?

Bicc與泛融科技宣布就智能合約審計達成合作:據官方消息，Bicc與北京泛融科技宣布，雙方在智能合約審計方面達成合作，泛融科技將作為審計服務提供方對Bicc上線的第三方智能合約進行安全、性能等多方面審計，幫助Bicc對合約安全審計把關，Bicc會將泛融科技的合約審計結果納入上線項目是否優質的考量標準。

Bicc總部位于新加坡，是新一代數字資產與數字生態交易平臺，幫助更多區塊鏈項目發展生態規模，協助區塊鏈項目與Dapps落地，近期在Defi通證交易領域也積極跟進。北京泛融科技是工信部可信區塊鏈推進計劃副理事長單位，工信部賽迪研究院評選區塊鏈百強企業第11位，擔任工信部可信區塊鏈“溯源組”“供應鏈金融組”副組長，擁有充足的技術儲備與完善的技術測試能力。[2020/9/19]

智能合約的內在潛力無疑是巨大的。這一新興技術可能用于身份驗證、安全數據共享、代幣管理和在首次硬幣發行/代幣銷售中募集資金等等，但你的智能合約到底有多智能呢?

動態 | Cosmos啟動適用于CosmosSDK的WASM智能合約模組:跨鏈項目Cosmos宣布啟動適用于CosmosSDK的WASM智能合約模組，這意味著，使用包括Rust在內的多種不同編程語言編寫的軟件也可以在該區塊鏈上安全運行，比如說 Rust 開發人員可使用 Rust 語言編寫智能合約，然后上傳到任何包含CosmWasm模塊的Cosmos SDK的鏈上無縫集成，即使是開發基于Rust的自定義應用程序邏輯，也可使用經過主網驗證的Cosmos-SDK模塊和BPoS Tendermint共識算法。同時，開發者能夠在交易中上傳代碼而不是重新啟動鏈，從而可以更快地部署新功能，而僅當需要更改核心邏輯時Cosmos Hub升級過程才是必須的。CosmWasm模塊包括成熟構建和測試環境，并且得益于Rust的原生編程功能而帶有集成開發環境（IDE）。由于CosmWasm的智能合約環境是圖靈完備的，這意味著任何可在以太坊中實現的邏輯，都可以在 Cosmos SDK 中執行，而無需修改底層區塊鏈。[2019/12/12]

ETH自稱擁有超過1500個分散的應用程序(dApps)，所有這些應用程序都利用智能合約來完成各種各樣的任務然而，智能契約的問題在于，它們是基于代碼的，因此很容易出錯—其中一些錯誤簡直就是災難性的。

動態 | 以太坊區塊鏈仍是現有最強大的智能合約平臺:達令智庫發布《以太坊2.0：從君士坦丁堡通往寧靜的道路》研報。報告稱，在君士坦丁堡硬分叉之后，新的ETH供應總量將從20300 ETH/天減少到13400/天，從每年740萬ETH減少到490萬。按照更改的獎勵機制持續運行一段時間后，以太坊的通貨膨脹率將從7.7%下降到4.8%。報告還稱，以太坊仍然有著較高的網絡使用率與活躍開發者，以太坊區塊鏈仍是現有最強大的智能合約平臺，市值前100的區塊鏈項目中，絕大多數都基于以太坊網絡搭建。[2019/1/14]

智能合約基礎知識

簡單地說，智能合約是包含一組規則的代碼，如果符合合同的規則，則無需第三方便可自動執行。這與通常由第三方強制執行的書面合同有很大區別。

然而，由于智能合約是基于代碼的，所以它們很容易出現錯誤、bug和弱點，從而使基金面臨被竊取和操縱的風險。

當智能的合約行動不智能

最臭名昭著的一個編碼不佳的智能合約案例是去中心化自治組織(DAO)，它的設計目的是為了資助不被任何個人或團體操縱的加密貨幣項目。本來，DAO密碼持有者被允許對值得資助的項目進行投票——這導致在悲劇發生之前，總計購買了2.5億美元的乙醚。

兩個部分的問題代碼導致了DAO項目的崩潰，這也最終導致了從Ethereum區塊鏈到EthereumClassic過程中出現了硬分叉。

這兩個部分分別是“分裂”和“回收”——盡管它們本身并不脆弱。然而，黑客總共能夠吸走400萬以太幣。因此，Ethereum社區或多或少被迫對自己的區塊鏈執行51%的攻擊，重新編寫了它，就好像被盜資金從未丟失一樣。

另一個最近出現的bug是Parity使用的智能合約。這一智能合約的問題是其被利用最終導致了50萬以太幣的損失——價值超過1.69億美元。70個錢包被凍結，里面的錢也丟失了。

Parity承認事實上在漏洞被觸發前幾個月就被警告過。然而，他們并沒有解決這個問題，后來他們聲明道:

雖然，我們一致認為，為了實現安全，我們需要更廣泛和正式的程序和工具來部署、監控和測試合同，而不僅僅是進行更多的審計。我們相信整個生態系統都迫切需要這種程序和工具，以防止類似的問題再次發生，特別是在實時合同的數量和復雜性增加時。

在2017年6月，Parity再次被智能合同漏洞攻擊，導致15萬以太幣被盜。

以太坊智能合約到底有什么問題呢？

ETH的主要問題是它在很大程度上是建立在固定程序上的——這是一種高級的編程語言。因此，許多程序員必須學習一種全新的編碼語言，這增加了人為錯誤的可能性。更大的問題是，許多新項目缺乏經驗或時間來充分地審核他們的智能合約。

因為這些明顯缺陷，使得智能合約很難受到社會的關注。如果有一種方式能夠自動保證合約執行的可信，智能合約就能發揮更大的作用。幸運的是，區塊鏈的出現為智能合約提供了這樣一個平臺。區塊鏈將智能合約程序記錄并復制在分布式網絡上，并且讓網絡上的所有計算機同時執行合約，只有當所有機器都認可結果后，才會執行相應的操作。

這就是像COINAdmin這樣的公司出現的原因—它幫助合同完成并隨后對智能合同進行審查，驗證代碼是否沒有漏洞。

COINAdmin有一個由區塊鏈開發人員組成的團隊，他們專門開發ERC-20和ERC-223智能合約。它還完全支持全面的第三方審查，并處理技術方面的所有事情—這樣可以使團隊能夠專注于其業務風險的其他方面。COINAdmin還允許項目在節省時間和金錢的同時發布他們自己的標記密碼。

那么您如何看待像COINAdmin這樣的智能合同漏洞公司的出現?歡迎下方留言交流

Tags：區塊鏈OINCOIN區塊鏈工程專業學什么區塊鏈存證怎么弄區塊鏈技術發展現狀和趨勢OIN幣OIN價格COIN幣COIN價格

ICP