比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads
首頁 > MANA > Info

一種基于DAG的加密貨幣框架_DAG

Author:

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

編者按:本文來自藍狐筆記,是ChristopherCarr在阿姆斯特丹舉行的"MasterWorkshop:Layer1solutions"研討會上的演講,由JamesOvenden筆錄整理,并由公眾號“藍狐筆記”社群“鑫鑫”翻譯,Odaily星球日報授權轉載。什么是DAG?我的演講將包含以下內容。首先會介紹什么是DAG以及我們為什么要使用它們?然后我會談到Graphchain框架,這是我們剛剛實現的一個基于STAG的框架。我們把它命名為Graphchain。接著我們會討論設計選擇和主要挑戰,最后給出結論。如果你對它的來源感興趣,最初我和XavierBoyen、ThomasHaines一起在2016年寫了這篇論文——Graphchain:一種無區塊鏈的可擴展去中心化賬本。我們把它放到了ePrint上,在ERIMNews上可能有一個更可讀的版本。這篇論文在其他地方也有發表,但這兩個地方可能最容易找到。什么是DAG?

首先,DAG是什么含義?它指的是有向無環圖。這是圖論中的一個數學術語,通常包含由頂點和邊組成的集合。邊就是有序的頂點對,在有向圖中通常用箭頭表示。如果不能從一個頂點出發,沿著箭頭返回一個頂點,那么圖就是無環的。你也許意識到這不完全是一個數學術語。下圖是一個DAG的例子。箭頭表示邊,橙色的方框表示頂點。你可以通過檢查發現圖中沒有環。你不能從其中一個橙色方框出發,沿著箭頭返回一個橙色方框。這就是一個DAG。你也可以給這些DAG加上標記。如果這樣做,你將得到一個所謂的偏序集。在我們所做的工作中,談及了很多關于偏序集。這里的思想是,如果你定義箭頭指向一個比出發點更高的頂點從而得到一個偏序,那么你會很容易發現k是所有字母中最高的那一個。你也可以很快發現對于f和h,它們之間沒有排序。我們所知道的就是f和h都高于d并且都低于i。因此,它是一個偏序,不像我們所熟悉的另一種DAG,即區塊鏈,它是完全有序的。實際上,如果你開始思考如何處理這些孤塊,以及會有多少孤塊,你會發現這真的很有意思。我沒有時間深入這個話題,但它真的很有意思,相信我。你會得到分叉,但是區塊鏈本質上也是DAG,只是他們受到的限制更多。你無法擁有所有這些額外的偏序。為什么我們需要DAG?

前美國SEC官員:此前曾告知XRP是一種未注冊證券:前美國SEC高級官員William Hinman表示曾告訴Ripple,該公司必須停止出售XRP,因為他認為這種加密貨幣是一種未注冊的證券。Hinman在證詞中稱,他曾警告Ripple必須停止出售XRP以遵守法規。他表示:“坦白說,我記得最清楚的一次(Ripple相關方問詢與XRP合規相關問題)可能是一個此前與我位于同一職位的前官員以及執法律師來的那次。他們感興趣的是有沒有一種方法來重組我們正在做的事情,使其(XRP)符合證券法,我對他們說的第一件事是,你們繼續提供XRP,卻未遵守本應遵守的證券發行法規。如果你們想要合規,就必須停止這樣做。

據悉,Hinman備受爭議的證詞是在7月27日做出的,當時法院出于對此案涉及巨大公眾利益的考慮,批準其進行作證。現在,Hinman的一部分證詞已經公開。

此前消息,美國地方法院法官Sarah Netburn駁回了SEC要求撤銷前SEC官員William Hinman證詞的動議。他曾在2018年表示,以太坊不是一種證券。(U.Today)[2021/8/18 22:21:28]

