歡迎來到 zkMesh,這是一份每月通訊,涵蓋最新的去中心化隱私增強技術、隱私協議開發和零知識系統研究。
zkMesh是由ZK Hack製作的。
感謝您閱讀 zkMesh!免費訂閱以接收新帖子並支持我們的工作。
我們為您帶來最新的研究、有用的文章、視頻、播客、推文、工具、項目更新和活動。預計每個月初都會有新版本。一定要分享和訂閱!
** ZK Hack Online 將於 2024 年 1 月迴歸。加入我們的郵件列表以獲取更多信息!**
研究
關於二元域塔的簡潔論證|本傑明·戴蒙德和吉姆·波森
BaseFold:來自可摺疊代碼的高效與字段無關的多項式承諾方案| Hadas Zeilberger、Binyi Chen 和 Ben Fisch
Vector 承諾的簡潔論證的具體安全性|亞歷山德羅·基耶薩、馬塞爾·達阿尼奧爾、關子怡和尼古拉斯·斯普納
具有恆定大小公鑰的可靠多重簽名|丹·博內 (Dan Boneh)、阿迪蒂·帕塔普 (Aditi Partap) 和布倫特·沃特斯 (Brent Waters)
關於 PCP 的並行重複|亞歷山德羅·基耶薩、關子怡和布爾庫·伊爾迪茲
群體行動的可延展承諾和基於同源電路的零知識證明|陳明傑、賴一福、Abel Laval、Laurane Marco 和 Christophe Petit
論量子模擬的可靠性| Behzad Abdolmaleki、Céline Chevalier、Ehsan Ebrahimi、Giulio Malavolta 和 Quoc-Huy Vu
論端到端可驗證在線投票的可行性——以Durga Puja審判為例|霍里亞·德魯亞克、馬修·巴茲利、克里斯·裡奇斯、克里斯蒂安·鄧恩、盧克·哈里森、比馬爾·羅伊和馮浩
ZKSMT:零知識證明 SMT 定理的 VM | Daniel Luick、John Kolesar、Timos Antonopoulos、William R. Harris、James Parker、Ruzica Piskac、Eran Tromer、小王和寧羅
非交互式零知識功能證明|曾功賢、賴俊作、黃正安、張琳如、王向寧、林國恩、王華雄、翁健
Dora:在 RAM 程序的零知識中,處理器表現力(幾乎)是免費的|阿魯什·戈爾、馬蒂亞斯·霍爾-安德森和加布裡埃爾·卡普特丘克
可更新的隱私保護藍圖|貝爾納多·大衛、菲利克斯·恩格爾曼、託雷·弗雷德裡克森、馬庫夫·科爾維斯、埃琳娜·帕格寧和米哈伊爾·沃爾霍夫
高效的量子並行重複定理及其應用|約翰·博斯坦西、錢羅文、尼古拉斯·斯普納和亨利·袁
BabySpartan:用於非均勻計算的基於 Lasso 的 SNARK |斯里納斯·塞蒂和賈斯汀·塞勒
超越 MPC-in-the-Head:短零知識證明的黑盒結構|卡米特·哈扎伊、穆圖拉馬克裡什南·文基塔蘇布拉馬尼亞姆和莫爾·韋斯
BLS 嵌入曲線族|安東尼奧·桑索
Threshold解密的叛徒追蹤|丹·博內 (Dan Boneh)、阿迪蒂·帕塔普 (Aditi Partap) 和利奧爾·羅特姆 (Lior Rotem)
文章/主題
ZK Hack 伊斯坦布爾總結和獲獎者| ZK黑客
DevConnect 2023 的見解和思考| O(1) 實驗室
奇怪的一對:可擴展性日期上的 ZK 和 Optimistic Rollups | AltLayer 和 RISC 零
去中心化證明者協調問題和機制的長篇大論| @ballsyalchemist
Nova:zkMapReduce 從 IVC 到通用 PCD | @nikkolasg1
ZKP、SIGINT 和心理戰| @omershlomovits
ZK項目現狀|慧聰資本
解釋 Aztec 如何為 Web3 帶來隱私| @MohamedFFouda
如何構建現代 SNARKs 系統|何塞安德羅·路易斯
Binius:硬件優化的 SNARK |烏爾維塔納
ZKML 和自治世界| EZKL x 萊迪思
鏈下計算就是您所需要的| @0x_emperor & @0xkrane
揭秘 ZKML |維德·克西奇
超越零知識:可編程密碼學的下一步是什麼? | PSE
EVM Validiums 的退出遊戲:Plasma 的迴歸|維塔利克·布特林
視頻/播客
ZK Hack 伊斯坦布爾研討會所有視頻 | ZK黑客
ZK Accelerate 2023所有視頻 |因戈亞馬
第 300 集:ZK 播客回顧| ZK播客
與 Alex G 一起了解 zkSync | ZK播客
Or Sattath 的量子密碼學第 2 部分| ZK 播客(第 1 部分可在此處找到)
指南和資源
如果您不知道,請查找或如何為零知識證明創建查找表| LambdaClass 博客
開羅的公共記憶|密碼學博客
韋爾克爾樹|多胞體博客
節點守護者發現黑色語言的新活動|節點守護者 x Noir
FHE簡介|太鼓實驗室
如何選擇 ZK 友好的哈希函數? | TACEO
ZK 基準工具包|因戈亞馬
漏洞/披露
社區眾籌系統錢包事件|Monero
工具/實施
使用 Arkworks 後端從頭開始實施 3 個多線性多項式承諾方案(Hyrax、Ligero 和 Brakedown) | @0xHungryCats
使用金屬計算著色器加速 plonky2/starky 證明的演示|量子電動力學協議
匿名交易所:使用信號量協議創建保護匿名的 NFT 交易所| @lilioo826 x PSE
Risc0 zkVM 中的 FHE |哈希斗篷
技術深入探討:驗證 RISC Zero 中的 FHE,第一部分| @weikengchen
Python 中的 Plonk |塔拉什
項目更新
硬件進步,性能飛躍|埃茲克勒
Polygon Labs 和 NEAR 基金會合作構建 zkWasm L2 Prover 作為Polygon CDK 的組件|Polygonx NEAR
Hyperbridge 簡介:互操作性協處理器|多面體實驗室
使用 zkSend DM 您的Sui |邁斯騰實驗室
ZKM 推出 ZK 教育中心|零知識管理
宣佈推出以太坊 zkSharding | ;nil=基金會
在 RISC Zero 上加倍開源|精簡指令集零
簡潔介紹|簡潔
產品公告:ZK-Containers |因戈亞馬
ZKP2P 宣佈Alpha發佈| ZKP2P
推出“十”——超越隱私的飛躍|暗黑實驗室
希羅多德:使用 Starknet 上的存儲證明證明以太坊的狀態|史塔克韋爾 x 希羅多德
錢包性能問題已解決,ECC 退出緊急模式|電力硬幣公司
如何將 Lagrange 的 Recproofs 和 ZKMapReduce (ZMKR) 堆棧與摺疊方案結合起來? |拉格朗日
活動/黑客馬拉松
Polygon連接|印度班加羅爾。 12 月 7 日
ETH 印度|印度班加羅爾。 12 月 8 日至 10 日
ZK 黑客 IV |在線的。 2024年1月16日至2月6日
ETH 丹佛|美國丹佛。 2月23日至3月3日
ETHGlobal 倫敦|英國倫敦。 3 月 15 日至 17 日
2024 年世界冠軍賽|加拿大多倫多。 3 月 25 日至 27 日
zkSummit11 |希臘雅典。 4 月 10 日 - 保存日期
歐洲系統 2024 |希臘雅典。 4 月 22 日至 25 日
ETHGlobal 悉尼|悉尼,澳大利亞。 5 月 3 日至 5 日
DappCon 2024 |柏林,德國。 5 月 21 日至 23 日
柏林聯邦理工學院|柏林,德國。 5 月 24 日至 26 日
Eurocrypt 2024 |瑞士蘇黎世。 5 月 26 日至 30 日
開發者大會|東南亞。 2024 年春天?
ETHGlobal 布魯塞爾|布魯塞爾,比利時。 7 月 12 日至 14 日
————
你有它!希望您喜歡這個版本的 zkMesh。請務必訂閱以在收件箱中獲取下一版本。
最後,如果您有任何您認為應該包含在下一版本中的內容或對格式的建議,請發送推文給我們@__zkhack__ !



