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 toán học nhỏ hơn. Các triển khai STARKs đầu tiên sử dụng trường 256 bit, nhưng thiết kế này có hiệu suất thấp hơn. Để 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.
Việc sử dụng các trường nhỏ hơn mang lại một số thách thức, chẳng hạn như vấn đề về bảo mật. Các giải pháp bao gồm thực hiện nhiều lần kiểm tra ngẫu nhiên và mở rộng các trường. Các trường mở rộng tương tự như số nhiều, nhưng dựa trên trường hữu hạn. Điều này cho phép chúng tôi thực hiện các phép toán phức tạp hơn trên trường hữu hạn, nâng cao bảo mật.
Circle STARKs là một giải pháp thông minh. Cho một số nguyên tố p, có thể tìm ra một nhóm có kích thước p, nhóm này có tính chất tương tự như một ánh xạ hai chiều. Nhóm này được tạo thành từ các điểm thỏa mãn các điều kiện cụ thể, chẳng hạn như tập hợp các điểm mà x^2 mod p bằng một giá trị cụ thể nào đó.
Circle STARKs hỗ trợ thuật toán FFT, nhưng đối tượng được xử lý không phải là đa thức theo nghĩa nghiêm ngặt, mà là một đối tượng toán học được gọi là không gian Riemann-Roch. Các nhà phát triển gần như có thể hoàn toàn bỏ qua điều này, chỉ cần lưu trữ đa thức như một tập hợp các giá trị đánh giá trên một miền cụ thể.
Trong Circle STARKs, phương pháp tính toán thương mại truyền thống cần được điều chỉnh. Chúng tôi chứng minh bằng cách đánh giá tại hai điểm, thêm một điểm ảo không cần chú ý.
Circle STARKs thể hiện hiệu suất xuất sắc về mặt hiệu quả. Chúng tận dụng không gian trong việc theo dõi tính toán để thực hiện công việc hữu ích, giảm không gian trống. Mặc dù Binius vượt trội hơn ở một số khía cạnh, nhưng Circle STARKs đơn giản hơn về mặt khái niệm.
Nói chung, Circle STARKs không phức tạp hơn STARKs thông thường đối với các nhà phát triển. Mặc dù toán học cơ bản có phần phức tạp, nhưng sự phức tạp này đã được ẩn giấu rất tốt. Trong tương lai, việc tối ưu hóa STARKs có thể tập trung vào việc số hóa các nguyên lý mật mã, cấu trúc đệ quy và cải thiện trải nghiệm của nhà phát triển với máy ảo.
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.
Circle STARKs: Công nghệ zk-SNARK thế hệ mới an toàn và hiệu quả
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 toán học nhỏ hơn. Các triển khai STARKs đầu tiên sử dụng trường 256 bit, nhưng thiết kế này có hiệu suất thấp hơn. Để 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.
Việc sử dụng các trường nhỏ hơn mang lại một số thách thức, chẳng hạn như vấn đề về bảo mật. Các giải pháp bao gồm thực hiện nhiều lần kiểm tra ngẫu nhiên và mở rộng các trường. Các trường mở rộng tương tự như số nhiều, nhưng dựa trên trường hữu hạn. Điều này cho phép chúng tôi thực hiện các phép toán phức tạp hơn trên trường hữu hạn, nâng cao bảo mật.
Circle STARKs là một giải pháp thông minh. Cho một số nguyên tố p, có thể tìm ra một nhóm có kích thước p, nhóm này có tính chất tương tự như một ánh xạ hai chiều. Nhóm này được tạo thành từ các điểm thỏa mãn các điều kiện cụ thể, chẳng hạn như tập hợp các điểm mà x^2 mod p bằng một giá trị cụ thể nào đó.
Circle STARKs hỗ trợ thuật toán FFT, nhưng đối tượng được xử lý không phải là đa thức theo nghĩa nghiêm ngặt, mà là một đối tượng toán học được gọi là không gian Riemann-Roch. Các nhà phát triển gần như có thể hoàn toàn bỏ qua điều này, chỉ cần lưu trữ đa thức như một tập hợp các giá trị đánh giá trên một miền cụ thể.
Trong Circle STARKs, phương pháp tính toán thương mại truyền thống cần được điều chỉnh. Chúng tôi chứng minh bằng cách đánh giá tại hai điểm, thêm một điểm ảo không cần chú ý.
Circle STARKs thể hiện hiệu suất xuất sắc về mặt hiệu quả. Chúng tận dụng không gian trong việc theo dõi tính toán để thực hiện công việc hữu ích, giảm không gian trống. Mặc dù Binius vượt trội hơn ở một số khía cạnh, nhưng Circle STARKs đơn giản hơn về mặt khái niệm.
Nói chung, Circle STARKs không phức tạp hơn STARKs thông thường đối với các nhà phát triển. Mặc dù toán học cơ bản có phần phức tạp, nhưng sự phức tạp này đã được ẩn giấu rất tốt. Trong tương lai, việc tối ưu hóa STARKs có thể tập trung vào việc số hóa các nguyên lý mật mã, cấu trúc đệ quy và cải thiện trải nghiệm của nhà phát triển với máy ảo.