zkMesh: Tóm tắt tháng 11 năm 2023

Chào mừng bạn đến với zkMesh, bản tin hàng tháng bao gồm các công nghệ nâng cao quyền riêng tư phi tập trung mới nhất, phát triển giao thức quyền riêng tư và nghiên cứu hệ thống không có kiến ​​thức.

zkMesh được sản xuất bởi ZK Hack .

Chúng tôi mang đến cho bạn nghiên cứu gần đây, bài viết hữu ích, video, podcast, tweet, công cụ, cập nhật dự án và sự kiện. Mong đợi một phiên bản mới vào đầu mỗi tháng. Hãy chắc chắn để chia sẻ và đăng ký !

** ZK Hack Online trở lại vào tháng 1 năm 2024. Hãy tham gia danh sách gửi thư của chúng tôi để biết thêm thông tin!**

Nghiên cứu

• Lập luận ngắn gọn về Tháp trường nhị phân | Benjamin E. Diamond và Jim Posen

• BaseFold: Các kế hoạch cam kết đa thức bất khả tri trường hiệu quả từ các mã có thể gập lại | Hadas Zeilberger, Binyi Chen và Ben Fisch

• Bảo mật cụ thể cho các lập luận ngắn gọn từ các cam kết về vectơ | Alessandro Chiesa, Marcel Dall'Agnol, Ziyi Guan và Nicholas Spooner

• Đa chữ ký có trách nhiệm với khóa công khai có kích thước không đổi | Dan Boneh, Aditi Partap và Brent Waters

• Về sự lặp lại song song của PCP | Alessandro Chiesa, Ziyi Guan và Burcu Yıldız

• Các cam kết dễ uốn nắn từ Hành động nhóm và Bằng chứng zero-knowledge cho các mạch dựa trên Isogenies | Mingjie Chen, Yi-Fu Lai, Abel Laval, Laurane Marco và Christophe Petit

• Về Mô phỏng Lượng tử-Âm thanh | Behzad Abdolmaleki, Céline Chevalier, Ehsan Ebrahimi, Giulio Malavolta và Quốc-Huy Vu

• Về tính khả thi của việc bỏ phiếu trực tuyến có thể xác minh bằng E2E - Một nghiên cứu điển hình từ phiên tòa Durga Puja | Horia Druliac, Matthew Bardsley, Chris Riches, Christian Dunn, Luke Harrison, Bimal Roy và Feng Hao

• ZKSMT: Máy ảo để chứng minh các định lý SMT trong điều kiện không có kiến ​​thức | Daniel Luick, John Kolesar, Timos Antonopoulos, William R. Harris, James Parker, Ruzica Piskac, Eran Tromer, Xiao Wang và Ning Luo

• Bằng chứng chức năng không zero-knowledge tương tác | Gongxian Zeng, Junzuo Lai, Zhengan Huang, Linru Zhang, Xiangning Wang, Kwok-Yan Lam, Huaxiong Wang và Jian Weng

• Dora: Khả năng biểu đạt của bộ xử lý là (Gần) miễn phí trong chương trình RAM zero-knowledge | Aarushi Goel, Mathias Hall-Andersen và Gabriel Kaptchuk

• Bản thiết kế bảo vệ quyền riêng tư có thể cập nhật | Bernardo David, Felix Engelmann, Tore Frederiksen, Markulf Kohlweiss, Elena Pagnin và Mikhail Volkhov

• Một định lý và ứng dụng lặp lại song song lượng tử hiệu quả | John Bostanci, Luowen Qian, Nicholas Spooner và Henry Yuen

• BabySpartan: SNARK dựa trên Lasso để tính toán không đồng nhất | Srinath Setty và Justin Thaler

• Ngoài MPC-in-the-Head: Cấu trúc hộp đen của các bằng chứng Short zero-knowledge | Carmit Hazay, Muthuramakrishnan Venkitasubramaniam và Mor Weiss

• Nhóm đường cong nhúng cho BLS | Antonio Sanso

• Truy tìm kẻ phản bội để giải mã Threshold | Dan Boneh, Aditi Partap và Lior Rotem

Bài viết/ Threads

• Tóm tắt và người chiến thắng ZK Hack Istanbul | Hack ZK

• Những hiểu biết sâu sắc và suy ngẫm từ DevConnect 2023 | Phòng thí nghiệm O(1)

• Cặp đôi kỳ lạ: ZK và các bản tổng hợp lạc quan vào ngày có khả năng mở rộng | AltLayer & RISC Zero

• ZKID: Một bước hướng tới danh tính kỹ thuật số bảo vệ quyền riêng tư | Chia tỷ lệX

