智能合約真的智能嗎？_區塊鏈:COIN區塊鏈工程專業學什么

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

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

三亞：以數字人民幣智能合約消費券模式發放2000萬元汽車消費券:金色財經報道，三亞市將于10月27日以數字人民幣智能合約消費券的模式發放2000萬元汽車消費券刺激新車消費市場，同時，此次消費券投放的合作方建設銀行三亞分行將同期配資300余萬元開展數字人民幣惠客活動。（人民網）[2022/10/26 16:39:33]

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

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

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

QuickSwap與以太坊智能合約自動執行工具Gelato Network合作提供限價訂單功能:Polygon網絡上的去中心化交易所QuickSwap與以太坊智能合約自動執行工具Gelato Network達成合作，已為用戶提供限價單服務。[2021/8/17 22:19:31]

智能合約基礎知識

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

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

Layer2交易協議ZKSwap開源所有智能合約代碼:3月1日消息，Layer2交易協議ZKSwap（ZKS）開源了其智能合約代碼，開源的代碼包含ZKSwap項目所有智能合約相關的代碼，電路部分的代碼會在審計報告出來后第一時間開源（目前電路審計已經結束）。目前開源的智能合約代碼經過慢霧、Certik和ABDK三家審計機構的審計。相關代碼在Layer2領域實現了創新性，包括在Layer2支持AMM模式的交易、支持Layer2的LPtoken提現到以太坊Layer1、支持創建LPtoken、支持Layer2區塊以聚合形式提交到以太坊Layer1以降低Gas費用以及支持零知識證明的聚合證明等。[2021/3/1 18:03:59]

當智能的合約行動不智能

帥初：Qtum實現與EVM兼容的去中心化PoS智能合約平臺:量子鏈創始人帥初發推稱，Qtum已經完成ETH2.0想要構建的工作中的95%。一個非常去中心化的PoS智能合約平臺（與EVM兼容）。[2021/1/24 13:20:22]

最臭名昭著的一個編碼不佳的智能合約案例是去中心化自治組織(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價格

萊特幣