Vitalik Buterin Tiết Lộ Cách Để Tăng Tốc Zero Knowledge Proof Qua Bằng Chứng Binius

Vi Quyên

Nhà đồng sáng lập Ethereum Vitalik Buterin cho rằng hệ thống bằng chứng ‘Binius’ sẽ làm Zero Knowledge Proof hiệu quả hơn.

Vitalik Buterin tiết lộ cách để tăng tốc Zero Knowledge Proof qua bằng chứng Binius. Ảnh: CryptoSlate

Vitalik Buterin đã trình bày về một hệ thống bằng chứng mới nhằm mục tiêu tăng cường hiệu quả cho công nghệ Zero-Knowledge proofs.

Trong blog đăng ngày 29/04, ông đã giới thiệu hệ thống bằng chứng gọi là “Binius”, được thiết kế để hoạt động trực tiếp trên mã nhị phân của máy tính và kỳ vọng mang lại lợi ích đáng kể về hiệu suất so với các hệ thống bằng chứng truyền thống như zk-SNARKs và zk-STARK.

BInius: highly efficient proofs over binary fieldshttps://t.co/lHAGXbgI9r pic.twitter.com/3Xx4zIAm1b
— vitalik.eth (@VitalikButerin) April 29, 2024

Hệ thống nhị phân giúp cải thiện đáng kể việc tính toán cơ bản trong việc tạo ra các bằng chứng mật mã, làm cho các ứng dụng mật mã phức tạp hoạt động mượt mà và có thể mở rộng hơn.

Binius tập trung vào việc thực hiện các phép toán trực tiếp trên các số 0 và 1 - hay còn gọi là bit. Hệ thống Binius được phát triển từ nền tảng của SNARKs và STARKs làm việc với dữ liệu lớn như số nguyên 64-bit và 256-bit.

Mặc dù có một số điểm tương đồng giữa STARKs và Binius, Vitalik Buterin giải thích rằng các “thủ thuật” toán học giúp cho các hệ thống bằng chứng này hoạt động lại rất khác nhau.

Để giúp bạn hiểu rõ hơn về STARKs và Binius thông qua một trò chơi thực tế, hãy tưởng tượng đây là một trò chơi xếp hình.

STARKs giống như việc bạn có một hộp xếp hình với các mảnh ghép nhỏ, và bạn cần sử dụng những mảnh ghép này để tạo nên bức hình hoàn chỉnh. Khi hình dạng đơn giản, bạn có thể nhanh chóng xác minh điều này bằng cách sắp xếp các mảnh ghép lại với nhau.

Tuy nhiên, khi hình dạng trở nên phức tạp hơn và lớn hơn, bạn cần phải tạo ra nhiều mảnh ghép hơn và quá trình xác minh trở nên khó khăn hơn.

Trong khi đó, Binius giống như việc bạn có một bức tranh lớn được chia thành các ô nhỏ trên một lưới.

Thay vì xác minh từng mảnh ghép riêng lẻ, Binius xem xét toàn bộ bức tranh từ góc độ cao hơn, sử dụng một phương pháp toán học để xác minh rằng mọi ô nhỏ đều phù hợp và tạo nên bức tranh hoàn chỉnh mà không cần phải kiểm tra từng mảnh một.

Qua ví dụ này, có thể thấy rằng STARKs tập trung vào việc xác minh từng phần nhỏ một cách chi tiết, trong khi Binius sử dụng một cách tiếp cận tổng thể để xác minh một cấu trúc lớn hơn.

Trực quan hoá giao thức Binius. Nguồn: Vitalik Buterin

Vitalik Buterin viết trong một bài đăng trên X(Twitter):

Tôi rất khuyến khích mọi người tìm hiểu và khám phá ZK-proving. Đã có rất nhiều phát minh mới trong ZK-proving gần đây. Tôi kỳ vọng công nghệ này sẽ ngày càng có nhiều phát triển trong tương lai.”

Binius cũng chính là giải pháp được nhà sáng lập Ethereum "ẩn ý" trên trang X cá nhân khi đề cập đến một kiểu toán học mới.