以太坊價格 以太坊價格
Ctrl+D 以太坊價格
ads

DAO:智能合約的真相

Author:

Time:1900/1/1 0:00:00

本文來自:碳鏈價值,作者:JimmySong,編譯:MorphoHawkes、Diana,星球日報經授權轉發。“真正的問題是,你的“智能合約”真的有必要去中心化嗎?還是它只要能夠完成它的使命就足夠了?其實,以中心化的方式實現合約更為高效,因為將來的“智能合約”大多數都將與現實中的東西交互。比如,一個無人駕駛汽車接你然后送你到目的地。在你和這輛無人駕駛汽車之間的“智能合約”,為何需要去中心化這個屬性?它為何需要抵抗審查,為何需要被儲存在全球成千上萬臺電腦上,并且從今往后永遠持續不間斷的納入運算?這根本用不到。同樣的,當你走向一個汽水販賣機買一瓶可樂的智能合約,也用不到去中心化。若你歸根結底總結起來,在底端最簡單的智能合約,其實根本就不需要去中心化的屬性。我知道哪里肯定又出來個ICO給你宣傳,說你和那臺汽水販賣機的智能合約需要去中心化,需要在往后的時間里不斷被重復驗證。他們在說謊。相反,真正需要高級別抗審查屬性和去中心化的智能合約,正是最近在新聞中被傳遍的暗殺市場——這才是真正需要去中心化和抗審查屬性的智能合約。而另一端就是類似汽水販賣機這類的智能合約。這兩端間那條界線在哪?那條為了達到抗審查的隱私性,去中心化科技帶來的低效率是值得被妥協的界線在哪兒?我認為那條界線就在Augur(暗殺市場)下面一點點。”——ToneVays近來,“智能合約”這個詞,就跟“區塊鏈”、“人工智能”、“云”這些詞一樣,被人大肆炒作。畢竟,人們都想要確定將來的情況,但目前最可依賴的手段還是司法體系。如果除了司法體系,還有之外的其他手段,那真是再好也不過了。智能合約就給人們提供了一系列承諾,包括:承諾1:以自動、去信任、公正的方式強制履行合約。承諾2:在合約制訂、履行、強制執行方面,去掉了中間商。承諾3:不要律師!我對于這種炒作很有同感。畢竟,原來我們跟別人合作都必須要信任另一方才能做事。如果把這種信任的必要去除了,那該有多方便啊?智能合約到底是神馬玩意?是不是以太坊將大顯身手的領域?是不是未來的必經之路?為什么有人要妨礙時代進步?本文就要看一看智能合約究竟是什么;圍繞智能合約的工程界的現實又是什么樣的。劇透:智能合約實現不容易,保持穩定又很難。智能合約是什么?

德國Auto1 FinTech推出歐洲區塊鏈汽車融資智能合約:10月7日消息,Auto1 FinTech正在取消其核心業務汽車融資中的所有手動輸入和紙質流程,其與融資汽車相關的所有文件、文件和流程都將基于智能合約,通過智能合約最大限度地提高數據安全性和效率,并將汽車融資所涉及的總支出和文件減少到最低限度,這些智能合約包含車輛所有相關信息和流程。

Auto1 Fintech為二手車市場提供快速簡便的數字融資解決方案。該公司宣布的目標是為移動的所有領域提供創新融資和支持。Auto1 FT成立于2017年底,目前在德國和法國開展業務,總部位于柏林和阿姆斯特丹。[2021/10/7 20:11:00]