我們想要解決什么?這里我們試圖解決的主要問題是去中心化和擴展性。區塊鏈技術存在很多問題。這可能是最常被談論的兩個問題——還有一些其他問題,但我最感興趣的兩個問題是去中心化問題,這實際上歸結為安全問題,以及可擴展性問題,這和可用性相關。擴展性問題仍然存在。這些問題是從哪里來的?這些問題似乎源于交易塊的使用?可能是這樣的。我們整個項目的目標是:能否創建一個系統,讓個體的努力得到回報?主要的問題,可能你已經意識到了,是礦池造成了一些問題。它們造成問題的原因是實際上它們的權力有點太大了——有些人認為它們權力過大。我傾向于這樣理解。這不一定是壞事,有很多支持和反對它們的論據,我真的不想卷入這個話題,但是如果我們不需要它們不是更好嗎?我們能否消除加入礦池的動機?這是其中一個問題。此外,這么做的同時,是否也可以允許更快的交易處理。如果我們可以廣播附加了工作量證明的交易,整理這些交易并用它們構建一個圖,會怎么樣呢?那么,我們還需要區塊嗎?至少,這是基于DAG的思想。為什么這很重要?因為51%的誠實用戶就足夠了?不!這些我們早就知道了。那么,什么是去中心化呢?這是一個更加棘手的問題。它跟分布式設計的概念有點混淆,所以你可能會問去中心化究竟是什么含義。實際上我認為這個問題很難回答。有很多人思考過去中心化的真正含義,特別是在加密貨幣方面。大致上,我們希望全世界有許多運行相同系統的獨立機器。如果有的話,就可以保證所有機器在計算上是等價的。就像我說的,這不是什么新鮮事物,人們已經談論了一陣子了。我們在談的這些是什么?我們在談論礦池和礦場。在"全世界運行相同系統的獨立機器"上——實際上機器在運行一個礦池系統。并且,從計算上等價的機器的角度來說,我們有礦場。因此,本質上我們擁有一臺能力非常強的機器。第二個問題我不認為是DAG必須處理的問題。這取決于功能。不過,可擴展性也是一個主要問題。當我們談論區塊鏈時,為什么需要關心可擴展性?因為區塊鏈是區塊的線性集合,其中一筆交易引用下一筆交易。問題是,無論處理哪種類型的區塊鏈,區塊都包含一定數量的交易。有某個特定的時間段內可以接收交易。正如我們剛才所聽到的,我們知道以太坊的限制,也知道比特幣的限制。問題的一部分是因為我們有區塊,并且將它們和如此多的交易綁定在一起,所以我們可能會有兩個不同的區塊,其中一個包含交易T1到Tn,另一個包含交易T1到Tn'。我們不知道它們是否相同——也許它們包含相同的交易列表,也許不是。使用區塊鏈,如果發生了分裂,我們就必須從中選擇一條。這是一種分叉,對吧。因此,我們現在在等著看哪一條會被擴展,然后才能確定我們知曉哪些交易。如果我在T'中有一些交易,現在我將不得不等它們稍后在某個地方被包含進去。我們不能依賴所包含的交易。當然,這只是通常情況。可以想象一下,由于一些反常的事件,你同時生產了大量的區塊。使用區塊鏈+,即以太坊和ghost協議的內容,你就擁有了可以被包含的叔塊。這真是一個非常聰明的主意,但不會包含里面的交易。因此,你仍然可以獎勵某人的努力,這是關于創建這個額外區塊的一個非常明智的想法,因為人們應該因他們的努力而獲得獎勵。本質上,整個想法是:我們是否也可以擁有這樣的系統,你可以在其中創建一個新的區塊,同時包含來自T和T'的交易,也就是這些交易的合集?這本質上就是Graphchain。我們擁有的東西是:如果沒有區塊會怎么樣?交易只引用之前的交易,隨便多少都可以。要發送交易,只需要簡單地收集你認可的交易并引用它們,并在交易中附上一些工作量證明。這是如何工作的?

Silver Lake Partners聯合創始人:比特幣可能是一種價值儲存手段:私募股權公司Silver Lake Partners聯合創始人Glenn Hutchins表示,加密貨幣需要向消費者展示一個用例,比特幣可能是一種價值儲存手段。(金十)[2021/2/25 17:53:20]

