Phân tích nguyên lý Binius STARKs và những suy nghĩ về tối ưu hóa
1 Giới thiệu
Một trong những lý do chính dẫn đến hiệu suất kém của STARKs 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ố trong vòng lặp for, giá trị đúng/sai, 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 bổ sung 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 quan trọng.
Độ rộng mã hóa của STARKs thế hệ 1 là 252bit, độ rộng mã hóa của STARKs thế hệ 2 là 64bit, độ rộng mã hóa của STARKs thế hệ 3 là 32bit, nhưng độ rộng mã hóa 32bit vẫn còn tồn tại nhiều không gian lãng phí. So với điều đó, miền nhị phân cho phép thao tác trực tiếp trên các bit, mã hóa chặt chẽ hiệu quả mà không có bất kỳ không gian lãng phí nào.