Phân tích nguyên lý Binius STARKs và những suy nghĩ tối ưu hóa của nó
1 Giới thiệu
Khác với SNARKs dựa trên đường cong elip, STARKs có thể được coi là SNARKs dựa trên băm. Một trong những lý do chính khiến STARKs hiện nay kém hiệu quả là: hầu hết các giá trị trong chương trình thực tế đều nhỏ, chẳng hạn như chỉ số vòng lặp, giá trị boolean, bộ đếm, v.v. Tuy nhiên, để đảm bảo tính an toàn của chứng minh dựa trên cây Merkle, khi sử dụng mã Reed-Solomon để mở rộng dữ liệu, nhiều giá trị dư thừa sẽ chiếm toàn bộ miền, ngay cả khi giá trị gốc rất nhỏ. Để giải quyết vấn đề này, giảm kích thước miền trở thành chiến lược then chốt.
Độ rộng mã hóa của STARKs thế hệ 1 là 252 bit, thế hệ 2 là 64 bit, thế hệ 3 là 32 bit, nhưng mã hóa 32 bit vẫn còn không gian lãng phí lớn. So với điều đó, miền nhị phân cho phép thao tác trực tiếp trên bit, mã hóa chặt chẽ, hiệu quả và không lãng phí, có thể coi là STARK thế hệ 4.