我們可以定義一種抽象的工作量證明函數。這是一個相當抽象的想法,但在實踐中通過哈希函數很容易實現。假定工作量證明函數S包含問題a和它的一個解b。如果b是a的解的話,我們就說S(a,b)為真。以區塊鏈為例,解可能是一個nonce,你的a是指交易集合以及和之前區塊之間的鏈接和所有其他數據。我們想對工作量進行量化,從而我們可以說這個工作量證明函數的工作量=d。我們可以做到這一點,大多數時候都可以做到。如果你能部分地反轉一個哈希函數,你可以說它一定花費了這么多的計算量,或者我們期望它花費了這么多的計算量。因此,我們能夠做到這一點,而且這已經發生了,因為礦池本質上是在做同樣的事情。如果你為一個礦池工作,你不是先解出這個區塊,然后把它交給他們,而是通過向他們展示你已經解決了一個更小范圍的問題來證明你是在為他們工作。所以,如果是在比特幣中,你可能想要找到低于某個閾值的數值。你向他們展示你已經找到了低于更高閾值的解——但至少它表明你正在為他們工作。本質上,我們可以使用同樣的方法。其目的是量化為解決某個問題所做的工作。抽象函數可以是任何我們可以量化的尋找問題解的難度。我們甚至不需要哈希函數,你可以想象用其他方法來實現這一點。我們再一次試圖把它作為一個框架來設想。我們可以廣播包含相關工作量的交易。這樣做的目的是我們可以說:這里有一個區塊,它的工作量為8。因此,你再次拿走DAG,然后你可以想象一些數字,你可以說:好了,現在我們有了所有這些數字,這意味著什么呢?好問題。我們要做的是定義權重和高度這兩個概念。這跟區塊鏈非常相似,因為你有累積的工作量。一旦我們用工作量對圖進行了標記,就可以用其他值來標記它了。例如,對于權重,我們把這種累積工作量和交易及其所有后代相關聯。高度是和交易及其所有祖先相關聯的累積工作量。例如,你會發現,權重本質上就是把每一筆交易中的工作量證明的值相加。所以,我們可以說,交易的權重是61。為什么這么說?因為它讓我們慢慢地建立起關于該交易在系統中的嵌套程度的概念。對于高度,你擁有了一個計算所有子交易的系統。有趣的是,交易本身也計算在內。所以,對于第二個交易,我們可以說它的高度為80。本質上,這只是兩個例子,但我們想說的是,我們可以建立一個概念,即一個交易在圖中的高度是基于它所包含的工作量證明的。在基于DAG的系統中還需要做一件事。我們需要開始去除進一步下降的交易。我們必須這么做的原因是,如果給你一個新的圖,因而你最近沒有看到任何交易,并且你必須即刻計算出它們有多高,那么隨著系統中交易數量的增加,它會很快變得非常消耗算力。你必須限制這一點,并最終開始擺脫進一步后退的交易。這是一件單獨的事情。這種基于DAG的設計增加了復雜性,這非常棘手。本質上,我們這么做的目的就是為了獲得這種收斂性。如果交易可以引用任何其他先前的交易,那么通過什么來阻止用戶在非常老的節點上創建新交易呢?你需要提供激勵。這也是框架的一部分。我們需要激勵,希望用戶從圖的頂部構建新交易,所以獎勵和高度的某種函數相關聯。因此,為了簡單起見,我只寫了這些。然而,這并沒有那么簡單。比如說,如果這個函數是一個反函數,那么它將無法正常工作。但是你的確需要高度的某種函數來創造這種從前面開始工作的激勵。這樣做的關鍵是我們能夠執行交易,并鼓勵人們在交易的最前面開始工作。我們沒有具體說明這一點,因為我們在嘗試開發一個框架。收斂的關鍵在于你最終得到了一個基本上位于列表頂部的綠色交易。它是收斂的交易,并且它下面的每個交易都是其祖先的一部分。而且,根據這個函數,每個人都想構建這個新的綠色交易——如果你想要構建一個新的交易,你將會引用這個頂部交易。就是這個思想。不過,我們還要擔心其他問題。我們得擔心一些類似于雙花的問題。讓我們考慮一個雙花的場景。你有一個這樣的交易圖,突然這兩個紅色的交易在雙花某筆錢。好,那你怎么克服這個問題呢?比較一下這些交易。最終你必須比較這些并決定你想要繼續使用哪一個。想象一下你有一個積極的對手的情況。我們可以將系統中的分裂概括為:如果對手實質上想要永久保持系統的分裂,會怎么樣?基本上,你可以將其一般化為兩個不能作為基礎的圖,因為你不能引用兩個沖突的交易。他們是否需要雙花并確保系統永不收斂?對手現在的形勢是他們必須基于這兩個交易中的一個進行構建。他們還必須趕超網絡中的其他節點,后者正試圖在其中一個交易上進行構建。因此,設想一種情況,即誠實的節點,或者更確切地說,激勵上兼容的節點首先創建了一個高度足夠高的交易,就好像“這是新的真實的圖”,然后對手必須在另一條鏈上創建一個新的交易。我們可以給它分配一些概率。然后這種情況不斷地發生,以此類推,你最終會得到這樣的概率。你可以看到它很快變得非常小。但這只在對手沒有過半數算力的情況下才有效。這是它的論據之一。只是為了給你們一點Graphchain的概述:你按照自己的節奏創建交易,你會因個人努力而獲得回報。受激勵影響你更傾向于在頂部創建交易,并且我們允許多筆交易獲得收斂性。工作量證明建立在更接近于實時的基礎上,所以希望你擁有這些由個人創建的小得多的交易,并且工作量證明是由交易的個體建立的。最后,框架對于工作量證明函數,或者甚至在某種程度上對于獎勵函數都是不可知的。和現存DAG系統之間的差異