一般情況下,合約或者合同就是雙方或者多方達成的一個協議,約束他們在未來做些什么事。比如,劉英可能會付給永強一筆錢,住永強的房子;玉田可能會承諾,小萌的汽車只要將來出了毛病,玉田都會負責修理,好處是每月都能收一筆錢。圖片里的狗:2015年嚷嚷“區塊鏈”,2017年嚷嚷“智能合約”智能合約跟傳統合約的區別就在于,各種條件都由計算機代碼評估然后執行,代碼讓合約變成了“去信任”的狀態。所以劉英要是同意付給永強五百塊,讓永強三個月以后寄給她一個沙發,就有一套計算機代碼決定,這些條件是否為真。比如:劉英給永強付錢了嗎?時間到三個月了嗎?然后,代碼就會執行,也就是通過第三方保管人發出沙發;雙方都不能退出合約。智能合約的主要特征就是“去信任化的執行”。也就是說,我們不需要依賴第三方執行各種條件。智能合約不依賴另外一方兌現承諾。更糟的狀態,如果萬一出現異常,也不依賴律師和司法系統解決問題。智能合約只是會執行那些按照代碼應該及時而客觀出現的結果。智能合約相當傻

動態 | Chainlink發布“Mixicles”白皮書 旨在為DeFi智能合約提供隱私性:為智能合約提供防篡改I/O(輸入/輸出)服務的Chainlink最近發布了其“Mixicles”白皮書。Chainlink表示,Mixicles是嵌入了oracle的DeFi工具,可在區塊鏈上/外的數據之間進行調解,并包含了促進金融工具隱私的混合器。(AMBcrypto)[2019/9/5]

“智能”兩個字,似乎表示這些合約有一種內在的智慧;但合約實際上并沒有。所謂“智能”,意思就是不需要另一方的合作也能履行協議。假如租房的房客不交房租了,智能合約并不會把房客掃地出門,而是會把房門鎖上,使得房客進不來。智能合約有效的地方,在于嚴格執行事先約定好的結果,而不是合約本身有智慧。

叫嚷:把一切都編成智能合約!!!真正的智能合約,會考慮到一切“情有可原”的場合,審視合約的基本精神。即使在最混亂的情況下,也能讓裁定盡可能公平。換句話說,真正的智能合約,就好比一位十分優秀的法官。然而,我們現在說的“智能合約”其實一點也不智能。智能合約的基礎是規則,遵守規則一絲不茍,不考慮任何次要因素或者“法律的精神”。再換句話說,讓合約“去信任”,意味著我們決不能容忍一丁點歧義空間,于是引發了下一個問題。智能合約相當難

因為以太坊進行了很多中心化的推廣,所以人們就產生了一個誤解,以為只有以太坊才有智能合約。實際情況不是這樣。從2009年比特幣推出開始,就有了一套擴展性很強的智能合約語言,名叫Script語言。再追溯遠一點,早在1995年,比特幣推出之前,智能合約就已經存在了。比特幣的智能合約語言,跟以太坊的智能合約不同在于以太坊合約具有“圖靈完備”這一特性。以太坊的合約語言名叫Solidity.這種語言能夠實現更加復雜的合約,壞處是合約更復雜就會更難分析。

現場 | NEO創始人達鴻飛:建立成熟的開發語言有助于智能合約大規模應用:金色財經現場報道,3月13日香港TOKEN2049大會“打造智能合約平臺”主題圓桌討論上,NEO創始人達鴻飛表示,開發中安全性是最重要的,而開發軟件和平臺時要想要達到極致的安全性是非常昂貴的,不同的應用有不同的安全等級需求,經濟生態以及社區的建設能夠助力于此。對于開發者而言,建立成熟的智能合約開發語言能夠讓更多開發者能夠參與其中,推進智能合約的大規模應用。[2019/3/13]

