Đây là phiên bản đầu tiên của ZK-Roller-Coaster nơi chúng tôi theo dõi và điều tra những nội dung ZK thú vị, ý nghĩa và điên rồ nhất trong hai tuần trước.
Những gì mong đợi? Các cuộc thảo luận và đề xuất nghiên cứu ZK mới và đang diễn ra, các dự án mới, cập nhật từ các dự án đã có và được yêu thích, phim truyền hình ZK, một số bài viết và bài viết mang tính giáo dục, cơ hội cho các nhà xây dựng và câu đố cho những người tò mò. Không phải tất cả những điều này mọi lúc mà là tất cả những điều này theo thời gian.
Hãy bắt đầu với phiên bản đầu tiên của ZK-Roller-Coaster! Giữ chặt! 🎢
Gia vị của tuần 🌶️
Rõ ràng không ai thực sự biết cách thức hoạt động của rollup! Kelvin từ Optimism đã trình bày rất hay về mô hình tinh thần tổng hợp của mình và khẳng định rằng ZK Rollups không tồn tại! Kinh dị! (Nhưng theo anh ấy, các bản tổng hợp lạc quan cũng vậy… tất cả chúng chỉ là các bản tổng hợp).
Nghiên cứu về ZK và các bản tổng hợp 🧙
chủ đề ethresearch trên các bản tổng hợp “dựa trên” hoặc “theo trình tự L1” (của Justin Drake). TLDR: “chúng tôi nêu bật một tập hợp con đặc biệt của các bản tổng hợp mà chúng tôi gọi là “dựa trên” hoặc “theo trình tự L1”. Trình tự của các lần tổng hợp như vậy - trình tự dựa trên - đơn giản tối đa và kế thừa tính sống động và phân cấp của L1. Hơn nữa, các đợt tổng hợp dựa trên đặc biệt phù hợp về mặt kinh tế với L1 cơ sở của chúng.” Taiko ủng hộ cách tiếp cận phi tập trung nhất có thể, hoàn toàn phụ thuộc vào Ethereum để phân cấp trình tự/người đề xuất.
đề xuất nghiên cứu đạo đức: Tạo chữ ký xác minh được chỉ định tương thích trên Ethereum (của Shrey Jain và Enrico Bottazzi). Tóm tắt ngắn trong chủ đề của Enrico.
đề xuất nghiên cứu đạo đức về Giao thức truyền thông chéo dựa trên ZK mới (của Daniel Ivanov từ LimeLabs).
Một bộ sưu tập các lỗi, lỗ hổng bảo mật và hoạt động khai thác do cộng đồng duy trì trong các ứng dụng sử dụng tiền điện tử ZK của cộng đồng 0xPARC.
Alex Stokes đã xuất bản bản thảo “hệ thống hóa kiến thức”: chúng ta muốn nói gì khi nói về “trình tự”? Đó là công việc đang được tiến hành, vui lòng đóng góp.
Bản cập nhật ZK và các bản tổng hợp 🎈
Hệ thống Espresso đã xuất bản một bài báo (của Ben Fisch và Benedikt Bünz) giới thiệu Espresso Sequencer, một công cụ phân cấp tổng hợp.
Avail, giải pháp Tính sẵn có của Dữ liệu Đa giác, sẽ được tách hoàn toàn khỏi Polygon Labs.
Hình học giới thiệu Semacaulk, một giao thức thành viên tập hợp không có kiến thức tiết kiệm gas.
Succinct Labs đã giới thiệu Telepathy, giao thức tương tác zkSNARK phi tập trung và an toàn cho Ethereum.
Sismo đã ra mắt zkConnect = anon auth + tiết lộ dữ liệu có chọn lọc.
Porçu Quine (nhóm Chứng minh Filecoin) đã giới thiệu Lurk, một ngôn ngữ lập trình dựa trên LISP mới dành cho zk-SNARK.
Arbitrum công bố ra mắt quản trị DAO.
Điểm nổi bật của ngành không phải ZK 🎡
Tóm tắt (của Tim Beiko) và ghi lại Cuộc họp lớp thực thi Ethereum cuối cùng (đặt ngày mạng chính của Shapella (!!), bao gồm mọi EIP Cancun tiềm năng cho đến nay, thảo luận về việc xây dựng khối cục bộ, v.v.)
Báo cáo minh bạch của Flashbots.
Cơ hội 🏄♀️
Ngày 19 tháng 4: tìm hiểu sâu về Sangria, một sơ đồ gấp mới cho Plonk với các ràng buộc plonk thoải mái, cuộc trò chuyện bất hòa của Nico từ Geometry.
Đọc và xem 🎞
Tổng quan
Bản tổng hợp không có thật: một bài đọc dài của Jon Charbonneau về Cơ chế bao gồm giao dịch bắt buộc, Phân cấp trình tự L2 và Đồng thuận (Tùy chọn), Trình tự chia sẻ & Nguyên tử chuỗi X và Thiết kế phần mềm MEV.
Giải mã các bản tổng hợp: điều gì thực sự xác định bản tổng hợp? Cộng đồng hay cầu nối xác thực? – một bài viết của Patrick McCorry.
Tương lai của việc bỏ phiếu Riêng tư, Linh hoạt & Ẩn danh (của Raf Solari từ Tally và O(1) Labs), một bản ghi không gian trên Twitter.
Danksharding phần 1 với Yuval Domb, một bài giảng.
Bản tổng hợp thông qua lăng kính xác thực các cầu nối, các slide từ bài nói chuyện ETHDubai của Toghrul Maharramov từ Scroll.
Thiết kế zkVM tối ưu (của Max Gillett), một cuộc nói chuyện ngắn.
Toán học kỳ lạ, mật mã và vật lý lượng tử
Bộ điều phối chức năng khí không đổi trong EVM, một cuốn sách ngữ văn đã đọc từ lâu.
TFHE (Mã hóa hoàn toàn đồng hình) Tìm hiểu sâu - Phần I - Các loại văn bản mã hóa, một bài đọc dài của Zama.
Hiện trạng của các ngôn ngữ EVM, một nghiên cứu đã được jtriley đọc từ lâu.
ZKWasm: Mở rộng chân trời của các công nghệ bảo vệ quyền riêng tư với SuperNova, một bài đọc dài của Wyatt Benno từ ICME Labs.
Một cải tiến theo cấp số nhân cho đường chéo Ramsey, giải thích theo chủ đề của Timothy Gowers.
Một bài nghiên cứu thống nhất các đặc điểm về khả năng chịu lỗi với phép tính ZX.
Cảm ơn bạn đã đọc ấn bản đầu tiên của ZK-Roller-Coaster. Gặp lại bạn sau hai tuần nữa! 🚵♀️
