比特幣價格 比特幣價格
Ctrl+D 比特幣價格
ads

PLO:ZKSwap團隊解讀零知識證明:REDSHIFT - 不需要可信設置的PLONK_Sunder Goverance Token

Author:

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

寫在前面

伴隨著區塊鏈的技術發展,零知識證明(ZKP,ZeroKnowledger

Proof)技術先后在隱私和Layer2擴容領域得到越來越多的應用,技術也在持續的迭代更新。從需要不同的TrustSetup的

ZKP,到需要一次TrustSetup同時支持更新的ZKP,再到不需要TrustSetup的

ZKP,ZKP算法逐漸走向去中心化,從依賴經典NP問題,到不依賴任何數學難題,ZKP算法逐漸走向抗量子化。

我們當然希望,一個不需要TrustSetup同時也不依賴任何數學難題、具有抗量子性的ZKP算法也具有較好的效率和較低的復雜度,它就是REDSHIFT。

REDSHIFT

《REDSHIFT:TransparentSNARKsfromListPolynomial

新加坡央行已審查代幣化和DeFi協議各個方面的可行性:金色財經報道,新加坡金融管理局提交了一份報告,總結了其與國際清算銀行在Guardian項目上的工作。該計劃旨在審查代幣化和DeFi是否符合國際標準。作為該項目的一部分,參與者考慮了將協議整合到機構市場基礎設施中的可能性。專家們測試了DeFi應用程序的“可行性”,以及在不危及全球金融穩定和完整性的情況下將實物資產轉換為數字代幣的選項。該論文揭示了開放且可互操作的私有區塊鏈的案例,該區塊鏈使用去中心化金融協議提供代幣化資產的交換。該報告旨在介紹DeFi應用的最佳實踐,這些應用可以監管股票、固定收益工具、外匯和投資基金等資產類別的交易。該文件介紹了允許類似工具交易的設計選項的通用結構。[2023/6/27 22:02:03]

CommitmentIOPs》,從名字可以可出,它是基于List多項式承諾且具有透明性的SNARK算法。算法本身和PLONK

薩爾瓦多計劃在美國德克薩斯州開設比特幣大使館:2月15日消息,薩爾瓦多駐美國大使Milena Mayorga今日在推特上表示,她與薩爾瓦多的其他代表和德克薩斯州政府的副國務卿Joe Esparza舉行了一次會議,討論了第二個比特幣大使館的開放以及商業和經濟交流項目的擴展。

此前去年10月消息,薩爾瓦多在盧加諾設立了一個比特幣辦公室,即比特幣大使館。[2023/2/15 12:08:11]

有大部分的相似之處,唯一不同的是多項式承諾的原語不同。下面先簡單的通過一張表格來展示REDSHIFT和PLONK

算法的異同之處,具體如下:

因此,只要對PLONK算法有深入了解的讀者,相信再理解REDSHIFT算法,將是一件相對簡單的事。ZKSwap團隊在此之前已經對PLONK算法進行了深入的剖析,我們在文章《零知識證明算法之PLONK---電路》詳細的分析了

以太坊開發人員發布新開發者網絡devnet 2,為上海升級做準備:金色財經報道,以太坊開發人員發布新開發者網絡devnet 2,以幫助客戶端團隊為即將到來的上海升級做準備。

開發人員還準備在未來幾周內在以太坊主網上進行上海升級的影子分叉。影子分叉是對實際主網版本的測試,以確定代碼是否適用于真正的區塊鏈。[2023/1/14 11:11:21]

PLONK算法里,關于電路部分的詳細設計,包括表格里的《Statement->Circuit->

QAP》過程,并且還詳細描述了PLONK算法里,關于“PermutationCheck”的原理及意義介紹,文章零知識證明算法之PLONK

---協議對PLONK的協議細節進行了剖析,其中多項式承諾在里面發揮了重要的作用:保持確保算法的簡潔性和隱私性。

Women Ape Yacht Club#0以90ETH價格成交,創該系列迄今最高交易記錄:8月29日消息,據NFTGo.io數據顯示,Women Ape Yacht Club#0以90ETH的價格成交,約合134,212.66美元,創下該NFT系列迄今最高交易記錄。此外,買家還以82ETH的價格買入Women Ape Yacht Club#7。

Women Ape Yacht Club是一個“母猿”主題的NFT系列,總計發行10,000枚NFT,該項目聲稱1萬只“母猿”對應了1萬只“無聊猿”BoredApe,并希望幫助“無聊猿”可以找到自己的生活伴侶,不過Women Ape Yacht Club已澄清她們不隸屬于YugaLabs、BAYC或Larva Labs。[2022/8/29 12:54:42]

我們知道,零知識證明算法的第一步,就是算術化,即把prover

要證明的問題轉化為多項式等式的形式。如若多項式等式成立,則代表著原問題關系成立,想要證明一個多項式等式關系是否成立比較簡單,根據

Schwartz–Zippel定理可推知,兩個最高階為n的多項式,其交點最多為n個。