準確說來,智能合約早在比特幣之前就存在了。我愛死這幅漫畫了!復雜性會產生一些重要的結果。復雜合約能夠適應更加復雜的情況,但要保證穩定卻十分困難。即使傳統合約也是越復雜就越難以強制執行,因為各種復雜因素會帶來更多不確定性,帶來更大的解讀空間。智能合約的“穩定”意味著管理合約所能執行的一切方式,確保合約做事符合制定者的預期。漫畫內容:眼鏡男:出于安全考慮,我們說,打算招個人負責……黑發男:等一下,這事兒不著急。咱們先把項目做起來,這個咱們以后再說。眼鏡男:哎,項目差不多弄完啦!咱們得做個安全審計,好讓……黑發男:不行啊!沒時間了!也沒錢搞!眼鏡男:網站都上線十天了,還沒做安全測試呢,我放心不下……黑發男:不用擔心,咱們回頭再說。后來……黑發男:崩了!咱們網站崩了!有人把咱們黑了!你干什么吃的?在“圖靈完備”環境下,執行變得非常困難,也難以分析。讓“圖靈完備”的智能合約保持穩定,就相當于證實某計算機程序沒有bug。我們都知道,這一點實在太難了,因為現實中的所有程序都有bug。考慮一下:寫出智能合約,需要多年的學習,還需要通過非常嚴苛的考試,才能有效制作合約。這是智能合約的基本要求。而目前寫合約的人卻有很多菜鳥,完全不知道智能合約需要多么穩定才算合格。比特幣對這個問題的解決方案,是干脆把“圖靈完備”的條件取消了。這就讓合約更容易分析了一些,讓程序可能出現的各種狀態,更容易列舉、檢驗了。以太坊的解決方案,則是讓智能合約的作者承擔責任。作者必須確保合約的執行一定符合預期。智能合約其實不是合約

富士通開發出檢測智能合約風險技術:富士通研究所以及中國富士通開發中心,已經實現了能夠檢測智能合約上的風險,并在源代碼上標示出來。本次技術的細目發表在了BSC(Blockchains and Smart Contracts Workshop)2018大會上,本次會議2月26日到28日在法國巴黎舉辦。[2018/3/7]

以太坊把確保智能合約穩定的責任留給了作者。這辦法在理論上不錯,而在實踐中卻會產生某些非常嚴重的結果,導致中心化。以太坊建立的基本理念是“代碼即規則”。也就是,以太坊的某個合約代表最高權限,誰也不能超越合約本身。這個理念是為了明確告知一切智能合約開發者,責任必須自負。一旦開發自己的智能合約搞砸了,某種方面可以說是自作自受。然而,“DAO攻擊事件”一出,這一制度就突然完結了。DAO英文全稱是DecentralizedAutonomousOrganization,意為“去中心化自治組織”,是一個在以太坊內部創造的基金會,目的在于向人們顯示這個平臺可以做出什么成就。用戶可以在DAO中存錢,因DAO作出的投資而得到回報。決定以“眾包”形式作出大眾網絡的做法),是去中心化的。DAO用以太幣的形式籌集了1.5億美元,當時以太幣的交易價格大約是20美元。這一切在理論上聽起來都很不錯,但現實中有一個問題:代碼的穩定性并不好,于是有人就發現了一個漏洞,能把DAO資金全部提光。這個提光DAO資金的人,很多人叫他“黑客”。的確,“黑客”發現了漏洞,從合約里拿錢,DAO的創始人沒有料到這種情況。從這個意義上說,叫他黑客是可以的。但是從更加廣泛的意義來說,他也并不是黑客,只是利用了智能合約原有的怪異之處為自己謀利而已,跟一個聰明的注冊會計師發現了稅收政策漏洞而為客戶省錢沒有什么區別。接著,以太坊決定,代碼不再是規則了,并且歸還了注入DAO的所有資金。換句話說,合約作者和投資者干了蠢事,以太坊開發者決定為他們兜底了。

報告表明 大約3.4%的以太坊智能合約易受攻擊:五位來自英國和新加坡的學生上周提交的一份正在進行同行評審的研究論文表明,包含價值4.4億美元ETH的以太坊智能合約目前面臨編碼不佳導致的風險,這些合約存在各種缺陷。報告的作者聲他們使用一種工具分析了近100萬份智能合約,其中34,200份被發現是易受攻擊的,其中2,365份來自不同的項目。這意味著大約3.4%的智能合約都有可能被黑客攻擊,破解或以其他方式被利用。[2018/2/24]

