寫在前面:本文為以太坊聯合創始人VitalikButerin發布的硬核長文。文章中列出了他五年前認為加密貨幣應該解決的問題,并且給出了五年后的進展。這些問題主要被分為了密碼學問題、共識理論和經濟學這三個方面。最后,Vitalik還補充了一些我們今天需要關注的新問題,并且指出,基礎層的問題肯定會越來越少,而應用層的問題才剛剛開始。
以下為全文:
2014年,我發表了一篇文章和一次演講,列舉了數學、計算機科學和經濟學領域的難題,我認為這些問題對于加密貨幣領域的成熟是很重要的。在過去的五年里,情況發生了很大的變化。但我們當時認為重要的事情究竟取得了多大進展呢?我們在哪些方面成功了?在哪些方面失敗了?我們對于重要性的改觀在哪些方面有了變化?在這篇文章中,我將逐一討論2014年列出的16個問題,看看我們今天在每個問題上的進展如何。最后,我將列出我對2019年難題的新定義。
這些問題可分為三類:密碼學問題,因此如果可以解決的話,預計將純粹通過數學技術來解決;共識理論,主要是PoW和PoS的改進;經濟,面向不同的參與者創建涉及激勵機制的結構,而且通常涉及的應用層問題多過協議層。我們看到,在上述所有領域都取得了重大進展,盡管具體的成效參差不齊。
密碼學問題
1.區塊鏈可擴展性
當前加密貨幣領域面臨的最大問題之一是可擴展性……的主要擔憂是信任:如果只有少數實體能夠運行全節點,那么這些實體可以密謀,并同意給自己大量額外的比特幣,其他沒有處理整個區塊的用戶就沒有辦法查看區塊是否有效。
問題:創建一個區塊鏈設計來維護類似比特幣的安全保證,但是需要強大節點的存在來確保網絡運作能夠適應交易的數量。
現狀:較大的理論進展,需要更多現實世界評估。
可擴展性是一個技術問題,在理論上已經取得了巨大進展。五年前,幾乎沒有人考慮分片;現在,分片設計很常見。除了以太坊2.0之外,還有OmniLedger、LazyLedger、Zilliqa,幾乎每個月都會公布相關的研究論文。在我看來,這方面的進展是漸進式的。從根本上說,我們已經有了一些技術,與單個驗證者的環境相比,這些技術允許驗證者群體安全地在處理更多數據的同時達成共識,甚至允許客戶端在51%攻擊的條件下間接地驗證區塊的有效性和可用性。
這些可能是最重要的技術:
隨機抽樣,允許一個隨機選擇的委員會代替全驗證者集:https://github.com/ethereum/wiki/wiki/Sharding-FAQ#how-can-we-solve-the-single-shard-takeover-attack-in-an-uncoordinated-majority-model
欺詐證明,允許個人節點得知錯誤后,將其存在的信息廣播給其他人:https://bitcoin.stackexchange.com/questions/49647/what-is-a-fraud-proof
Skale Network發布Levitation Protocol:金色財經報道,Skale Network 發布了 Levitation Protocol,一個零知識 (ZK) Rollup,旨在為以太坊開發人員提供新的擴展解決方案。[2023/6/2 11:53:37]
托管證明,允許驗證者概率性地證明他們單獨下載并驗證了一些數據:https://ethresear.ch/t/1-bit-aggregation-friendly-custody-bonds/2236
數據可用性證明,當區塊頭不可用,允許客戶端檢測他們的區塊內容:https://arxiv.org/abs/1809.09044,參見更新的編碼Merkle樹提案。
還有其他更小的進展,如通過收款進行跨分片通信,以及“常數因子”增強,如BLS簽名聚合。
盡管如此,完全分片的區塊鏈仍然沒有在實際操作中出現。在理論方面,剩下的主要是關于細節的爭論,以及與分片網絡穩定性、開發者經驗和降低中心化風險相關的挑戰;對基本的技術可能性似乎不再有疑問。但是仍然存在的挑戰是不能僅僅通過思考就能解決的挑戰;只有開發出一個系統和見證以太坊2.0或一些類似的能夠運行的鏈才能證明這項技術真的可行。
2.時間戳
問題:創建一個分布式的激勵兼容系統,不管它是一個覆蓋在區塊鏈之上還是在自己的區塊鏈之上,它都能保持當前時間的高準確度。所有正當用戶的時間都是正態分布在某個“真實”時間,標準差為20秒……不允許兩個節點之間的間隔超過20秒。解決方案可以依賴于現有的“N個節點”概念;在實踐中,這將通過PoS或非女巫token來強制執行。系統應該持續提供一個時間,這個時間應該在內部時間的120秒內,大于99%的誠實節點的時間。外部系統可能最終依賴于此系統;因此,不管激勵機制如何,它都應該保持安全,防止攻擊者控制小于25%的節點。
現狀:有一些進展。
實際上,以太坊的出塊時間只有13秒,而且運作順利,沒有特別先進的時間戳技術;它使用了一種簡單的技術,在這種技術中,客戶端不接受時間戳早于客戶端本地時間的區塊。也就是說,這還沒有經過嚴重攻擊的考驗。最近的網絡調整時間戳提案試圖改善現狀,允許客戶端在不知道當前時間的情況下,在時間上達成一致;這還沒有經過測試。但總的來說,時間戳目前還不是研究挑戰的前沿;也許當PoS鏈真正上線之后,我們才能看到問題所在,這一點也將再次改變。
3.任意計算證明
問題:創建程序POC_PROVE(P,I)->(O,Q)和POC_VERIFY(POQ->{0,1},這樣POC_PROVE在輸入I時運行程序P并返回程序輸出O,計算證明Q和POC_VERIFY用P,O和Q和輸出是否Q和O是通過P用POC_PROVE算法產生的。
現狀:較大的理論和實際進展。
這基本上是說搭建一個SNARK的過程。我們已經做到了!SNARKs現在已經被越來越多的人理解,甚至已經被用于多個區塊鏈。作為一種隱私技術和擴容技術,SNARKs非常有用。
以太坊新聞周刊創始人:Vitalik 并未出售3000枚以太坊:11月15日消息,以太坊新聞周刊創始人Evan Van Ness發推稱,詢問Vitalik Buterin后得知,0xe692開頭的錢包地址非V神所有,所以這是假新聞。
此前消息,據慢霧監測顯示,以太坊創始人Vitalik Buterin地址(0xe692開頭)近日在Uniswap V3上分三筆將3000枚以太坊兌換為了400萬美元的USDC。[2022/11/15 13:06:16]
在效率方面仍然存在挑戰;創造算法友好的哈希函數是一個重要挑戰,而有效地證明隨機內存訪問是另一個。此外,還有一個未解決的問題,即在證明時間內O(n*log(n))的放大是否是一個基本的限制,或者是否有某種方法可以只使用線性開銷來做一個簡潔的證明,就像bulletproofs那樣。此外,現有方案存在缺陷的風險也一直存在。總的來說,問題在于細節,而不是基本原理。
4.代碼模糊化
關鍵在于創建一個模糊處理器O,這樣面對任何程序P,模糊處理器可以產生第二個程序O=Q,如果給出相同的輸入,P和Q可以返回相同的輸出。重要的是,無論如何Q不會公布任何有關P的內部構件信息。可以在Q內部隱藏一個密碼、一段加密的密鑰,或者可以簡單地使用Q隱藏算法本身的獨特工作。
現狀:進展緩慢。
簡單地說,我們想要一種“加密”程序的方法,以便加密后的程序仍然為相同的輸入提供相同的輸出,但是程序的“內部構件”將被隱藏。模糊化的一個典型用例是一個包含私鑰的程序,該程序只允許私鑰對某些消息進行簽名。
代碼模糊化的解決方案對區塊鏈協議非常有用。其應用是微妙的,因為必須處理這樣一種可能性,即一個鏈上模糊化的程序將在與這條鏈本身不同的環境中復制和運行,但是有許多可能性。對于我來說,我感興趣的是能夠在抗碰撞工具移除中心化操作符,用模糊化程序取而代之,其中包含了一些PoW,在嘗試確定各個參與者的行為時,使用不同的輸入進行多次運行的成本非常大。
不幸的是,這仍然是一個難題。解決這個問題的工作還在繼續進行中,一方面是進行結構方面的工作,試圖減少在實際情況中我們不知道的但卻存在的數學對象的假設數量(如一般密碼學多線性映射),另一方試圖對所需的數學對象進行實際部署。然而,所有這些途徑仍然離創造出一些可行的和安全的東西還很遙遠。請參見https://eprint.iacr.org/2019/463.pdf以獲得對該問題的更全面的描述。
5.哈希密碼學
問題:創建一個簽名算法不依賴于安全假設,但隨機預言機哈希屬性相對于傳統計算機保持160位的安全性具有最優的大小和其他屬性。
現狀:一些進展。
自2014年以來,在這方面有兩個進展。SPHINCS是一種“無狀態”簽名方案,它是在這個“難題”列表發布后不久發布的,并提供了一個大小約為41kB的純哈希簽名方案。另外,STARKs已經被開發出來,人們可以基于其創建類似大小的簽名。事實上,不僅簽名,通用的零知識證明都可以用哈希來實現,這是我在五年前絕對沒有想到的;我很高興見到這樣的情況。盡管如此,容量仍然是個問題,持續的進展正在繼續減少proof的大小。
加密交易所Gravity被迫暫停BSV交易:金色財經報道,以BSV為中心的加密貨幣交易所Gravity在推特上發布公告稱,流動性提供商剛剛通知該交易所,由于幾家大型交易所禁止BSV存款和取款,他們也暫停了對BSV流動性的訪問,直至另行通知。這意味著用戶目前無法在Gravity上交易BSV。據Gravity稱,用戶的資金不會受到流動性問題的影響。[2021/7/14 0:49:49]
基于哈希的密碼學主要尚未解決的問題是聚合簽名,類似于BLS聚合所實現的功能。眾所周知,我們可以對許多Lamport簽名進行STARK,但這樣做效率很低;一個更有效的方案將會受到歡迎。
共識理論問題
6.抗ASICPoW
解決這個問題的一種方法是創建一種PoW算法,該算法基于一種很難專用化的計算類型……更深入的抗ASIC硬件討論,看
這里。
現狀:已經盡力解決。
在這個“難題”列表發布的大約6個月后,以太坊確定了其抗ASIC的PoW算法:Ethash。Ethash是一種memory-hard算法。其原理是,普通計算機中的隨機訪問內存已經得到了很好的優化,因此很難針對專用的應用進行改進。Ethash的目標是讓內存訪問成為運行PoW計算的主要部分來實現抗ASIC。Ethash并不是第一個memory-hard算法,但它確實增加了一項創新:它在兩級DAG上使用偽隨機查找,允許兩種方法來評估函數。首先,如果你有整個DAG,你可以很快地計算它;這就是memory-hard的“快車道”。第二,如果只有DAG的最高級別,則可以更慢地計算它;這用于區塊驗證。
Ethash已被證明在抗ASIC方面非常成功;經過3年時間和數十億美元的區塊獎勵,ASIC確實存在,但它的功耗和成本效率最多是GPU的2-5倍。ProgPoW已經被提出作為一個替代方案,但是越來越多的人認為抗ASIC的算法將不可避免地有一個有限的壽命,并且抗ASIC存在缺陷,因為它讓51%攻擊更便宜。
我認為可以創建提供中等水平的抗ASICPoW算法,但這種抵抗力是有限的,ASIC和非ASIC的PoW都有缺點;從長期來看,對區塊鏈共識來說,更好的選擇是PoS。
7.有用的PoW
讓PoW在運作的同時變得有用;一個常見的備選方案是Folding@home,用戶可以下載這個軟件到電腦上模擬蛋白質折疊,為研究人員提供大量數據,幫助他們治療疾病。
現狀:可能不可行,但有一個例外。
有用的PoW的挑戰在于PoW算法需要很多屬性:
很難計算
很容易驗證
不依賴大量的外部數據
可以有效地小部分數據塊進行計算
不幸的是,沒有多少有用的計算能保留所有這些屬性,而大多數具有所有這些屬性且“有用”的計算只能在太短的時間內“有用”,無法基于此構建加密貨幣。
然而,有一個可能的例外:零知識證明生成。經過零知識證明的區塊鏈有效性各方面很難計算,而且容易驗證。此外,這種難以計算的特點可以持久;如果“高度結構化”計算的證明變得過于簡單,可以簡單地切換到驗證區塊鏈的整個狀態轉換,由于需要對虛擬機和隨機內存訪問建模,這將變得非常昂貴。
動態 | Stellar發布公告提醒用戶警惕欺詐性空投活動Stellar-Activity:Stellar官方Reddit發布公告,提醒用戶警惕欺詐性空投活動。最初是StellarShade然后變成Stellar Dolphin Fork,現在叫Stellar-Activity(XLA)。此類騙局使用相同的運作模板進行詐騙——先是在bitcointalk.org發帖稱將在某一特定日期進行大空投,然后開始發放贈品,推行營銷策略以在社交媒體上吸引不知情的粉絲來傳播這一消息,粉絲們在不知情的情況下間接地進行二次傳播,致使更多的人上當。騙子們聲稱將會以2:1的比例給你提供XLA(每持有1XLM就給予2XLA),然后誘使你在他們的賬戶查看器里輸入私鑰,之后盜取你所有的賬戶存款。[2018/12/2]
經過零知識證明的區塊鏈有效性為區塊鏈的用戶提供了巨大的價值,因為他們可以代替直接驗證鏈的需要;Coda已經在這么做了,盡管它使用了簡化的區塊鏈設計,并為可驗證性進行了大量優化。這樣的證明可以顯著地改進區塊鏈的安全性和可擴展性。也就是說,實際需要完成的總計算量仍然比PoW礦工當前完成的計算量少得多,所以這充其量只是一個附加的PoS區塊鏈,而不是一個全面的共識算法。
8.PoS
解決挖礦中心化問題的另一種方法是完全取消挖礦,轉而采用其他機制計算共識中每個節點的權重。到目前為止,討論中最受歡迎的替代方案是“PoS”——也就是說,不再將共識模型視為“一CPU一票”,而是“一幣一票”。
現狀:較大的理論進步,等待更多的現實評估。
2014年底,PoS社區清楚地意識到,某種形式的“弱主體性”是不可避免的。為了維護經濟安全,節點在第一次同步時需要獲得最新的檢查點額外協議,如果離線時間超過幾個月,則需要再次獲得。這是一顆難以下咽的藥丸;許多PoW的支持者仍然堅持使用PoW,因為在PoW鏈中,可以通過來自可信源的唯一數據發現這條鏈的“頭”。然而,由于附加的信任要求并不高,PoS的倡導者們愿意吞下這顆藥丸。從那里開始,通過長期安全存款來通往PoS的道路變得清晰起來。
今天大多數有趣的一致算法基本上與PBFT相似,但是將固定的驗證者集合換成了一個動態列表,任何人都可以通過將代幣發送到系統級的智能合約用時間鎖取款來加入該列表。在許多情況下,這些算法通過懲罰違反協議的驗證者來實現“經濟終結性”。
今天,我們有:
CasperFFG:https://arxiv.org/abs/1710.09437
Tendermint:https://tendermint.com/docs/spec/consensus/consensus.html
HotStuff:https://arxiv.org/abs/1803.05069
CasperCBC:https://vitalik.ca/general/2018/12/05/cbc_casper.html
有繼續進行的細化(例如
這里和
非營利組織“機器情報研究所”接受加密貨幣捐贈 收到Vitalik Buterin763,970美元的捐贈:非營利組織“機器情報研究所”(Machine Intelligence Research Institute)最近發布了一份籌款統計數據,顯示了對加密貨幣社區的大力支持。該機構是一家非盈利組織,負責調查與人類高級人工智能(AI)相關的安全問題。他們在2017年的年度募款活動籌集了250多萬美元,是125萬美元目標的兩倍多。非營利組織透露,在這次籌款活動中捐贈的資金有66%(大約166萬美元)是用加密貨幣(主要是比特幣和以太坊)進行的。事實上,最大的捐贈是在籌款活動結束的時候,從Vitalik Buterin那里獲得了價值763,970美元的捐贈。Vitalik的捐贈是迄今為止研究機構在所有籌款活動中所收到的第三大捐款。[2018/2/22]
這里)。將部署FFG的Eth2階段0目前正在實施中,已經取得了巨大進展。此外,Tendermint已經以Cosmos鏈的形式運行了幾個月。在我看來,關于PoS的剩余爭論與優化經濟激勵和進一步形成應對51%攻擊的戰略有關。此外,CasperCBC規范仍然可以使用具體的效率改進。
9.存儲證明
解決這個問題的第三種方法是使用計算能力或貨幣之外的稀有計算資源。在這方面,提出的兩個主要備選辦法是儲存和帶寬。原則上沒有辦法提供一個事后加密證明帶寬被使用,所以準確來說,帶寬證明應該是社會證明的一個子集,這一點會在后面提到,但存儲證明肯定可以做計算。存儲證明的一個優點是它是完全抗ASIC;我們在硬盤上的存儲方式已經接近最優。
現狀:有很多理論上的進步,盡管還有很多要做,還有更多的現實評估。
有一些區塊鏈計劃使用存儲證明協議,包括Chia和Filecoin。也就是說,這些算法還沒有在現實環境中測試過。我自己主要擔心的是中心化:這些算法實際上是由使用備用存儲容量的小用戶主導,還是由大型礦場主導?
經濟學
10.穩定價值加密資產
比特幣的主要問題之一是價格波動……問題:構造一個價格穩定的加密資產。
現狀:一些進展。
MakerDAO上線了,并且已經穩定了近兩年。其基礎擔保資產的價值下降了93%,但它依然活了下來,現在發行的DAI超過1億美元。它已經成為以太坊生態系統的支柱,許多以太坊項目已經或正在部署這一項目。其他的合成代幣項目,如UMA,也在迅速發展。
然而,盡管MakerDAO體系在2019年經受住了嚴峻的經濟形勢,但這些情況絕不是最嚴峻的。過去,比特幣曾在兩天內下跌了75%;同樣的情況也可能發生在以太坊或其他任何抵押資產上。對底層區塊鏈的攻擊是一種更大的未經測試的風險,尤其是在價格同時下跌的情況下。另一個主要的、可以說是更大的挑戰是,MakerDAO這樣的系統的穩定性依賴于一些底層的預言機方案。針對預言機系統的不同嘗試確實存在,但是在經濟壓力巨大的情況下,它們能堅持多久,目前還沒有定論。到目前為止,MakerDAO控制的抵押品一直低于MKR代幣的價值;如果這種關系逆轉,MKR持有者可能會有動機去“掠奪”MakerDAO系統。有很多方法可以防止這種攻擊,但是在現實生活中還沒有經過測試。
11.去中心化公共產品激勵
一般來說,經濟體系面臨的挑戰之一是“公共產品”問題。例如,假設有一個科學研究項目將花費100萬美元來完成,并且眾所周知,如果它完成了,將為100萬人每人節省5美元。總的來說,社會效益是明顯的……從個人的角度來看,做出貢獻是沒有意義的……到目前為止,公共產品的大多數問題都涉及到中心化的附加假設和要求:存在一個完全可靠的預言機來確定某個公共產品任務是否已經完成。
現狀:一些進展。
為公共產品提供資金一般可以理解為分成兩個問題:資金問題和偏好加總問題。這個問題特別關注于前者,假設后者已經解決。
總的來說,這里沒有重大的新突破。有兩大類解決方案。首先,我們可以嘗試激發個人的貢獻,給予人們相應的社會回報。我自己提出的通過邊際價格歧視進行慈善的建議就是一個例子;另一個是Peepeth上的抗瘧疾捐贈徽章。其次,我們可以從具有網絡效應的應用中籌集資金。在區塊鏈領域有幾種選擇:
發行幣
收取協議級別的部分交易費用
從某些第二層應用收取部分交易費用
收取其他費用的一部分
在區塊鏈領域之外,這只是一個古老的問題:涉及到如果你是政府,如何收稅?如果你是企業或其他組織,如何收費?
12.名譽系統
問題:設計一個正式的名譽系統,包括一個分數rep(A,B)->V,V是從A的角度來看B的名譽,這個機制可以確定一方被信任的可能性,并根據特殊的公開或最終交互記錄來更新名譽。
現狀:進展緩慢。
自2014年以來,關于名譽系統的研究并不多。也許最好的方法是使用token管理的注冊中心來創建可信任實體或對象的管理列表;KlerosERC20TCR就是一個例子,甚至還有一個Uniswap的替代接口,它使用前者作為后端來獲取token、股票代碼和logo的列表。主觀類型的名譽系統還沒有真正被嘗試過,也許是因為沒有足夠關于人與人之間的聯系的“社交圖譜”,這些信息已經以某種形式被發表了。如果這些信息因為其他原因而開始存在,那么主觀名譽系統可能會變得更受歡迎。
13.優秀證明
這是一個有趣的,但很大程度上未被探索的,解決分配問題的特別方法是使用對社會有用但需要原始人類驅動的創造性努力和才能的任務。例如,可以提出一種“證明的證明”貨幣,獎勵參與者提出某些定理的數學證明。
現狀:沒有進展,這個問題被遺忘了。
代幣分發的主要替代方法是空投;通常,一種代幣在啟動時就會按比例分配給其他代幣的現有持有量,或者基于其他指標。直接驗證人類的創造力還沒有真正嘗試過,而且隨著人工智能最近的進展,創造一個只有人類可以做但計算機可以驗證的任務的問題可能太困難了。
14.去中心化貢獻指標
不幸的是,激勵公共產品的生產并不是中心化解決的唯一問題。另一個問題是決定,首先,哪些公共產品值得生產,其次,確定一個特定的成就實際上在多大程度上完成了公共產品的生產。這一挑戰涉及后一個問題。
現狀:有些進步,有些改變。
最近關于確定公共產品貢獻價值的研究沒有試圖將確定任務和確定完成質量分開;原因是在實踐中這兩者很難分開。特定團隊所做的工作往往是不可替代的,并且是非常主觀的,因此最合理的方法是將任務的相關性和性能的質量打包來看待,并使用相同的技術來評估兩者。
幸運的是,在這方面已經取得了很大的進展,特別是二次融資的發現。二次融資是一種機制,在這種機制下,個人可以向項目捐款,然后根據捐款的人數和捐款的數額,用一個公式計算出,如果他們互相配合得很好,他們本應該捐多少錢。我們捐贈的金額與實際捐贈的金額之間的差額將作為某個中央資金池的補貼提供給該項目。請注意,這種機制側重于滿足某個社區的價值,而不是滿足某個既定的目標,不管是否有人關心它。由于價值問題的復雜性,這種方法可能對未知的未知更健全。
二次融資在現實生活中也有過嘗試,在最近的gitcoin二次融資中取得了相當大的成功。在改善二次融資和類似機制方面也取得了一些進展;特別是,成對有界二次融資,以防止勾結行為。也有規范和實施抗賄賂投票技術的工作,防止用戶向第三方證明他們投了誰的票;這可以防止各種勾結和賄賂攻擊。
15.反女巫攻擊系統
與名譽系統問題相關的一個問題是創建“唯一身份系統”的挑戰——生成token的系統,以證明某個身份不是女巫攻擊的一部分……然而,我們希望有一個比“一美元一票”更好、更平等的制度;可以說,一人一票是最理想的。
現狀:一些進展。
人們曾多次嘗試解決這個唯一人類問題。想到的嘗試包括(不完整的列表!):
HumanityDAO:https://www.humanitydao.org/
Pseudonymparties:https://bford.info/pub/net/sybil.pdf
POAP("proofofattendanceprotocol"):https://www.poap.xyz/
BrightID:https://www.brightid.org/
隨著人們對二次投票和二次融資等技術越來越感興趣,對反女巫攻擊系統的需求也在不斷增長。希望這些技術和新技術的不斷發展能夠滿足這一要求。
16.去中心化成功指標
問題:提出并實現一個去中心化的方法來量化真實世界的變量…該系統應該能夠衡量任何人類目前能夠達成大致共識的事情。
現狀:一些進展。
這現在通常被稱為“預言機問題”。已知的最大的去中心化預言機運行實例是Augur,它已經處理了數百萬美元的下注結果。Token管理的注冊中心是另一個例子。然而,由于高度爭議性的問題或者由于51%攻擊嘗試,這些系統仍然沒有開始實際測試。也有以“對等點預測”文獻的形式研究發生在區塊鏈領域之外的預言機問題;在這里可以看到該領域的最新進展。
另一個迫在眉睫的挑戰是,人們希望依靠這些系統來引導資產數量的轉移,而這些資產的轉移規模要大于系統的本地token的經濟價值。在這種情況下,代幣持有者在理論上有串通一氣給出錯誤答案以竊取資金的動機。在這種情況下,系統將分叉,原始的系統token可能變得毫無價值,但是原始的系統token持有者仍然可以從他們錯誤引導的任何資產轉移中獲得回報。穩定幣就是一個特別的例子。有一種解決方法這將是這樣一個系統——假定無私的誠實數據提供者確實存在,并創建一個機制來識別它們,如果有人開始惡意投票,依賴于預言機的用戶可以先完成有序退出。無論如何,預言機技術的進一步發展是一個非常重要的問題。
新問題
如果要我在2019年再寫一遍難題清單,有些會是上述問題的延續,但關鍵點會有重大變化,也會有重大的新問題。以下是一些選擇:
密碼模糊化:見第4點
正在進行的后量子密碼學的工作:基于哈希和基于后量子安全的“結構化”數學對象,例如橢圓曲線同源、控制曲線……
反勾結基礎設施:正在進行的工作和細化的內容在這里,包括增加對運作者的隱私,以最實用的方式增加多方計算等等
預言機:和上面的第16點一樣,但是去掉了對“成功指標”的強調,而把重點放在“獲取真實世界的數據”這個問題上
唯一身份:見15個點,但重點是一個“絕對”的解決方案:更難得到兩個身份,但同時獲得多重身份既是不可能的也是有害的
同態加密和多方計算:為了實用性,還需要不斷改進
去中心化的治理機制:DAO很酷,但是當前的DAO仍然非常原始;我們可以做得更好
對PoS51%攻擊的正式回應:正在進行的工作和細化的內容在這里
更多的公共產品資金來源:理想的做法是對具有網絡效應的系統內部的擁擠資源收費,但在去中心化的系統中,這樣做需要公共合理性;因此,這是一個社會問題,同時也是尋找可能來源的技術問題
名譽系統:見第12條
總之,基礎層問題雖然緩慢但肯定會減少,但應用層問題才剛剛開始。
原文作者:RobertStevens 譯者:Azuma 出品?:Odaily星球日報美國證券交易委員會已向多家加密貨幣公司提起訴訟,指控這些公司涉嫌發行未經注冊的證券.
1900/1/1 0:00:00文|新加坡國立大學客座教授與李白金融學院院長白士泮轉自:新加坡主流華文報章--聯合早報新加坡金融管理局對金融業傾向于平衡與原則監管,創造了一個開放、包容、穩定的金融環境.
1900/1/1 0:00:0011月23日,幣信五周年比特幣硬核粉絲晚宴在北京舉行。本次大會的第二個圓桌,FBG創始人周碩基、PrimitiveVentures創始合伙人DoveyWan、BlockVC創始合伙人徐英凱、幣圈.
1900/1/1 0:00:00來源:公眾號?加密谷Live原標題:《Web3系列|FabricVentures:“價值互聯網”量化指標的完整概述》導讀:在研究了7家風投基金之后,我們深信,在評估一家公司的業績時.
1900/1/1 0:00:00原文:上證報 記者22日從接近國家互聯網金融風險專項整治小組辦公室人士處獲悉,區塊鏈不等于虛擬貨幣,監管部門對于虛擬貨幣炒作和虛擬貨幣交易場所的打擊態度沒有絲毫改變.
1900/1/1 0:00:00在行情一片慘淡之際,嘉楠科技上市成為少有的利好消息。本次上市,嘉楠確定股票代碼為“CAN”,發行1000萬股ADS,每股定價9美元,募資金額9000萬美元.
1900/1/1 0:00:00