zkVM được thiết kế đặc biệt cho sự đồng thuận của Ethereum trông như thế nào? Trong tập này (4/6 của miniseries @LeanEthereum), các nhà nghiên cứu từ Quỹ Ethereum, Thomas Coratger (@tcoratger) và Emile, thảo luận với @nico_mnbl về thiết kế và triển khai leanVM, VM tối thiểu được sử dụng cho việc tổng hợp chữ ký hậu lượng tử. Họ đề cập đến: – Tại sao leanVM sử dụng một VM thay vì các mạch cố định để hỗ trợ tổng hợp XMSS linh hoạt và cấu trúc chứng minh đệ quy – Kiến trúc leanVM: một tập hợp lệnh tối thiểu (4 opcode) được thiết kế cho sự đơn giản và xác minh chính thức – Ngăn xếp chứng minh phía sau LeanVM: toán tử đa tuyến, kiểm tra tổng, và sơ đồ cam kết Weir – Chi tiết triển khai: chứng minh tối ưu hóa CPU với Plonky3, kỹ thuật SIMD, và băm Poseidon2 – Các chỉ số và ràng buộc xung quanh đệ quy và thông lượng tổng hợp XMSS Họ cũng thảo luận về thiết kế đặc tả, phương pháp đo lường hiệu suất, và các câu hỏi mở xung quanh việc triển khai mật mã hậu lượng tử trong Ethereum. Nghe tập đầy đủ. —-------------------- THỜI GIAN 03:36 Tại sao LeanVM được chọn 07:50 Thiết kế tối giản của LeanVM 08:34 Đơn giản hơn tốc độ 19:34 Bảo mật và lựa chọn trường 20:41 Hiệu suất và chỉ số tổng hợp 28:14 Đặc tả Python của Ethereum