“我年輕的時候都把時間虛度過去了,現在我想申請政府救助。”這一事件的影響,已經有許多文章記載。出現了一個叫“以太坊經典”的新區塊鏈系統,用書面形式保存了DAO,也保留了“代碼即規則”制度。另外,開發者開始放棄使用以太坊的“圖靈完備”特征,因為現實證明這個特征太難以穩定了。目前,以太坊中最常用的智能合約模板是ERC20和ERC721,而且很重要的一點是,兩種模板都可以完全不符合“圖靈完備”就寫出合約。智能合約僅僅適用于“數字憑證資產”

即使沒有了“圖靈完備”,智能合約似乎也是個極好的主意。要是簡簡單單就能用“去信任”的方式拿到某種理應屬于自己的資產,又何必專門上法庭爭奪資產呢?用智能合約不是比用傳統合約容易多了嗎?比如,房地產應該從智能合約受益吧?劉英可以證明自己是房主,永強可以花錢買房。不必有所有權的爭議,可以讓機器用“去信任”的方式快速執行,也用不著法官了,也用不著官僚機構了,也用不著“產權保險”了。這該有多棒啊!現實中有兩個問題。第一個問題:智能合約只要由一個中心化的機構執行,就不是真正“去信任”的。我們依然必須信任這個中心化機構,才能執行。“去信任”是關鍵特征,所以中心化的執行其實是沒意義的。必須有一個真正去中心化的平臺,才能讓智能合約真正做到“去信任”。這就帶來了第二個問題:在去中心化的情況下,智能合約要發揮作用,還必須在數字版本和現實版本之間存在某種確定的聯系。也就是說,房屋的數字版本一旦發生所有權變更,房屋的現實版本就必須同樣發生所有權變更。數字世界必須“了解”現實世界,這就稱作“預言機問題”。劉英把房子過戶給永強的時候,智能合約需要知道劉英真正把房子轉讓給了永強。完成這個步驟有幾個不同的方法,但全都有同樣的基本漏洞:必須存在一個受人信任的第三方,去驗證現實世界發生的事件。

漫畫內容:黑人:松鼠宣布投資以后,市場上一直有不少動作……黑人:好多小公司一直都在用松果幣收購我們的股票。我們現在擁有的自己的股票連50%都不到了!黑人:等一下!!這些小公司的所有人都是松鼠,就是說……黑人與白人:我們讓松鼠買下了!松鼠:我這間新辦公室里應該有好多好多木鑲板!例如,以太坊中可以用一種“非同質代幣”代表這棟房子。劉英可以使用“原子化交易”把房子過戶給永強,拿到一定金額的以太幣。這就是問題所在!永強需要信任代幣,認為代幣確實可以代表房子;這就要求存在某種預言機,確保房子代幣一旦給了永強,永強就在現實中合法擁有了房子。而且,就算有一個政府權威出來保證說“這代幣確實代表房子”,那如果代幣讓人偷了該怎么辦呢?是不是說明這房子就歸小偷了?代幣丟了又該怎么辦?是不是說明這房子不能在市場上出售了?還能再發一份代幣嗎?能發的話,由誰來發呢?只要在一個去中心化的環境下,就存在非常棘手的問題——怎樣才能把一種數字資產跟一種現實資產聯系起來呢?現實資產由我們所在地區的司法機構管轄,這意味著,資產除了信任我們創建的智能合約,還必須信任某些別的東西。所以,智能合約之下的所有權,并不一定意味著現實世界中的所有權,而且智能合約跟現實合約一樣面臨同樣的信任問題。智能合約只要信任一個第三方,“去信任”這一主要優勢就沒了。哪怕數字資產也面臨同樣的問題。某人擁有這些數字資產的“權利”,最終還要讓某種其他的權威和預言機來決定,而人們必須信任這種權威和預言機。從這個角度看,預言機也就是“傻子版的法官”了。我們本來想讓計算機執行合約,讓強制執行的過程變得簡易,可是反而平添了更多的麻煩——必須考慮到主觀性和人類判斷的風險,把一切可能結果全都變成代碼。于是,讓合約“智能化”的結果,是讓合約的寫作更加復雜,與此同時還不得不依然信任別人。何苦呢?如果不用預言機,唯一能夠做出的成就也就是“數字承載設備”了。交易雙方不光必須是數字化的,而且必須是承載設備。就是說,代幣的所有權,絕對不能依賴智能合約平臺以外的什么東西。智能合約只有具備了數字承載設備,才能真正做到“去信任”。結論