聲音 | Ikigai基金創始人:比特幣是一種非主權的、有上限的價值儲存手段:金色財經報道,Ikigai基金創始人Travis Kling發推稱,明天,美聯儲將:-永久購買20億美元的美國國債;-隔夜購買至多1200億美元的美國國債和MBS;-連續第三次下調聯邦基金利率25個基點;比特幣是一種非主權的、有上限的、全球性的、不可變的、去中心化的、數字化的價值儲存手段。[2019/10/30]

所以,你可能聽說過其他的DAG系統。IOTA可能是最著名的,有一段時間它的市值很高。主要的區別是,它實際上沒有任何激勵措施——有一種挖礦方式,但實際上沒有激勵措施。他們目前正在使用協調員。但它們在框圖和內容方面非常相似,它們的網站使用的框圖跟我剛才展示的圖很類似。你可以去查一下,其實挺有意思的。其他的一些實現:Byteball——它們看起來有點類似,但在可信見證人這一點上有區別。Nano采用分布式權益證明協議,通過投票消除沖突。這兩個系統都很酷,我建議你去研究研究。它們顯然各有利弊。我們的框架試圖變得更加不可知,更加去中心化。結論

我不僅從事學術研究——我們有這篇論文——我也在挪威的NTNU全職開發這個框架并使之成為一種有效的加密貨幣。我大概六個月前在挪威國家電視臺上做了一次演講,之后我和這些TTO的人員進行了交談,現在我正在努力將其發展成一種有效的加密貨幣——為了好玩,結果發現真的很難。但我們還處于項目的初級階段。我們最近剛剛融了一些資金,正在招聘開發人員。總之,我們正在努力保持甚至擴展去中心化加密貨幣的思想,我們也希望有一個可擴展的系統。這是我們擁有的最重要的東西。也許在實用中可擴展性會受到某種程度的限制——但它很可能對很多用戶都有吸引力。感謝你們的傾聽。問答

動態 | FATF將穩定幣明確定性為洗錢方面的一種“全球性的風險”:據FATF官方消息,就在剛剛,反洗錢金融行動特別工作組(FATF)專門聲援了國際清算銀行(BIS),用“全會報告”中的專題形式將穩定幣明確定性為洗錢方面的一種“全球性的風險”。

FATF“全會報告”是 FATF 主要成員展示接下來工作重點的文件。FATF 目前主席國是中國。其中專題如果將某種新型支付工具定義為“重大風險”,那么接下來在一年會出現為這種工具量身定做的《基于風險的風控指引》(Risk-Based Guidance)。

分析人士指出,這個輪回在 2015 年對“虛擬貨幣”整體發生過。目測會在 2020 年會對穩定幣發生。專題《風控指引》一旦發出,所有 FATF 成員國將必須提出相應舉措,實施指引。因此,目前形態的法幣綁定穩定幣 (Fiat-Backed Stablecoins)很可能在 1 年受到監管的強烈沖擊。分析人士進一步指出,進一步發展不太明朗,有幾種可能。例如,可能穩定幣只能留下**不**合規的,因為目前合規接受主要國家監管的穩定幣的基本形態可能都不會被允許存在。另外,真正去中心化的(例如基于合約和自動買賣機器人 autonomous agents) 的穩定幣可能會得到切實的發展。[2019/10/19]

