OIN:智能合約真的智能嗎？_區塊鏈技術發展現狀和趨勢OIN幣

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

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

智能合約安全監控項目 Forta Network 已開放空投申領，將上線 Coinbase:6月16日消息，由 OpenZeppelin 孵化的智能合約安全實時監控項目 Forta Network 已開放 FORT 空投申領。此外，Coinbase 宣布將上線 FORT，若滿足流動性條件，將開放 FORT/USD、FORT/USDT 交易對。

此前報道，Forta Network 宣布將向早期貢獻者進行代幣空投，FORT 代幣總量 10 億枚，4% 將用于空投，可獲得空投的地址總計 26022 個，包括了 Forta 的用戶、Forta 建設者、多簽錢包 Gnosis Safe 簽名者、Forta 貢獻者。[2022/6/16 4:30:55]

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

ZKSwap回應Matter Labs質疑：用戶資金安全，智能合約和電路代碼將開源:關于Matter Labs提到的一些疑問，ZKSwap作出如下回復：

1. ZKSwap在ZKSync Layer2轉賬的基礎上完整實現了Layer2 AMM Swap電路，并實現了數項改進；

2. ZKSwap上用戶的資金安全是得到保障的，智能合約和電路部分的代碼已經獲得了慢霧，Certik和ABDK三家權威安全審計機構的審計認證，審計報告已公開在項目github倉庫中接受社區監督；

3. ZKSwap所有智能合約和電路的代碼都將完全開源，其中，智能合約部分已經完全審計完成，將會在2021年3月1日開源；電路部分ABDK還在進行最后的審計報告編輯，將會在獲得報告并在系統穩定運行一段時間后逐步開源，請社區保持關注；

4. 關于Matter Labs提到的智能合約中關于合約作者的疑問，ZKSync和ZKSwap都嚴格遵守MIT開源協議，必須保留原作者的版權聲明和許可聲明。ZKSwap在ZKSync合約的基礎上進行的修改也將在合約開源時進行備注，并添加新的版權和許可聲明，請社區監督。

此前消息，Matter Labs質疑ZKSwap克隆zkSync代碼，擔心其用戶資金安全問題。[2021/2/24 17:47:58]

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

聲音 | EOSLaoMao：將盡快部署示例 DAPP 和 eosio.assert 智能合約:據 IMEOS 報道，根據 EOS LaoMao 團隊消息：1. 我們將在下個版本更新 App 圖標（來自 BlockOne 的建議）2. 目前 EOS 主網尚無 DAPP 支持 EOS Authenticator 協議。3. 我們將聯合 Kylin 測試網絡的 BP 一起，盡快部署示例 DAPP 和 eosio.assert 智能合約。[2019/6/4]

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

EON發布全球首個云端智能合約編輯器，開啟智能合約開發云時代:備受矚目的EON今日上線全球首個云端智能合約編輯器（editor.eon.org），開發者可以通過EON Editor在云端輕松完成智能合約的開發、調試、編譯等操作，極大提升了開發效率，從根本上促進整個區塊鏈行業的發展。

EON于2018年6月1日完成空投快照。作為落地的區塊鏈項目，在EOS的基礎上增加了包括EON Editor等新功能，并從根本上為實現高TPS進行了優化。EON已登陸幣諾交易所。[2018/6/2]

智能合約基礎知識

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

然而，由于智能合約是基于代碼的，所以它們很容易出現錯誤、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價格

幣贏