Vitalik Buterin nói về cách làm cho bằng chứng zk hiệu quả hơn

Vitalik Buterin, người đồng sáng lập Ethereum, đã phát hành một bài đăng blog mới thảo luận về một hệ thống chứng minh mật mã mới có thể làm cho việc chứng minh zero-knowledge trở nên hiệu quả hơn.

Hệ thống chứng minh, được gọi là Binius, được thiết kế để hoạt động trực tiếp trên mã nhị phân trên máy tính. Mã nhị phân là ngôn ngữ được máy tính hiểu và nó được sử dụng để lưu trữ thông tin và biểu diễn dữ liệu bằng cách sử dụng các ký hiệu 0 và 1, còn được gọi là Bits.

Mặc dù có một số điểm tương đồng giữa STARK và Binius, Buterin giải thích rằng các thủ thuật toán học cho phép các hệ thống chứng minh khác nhau này rất khác nhau.

Nói chung, STARK là một công nghệ cho phép dễ dàng xác minh các câu lệnh phức tạp bằng mật mã. Nó được thiết kế theo cách có thể dễ dàng tính toán các số khi chúng có giá trị nhỏ, khi có giá trị lớn, STARK tạo ra các giá trị bổ sung, điều này có thể dẫn đến kém hiệu quả.

Không giống như STARK “số học hóa” một câu lệnh thành phương trình đa thức — một biểu thức toán học mô hình hóa mối quan hệ giữa các biến trong một Block — Binius xử lý dữ liệu dưới dạng siêu khối và lưới, đồng thời sử dụng đa thức đa tuyến tính để thực hiện chứng minh mật mã.

Binius chuyển đổi các giá trị riêng lẻ thành Bits và đặt chúng vào một siêu khối và một hình vuông. Siêu khối này sau đó được chuyển đổi thành lưới và các phép tính được thực hiện để nhận ma trận đầu ra.

Sau đó, trình xác minh sẽ thực hiện các phép tính tính toán của riêng mình để đảm bảo rằng thông tin đó khớp với nhau và đảm bảo rằng các cột tính toán trả về giá trị được trình xác minh xác nhận.

“Tôi rất khuyến khích mọi người hiểu và khám phá! Gần đây có rất nhiều đổi mới đang diễn ra trong quá trình chứng minh ZK. Và tôi mong đợi nhiều điều hơn nữa sẽ sớm xuất hiện,” Buterin viết trong một bài đăng X.

Bắt đầu ngày mới của bạn với những hiểu biết hàng đầu về tiền điện tử từ David Canellis và Katherine Ross. Đăng ký nhận bản tin Empire .