我希望智能合約可以發揮比目前更大的作用。不幸的是,我們人類的傳統合約總是存在大量不言自明的隱含內容和先前的判例法,不需要明確表達;智能合約卻必須明確表達一切內容,所以二者是不通用的。而且我們還發現,應用“圖靈完備”原則很容易產生嚴重后果,導致各種各樣意料之外的行為。我們應該把現有的各個智能合約平臺貼上一個標簽“圖靈脆弱”而不是“圖靈完備”。DAO攻擊事件也證明,合約存在一種“核心精神”,是大家都遵守的不成文的規矩,能夠幫助解決爭端,而且力量比我們意識到的還要大。智能合約太容易出事故,太難以保持穩定,太不容易做到“去信任”,而且還必須依賴很多外在因素才能發揮作用。智能合約唯一增加“去信任”程度的地方,是那些具有數字承載設備的去中心化的平臺,例如比特幣。

Tags:以太坊DAO比特幣UTO怎么得到以太坊幣的錢EDAO幣買比特幣真的很賺錢嗎有沒有風險Simple Cool Automatic Money

比特幣最新價格
CEB:Facebook欲在熊市入場?傳正開發“最常用的加密產品”

“熊市”,可能是最近加密貨幣行業里提到最多的一個詞,隨著比特幣價格再次下跌,市場上的悲觀情緒也在不斷加劇.

1900/1/1 0:00:00
CAL:“門頭溝”破產五年,他信仰破滅,或面臨10年監禁

時隔5年,馬克.卡佩勒斯重新被人們提起,是日本檢察官對他提起10年監禁的公訴。人們也許不太認識馬克.卡佩勒斯,但都知道曾引起業內震動的“門頭溝事件”.

1900/1/1 0:00:00
APP:區塊鏈+游戲的現狀與夢想

作者:Crystal犇睿資本分析師 Part1 區塊鏈游戲現狀 1.現狀 目前,根據網絡上的資料整理,可以發現,區塊鏈的用戶數已經達到3000萬,用戶基數能給區塊鏈游戲帶來很大的流量.

1900/1/1 0:00:00
ITA:Vitalik Buterin:以太坊最初5年教會我的事

本文來自:橙皮書,作者:BrianPatrickEha,編譯:orangefans,星球日報經授權轉發.

1900/1/1 0:00:00
比特幣:加密貨幣交易指南:區塊鏈用語大全(二)

編者按:本文來自藍狐筆記,作者:SFOX,編譯:realthinkbit,星球日報經授權發布。前言:對于進入加密貨幣行業的投資者來說,這里有很多新的東西.

1900/1/1 0:00:00
BOOK:彭博社稱Facebook正在為WhatsApp用戶開發穩定幣,業內人士如何看 ?

據彭博社報道,知情人士稱,Facebook正在開發一種與美元掛鉤的穩定幣,可以讓用戶通過其旗下的即時通訊應用WhatsApp來轉賬,其將首先用于印度的匯款市場.

1900/1/1 0:00:00
ads