• Chủ đề dài về vấn đề và cơ chế phối hợp của Prover phi tập trung | @ballsyalchemist

• Nova: từ IVC đến PCD chung cho zkMapReduce | @nikkolasg1

• Booster Rollups Phần 2: ZK-EVM với tư cách là Bộ đồng xử lý ZK | Nghiên cứu Ethereum

• ZKP, SIGINT và Chiến tranh tâm lý | @omershlomovits

• Bối cảnh hiện tại của các dự án ZK | Vốn HC

• Giải thích cách Aztec mang lại quyền riêng tư cho Web3 | @MohamedFFouda

• Cách xây dựng hệ thống SNARK hiện đại | Joseandro Luiz

• Binius: SNARK được tối ưu hóa phần cứng | Ulvetanna

• Tăng cường Lasso+Jolt thông qua các cam kết nhanh hơn – Với những hậu quả sâu rộng | Justin Thaler

• Câu hỏi thường gặp về kỹ thuật về Lasso, Jolt và những tiến bộ gần đây trong thiết kế SNARK | Justin Thaler

• ZKML và Thế giới tự trị | EZKL x Lưới

• Tính toán Ngoài chuỗi là tất cả những gì bạn cần | @0x_emperor & @0xkrane

• Làm sáng tỏ ZKML | Vid Kersic

• Ngoài zero-knowledge: Điều gì tiếp theo trong mật mã có thể lập trình? | PSE

• Thoát khỏi trò chơi dành cho Máy ảo Ethereum (EVM) Validiums: Sự trở lại của Plasma | Vitalik Buterin

Video/Podcast

• Hội thảo ZK Hack Istanbul tất cả video | Hack ZK

• ZK năm 2023 của Zac Williamson | Phòng thí nghiệm Antalpha

• ZK Tăng tốc 2023 tất cả video | Ingonyama

• Truy cập các giao dịch và biên nhận on-chain với Axiom | tiên đề

• Tập 300: Hồi tưởng về ZK Podcast | ZK Podcast

• Cập nhật zkSync với Alex G | ZK Podcast

• ZkApps và o1js của Mina với Brandon và Steve | ZK Podcast

• Mật mã lượng tử Phần 2 với Or Sattath | ZK Podcast (Phần 1 có thể tìm thấy ở đây )

Hướng dẫn và Tài nguyên

• Nếu Bạn Không Biết, Hãy Tra Cứu Hoặc Cách Tạo Bảng Tra Cứu Để Tìm Bằng Chứng Không Có Kiến Thức | Blog lớp học Lambda

• Repo GitHub gấp tuyệt vời: Danh sách tuyển chọn các sơ đồ gấp zero-knowledge | Phòng thí nghiệm ẩn nấp

• Ký ức công cộng của Cairo | Blog mật mã

• Cây Verkle | Blog đa giác

• Chiến dịch mới của Node Guardians để khám phá ngôn ngữ Noir | NodeGuardians x Noir

• Giới thiệu về FHE | Phòng thí nghiệm Taiko

• Làm cách nào để chọn hàm Hash thân thiện với ZK của bạn? | TACEO

• Bộ công cụ điểm chuẩn ZK | Ingonyama

Lỗ hổng/tiết lộ

• Phát hiện lỗi âm thanh ZK-EVM trong Kỷ nguyên zkSync | ChuỗiÁnh Sáng

• Sự cố ví hệ thống gây quỹ cộng đồng | Monero

Công cụ/triển khai

• Triển khai ngay từ đầu 3 Lược đồ cam kết đa thức đa tuyến tính (Hyrax, Ligero & Brakedown) với chương trình phụ trợ Arkworks | @0xHungryCats

• Uniswap V4 Hook + Bộ đồng xử lý Brevis ZK = Trải nghiệm Sàn phi tập trung (DEX) dựa trên dữ liệu | Brevis

• Trình diễn cách sử dụng Trình đổ bóng điện toán kim loại để tăng tốc độ chứng minh plonky2/starky | Giao thức QED

• Trao đổi Anon: Sử dụng Giao thức Semaphore để tạo Trao đổi NFT Bảo vệ tính ẩn danh | @lilioo826 x PSE

• FHE trong Risc0 zkVM | HashCloak

• Tech Deep Dive: Xác minh FHE trong RISC Zero, Phần I | @weikengchen

• Kết nối Web2 và Web3 với Bonsai Pay: Ứng dụng demo được hỗ trợ bởi Bonsai | RISC Zero

• Thúc đẩy các cuộc đối thoại mở trên Farcaster, zk-Chứng minh FID và diễn viên của bạn một cách riêng tư | 33 bit