您能翻回到有平衡攻擊的那頁幻燈片嗎?您在哪里展示了對手的概率?我想這里沒有提到,您是假設誠實節點將會在某條鏈上進行構建,但實際上,誠實節點不知道哪一條是正確的。你說得對,但事實是,對手必須同時在兩條鏈上構建。如果對手知道誠實節點正在哪一條鏈上構建,它就可以在另一條上構建。但事實并非如此,所以對手必須同時在兩條鏈上構建,因而也必須拆分它的算力。這就是它的工作原理。實際上我在這里漏掉了一個術語——通常情況下,誠實的參與者們有可能會同時創建一條鏈。我有意這樣做是因為我以為沒人會注意到。不過,最主要的一點是,對手必須將其算力拆分以便同時擴展兩條鏈,因為它也不知道理性的參與者將會首先擴展哪條鏈。但是,您仍然希望并行出塊,因為這就是可擴展性的關鍵所在?然后在一條鏈上有誠實的區塊,在另一個鏈上也有誠實的區塊,它們的出塊速率大致相同。只需要一點點哈希率來平衡兩者。我認為它們的速率大致相同,如果它們沒有在這個術語所指的重要的點上往前推進的話。它仍然會很快變得非常小。顯然,這取決于對手的算力。

現場 | 日本互聯網之父:區塊鏈是一種非常安全的科技:金色財經現場報道,10月2日,N.avenue株式會社在東京舉辦日本區塊鏈大會b.tokyo,在本次大會上,日本互聯網之父慶應大學教授村井純進行了“從互聯網信息革命到區塊鏈價值革命的新時代”的主題演講。他表示:區塊鏈是一種非常安全的科技,可以覆蓋全球網絡社會,同時經濟金融領域也可以利用這些網絡技術進行金融科技搭建。金融科技可以來連接每個國家,使行業產生新的變化。未來社會在考慮方向的時候,將區塊鏈作為基礎,是一個非常好的課題。[2019/10/2]

Tags:DAG區塊鏈FAT穩定幣DAGO價格區塊鏈專業好不好就業FATHER香港穩定幣HKDT

MANA
阿富汗貨幣販子手里的兌換券,就是開啟賽博朋克大門的鑰匙_比特幣

編者按:本文來自橙皮書,作者李畫,Odaily星球日報經授權轉載。在貨幣崩塌下的伊朗,在戰火紛飛中的阿富汗,人們最重要的事情之一是找到方法來保護自己的財產。現在,他們多了一種選擇.

1900/1/1 0:00:00
幣安鏈和 Facebook 其實一樣,他們共同挑戰的是智能合約協議_ACE

Odaily星球日報譯者丨Moni4月18日,幣安鏈上線了,第二天它的原生代幣BNB就創下了歷史最高交易價格.

1900/1/1 0:00:00
全球區塊鏈第20周看點 | BTC突破年內新高,大盤普漲,牛市已來?_區塊鏈

TokenInsight整理了5月11日-5月18日,區塊鏈行業在監管、交易所、ETF、行業應用、錢包方面發生的大事件,并對此進行了點評.

1900/1/1 0:00:00
香港理工大學電子計算學系系主任、IEEE Fellow曹建農:用區塊鏈輔助數據共享需重視四大挑戰 | 鏈上數博_WEB3

5月27日,由2019中國國際大數據產業博覽會組委會主辦、中央廣播電視總臺央視財經頻道聯合主辦、中國信息通信研究院承辦、泰爾英福協辦、Odaily星球日報獨家媒體報道的“區塊鏈板塊高端對話——數.

1900/1/1 0:00:00
2019區塊鏈應用標桿企業中國行「 杭州站 」_區塊鏈

活動背景 2016年以來,區塊鏈在物流供應鏈行業應用蓬勃發展,在金融、溯源、存證、征信、電子化、聯盟化等領域都相繼推出基于區塊鏈技術的產品并落地應用.

1900/1/1 0:00:00
一文看懂幣安最新IEO項目「Harmony」_HARM

Odaily星球日報出品作者|遂心編輯|盧曉明幣安宣布下一個Launchpad上線項目為Harmony,將于5月15日宣布代幣銷售細節和更新的搖號抽簽安排.

1900/1/1 0:00:00
ads