❶ 深大面見V神:親自解說以太坊的新發展
V神在深大面見活動中親自解說了以太坊的新發展,主要內容如下:
以太坊2.0的進展:
區塊鏈技術的發展歷程:
PoW和PoS共識機制:
零知識證明:
區塊鏈和以太坊的應用:
互動討論:
❷ 什麼是零知識證明
80年代初,Goldwasser等人提出了零知識證明這一概念.從本質上講,零知識證明是一種協議.所謂協議(Protocol),就是兩個或兩個以上的參與者為完成某項特定的任務而採取的一系列步驟,包括以下三個特徵:1.協議自始至終是有序的過程,每一步驟必須依次執行,在前一步驟沒有執行完之前,後面的步驟不可能執行.2.協議至少需要兩個參與者,一個人可以通過執行一系列的步驟來完成某項任務,但它不構成協議.3.通過執行協議必須能夠完成某項任務.零知識證明必須包括兩個方面,一方為證明者,另一方為驗證者.證明者試圖向驗證者證明某個論斷是正確的,或者證明者擁有某個知識,卻不向驗證者透露任何有用的消息.零知識證明目前在密碼學中得到了廣泛的應用,尤其是在認證協議、數字簽名方面,人們利用數字簽名設計出了大量優良的演算法.用一個關於洞穴的故事來解釋零知識.洞穴中有一個秘密,知道咒語的人能打開 C 和D之間的密門,對其它人來說,兩條通道都是死胡同.Peggy 知道這個洞穴的秘密.她想對 Victor 證明這一點,但也不想泄露咒語.下面是她如何使 Victor 相信的過程:(1) Victor 站在A點.(2) Peggy 一直走進洞穴,到達C點或者D點.(3) 在 Peggy 消失在洞穴中後,Victor 走到B點.(4) Victor 向 Peggy 喊叫,要她:從左通道出來,或者從右通道出來.(5) Peggy 答應了,如果有必要她就用咒語打開密門.Peggy 和 Victor 重復第(1)至第(5)步 n 次.假設 Victor 有一個攝像機能記錄下他所看到的一切.他記錄下 Peggy 消失在洞中情景,記錄下他喊叫 Peggy 從他選擇的地方出來的時間,記錄下 Peggy 走出來.他記錄下所有的 n 次試驗.如果他把這些記錄給 Carol 看,她會相信 Peggy知道打開密門的咒語嗎?在不知道咒語的情況下,如果Peggy和Victor事先商定好 Victor 喊叫什麼,那將如何呢?Peggy 會確信也走進 Victor 叫她出來那條路,然後她就可以在不知道咒語的情況下在 Victor 每次要她出來的那條路上出來.或許他們不那麼做,Peggy 走進其中一條通道,Victor 發出一條隨機的要求.如果 Victor 猜對了,好極了.如果他猜錯了,他們會從錄像中刪除這個試驗.總之,Victor 能獲得一個記錄,它准確顯示與實際證明 Peggy 知道咒語的相同的事件順序.這說明了兩件事.其一是 Victor 不可能使第三方相信這個證明的有效性;其二,它證明了這個協議是零知識的.在 Peggy 不知道咒語的情況下,Victor 顯然是不能從記錄中獲悉任何信息.但是,因為無法區分一個真實的記錄和一個偽造的記錄,所以 Victor 不能從實際證明中了解任何信息-它必是零知識.也就是說,Peggy 在向 Victor 證明的過程中沒有泄露任何有關秘密的知識,稱為零知識.
❸ 什麼是零知識證明
密碼學中講的zero-knowledge proof,在不讓對方獲知任何資訊的情況下證明一件事,實例是身份辨別。或是用演化計算(Evolutionary Computation)產生判斷下棋殘局的程式,演化計算的」產物」,通常是人類無法讀懂的程式(演演算法),若我們能經由實驗和機率分析得知這個程式以極低的機率(可能比隕石擊中你家還低)完全答對殘局的結果,那我們確實可以相信這個程式有能力判斷殘局,就可以在無法理解卻信任的情況下使用它。 據個人理解、通俗點說(個人說法): 在沒有足夠(甚至是根本沒有)依據的情況下,猜出一個事件(密碼反譯)的計算方法,雖然是沒有任何依據的猜,但是這個猜出的計演算法方被證明是正確的,這就是零知識證明。
❹ 三大匿名幣Zcash(大零幣)耗盡過億礦稅,Zero等零系同門欲取而代之
回到幣圈,最近聊最多的當然是匿名礦幣。回歸本質也好,致敬BTC也罷,本質核心還是在技術的瓶頸制約區塊鏈技術實用性落地的前提下,匿名幣毫無疑問成為當前區塊鏈項目中擁有完整產業鏈的一類:從B端技術開發、社區發展到C端用戶使用。
近期,ZCASH大零幣被爆嚴重元數據泄露漏洞,允許發送者獲取接收者IP地址,幾乎所以zcash分叉幣都受到影響。眾所周知,從首次實現zk-SNARKs零知識證明後,即和門羅、達世並稱匿名三劍客。市值3億美刀,在匿名技術發展中扮演著極其主要的作用。但Zcash似乎一直活在Dash、Monero的光環之下,鏈上活躍地址數、交易量等各項指標均落在人後。以Grin & Beam為代表的後起之秀MW技術也發起沖擊;第二大公鏈以太坊又多次展露採用 zk-SNARKs 技術的野心。
當然,最讓我們擔心Zcash的當屬20%的抽水問題,尷尬的是開發公司揮霍資金已經入不敷出,明年減半取消礦稅後可以預見將迎來生存危機。江山代有人才出,各領風騷數百年,技術競逐的舞台永不休息,或許Zcash不作為且敗光礦稅四面楚歌,但其主要的幾個相似功能分叉幣卻欲乘勢而起!
先是安永會計師事務所代表 David Byrd揭了 Zcash 的短,直言其存在隱私交易使用率低的問題, 用 Zcash 進行隱私交易的成本相當昂貴,這也讓 Zcash 上的大部分交易都沒有使用 zk-SNARKs 技術。
再是德勤「鏈改」業務的主管 Tim Davis 直接稱 「Zcash 是個失效的項目」、 「它只會走這么遠」。
ZCash 項目的開發公司 Electric Coin Company 披露了其 2018 下半年透明度報告,其中 300 萬美元的財務赤字, 受益於高達20%不公平抽水帶來的積極進展是否還能保持?我們持不樂觀的態度。
zk-SNARKs零知識證明最早起源於1990年,由密碼學家Jean-Jacques Quisquater(以及其他合作者)在《如何向孩子解釋零知識證明協議》論文中提出相關概念。
全稱zero-knowledge succint non-interactive arguments of knowledge。
Succint (簡潔性) : 與實際計算的長度相比,生成的零知識證據消息很小。
Non-interactive (非交互性) : 幾乎沒有任何交互,味著任何人無需任何交互即可驗證零知識證據。
Arguments (爭議性) : 驗證者只能抵抗計算能力有限的證明者的攻擊。具有足夠計算能力的證明者可以創建偽造的零知識證據以欺騙驗證者 (注意剛提到的足夠的計算能力,它足可以打破公鑰加密,所以現階段可不必擔心)。
of Knowledge : 對於一個證明者來說,在不知曉特定證明 (witness) 的前提下,構建一個有效的零知識證據是不可能的。
Zero分叉於ZEC大零幣,從2017年2月份一上線就採用了自己獨立演算法運行,結合了pow和pos混合證明機制,匿名核心使用zk-SNARKs零知識證明技術。
Zer總量1700萬,流通量700萬, 市值80萬美金。無愛西歐、無預挖,純社區驅動,完全拋棄大零幣ZEC 20%抽水的不公平問題。採用equihash 192/7演算法,對比zec的equihash演算法,zer的演算法參數時間更復雜,內存要求更高,更省電環保。出塊時間2分鍾。區塊獎勵20%服務節點,72.5%挖礦,7.5%治理。
目前可以匿名挖礦,用獨有的審計系統匿名對接交易所。 值得注意的是,手機端匿名發送也基本開發成功,不久之後便會推出。 致力於打造一個從頭到尾全匿名性、跨平台、即時到賬、轉帳費用為零的匿名幣。
目前4名社區開發者,並不是所知名的大神級別,但跟zel合作當中,zel團隊的創始人Miles Manley和Daniel Keller也在買進zer,並運行了節點。能夠得到同是dev的同行買進便是最大的認可。 同時zer團隊也攻克了零幣系一直無法實現手機匿名發送的問題,近期便會發布全新手機錢包。
早期主戰場是紐西蘭cryptopia,隨著cryptopia倒閉,大部分活躍的人,包括很多推特大v的幣都在上面,導致現在那些大v很少再提及zer,這個對zer是最大的制約也相應減小ZERO流通,且每天固定釋放7776 Zero(目前約3800¥)。
目前社區情況discord上1500人,電報上1200人,土耳其社區電報上500人,推特上近2700人,由於活躍人士幣的歸屬問題導致現在社區活躍度較低。但在推特上2700人中裡面的大v很多,可以說是暗潮湧動。
zec明年開發基金到期,zec面臨大變動,zec公司是否有動力繼續維護應該項目?還是放任不管,歸還社區?這是最大的一顆巨大的雷,或為zer提供了機會。