數字金融:獨家 | 以太坊智能合約安全解析：那些智能合約獨有的風險屬性_以太坊硬幣圖片

智能合約的概念最早由知名學者NickSzabo在上世紀90年代提出。他在公開發表的多篇文章中提到了智能合約的概念，將其定義為：“一個智能合約是一套以數字形式定義的承諾，包括合約參與方可以在上面執行這些承諾的協議。”

這個概念提出后的很長一段時間里，它只停留在概念階段，并沒有在實際應用中產生實例。

為什么呢？

在我們看來這其中的關鍵點就在于既然它是一個“承諾”，那么如何保證這個“承諾”一定得到執行？如果合約的參與方不執行這份承諾，有什么辦法讓其承擔后果或強制其執行？

如果對一份合約規定的責任和義務僅僅只是用現實社會中的法律手段保障實施和執行，那這僅僅只相當于合約的數字化、信息化，它在本質上仍然是現實社會中的法律合約，只不過換了一種形式而已，所以這樣的“數字化合約”不能算“智能合約”。

獨家 | 金色財經2月9日挖礦收益數據播報:金色財經報道，據印比特數據顯示，按照BTC參考價格70600元、電價0.38元/kWh計算，當前在售主流BTC礦機的市場價格及回本周期為：神馬M20S-68T（全新現貨12950元，269天回本）、芯動T2T-37T（全新現貨4700元，238天回本）、阿瓦隆1066-50T（全新現貨6500元，225天回本）、螞蟻T17e-50T（準現貨7100元，215天回本）。[2020/2/9]

這個局面的徹底顛覆是在以太坊出現之后，以太坊的出現第一次讓“智能合約”得以實現，并且讓人們見識到了信息技術和加密技術如何完美地結合從而強制保證一份“數字合約”的執行和實施。

那么以太坊是如何讓智能合約從概念變為現實的，也就是說如何保證一份被數字化的合約得到嚴格、強制執行的呢？

獨家 | 犇睿資本創始人褚康：對加密貨幣的征稅政策是完全有必要的:近日，犇睿資本創始人褚康在接受金色財經獨家采訪時指出，目前各國稅收政策各有不同，以白俄羅斯等極少數國家為例，對其采取的是完全免征所有稅款的政策；以新加坡等一部分大力支持加密貨幣交易的國家為例，對其采取的是部分納稅政策，即僅對加密貨幣交易所得利潤進行納稅處理；以美國等一部分對其采取嚴密監管態度的國家為例，不僅對加密貨幣交易所得利潤進行納稅處理，加密貨幣的兌換、用加密貨幣購買商品或服務、空投等一系列加密貨幣相關的行為都納入了征稅范圍。

加密貨幣稅收監管是否必要，考慮的不應僅是加密貨幣自身的發展問題。稅收作為國家機關收入的主要組成部分，對每個主權國家的發展和穩定都至關重要。加密貨幣作為一種新型貨幣形態，存在規避稅收征管的可能性，如果對加密貨幣的購買、兌換、交易等一系列行為實行完全的免稅政策，雖然是對加密貨幣交易本身合法性的認可，但也同時承認了境內外企業和自然人可以用加密貨幣進行合理避稅，這對國家整體的稅收征管的可行性和穩定性來說可能是致命的打擊。

因此，對加密貨幣的征稅政策是完全有必要的，即使是以白俄羅斯為例的少數目前實行完全免征所有稅款的國家，其對加密貨幣的免稅政策也不是永久性的。[2020/1/3]

這就要和以太坊的特性說起了。

獨家 | 黃嶠濛：數字金融行業爆發在即:區塊鏈行業發展中，不同的投資機構之間投資邏輯不同，在不同的投資階段，每個投資機構的選擇也不相同。對此，BKFUND聯合創始人黃嶠濛在接受金色財經獨家采訪時表示：“對于底層技術類的項目，我們更偏向比如美國硅谷等技術更發達的國家的項目。應用類的項目，BKFUND更關注國內C端用戶較多的互聯網公司轉型的項目。任何行業的發展都是階段性，做投資也要踩對行業發展的節奏。我們認為區塊鏈行業目前還在“修路階段”，但是修路也開始進入了中后期，所以我們更關注補充性的基礎設施，那些讓普通人能更加方便、簡單的使用區塊鏈技術的底層技術。而在應用方面，目前國內還處在政策不明朗的階段，有大量用戶的互聯網公司現階段即使有幣改想法，也不方便采取行動。因此現階段下，關注一些數字貨幣政策比較成熟的國家的項目。另外，現在區塊鏈行業還在早期，目前大規模落地的還是圍繞著數字金融的相關應用，比如幣的交易、管理、托管等。我們認為這個賽道有巨大的未滿足的需求，行業爆發在即，我們非常看好數字金融行業。”[2018/8/3]

相較于比特幣，以太坊最突出的特點就是它支持了“圖靈完備”的編程語言。所謂“圖靈完備”的編程語言用通俗的話說就是理論上只要人能夠用數學方式描述的邏輯如果都能用這種語言編寫出來，那么這種語言就是“圖靈完備”的編程語言。

