Vitalik Buterin đã đăng "Khám phá vòng tròn STARK"

Odaily Thông tin Planet Daily Vitalik Buterin đã xuất bản một bài báo “Khám phá vòng tròn STARK”. Bài báo cho biết trong hai năm qua, xu hướng quan trọng nhất trong thiết kế giao thức STARK là chuyển sang hoạt động ở quy mô nhỏ. tăng tốc độ chứng minh Hiện tại, Starkware có thể được sử dụng trên máy tính xách tay M3 Chứng minh 620.000 hàm băm Poseidon2 mỗi giây có nghĩa là nếu chúng ta sẵn sàng tin tưởng Poseidon2 làm hàm băm thì phần khó nhất trong việc tạo ra ZK-EVM hiệu quả đã được giải quyết một cách hiệu quả. Vitalik tin rằng thông qua sự kết hợp của các công nghệ trường nhị phân như Mersenne31, BabyBear và Binius, chúng tôi cảm thấy rằng chúng tôi đang đạt đến giới hạn về hiệu quả của "lớp cơ sở" STARK. Tại thời điểm này, tôi kỳ vọng rằng ranh giới của tối ưu hóa STARK sẽ chuyển sang thực hiện các phép toán số học hiệu quả nhất trên các hàm nguyên thủy như hàm băm và chữ ký (và tối ưu hóa chính các nguyên hàm đó cho mục đích đó), thực hiện các cấu trúc đệ quy để cho phép song song hóa nhiều hơn, thực hiện số học hoạt động trên VM để cải thiện trải nghiệm của nhà phát triển và các tác vụ cấp cao hơn khác.