STARKs vs. SNARKs và Mối đe dọa Từ tính Nổi tiếng, STARKs là an toàn sau lượng tử nhưng SNARKs bị phá vỡ bởi máy tính lượng tử. Tại sao? Tôi đang đề cập đến SNARKs đường cong elliptic, loại mà hầu hết các bạn quen thuộc (như Groth16). Một SNARK sử dụng một "khóa chứng minh" bí mật để cho phép người chứng minh trả lời một câu hỏi nhất định. Cách mà bí mật được tạo ra là bằng cách lặp lại nhiều lần một phép toán toán học nhất định. Một phép so sánh tốt là bạn bắt đầu với một khối Rubik và thực hiện một phép toán nhất định (ví dụ, xoay một bên của nó + xoay khối Rubik trong tay bạn). Sau đó, bạn lặp lại nó nhiều lần, một triệu tỷ tỷ lần. Số lần chính xác bạn thực hiện các phép toán đó -- đó là bí mật. Sau đó, bạn trình bày khối Rubik bị rối cho cả thế giới xem. Bây giờ, nếu bạn có thể nhìn vào khối và trả lời số lần phép toán đã được thực hiện để đạt được trạng thái hiện tại này, bạn đã phá vỡ SNARK. Một cách để làm điều đó là lấy một khối Rubik và bắt đầu nghịch ngợm với nó, đếm số lần bạn thực hiện phép toán cho đến khi đạt được cấu hình được công khai. Nhưng điều đó mất rất nhiều thời gian (một triệu tỷ tỷ bước). Aha, nhưng một máy tính lượng tử là một máy tính rất thông minh có thể nhìn vào khối và đưa ra số: 112,302,305,166 lần chẳng hạn. Và với câu trả lời này, SNARK bị phá vỡ. OK, còn STARK thì sao? Trong trường hợp này, để phá vỡ một STARK, bạn phải "phá vỡ một hàm băm". Một hàm băm hoạt động như thế này: Bạn lấy một khối Rubik, thực hiện một trong những phép toán đó. Sau đó, bạn viết mẫu lên giấy, gập lại, cắt ra, hoán vị các ô theo cách điên rồ, và đăng chúng lên một khối Rubik mới. Sau đó, bạn thực hiện một phép toán khác trên khối Rubik, và rồi lại chuyển sang giấy. Và cứ như vậy. Điều quan trọng là: Thay vì chỉ thực hiện một loại phép toán (toán học, một "phép toán nhóm") trong trường hợp của SNARK, với STARK bạn trộn lẫn một số lượng lớn các phép toán rất khác nhau, thiếu kết nối và cấu trúc. Và việc trộn lẫn này, của nhiều thứ, là điều làm rối máy tính, cả cổ điển và lượng tử, và cứu vãn tình hình. HẾT.