Vitalik Buterin giới thiệu Circle Starks để tăng hiệu suất cho Blockchain

Trong bài viết mới nhất của mình ở đây, Buterin giải thích rằng bước tiến công nghệ này sử dụng các trường nhỏ như Mersenne31 để cải thiện đáng kể tốc độ chứng minh mà không ảnh hưởng đến các biện pháp bảo mật.

“Xu hướng quan trọng nhất trong thiết kế giao thức STARK trong hai năm qua đã là việc chuyển sang làm việc trên các trường nhỏ.”

Các trường nhỏ, lợi ích lớn hơn

Circle STARKs tận dụng các trường nhỏ, dẫn đến giảm chi phí tính toán, tăng tốc độ chứng minh và thu được lợi ích hiệu quả hơn, có thể xác minh 620.000 băm Poseidon2 mỗi giây trên một laptop M3.

Buterin lưu ý rằng thực thi STARK trước đây đã làm cho các trường nhỏ “tự nhiên tương thích với việc xác minh chữ ký dựa trên đường cong elliptic” nhưng “dẫn đến không hiệu quả” do số lớn sử dụng.

Liên quan: Vitalik Buterin cảnh báo về các nhà chính trị tuyên bố là ‘ủng hộ tiền điện tử’

Bảo mật của Circle STARK

Các trường nhỏ truyền thống có giá trị có thể và trở nên dễ bị tấn công theo phương pháp brute-force.

Circle STARKs đối phó với điểm yếu này bằng cách thực hiện kiểm tra ngẫu nhiên nhiều lần và sử dụng các trường mở rộng, mở rộng tập hợp các giá trị mà kẻ tấn công cần đoán.

Biện pháp bảo mật này tạo ra một rào cản tính toán không thể vượt qua cho kẻ tấn công, duy trì tính đạo đức của giao thức.

“Với STARK trên các trường nhỏ, chúng ta có một vấn đề: chỉ có khoảng hai tỷ giá trị có thể chọn cho r, và vì vậy một kẻ tấn công muốn tạo ra một bằng chứng giả chỉ cần thử hai tỷ lần - một lượng công việc lớn, nhưng khá là khả thi với một kẻ tấn công quyết tâm!”

Liên quan: StarkWare xác minh bằng chứng không cần biết trên Bitcoin

Ứng dụng thực tiễn

Chứng minh Oracle tương tác Fast Reed-Solomon về Sự gần kề (FRI) chứng minh rằng một hàm là một đa thức của một số bậc nhất định và là một khía cạnh quan trọng của Circle STARKs.

Giới thiệu Circle FRI, một phương pháp duy trì tính toàn vẹn của quá trình mật mã, Circle STARKs đảm bảo rằng các đầu vào không đa thức sẽ thất bại trong bằng chứng.

Circle STARKs cung cấp linh hoạt và tính đa dạng hơn cho hiệu suất tính toán hiệu quả bằng cách sử dụng các trường nhỏ và cấu trúc toán học mới này.

Tạp chí: Pudgy Penguins gặp gỡ Pixelverse, các ETF Ethereum, và hơn thế nữa: Digest của Người giữ tiền, ngày 14-20 tháng 7