Các SNARK dựa trên băm đang trở thành trung tâm trong lộ trình hậu lượng tử của Ethereum, nhưng chúng thực sự an toàn đến mức nào? Trong tập này (phần 3 của miniseries @leanEthereum), @nico_mnbl trò chuyện với @GiacomoFenzi và @asanso để xem xét lý thuyết và an ninh của các SNARK hậu lượng tử. Họ đề cập đến: – Ngăn xếp SNARK phía sau LeanVM (tính toán đa tuyến + kiểm tra tổng) – Giải thưởng $1 triệu Proximity Gap và làn sóng nghiên cứu mới mà nó kích hoạt – Cách các kết quả gần đây ảnh hưởng đến biên an ninh cho các hệ thống chứng minh dựa trên băm – Tại sao Ethereum đang chuyển sang các chế độ an ninh có thể chứng minh cho sự an toàn của giao thức lâu dài Họ cũng khám phá các vấn đề mở trong lý thuyết mã hóa, giải mã danh sách và các hệ thống chứng minh dựa trên băm. Nghe tập đầy đủ —----- THỜI GIAN 02:24 – Tại sao Ethereum cần các SNARK hậu lượng tử 03:30 – Ngăn xếp SNARK LeanVM (đa tuyến + kiểm tra tổng) 04:53 – Giải thưởng $1 triệu Proximity Gap 12:04 – Làn sóng các bài nghiên cứu mới 12:52 – Giới hạn Johnson so với giới hạn dung lượng 21:24 – Phân tích tấn công mới trên các STARK đã triển khai 27:07 – Tại sao ngưỡng an ninh 128-bit lại quan trọng 30:26 – Các câu hỏi nghiên cứu mở trong các SNARK hậu lượng tử