Vitalik Buterin giới thiệu giải pháp mới cho ZK-EVM hiệu quả trong bài viết mới nhất của mình
Tóm lại
Vitalik Buterin đã xuất bản một bài viết mới trên blog của mình có tựa đề “Khám phá vòng tròn STARKs”, giới thiệu giải pháp mới cho ZK-EVM hiệu quả.
Người đồng sáng lập Ethereum Vitalik Buterin đã xuất bản một bài viết mới có tiêu đề “Khám phá vòng tròn STARKs” trên blog của mình. Bài báo nhấn mạnh rằng Starkware tổng hợp hiệu lực phi tập trung không cần cấp phép có thể xử lý 620,000 giá trị băm Poseidon2 mỗi giây trên máy tính xách tay chip M3. Sự tiến bộ này cho thấy rằng nếu Poseidon2 được tin cậy như một hàm băm thì sẽ là một thách thức trong việc phát triển một phương pháp không có kiến thức hiệu quả. Ethereum Máy ảo (EVM) đã được giải quyết.
Bài viết chỉ ra rằng STARK dạng vòng mang lại độ phức tạp bổ sung tối thiểu cho các nhà phát triển so với STARK tiêu chuẩn. Sự khác biệt chính về cơ bản chỉ giới hạn ở ba vấn đề chính khi triển khai chúng, trái ngược với FRI thông thường.
Mặc dù các nguyên tắc toán học đằng sau “đa thức” được sử dụng trong FRI vòng tròn có phần phản trực giác và có thể cần thời gian để hiểu đầy đủ, nhưng sự phức tạp này phần lớn bị ẩn giấu khỏi các nhà phát triển. Bài báo nhấn mạnh rằng bản chất phức tạp của các nguyên tắc toán học của đường tròn được gói gọn hơn là mang tính hệ thống.
Trong khi đó, hiểu FRI vòng tròn và FFT vòng tròn cũng có thể đóng vai trò giới thiệu hữu ích về các FFT chuyên dụng khác. Đáng chú ý, điều này bao gồm các FFT trường nhị phân, được sử dụng trong các hệ thống như Binius và LibSTARK, cũng như các cấu trúc phức tạp hơn như FFT đường cong elip. FFT đường cong elip sử dụng ánh xạ vài-1 tích hợp tốt với các phép toán điểm trên đường cong elip.
Vitalik Buterin dự đoán việc số học hóa các nguyên thủy cốt lõi là bước tiến quan trọng trong tối ưu hóa STARK
Ngoài ra, thẻ cào Vitalik Buterin gợi ý rằng việc kết hợp các kỹ thuật như Mersenne31, BabyBear và các phương pháp trường nhị phân như Binius đang tiến gần đến giới hạn hiệu quả của “lớp cơ sở” STARKs. Ông dự đoán rằng những tiến bộ trong tương lai trong Stark tối ưu hóa sẽ tập trung vào việc tối ưu hóa việc số học hóa các nguyên hàm cốt lõi, chẳng hạn như hàm băm và chữ ký, đồng thời cải thiện bản thân các nguyên hàm này để đạt được mục đích.
Ngoài ra, sẽ tập trung vào việc phát triển các cấu trúc đệ quy để cho phép song song hóa tốt hơn, số học hóa các máy ảo (VM) để nâng cao trải nghiệm của nhà phát triển và giải quyết các nhiệm vụ nâng cao khác.
Từ chối trách nhiệm
Phù hợp với Hướng dẫn của Dự án Tin cậy, xin lưu ý rằng thông tin được cung cấp trên trang này không nhằm mục đích và không được hiểu là tư vấn pháp lý, thuế, đầu tư, tài chính hoặc bất kỳ hình thức tư vấn nào khác. Điều quan trọng là chỉ đầu tư những gì bạn có thể đủ khả năng để mất và tìm kiếm lời khuyên tài chính độc lập nếu bạn có bất kỳ nghi ngờ nào. Để biết thêm thông tin, chúng tôi khuyên bạn nên tham khảo các điều khoản và điều kiện cũng như các trang trợ giúp và hỗ trợ do nhà phát hành hoặc nhà quảng cáo cung cấp. MetaversePost cam kết báo cáo chính xác, không thiên vị nhưng điều kiện thị trường có thể thay đổi mà không cần thông báo trước.
Giới thiệu về Tác giả
Alisa, một nhà báo tận tâm tại MPost, chuyên về tiền điện tử, bằng chứng không có kiến thức, đầu tư và lĩnh vực mở rộng của Web3. Với con mắt quan tâm đến các xu hướng và công nghệ mới nổi, cô cung cấp thông tin toàn diện để cung cấp thông tin và thu hút độc giả trong bối cảnh không ngừng phát triển của tài chính kỹ thuật số.
Xem thêm bài viết
Alisa, một nhà báo tận tâm tại MPost, chuyên về tiền điện tử, bằng chứng không có kiến thức, đầu tư và lĩnh vực mở rộng của Web3. Với con mắt quan tâm đến các xu hướng và công nghệ mới nổi, cô cung cấp thông tin toàn diện để cung cấp thông tin và thu hút độc giả trong bối cảnh không ngừng phát triển của tài chính kỹ thuật số.
