Người đồng sáng lập Ethereum Vitalik Buterin đã giới thiệu một giao thức mật mã mới có tên Circle STARK hứa hẹn sẽ cải thiện tính bảo mật và hiệu quả của blockchain.
Trong bài đăng mới nhất của mình, Buterin giải thích rằng bước nhảy vọt về công nghệ này sử dụng các lĩnh vực nhỏ hơn 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 an ninh.
“Xu hướng quan trọng nhất trong thiết kế giao thức STARK trong hai năm qua là chuyển sang hoạt động trên các lĩnh vực nhỏ.”
Liên quan: Charles Hoskinson bác bỏ quan điểm của Vitalik Buterin về việc bỏ phiếu ủng hộ tiền điện tử
Lĩnh vực nhỏ hơn, lợi nhuận lớn hơn
Theo bài đăng, các Đối số kiến thức trong suốt có thể mở rộng (STARK) truyền thống hoạt động trên các trường 256-bit, mặc dù an toàn nhưng thường không hiệu quả.
Circle STARK tận dụng các trường nhỏ hơn, giúp giảm chi phí tính toán, tốc độ chứng minh nhanh hơn và lợi nhuận hiệu quả hơn, chẳng hạn như xác minh 620.000 hàm băm Poseidon2 mỗi giây trên máy tính xách tay M3.
Buterin lưu ý rằng việc triển khai STARK trước đó đã tạo ra các trường nhỏ hơn “tương thích tự nhiên với việc xác minh chữ ký dựa trên đường cong elip” nhưng “dẫn đến kém hiệu quả” do số lượng lớn liên quan.
Liên quan: Vitalik Buterin cảnh báo các chính trị gia tự xưng là 'ủng hộ tiền điện tử'
Vòng tròn bảo mật STARK
Các trường nhỏ truyền thống có giá trị khả thi hạn chế và có thể bị tấn công vũ phu.
Circle STARK chống lại lỗ hổng này bằng cách thực hiện nhiều lần kiểm tra ngẫu nhiên và sử dụng các trường mở rộng, mở rộng tập hợp 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 ngăn cản tính toán đối với những kẻ tấn công, duy trì tính toàn vẹn của giao thức.
“Với STARK trên các trường nhỏ hơn, chúng tôi gặp một vấn đề: chỉ có khoảng hai tỷ giá trị có thể có của x để lựa chọn, và vì vậy kẻ tấn công muốn tạo bằng chứng giả chỉ cần thử hai tỷ lần—rất nhiều công việc, nhưng khá nhiều. có thể làm được đối 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ó kiến thức đầu tiên về Bitcoin
Ý nghĩa thực tiễn
Bằng chứng tiệm cận tương tác nhanh của Reed-Solomon (FRI) chứng minh rằng một hàm là đa thức ở một mức độ nhất định và là một khía cạnh quan trọng của Circle STARK.
Giới thiệu Circle FRI, một phương pháp duy trì tính toàn vẹn của quy trình mã hóa, Circle STARK đảm bảo rằng các đầu vào không đa thức không đạt được bằng chứng.
Circle STARK mang đến sự linh hoạt và linh hoạt hơn để thực hiện 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 cập bến Pixelverse, Ether ETF, v.v.: Hodler's Digest, 14-20 tháng 7