金色獨家 北郵在線數字經濟研究院執行董事李立中：三個原因導致加密貨幣價格下跌:北郵在線數字經濟研究院執行董事、副院長李立中在接受金色財經采訪時被問及“加密貨幣價格下跌的原因”時他表示，“大概有三點原因：1、隨著區塊鏈技術研究的不斷深入研究，越來越多的國家意識到加密貨幣會帶來嚴重的洗錢問題，開始著手制定發布相關的監管條例。2、近期的公鏈51%攻擊問題凸現，人們開始發現節點數量不代表整個體系的安全質量，交易所的近期被盜事件和操縱事件也產生了市場的恐慌，用戶紛紛提幣到自己的錢包導致流動性下降進而引起價格下跌。3、隨著時間的推移真正做技術的應用場景項目開始浮出水面，使得整個行業開始價值回歸，原來的泡沫開始逐步褪去。”[2018/6/16]

如果把這種語言用于定義合同，那就成了只要一份合同能夠用這個編程語言描述出來，那這份合同就能用計算機來執行。

但僅僅只憑這一點編寫出的合約還遠不能算“智能合約”，為什么呢？因為傳統的計算機技術早就有了大量的編程語言能夠被用于編寫各種復雜邏輯的合同。那為什么傳統計算技術編寫出的這類合約不能算“智能合約”呢？因為這樣的合約在執行過程中完全可能因為受到各種干擾，而根本無法得到強制和一定執行。

而基于以太坊的智能合約就不同，它相比傳統計算技術除了能支持理論上任意的編程邏輯，還有一個傳統計算技術無法比擬的特點：它的執行過程在現實世界中幾乎難以被中斷、難以被干擾，也就是說一旦以太坊開始運行一個合約，只要這個合約的條款還沒有執行完，任何外界因素都很難干擾、阻斷它的執行和實施。?

這個特點曾被V神比喻為“永不停歇的世界計算機”-----以太坊這臺“電腦”幾乎永遠不會宕機，甚至在未來V神規劃的以太坊2.0中，它更是強大到能抵抗第三次世界大戰。

此外，智能合約還有一個特點，那就是一旦一個合約被部署到以太坊，它就無法撤回，無法更改。這和傳統信息技術中，我們一旦發現一個系統有問題可以將它下線，將它撤回有著根本的區別。

因為這些特性，在以太坊上運行的任何合約就在技術上第一次實現了“無法篡改”、“強制執行”、“無法干擾”，智能合約就這樣神奇的落地了。

然而“成也蕭何、敗也蕭何”，當我們享受智能合約強制執行的特點給我們帶來的顛覆性變革時，它的負面作用也同時顯現：這就是當一個合約在以太坊上部署并且運行后，一旦合約本身出現漏洞，這個漏洞給合約參與方帶來的損失也將無法挽回、無法阻擋。我們有時甚至只能眼睜睜地看著它的漏洞被引爆，我們的數字資產被吞噬，而無能為力。

那如何才能防止這樣的慘劇發生呢？除了進行常規的測試之外，在這個領域還誕生了一個獨特的行業----智能合約審計。智能合約的審計最關鍵的作用就是盡量在合約被部署到以太坊上之前，檢查出它的漏洞，發現它的隱患，盡量讓一份高質量、安全的合約被用戶使用。

對智能合約的審計將是這個行業永遠的剛需，也是行業進步的強大助推力，更是靈蹤安全為之奮斗的目標。

作者：

靈蹤安全CEO譚粵飛

美國弗吉尼亞理工大學(VirginiaTech,Blacksburg,VA,USA)工業工程碩士(Master)。曾任美國硅谷半導體公司AIBTInc軟件工程師，負責底層控制系統的開發、設備制程的程序實現、算法的設計，并負責與臺積電的全面技術對接和交流。自2011至今，從事嵌入式，互聯網及區塊鏈技術的研究，深圳大學創業學院《區塊鏈概論》課程教師，中山大學區塊鏈與智能中心客座研究員，廣東省金融創新研究會常務理事。個人擁有4項區塊鏈相關專利、3本出版著作。

關于靈蹤安全：

靈蹤安全科技有限公司是一家專注區塊鏈生態安全的公司。靈蹤安全科技主要通過“代碼風險檢測邏輯風險檢測“的一體化綜合方案服務了諸多新興知名項目。公司成立于2021年01月，團隊由一支擁有豐富智能合約編程經驗及網絡安全經驗的團隊創建。

團隊成員參與發起并提交了以太坊領域的多項標準草案，包括ERC-1646、ERC-2569、ERC-2794，其中ERC-2569被以太坊團隊正式收入。

團隊參與了多項以太坊項目的發起及構建，包括區塊鏈平臺、DAO組織、鏈上數據存儲、去中心化交易所等項目，并參與了多個項目的安全審計工作，在此基礎上基于團隊豐富的經驗構建了完善的漏洞追蹤及安全防范系統。

Tags：加密貨幣以太坊區塊鏈數字金融加密貨幣市場還有未來嗎以太坊硬幣圖片區塊鏈個人怎么買淺談我國數字金融的發展

FTX