BTC/HKD+0.2%
ETH/HKD+2.19%
LTC/HKD+3.71%
DOT/HKD+3.02%
ADA/HKD+3.36%
SOL/HKD+4.55%
XRP/HKD+2.29%
DOGE/US+3.72%采用零知識證明最知名的技術就是匿蹤幣Zcash的zk-SNARKs。
目前主流加密貨幣，不論是比特幣或以太幣都是匿名資訊公開，簡單來說就是不會有人知道錢包的主人是誰，但是大家都知道這錢包有多少錢、做過哪些交易，這將大幅降低人們使用的意愿。
請想象一下，在加密貨幣支付的生活下，你想瞞著你老婆買SWITCH，雖然他不直接擁有錢包，但他卻能看到你的錢包轉帳金額，與轉到哪個錢包，輕輕松松就能查出你做的好事。
零知識證明是一個相當有趣的驗證方式，能夠在不公開交易資訊的情況下，礦工還能夠驗證交易的有效性。
以太坊創辦人Vitalik Buterin也多次公開贊賞zk-SNARK的零知識證明技術，并表示此技術有助于提升以太坊的交易速度。
零知識證明
究竟零知識證明是什麼意思呢?用一個有趣的方式跟大家解釋。
零知識硬件初創公司Cysic完成600萬美元種子輪融資:金色財經報道，零知識 (ZK) 硬件初創公司 Cysic 完成了 600 萬美元的種子輪融資。該輪融資由 Polychain Capital 領投，其他投資者包括 Hashkey、SNZ Holding、ABCDE 和 Web3.com 基金會。[2023/2/17 12:13:48]
小時候沒有智能型手機也沒有電腦玩，唯一的樂趣就是玩Whereis Wally，找出圖片中Wally在哪里，大家可以玩玩看，回味一下沒有3C的童年時光。
如果你找了十分鐘還是找不到，開始懷疑我在騙你，Wally根本不在圖片里的時候，零知識證明就能太上用場了！
零知識證明的概念就是“不透漏詳細資訊的情況下，證明自己知道真相”。
如果我直接告訴你Wally在哪里，那你就沒辦法繼續玩了，所以我給了你一張Wally的截圖:
Aleo與Forte達成合作，以將零知識證明解決方案帶入鏈游:3月8日消息，零知識隱私應用平臺Aleo與區塊鏈游戲平臺Forte達成合作，旨在為鏈游帶來零知識證明解決方案，希望以此推動低成本交易。
Forte將使用Aleo的可擴展架構來解鎖新的游戲玩法深度，并構建更具包容性和沉浸式的游戲生態系統。Forte已經在使用Aleo的技術在多個游戲經濟中鑄造、轉移和交易NFT，以服務于現有的真實世界用例。
今年2月初，加密初創公司Aleo Systems Inc（簡稱Aleo）宣布完成2億美元B輪融資，SoftBank和Kora Management領投，Andreessen Horowitz（a16z）、Tiger Global、Samsung Ventures等參投。
去年5月，Forte獲得1.85億美元A輪融資，估值10億美元。此輪融資由風險投資基金Griffin Gaming Partners領投，Union Grove Venture Partners、Andreessen Horowitz（a16z）、Battery Ventures、早期風險投資公司Canaan等參投。（VentureBeat）[2022/3/9 13:45:18]
透過這張圖，除了能夠證明Wally真的存在，而且我知道在哪里之外，由于你不知道Wally的實際位置，你還能夠繼續尋找Wally，零知識證明就是這麼簡單的概念。
Gate.io研究院發布“零知識證明于區塊鏈中的落地應用”報告:Gate.io研究院于今日發布“零知識證明于區塊鏈中的落地應用”報告。報告指出，在區塊鏈技術加快發展的背景下，多種應用場景應運而生，隨之而來的是用戶在隱私安全方面的更高需求。當前，眾多區塊鏈開發團隊提出了多種不同的用戶隱私安全保護機制。
其中，零知識證明與區塊鏈技術相結合作為一種新方案為提高區塊鏈隱私安全性提供了更多可能。該報告結合“零知識證明”的采納項目、區塊鏈系統“Zcash”的相關情況，對“Zcash”加密技術以及零知識證明進行了深入探討。 詳情點擊原文鏈接。[2020/6/28]
交互式零知識證明
了解零知識證明之后，我們再來介紹什麼是交互式零知識證明，我們一樣用童年游戲來跟大家解釋。
有一天阿菜出了一道數獨的題目給阿平，阿平回家玩了三天三夜，發現根本解不出來。
由于阿菜平常做人不老實，阿平懷疑阿菜的這道題目根本沒有答案，只是隨便填幾個數字進去，于是隔天氣沖沖地跑去找阿菜。
但是阿菜覺得自己秀才遇到兵，有理說不清，這道題目明明就是好不容易設計好的，于是阿菜就決定用一個方式證明給阿平看，讓他知道這道題目是真的有解。
西班牙跨國銀行BBVA探索零知識證明及加密技術:5月4日消息，總部位于西班牙的跨國銀行Bilbao Vizcaya Argentaria銀行（BBVA）宣布與馬德里研究中心IMDEA Software Institution合作，以探索零知識證明（ZKP）以及其他“先進的加密技術”。（Cointelegraph）[2020/5/5]
阿菜先讓阿平轉過身去，阿菜拿出81（9×9）張空白的卡片放在桌上，在每張紙上寫上1-9中的一個數字，然后把這81張卡片按照解答順序排列在桌上，代表謎底的卡片，數字面朝下放在桌上，公開數字的卡片，則數字面朝上放在桌上。
排好之后，阿菜叫阿平轉過身，跟阿平說“現在我全部都按照順序擺好了，但是我不會讓你看答案，你可以隨意選擇按照行、列或按照3×3的九宮格來檢驗，你可以隨便選一種。”
阿平不知道阿菜葫蘆里賣甚麼藥
“不給看答案，就能讓我知道你沒騙我，我看你搞甚麼花樣，我在“行”與“列”當中選擇檢驗“行”。”
聲音 | 數字資產研究院郭宇：區塊鏈的信任需要結合共識算法、零知識證明和形式化驗證:12月22日，數字資產與區塊鏈年會（2019）暨中國投資協會數字資產研究中心成立大會在京舉辦。數字資產研究院學術與技術委員郭宇演講中表示，區塊鏈網絡的吞吐率低下的核心原因是網絡寬帶限制，提高出塊速度是此前比較流行的解決方案，但這種做法會導致區塊鏈分叉，甚至可能威脅區塊鏈系統安全。郭宇認為，要在不降低安全性的前提下，提高區塊鏈吞吐率的解決方案是零知識證明。郭宇指出，區塊鏈系統的可信實際上包括三方面：共識算法提供區塊鏈協議信任，零知識證明提供數據信息和計算完整性，形式化驗證保證計算邏輯可信。區塊鏈的信任需要共識算法、零知識證明和形式化驗證三者的結合。（新浪財經）[2019/12/23]
于是阿菜按照順序將每一行的牌收起來，裝在麻布袋里，并將所有的牌搖散。
“好了，你隨便選一袋吧，只要袋子里的數字是1~9就代表我的題目沒有錯。”
阿平把每一個袋子打開，仔細檢查每一個袋子里的牌，結果數字確實都是1~9沒有重復，但是阿平很不服氣。
“那又怎樣，雖然”行”的數字沒有重復，那也不代表”列”跟”九宮格”里的數字沒有重復阿。”
阿菜解釋
“可是我事先也不知道你會按照”行”、”列”還是按照”九宮格”來檢驗啊。我是按照題解來放置卡片的，你選啥我都沒在怕的”
阿平想了想，確實，一個數獨只有真正正確的解才能保證每一行、每一列、每一個九宮格里的數字都是沒有重復的1-9。
阿菜如果真的在騙他，阿平也至少有1/3的概率可以抓到他在騙人。
阿平又按照同樣的方式輪流將”行”、”列”和”九宮格”檢驗了好幾遍，結果袋子里的數字真的都沒有重復。
藉由這個故事，我們發現，阿平選擇”行”、”列”和”九宮格”，阿菜再將卡片收集起來交給阿平驗證，像這樣一來一往，不斷提出證據給對放驗證，就是所謂的“交互式零知識證明”。
“交互式零知識證明”需要驗證方（阿平）在證明方（阿菜）放好答案后，不斷的發送隨機試驗，是最簡單的零知識證明與驗證方式。
就象是我們打電話給銀行客服，客服人員會詢問你的出生年月日與身分證字號，來驗證你是否為本人。
然而，這種方式只有建立在驗證方與證明方對立的情況下才能成功，一旦牽涉到第三方，驗證和證明雙方事先串通好，那麼他們就可以在不知道真實答案的情況下作弊。
因此衍生出了另一種證明與驗證方式“非交互式零知識證明”。
非交互式零知識證明
后來阿平跟阿菜找了阿佑一起玩數獨，阿平跟阿菜向阿佑展示了這個驗整方式，阿平將”行”、”列”和”九宮格”檢驗了一輪后，只見阿佑沉默不語，若有所思。
隔天阿佑找來阿菜跟阿平
“你們平常最愛胡搞瞎搞，我很難信任你們，昨天你們的驗證方式，如果你們兩個串通好，那檢驗出來的答案就不值得相信，所以我做了這臺機器‘零知識數獨非交互式證明機’。”
這臺機器基本上就是把阿菜和阿平之前當面做的那套證明自動化，不再需要人為交互驗證。
阿菜只要把卡片放在傳送帶上，機器會自動選擇按行，或列，或九宮格來收取卡片，放到袋子里打亂順序，然后把袋子通過傳送帶再送出來。然后阿菜就可以當著大家的面拆開袋子展示里面的卡片。
機器里有控制面板，可以設置檢驗”行”、”列”和”九宮格”的檢驗順序，阿佑把驗證順序設定好之后就把外殼焊死，沒有任何人會知道驗證順序，阿佑就能放心的和他們倆玩數讀了。
但是現在換阿菜跟阿平兩人不開心了，驗證的順序只有阿佑知道，這樣他不就有機會搞鬼了。
于是，他們三個人集結起來，讓阿佑再次把外殼打開，然后大家一起設置控制面板上的驗證順序。
這個過程稱為“可信任的初始設置儀式（trusted setup ceremony）”。
阿菜提議把這臺機器放在一個漆黑的屋子里，把旋鈕上的指示貼紙都撕掉。
三人輪流進入屋子，阿平還提議大家進房間時蒙上眼來保證隨機性。
這樣，最后這些旋鈕所代表的驗證順序他們三個人都沒有辦法知道，就能保證這驗證結果的可信度了。
“交互式零知識證明”之所以存在風險，是因為過程中需要在證明方與驗證方雙方交互驗證，但“非交互式零知識證明”則不需要這種互動，但是會額外需要一些機器或程序，并且需要一串試驗序列。
這個試驗序列不能被任何人知道，才能維持驗證的公正性。
有了這麼一個程序和試驗序列，證明機就能自動算出一個證明，并且能防止任何一方作假。
運用在區塊鏈的零知識證明所采用的就是“非交互式零知識證明”，將交易資訊交給程序，程序會給出一份證明給礦工驗證。
礦工雖然不知道交易的詳細資訊，卻能夠透過這份證明，驗證交易的有效性，最有名的例子就是Zcash的zk-SNARKs零知識證明技術。
鏈金研究員總結
透過這些故事，我們就能知道零知識證明的本質，就是在不透漏我所知道或擁有的某樣東西的前提下，向別人證明我有很大機率（這點很重要，零知識證明只是一個概率上的證明）確實知道或擁有這個東西。
將零知識證明的概念運用在區塊鏈上，除了解決加密貨幣的隱私問題外，零知識證明還能夠提升網路的效率。
zk-SNARKs礦工可以不用再重新執行交易的運算，而是只要對方提得出證明即可，能夠將大量信息量壓縮，大幅提升網路的吞吐量。
我們相信針對特定應用進行優化才是 L1 的未來,考慮到三難問題,沒有哪條鏈能達到一個萬能設計就符合所有應用場景的狀態,這個時候平衡取舍便是關鍵所在.
1900/1/1 0:00:00在區塊鏈技術迅速發展的這些年,數字貨幣被盜事件也經常發生在我們眼前。如何保證交易安全成了區塊鏈的一大難題。為了解決這一難題,“多重簽名”應運而生.
1900/1/1 0:00:00▌瑞士信貸集體：美國經濟可能經歷更嚴重、更長時間的衰退金色財經消息,瑞士信貸集體(Credit Suisse)的Zoltan Pozsar表示.
1900/1/1 0:00:00“The Merge”正在到來以太坊2.0的升級自Vitalik Buterin在2013年發布“下一代智能合約和去中心化應用平臺”——以太坊白皮書以來就一直熱議不斷,在經歷過數次跳票后.
1900/1/1 0:00:00本文來自 Chainalysis繼本周 Nomad 跨鏈橋被攻擊后,Chainalysis 估計,今年到目前為止已有 20 億美元的加密貨幣從跨鏈橋被黑客竊取,涉及 13 次攻擊.
1900/1/1 0:00:00漸進式荷蘭拍賣的工作原理是將一筆拍賣分解為一系列荷蘭拍賣,以幫助欠缺流動性的資產完成公開銷售。本文介紹了漸進式荷蘭拍賣（Gradual Dutch Auction,以下簡稱為 GDA）,一種能夠.
1900/1/1 0:00:00
以太幣交易所
