Trong những năm gần đây, thiết kế giao thức STARKs đã có xu hướng sử dụng các trường nhỏ hơn. Các triển khai sớm hơn sử dụng trường 256 bit, nhưng hiệu quả thấp. Để giải quyết vấn đề này, STARKs đã bắt đầu chuyển sang sử dụng các trường nhỏ hơn, chẳng hạn như Goldilocks, Mersenne31 và BabyBear. Sự chuyển đổi này đã nâng cao đáng kể tốc độ chứng minh.
Một vấn đề phổ biến khi sử dụng các trường nhỏ hơn là các tham số được chọn ngẫu nhiên có thể bị kẻ tấn công đoán được. Các giải pháp bao gồm thực hiện nhiều lần kiểm tra ngẫu nhiên hoặc mở rộng trường. Mở rộng trường tương tự như số phức, nhưng dựa trên trường hữu hạn. Điều này cho phép thực hiện các phép toán phức tạp hơn trên trường hữu hạn, tăng cường độ an toàn.
Circle STARKs là một giải pháp tinh vi, có thể thực hiện FRI hiệu quả trên các trường nhỏ như Mersenne31. Nó sử dụng tập hợp các điểm trên vòng tròn làm nhóm, những điểm này tuân theo quy luật cộng nhất định. Cách xây dựng Circle FRI và Circle FFT tương tự như FRI thông thường, nhưng đối tượng được xử lý là không gian Riemann-Roch chứ không phải đa thức nghiêm ngặt.
Khi thực hiện Circle STARKs, cần sử dụng một số kỹ thuật đặc biệt để thay thế các phép toán thương truyền thống và các hoạt động đa thức biến mất. Thứ tự đánh giá cũng cần được điều chỉnh thành thứ tự ngược gấp đặc biệt.
Nhìn chung, Circle STARKs không phức tạp hơn nhiều so với STARKs thông thường đối với các nhà phát triển. Đây là một giải pháp STARK hiệu quả, đặc biệt phù hợp để sử dụng trên trường số nguyên tố 31 bit. Kết hợp với các công nghệ khác như Mersenne31, BabyBear, chúng ta đang tiến gần đến giới hạn hiệu suất của lớp cơ sở STARKs.
Hướng tối ưu hóa chính cho STARK trong tương lai có thể bao gồm: tối ưu hóa tính toán cho các nguyên thủy mật mã cơ bản, cấu trúc đệ quy để cải thiện khả năng song song, máy ảo tính toán để cải thiện trải nghiệm phát triển, v.v. Những tối ưu hóa này sẽ nâng cao hơn nữa hiệu suất và khả năng sử dụng của STARK.
Xem bản gốc
Trang này có thể chứa nội dung của bên thứ ba, được cung cấp chỉ nhằm mục đích thông tin (không phải là tuyên bố/bảo đảm) và không được coi là sự chứng thực cho quan điểm của Gate hoặc là lời khuyên về tài chính hoặc chuyên môn. Xem Tuyên bố từ chối trách nhiệm để biết chi tiết.
13 thích
Phần thưởng
13
8
Chia sẻ
Bình luận
0/400
BanklessAtHeart
· 5giờ trước
Trường nhỏ thực sự yyds rồi
Xem bản gốcTrả lời0
NFTRegretter
· 20giờ trước
FRI đã nhanh hơn một chút so với trước đây.
Xem bản gốcTrả lời0
WalletManager
· 08-04 06:32
Tối ưu hóa trường nhỏ là điểm nổi bật, mã thì giữ lại không có vấn đề gì.
Xem bản gốcTrả lời0
StableBoi
· 08-04 06:32
Thật là nể mặt Goldilocks quá!
Xem bản gốcTrả lời0
NFTFreezer
· 08-04 06:30
Chứng minh tốc độ nhanh hơn, chạy còn nhanh hơn cả geth?
Xem bản gốcTrả lời0
ColdWalletGuardian
· 08-04 06:30
Không hiểu nhưng thấy mạnh mẽ, hơi khó hiểu, mong được giải thích.
Circle STARKs: Giải pháp mới giúp thực hiện FRI hiệu quả trên trường nhỏ
Khám phá Circle STARKs
Trong những năm gần đây, thiết kế giao thức STARKs đã có xu hướng sử dụng các trường nhỏ hơn. Các triển khai sớm hơn sử dụng trường 256 bit, nhưng hiệu quả thấp. Để giải quyết vấn đề này, STARKs đã bắt đầu chuyển sang sử dụng các trường nhỏ hơn, chẳng hạn như Goldilocks, Mersenne31 và BabyBear. Sự chuyển đổi này đã nâng cao đáng kể tốc độ chứng minh.
Một vấn đề phổ biến khi sử dụng các trường nhỏ hơn là các tham số được chọn ngẫu nhiên có thể bị kẻ tấn công đoán được. Các giải pháp bao gồm thực hiện nhiều lần kiểm tra ngẫu nhiên hoặc mở rộng trường. Mở rộng trường tương tự như số phức, nhưng dựa trên trường hữu hạn. Điều này cho phép thực hiện các phép toán phức tạp hơn trên trường hữu hạn, tăng cường độ an toàn.
Circle STARKs là một giải pháp tinh vi, có thể thực hiện FRI hiệu quả trên các trường nhỏ như Mersenne31. Nó sử dụng tập hợp các điểm trên vòng tròn làm nhóm, những điểm này tuân theo quy luật cộng nhất định. Cách xây dựng Circle FRI và Circle FFT tương tự như FRI thông thường, nhưng đối tượng được xử lý là không gian Riemann-Roch chứ không phải đa thức nghiêm ngặt.
Khi thực hiện Circle STARKs, cần sử dụng một số kỹ thuật đặc biệt để thay thế các phép toán thương truyền thống và các hoạt động đa thức biến mất. Thứ tự đánh giá cũng cần được điều chỉnh thành thứ tự ngược gấp đặc biệt.
Nhìn chung, Circle STARKs không phức tạp hơn nhiều so với STARKs thông thường đối với các nhà phát triển. Đây là một giải pháp STARK hiệu quả, đặc biệt phù hợp để sử dụng trên trường số nguyên tố 31 bit. Kết hợp với các công nghệ khác như Mersenne31, BabyBear, chúng ta đang tiến gần đến giới hạn hiệu suất của lớp cơ sở STARKs.
Hướng tối ưu hóa chính cho STARK trong tương lai có thể bao gồm: tối ưu hóa tính toán cho các nguyên thủy mật mã cơ bản, cấu trúc đệ quy để cải thiện khả năng song song, máy ảo tính toán để cải thiện trải nghiệm phát triển, v.v. Những tối ưu hóa này sẽ nâng cao hơn nữa hiệu suất và khả năng sử dụng của STARK.