• Plonk trong Python | tarassh

• Viết Robust C - Thực tiễn tốt nhất để tìm kiếm và ngăn chặn lỗ hổng bảo mật | EF

Cập nhật dự án

• Các bước trong phần cứng, bước nhảy vọt về hiệu suất | EZKL

• Tương lai của dữ liệu người tiêu dùng: Cách Snickerdoodle đưa ra giải pháp cho vấn đề cookie của bên thứ 3 | Snickerdoodle

• Testnet 3 Giai đoạn III Triển khai các ưu đãi Hồi cứu | Aleo

• Polygon Labs và NEAR Foundation hợp tác để xây dựng ZkWasm L2 Prover làm thành phần cho Polygon CDK | Polygon x GẦN

• Công ty Chip Ingonyama huy động được 20 triệu USD trong vòng hạt giống | Ingonyama

• Giới thiệu Hyperbridge: Bộ đồng xử lý có khả năng tương tác | Phòng thí nghiệm Polytope

• DM Sui của bạn với zkSend | Phòng thí nghiệm Mysten

• ZKM giới thiệu Trung tâm giáo dục ZK của mình | ZKM

• Aztec công bố Noir v0.19.2 và danh sách tính năng của nó | người Aztec

• Công bố zkSharding cho Ethereum | ;nil= Nền tảng

• Nhân đôi nguồn mở tại RISC Zero | RISC Zero

• Giới thiệu ngắn gọn | Ngắn gọn

• Thông báo sản phẩm: ZK-Container | Ingonyama

• ZKP2P công bố ra mắt phiên bản Alpha | ZKP2P

• Thông báo hợp tác: Chào mừng mô-đun đến với Phòng thí nghiệm của Ion | Giao thức ION

• Tạo cầu nối hai chiều được bảo mật bằng ZKP từ tính khả dụng đến Ethereum | Ngắn gọn x Có sẵn

• Giới thiệu 'Mười' — Một bước nhảy vọt vượt xa quyền riêng tư | Phòng thí nghiệm ít người biết đến

• Ola mở đơn Danh sách trắng DevTestnet: Mang lại quyền riêng tư tuân thủ cho ZKRollups | ola

• Herodotus: Chứng minh trạng thái của Ethereum bằng cách sử dụng bằng chứng lưu trữ trên Starknet | StarkWare x Herodotus

• Các vấn đề về hiệu suất của Ví đã được giải quyết, ECC thoát khỏi Chế độ khẩn cấp | Công ty tiền xu điện

• Mô hình tách người yêu cầu-người cung cấp ZKP để hỗ trợ ZK đầy đủ và ZK lạc quan | ZKPool

• Làm cách nào để kết hợp các phương pháp Recproofs của Lagrange và ZKMapReduce (ZMKR) với các sơ đồ gấp? | Lagrange

Sự kiện/Hackathon

• Kết nối Polygon | Bengaluru, Ấn Độ 7 tháng 12

• ETHẤn Độ | Bengaluru, Ấn Độ 8 - 10 tháng 12

• ZK HACK IV | Trực tuyến. Ngày 16 tháng 1 - ngày 6 tháng 2 năm 2024

• ETHDenver | Denver, Hoa Kỳ. 23 tháng 2 - 3 tháng 3

• ETHGlobal Luân Đôn | London, Vương quốc Anh. 15 - 17 tháng 3

• RWC 2024 | Toronto Canada. 25 - 27 tháng 3

• zkSummit11 | Athens, Hy Lạp. 10/04 - LƯU NGÀY

• EuroSys 2024 | Athens, Hy Lạp. 22 - 25 tháng 4

• ETHGlobal Sydney | Sydney, Úc. 3 - 5 tháng 5

• DappCon 2024 | Berlin, Đức. 21 - 23 tháng 5

• ETHBerlin | Berlin, Đức. 24 - 26 tháng 5

• Eurocrypt 2024 | Zürich, Thụy Sĩ. 26 - 30 tháng 5

• DevCon | Đông Nam Á. Mùa xuân năm 2024?

• ETHGlobal Brussels | Brussels, Bỉ. Ngày 12 - 14 tháng 7

————

Ở đó bạn có nó! Hy vọng bạn thích phiên bản zkMesh này. Hãy nhớ đăng ký để nhận ấn bản tiếp theo trong hộp thư đến của bạn.

Cuối cùng, nếu bạn có điều gì đó mà bạn nghĩ nên đưa vào ấn bản tiếp theo hoặc đề xuất về định dạng, hãy tweet cho chúng tôi @__zkhack__ !