Plonky2 是一種遞歸 SNARK,它結合了 PLONK 和 FRI 以獲得最好的 STARK,具有快速證明和無可信設置,以及最好的 SNARK,支持遞歸和以太坊上的低驗證成本。
Polygon Zero 的任務很簡單:使用零知識證明將以太坊擴展到十億用戶,同時不影響去中心化或安全性。 實現這一點就需要一種快速有效的證明系統。 今天,我們很高興與大家分享 Plonky2,這是零知識密碼學的一個重要里程碑。
(注:Polygon此前宣布以4億美元收購零知識技術開發商Mir,將其更名為Polygon Zero)
報告:今年加密貨幣 VC 資金同比下降82%:金色財經報道,根據Crunchbase 的一份報告,今年加密貨幣 VC第一季度的資金與去年第一季度的資金相比顯示,從 2022 年前三個月的 91 億美元下降到 2023 年的 17 億美元,降幅為 82% 。到 2023 年第一季度,總體而言只有三家公司獲得了可觀的資金,而在這些公司中,只有兩家獲得了超過 1 億美元的資金。[2023/4/23 14:21:11]
Plonky2 是一種遞歸 SNARK,比現有替代方案快 100 倍,并且與以太坊原生兼容。 它結合了 PLONK 和 FRI 以獲得最好的 STARK,具有快速證明和無可信設置,以及最好的 SNARK,支持遞歸和以太坊上的低驗證成本。
Plonky2 代表了 Polygon 持續致力于構建以太坊未來的最新一步,我們很自豪能與以太坊社區分享我們的工作。
YouTube網紅Logan Paul在針對NFT項目Crypto Zoo的集體訴訟中被點名:2月3日消息,You Tube網紅Logan Paul在一項擬議中的集體訴訟中被點名,該訴訟涉及Paul為NFT項目Crypto Zoo做銷售推廣,但相關產品從未推出。
“(被告)利用Paul的在線平臺向不熟悉數字貨幣產品的消費者推廣了CryptoZoo的產品,導致數萬人購買了上述產品,”訴訟文件寫道,客戶不知道,這款游戲沒有運行或從未存在過,被告為了自己的利益操縱了Zoo代幣市場。
原告律師聲稱,Paul和他的同事執行了“Rug Pull”。(CoinDesk)[2023/2/3 11:45:41]
遞歸
如果零知識證明有一種超能力,那就是遞歸。 SNARK 可以驗證任意計算,并且由于驗證 SNARK 是一種計算,因此 SNARK也可以用于驗證其他 SNARK。
Evmos將向Kinesis Labs、Osmosis、Diffusion Finance投放440萬美元流動性激勵:10月21日消息,Cosmos生態EVM兼容鏈Evmos通過了一項提案,將在未來90天內向Stablecoin交易協議Kinesis Labs、Osmosis、以及Diffusion Finance上相關流動性池分發270萬枚EVMOS(約 440 萬美元)的流動性激勵。包括 Kinesis Labs 上 axlUSDC/ceUSDC/gravUSDC 以及 USDT、DAI 流動性池和 Osmosis 上 OSMO/EVMOS、Diffusion Finance 上 EVMOS/ATOM、EVMOS/WETH、EVMOS/WBTC 流動性池。[2022/10/21 16:34:24]
要了解它為何有用,假設我們要證明一批 1,000 筆交易是有效的。 一次生成一個證明來逐個驗證 1,000 筆交易將是昂貴且耗時的。
Delta區塊鏈基金創始人:加密寒冬已至,比特幣價格或跌至1.4萬美元:5月22日消息,Delta Blockchain Fund創始人Kavita Gupta表示,當前的加密市場調整已經迎來“寒冬”,可能會持續一年半的時間。
Gupta在接受Bloomberg Technology采訪時表示,此次加密貨幣寒冬與之前的價格走勢相似,主要是在比特幣創下歷史新高之后。Gupta認為,受加密貨幣寒冬的影響,比特幣價格可能會跌至14000美元左右,以太坊價格也將下跌。
盡管處于加密貨幣寒冬,Gupta指出,比特幣仍將在一年多的時間里再創新高。她認為,市場調整將為更多人采用比特幣提供機會,這一因素將促使其創下歷史新高。此外,隨著越來越多的公司繼續將比特幣納入其資產負債表,比特幣價格再創新高的可能性就越大。
她還認為,TerraUSD(UST)崩盤引發市場震動,將影響穩定幣市場的下一步走勢。為了避免Terra的命運,大多數穩定幣將致力于與另一種加密貨幣掛鉤,并且遠離法定貨幣。(Finbold)[2022/5/22 3:33:47]
相反,我們可以使用 1,000 臺機器并行生成 1,000 個證明,每個交易一個。 接下來,我們可以獲取這些交易證明,并通過生成一層遞歸證明來遞歸聚合它們,每個證明都驗證兩個交易證明。 我們重復這個過程,直到我們得到一個可以驗證 1000 筆交易的證明。
遞歸方法更快,資源密集度更低,并且可以更加去中心化。
效率
遞歸證明對于區塊鏈的可擴展性至關重要。當我們在 2019 年啟動 Mir(現在的 Polygon Zero)時,在一臺快速計算機上需要兩分鐘才能生成一個遞歸證明。 2020 年為以太坊帶來了證明時間為60 秒的遞歸證明,Halo 的發明提供了更快的遞歸證明,但它不兼容以太坊。
2021 年,我們有了一個大膽的目標:在以太坊上實現不到 1 秒的遞歸證明。我們意識到,STARKS 中使用的多項式承諾方案 FRI 可以為遞歸 SNARK 提供顯著的性能改進。在當時,這并不明顯。 Fractal 是遞歸 FRI 的唯一現有實現,大約需要 10 分鐘才能生成證明。
然而,FRI 有一些令人興奮的特性。它允許我們使用 64 位字段,我們的團隊發現了 Goldilocks 字段,它的模數可以在現代 CPU 上實現極其高效的字段運算。當與 PLONK 結合使用時,FRI 允許我們編寫具有更多線程的自定義門關,因此我們可以編寫針對高效遞歸進行優化的回路。
這種數學洞察力、零知識密碼學方面的深厚專業知識和驚人的低級優化相結合,使我們能夠取得重大突破。 Plonky2 的遞歸證明在 Macbook Pro 上僅需 170 毫秒就能完成,比現有替代方案提高了 100 倍。
證明大小
Plonky2 還允許我們加快不涉及遞歸的證明的證明時間。 使用 FRI,您可以擁有大型的快速證明(在以太坊上驗證它們的成本更高),或者您可以擁有小型的慢速證明。 使用 FRI 的構造,例如 Starkware 在其 ZK Rollup中使用的 STARK,必須進行選擇; 他們不能擁有足夠快的證明時間和足夠小的證明大小以在以太坊上進行合理驗證。
Plonky2 消除了這種權衡。 在證明時間很重要的情況下,我們可以優化最快的證明。 當這些證明被遞歸聚合時,我們只剩下一個可以在小回路中驗證的證明。 此時,我們可以優化證明大小。 我們可以將證明大小縮小到 45kb,只需 20 秒的證明時間(這沒什么大不了的,因為我們只在提交到以太坊時生成),相對于 Starkware,大大降低了成本。
兼容性
令人興奮的是,Plonky2 原生兼容以太坊。 Plonky2 只需要 keccak-256 來驗證證明。我們估計,在以太坊上驗證 plonky2 大小優化證明的 gas 成本約為 100 萬gas。
然而,這個成本主要是在以太坊上發布證明的 CALLDATA 成本。如果 CALLDATA 在 EIP-4488 中重新定價,plonky2 證明的驗證成本將降至 170-200k gas 之間,這可能使其不僅是最快的證明系統,而且是在以太坊上驗證的最便宜的系統。
結論
去年,Polygon 承諾支持零知識擴展。這代表了一個重要的轉變,因為 Polygon 從提供當前的基本解決方案轉向構建以太坊擴展的未來。 Plonky2 是這一旅程的重要一步,也是整個空間的重大突破。
ZK L2 受益于大量炒作,但當前的解決方案依賴于低效且限制可擴展性的密碼原語。最終,L2 將在吞吐量和成本上展開競爭,而 Plonky2 為 Polygon 生態系統提供了構建性能最高和可擴展的 L2 的機會。
在CryptoPunks的帶動下,8月起加密圈就掀起了頭像類NFT熱,其中盛況不再贅述。4個多月過去,頭像類NFT并沒有如一些人所預言的那樣“泡沫破裂”.
1900/1/1 0:00:00魔法野獸 游戲介紹 區塊鏈技術已經占領了世界。鏈游發展迅速,每天都有新的令人興奮的項目誕生,也有大量的鏈游銷聲匿跡,玩家可以隨意選擇適合自己的、能夠邊玩邊賺的游戲.
1900/1/1 0:00:00上個月獲批的兩支比特幣期貨 ETF 標志著加密行業的一個重要里程碑。第一支是 ProShares 比特幣策略 ETF,在短短幾天內積累了超過 10 億美元的資產,而第二支是 Valkyrie 比.
1900/1/1 0:00:00Staking、Liquid Staking、Superfluid Staking……這三個詞分別代表著PoS資產質押的3種形式,其中,Staking是質押的最初形式,其資本效率也是最低的.
1900/1/1 0:00:00原標題 | NEAR發布全球首個Web 3創業平臺Pagoda在今年舉行的ETHDenver大會上,NEAR宣布了Pagoda的上線消息.
1900/1/1 0:00:00NYM是幣安2018年開始孵化的隱私賽道,由幣安,PolyChain等著名投資機構投資的,可提供從網絡層到應用程序層的整體隱私性保護的一種去中心化的通證化的基礎架構網絡.
1900/1/1 0:00:00