換句話說,如果在一個很大的域內隨機選取一個點,如果多項式的值相等,那說明兩個多項式相同。因此,verifier只要隨機選取一個點,prover提供多項式在這個點的取值,然后由verifier判斷多項式等式是否成立即可,這種方式保證了隱私性。

然而,上述方式存在一定的疑問,“如何保證prover

提供的確實是多項式在某一點的值,而不是自己為了能保證驗證通過而特意選取的一個值,這個值并不是由多項式計算而來?”為了解決這一問題,在經典

snark算法里,利用了KCA算法來保證,具體的原理可參見V神的zk-snarks系列。在PLONK

算法里,引入了多項式承諾的概念,具體的原理可在“零知識證明算法之PLONK---

協議”里提到。

簡單來說,算法實現了就是在不暴露多項式的情況下,使得verifier相信多項式在某一點的取值的確是prover聲稱的值。兩種算法都可以解決上述問題,但是通信復雜度上,多項式承諾要更小,因此也更簡潔。

協議

下面將詳細介紹REDSHIFT算法的協議部分,如前面所述,該算法與PLONK算法有很大的相似之處,因此本篇只針對不同的部分做詳細介紹;相似的部分將會標注出來方便讀者理解,具體如下圖所示:

協議的1-6步驟在PLONK的算法設計里都有體現,這里著重分析一下后續的第7步驟。

在PLONK算法里,prover為了使verifier相信多項式等式關系的成立,由

verifier隨機選取了一個點,然后prover提供各種多項式(包括setuppoly、constriant

ploy、witnesspoly)的commitment,由于使用的Katecommitment算法需要一次TrustSetup

并依賴于離散對數難題,因此作為PLONK算法里的子協議,PLONK算法自然也需要TrustSetup且依賴于離散對數難題。

在REDSHIFT協議里,多項式的commitment

是基于默克爾樹的。若prover

想證明多項式在某一個或某些點的值,證明方只需要根據這些值插值出具體的多項式,然后和原始的多項式做商并且證明得到商也是個多項式即可。

當然為了保護隱私,需要對原始多項式做隱匿處理,類似于上圖協議中的第一步。在實際設計中,為了方便

FRI協議的運行,往往設計原始多項式的階d=2^n+k(其中k=log(n))。可能讀者一直在疑惑前面一直提到的FRI

協議具體是怎么運行的,ZKSwap曾對FRI的具體原理進行過解讀,感興趣的可以通過ZKSwap官網閱讀以下文章:

《理解零知識證明算法之Zk-stark》

《理解零知識證明算法之Zk-stark--Arithmetization》

《深入理解零知識證明算法之Zk-stark--LowDegreeTesting》

《深入理解零知識證明算法之Zk-stark--FRI協議》

來源:金色財經

Tags:PLOLONVERPROPLOW幣3X Long Tether Gold TokenSunder Goverance TokenPROPC幣

以太坊價格
USD:諸葛談幣:312到來 多頭情緒能否延續?_ENERGY Vault (NFTX)

比特昨日先抑后揚,最低觸及54300一線,剛好觸及上行通道線底部,技術走勢已經形成回補,晚間開始反彈,一直持續到早間,價格早間又是一次觸及58000,此處壓力比較嚴重,剛剛觸及就引發回調.

1900/1/1 0:00:00
FIN:五分鐘讀懂 Findora:建設兼具開放透明和隱私安全的金融互聯網_FIND

撰文:Holmes 隨著2月21日比特幣市值突破1萬億美元、DeFi總鎖倉量達到445億美元,標志著過去12年來區塊鏈技術支持的、以比特幣為代表的數字貨幣和以太坊平臺匯聚的去中心化金融為個人在數.

1900/1/1 0:00:00
區塊鏈:區塊鏈科技公司中鏈融信完成pre-A輪融資_穩定幣和加密貨幣哪個好

近日,區塊鏈技術開發及運營服務企業中鏈融信科技有限公司宣布完成pre-A輪融資,投資方為三亞文鏈天下企業管理咨詢有限公司,融資金額未披露.

1900/1/1 0:00:00
比特幣:幣圈王哥:比特幣短時觸碰58000? 多頭情緒保持濃重_DEFI

今日資訊: 據TheBlock3月12日消息,俄羅斯央行計劃在2021年年底之前首次發行數字盧布平臺的原型版本.

1900/1/1 0:00:00
比特幣:丁佳永:比特幣價格強勢反彈 回歸上行之勢_9月7號比特幣大跌

今日資訊: 約翰·列儂之子SeanOnoLennon在推特個人簡介中添加比特幣標簽,以表示對比特幣的支持.

1900/1/1 0:00:00
RIN:古靈幣(Grin)的未來樹可期 幣圈市值排名400多名 被嚴重低估_Agrinode

Grin致力于提供隱私、可擴展性的加密貨幣,其有幾個獨特的屬性:使用名為MimbleWimble隱私保護區塊鏈格式;只在區塊鏈中存儲少量數據.

1900/1/1 0:00:00
ads