SNARKs so với STARKs, không có sự huyền bí. SNARK yêu cầu thiết lập đáng tin cậy: một nghi lễ một lần để tạo ra sự ngẫu nhiên bí mật — “chất thải độc hại” — phải bị tiêu hủy. Nếu còn một bản sao tồn tại, các bằng chứng có thể bị giả mạo. Các ZK rollup lớn của thế hệ đầu tiên — zkSync Era, Scroll, Polygon zkEVM — đều triển khai chứng minh dựa trên SNARK. Tất cả đều thực hiện nghi lễ thiết lập mà bạn phải tin tưởng. Các nghi lễ đa bên làm giảm rủi ro (“an toàn miễn là một người tham gia trung thực”). Giả định này chưa bao giờ biến mất. STARK không cần nghi lễ nào. Không có chất thải độc hại, không gì cần tiêu hủy, không gì cần tin tưởng. Độ an toàn được rút gọn về các hàm băm chống va chạm — cùng nguyên tố cơ bản mà ví của bạn đã dựa vào. Và với việc không có các cặp đường cong elliptic trong vòng lặp, STARK có khả năng chống lại máy tính lượng tử. Lý do chân chính khiến SNARK chiến thắng trong thế hệ đầu tiên: bằng chứng nhỏ hơn, chi phí xác minh trên Ethereum rẻ hơn. Sự đầu tư của Miden: việc xác minh sẽ chuyển sang thiết bị của bạn, nơi kích thước bằng chứng gần như không quan trọng, nhưng giả định về sự tin tưởng thì có. Một câu hỏi bạn nên đặt ra với bất kỳ hệ thống ZK nào: bằng chứng này yêu cầu bạn tin tưởng điều gì? Nếu câu trả lời bao gồm một nghi lễ, bạn đang tin tưởng con người, chứ không phải toán học. @0xMiden VM dựa trên STARK. Bạn tin vào hàm băm. Đó là toàn bộ danh sách.