Chào mừng bạn đến với zkMesh, bản tin hàng tháng bao gồm thông tin mới nhất về mật mã nâng cao nâng cao quyền riêng tư, phát triển giao thức phân tán 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 .
Cảm ơn bạn đã đọc zkMesh! Đăng ký miễn phí để nhận bài viết mới và hỗ trợ công việc của tôi.
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 mỗi tháng. Hãy chắc chắn để chia sẻ và đăng ký !
** ZK Hack Montréal đang diễn ra vào ngày 9 - 11 tháng 8 (ĐĂNG KÝ THAM GIA VỚI CHÚNG TÔI) **
Nghiên cứu
zkSNARK trong ROM với UC-Security vô điều kiện của Alessandro Chiesa và Giacomo Fenzi
Vỗ tay: Rust eDSL dành cho Hệ thống chứng minh PlonKish với Trình biên dịch tối ưu hóa bảo toàn ngữ nghĩa của Marco Stronati, Denis Firsov, Antonio Locascio và Benjamin Livshits
Tầm nhìn Mark-32: Hàm Hash thân thiện với ZK trên các trường tháp nhị phân của Tomer Ashur, Mohammad Mahzoun, Jim Posen và Danilo Šijačić
Ouroboros của ZK: Tại sao việc xác minh Người xác minh lại mở ra sự đổi mới ZK dài hạn hơn của Denis Firsov và Benjamin Livshits
Các đối số ngắn gọn tương đối hóa trong ROM Không tồn tại bởi Annalisa Barbara, Alessandro Chiesa và Ziyi Guan
Về kỹ thuật khấu hao cho SNARK dựa trên FRI của Albert Garreta, Hayk Hovhanissyan, Aram Jivanyan, Ignacio Manzur, Isaac Villalobos và Michał Zając
SigmaSuite: Cách giảm thiểu số học nước ngoài trong mạch ZKP trong khi vẫn giữ được xác minh cuối cùng ngắn gọn của Wyatt Benno
MPC quy mô lớn: Mở rộng quy mô kiểm tra tính duy nhất của mã Iris riêng tư tới hàng triệu người dùng của Remco Bloemen, Daniel Kales, Philipp Sippl và Roman Walch
Thế giới mới dũng cảm của các nhóm chung toàn cầu và SNARK không chi phí UC-Secure của Jan Bobolz, Pooya Farshim, Markulf Kohlweiss và Akira Takahashi
IOP zero-knowledge sắp đạt đến độ dài nhân chứng của Noga Ron-Zewi và Mor Weiss
Xác minh hàng loạt hiệu quả gấp đôi trong zero-knowledge về thống kê của Or Keret, RON D. Rothblum và Prashant Nalini Vasudevan
PERK: Lược đồ chữ ký nhỏ gọn dựa trên một biến thể mới của vấn đề hạt nhân được phép của Slim Bettaieb, Loïc Bidoux, Victor Dyseryn, Andre Esser, Philippe Gaborit, Mukul Kulkarni và Marco Palumbi
Ủy quyền là đủ: Bảo mật của việc ủy quyền trong TLS Oracles và bối cảnh AEAD Không thể tha thứ của Zhongtang Luo, Yanxue Jia, Yaobin Shen và Aniket Kate
Các zkSNARK phổ quát trong thế giới thực không thể điều chỉnh được bởi Antonio Faonio, Dario Fiore và Luigi Russo
Khung bằng Bằng chứng không tri thức hiệu quả và có thể mở rộng cho mạng lưới thần kinh của Tao Lu, Haoyu Wang, Wenjie Qu, Zonghui Wang, Jinye He, Tianyang Tao, Wenzhi Chen và Jiaheng Zhang
Cam kết chức năng ngắn gọn cho các mạch từ k-Lin của Hoeteck Wee và David J. Wu
Kế hoạch bảo vệ quyền riêng tư thông qua tính toán có thể xác minh ngắn gọn đối với dữ liệu được mã hóa đồng hình bổ sung của Scott Griffy, Markulf Kohlweiss, Anna Lysyanskaya và Meghna Sengupta
Bài viết/ Threads
Bài viết tóm tắt ZK Hack Kraków | Hack ZK
Các nhà lãnh đạo ngành ZK lên án các phòng thí nghiệm vật chất và đứng về phía khối đa diện trong cuộc tranh luận về mã ZK | Không có chuỗi
Lớp 2 thực sự khác với việc thực thi Sharding như thế nào? | Vitalik Buterin
Phân quyền không phải là Meme (Phần 1) | người Aztec
Mô-đun so với đá nguyên khối đã chết | = không; Sự thành lập
Vụ án đạo đức giả của Chính phủ Hoa Kỳ chống lại tiền mặt lốc xoáy | Coindesk
Tối ưu hóa khả năng mở rộng, bảo mật và kiểm duyệt ZK-Rollup với MPC dịch bệnh, cấu trúc dữ liệu hiệu quả và kỹ thuật mã hóa nâng cao | Diễn đàn EthResearch
Tiếp cận hằng số: Cuộc đua cho hệ thống Bằng chứng không tri thức nhanh nhất | ICME
Đột phá công nghệ, Xác minh không tin cậy, Bí quyết cho SNARK | a16z crypto
Video/Podcast
Định nghĩa, Bảo mật và Sumcheck trong Hệ thống ZK với Justin Thaler | Podcast kiến thức không
Khám phá các đường cong Elliptic mới cùng với Antonio Sanso và Youssef El Housni | Podcast kiến thức không
Bằng chứng web với Tracy từ Sao Diêm Vương | Podcast kiến thức không
MPC & ZK ở Ligero và Ligetron | Podcast kiến thức không
Tích lũy không có đồng hình (Wilson Nguyen - Stanford, William Wang - NYU) | Câu lạc bộ zkStudy
ZK Tăng tốc Athens: Trung tâm tóm tắt & LINK (Chainlink) | Ingonyama
Paul Lou: Ngôn ngữ cứng trong NP ∩ coNP và Bằng chứng NIZK từ Độ cứng phi cấu trúc | Hội thảo về tiền điện tử CMU Cylab
Lý thuyết về mã: Xây dựng bước đột phá zkVM Jolt | a16z crypto
Các buổi nói chuyện và hội thảo giải thích Bằng chứng zero-knowledge cho khán giả kỹ thuật | ZK lặn ở New York
Hướng dẫn và Tài nguyên
Xây dựng bằng chứng mật mã từ Hash | Alessandro Chiesa & Eylon Yogev
Nhóm học MoonMath | Hack ZK
Hướng dẫn WTF-zk | WTFAcademy
BrainSTARK: Thiết kế một công cụ zk-STARK Turing-Complete | @aszepieniec
Ghi chú về zk-SNARK hợp tác | Leku
Bằng chứng không tri thức về Hash SHA256 bằng zkSNARK | Binod Karunanayake
Lỗ hổng/tiết lộ
Phá vỡ giấy đậu thông minh | Ariel, Liam
Báo cáo lỗ hổng: Cuộc tấn công giả của người dùng Binance PoR | Leku
ETHDam(n) | MACI
Gặp Recon, Người bảo vệ bảo mật Web3 của bạn | Tin tức Web3sec
Xác minh chính thức nâng cao về ZKP: Câu chuyện về hai lỗi | Chứng nhận
Tấn công mở rộng chiều dài | @0xtiagofneto
Công cụ/Triển khai
Sử dụng các sơ đồ gấp cho một khách hàng Bitcoin nhẹ có thể chứng minh được | @xyz_pierre
Open-Binius: Các khối xây dựng để tăng tốc bằng chứng ZK trên các trường nhị phân | Ingonyama
Xây dựng ứng dụng ZK | Ligero
Cập nhật dự án
SP1 của Succinct, được xây dựng bằng Polygon Plonky3 … cho Lớp Agg | Polygon
zkSharding cho Ethereum | = không; Sự thành lập
Xây dựng một hồ bơi tối thực sự tối | Kem chống nắng
Một Năm Bảo Mật ZK | zkSecurity
Tận dụng ZKP để giải quyết các thách thức về quyền riêng tư trong mã thông báo RWA | NovaNet
Zeth mang lại bằng chứng xác thực cho OP Stack của lạc quan | RISC Zero
Giới thiệu SNARKnado | Phòng thí nghiệm Alpen
Xác minh Lễ thiết lập tin cậy của RISC Zero | RISC Zero
Tóm tắt kiểm tra bảo mật: Máy ảo zero-knowledge (zkVM) | RISC Zero
Giới thiệu Thép | RISC Zero
Giới thiệu ZaKi | Ingonyama
Ra mắt Testnet SP1: ZkVM nhanh nhất, đầy đủ tính năng dành cho nhà phát triển | Phòng thí nghiệm ngắn gọn
ZKThreads: Khung bảo vệ ZK chuẩn cho Các ứng dụng phi tập trung (DAPPS) | StarkWare
Một khuôn khổ cho việc tổng hợp bằng chứng không đồng nhất | Phòng thí nghiệm Rize
Làm thế nào zkVM có mục đích chung có thể đạt được hiệu ứng mạng? | ZKM
Horizen đang định nghĩa lại Blockchain bằng bằng chứng zero-knowledge như thế nào | Phòng thí nghiệm chân trời
Chương tiếp theo của Lagrange | Phòng thí nghiệm Lagrange
Ola: Hơn cả cơ sở hạ tầng - Một cổng mới kết nối thế giới Web2 và Web3 | ola
Nhận dạng kỹ thuật số: Giải quyết vấn đề quyền riêng tư mà không cần bằng chứng kiến thức | Giao thức MINA
Sự kiện/Hackathons
ETH Praha | Prague, Cộng hòa Séc. 31 tháng 5 - 2 tháng 6
EthCC | Brussels, Bỉ. 8 - 11 tháng 7
Ngày mã hóa | Brussels, Bỉ. ngày 9 tháng 7
Cuộc Gặp Gỡ Hack ZK #5 | Brussels, Bỉ. ngày 9 tháng 7
ETHGlobal Brussels | Brussels, Bỉ. Ngày 12 - 14 tháng 7
ZK Hack Montréal | Montréal, Canada. Ngày 9 - 11 tháng 8 (ĐĂNG KÝ NGAY BÂY GIỜ!)
ETHWarsaw | Warsaw, Ba Lan. Ngày 5 - 8 tháng 9
ETHGlobal Singapore | Singapore. 20 - 22 tháng 9
zkSummit12 | Thành phố Lisbon của đất nước Portugal. Ngày 8 tháng 10 (LƯU NGÀY)
ETHGlobal San Francisco | San Francisco, Mỹ. 18 - 20 tháng 10
DevCon | Bangkok, Thái Lan. Ngày 12 - 15 tháng 11
ETHGlobal Bangkok | Bangkok, Thái Lan. 15 - 17 tháng 11
————
Ở đó 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__ !
Cảm ơn bạn đã đọc zkMesh! Đăng ký miễn phí để nhận bài viết mới và hỗ trợ công việc của tôi.
