Vitalik Buterin phân tích ‘Binius’ như một cách để tăng tốc độ chứng minh không có kiến ​​thức

Là một nhà phân tích mật mã có kinh nghiệm, tôi bị thu hút bởi đề xuất mới nhất của Vitalik Buterin về một hệ thống mới có tên Binius. Cách tiếp cận sáng tạo này đối với các hệ thống chứng minh mật mã có tiềm năng mang lại những cải tiến đáng kể về hiệu quả, đặc biệt khi xử lý các giá trị nhỏ và các hoạt động ở cấp độ bit.


Với tư cách là một chuyên gia phân tích mật mã, tôi muốn chia sẻ một số hiểu biết sâu sắc hấp dẫn từ Vitalik Buterin, người đồng sáng lập xuất sắc của Ethereum. Gần đây, ông đã tiết lộ kế hoạch về một hệ thống chứng minh mật mã mới được thiết kế để nâng cao hiệu quả của các bằng chứng không có kiến ​​thức. Sự đổi mới này có khả năng cách mạng hóa cách chúng ta xác minh các giao dịch trên mạng blockchain, khiến chúng nhanh hơn và an toàn hơn.

Tôi, với tư cách là một nhà phân tích, đã thảo luận về Binius trong một bài đăng trên blog xuất bản vào ngày 29 tháng 4. Trong bài đăng này, tôi đã giải thích Binius là một hệ thống mới giúp tạo ra các bằng chứng mật mã hiệu quả cao bằng cách sử dụng các trường nhị phân như thế nào. Hệ thống này được thiết kế để hoạt động tốt hơn các hệ thống chứng minh truyền thống như zk-SNARK, mang lại hiệu suất tăng đáng kể.

Binius nỗ lực cải thiện năng suất bằng cách thực hiện các phép tính trực tiếp trên các chữ số nhị phân hoặc bit – bao gồm số 0 và số 1 – thay vì xử lý các giá trị số lớn hơn.

Cảm hứng cho hệ thống này đến từ các phương pháp mã hóa tiên tiến như SNARK (Đối số kiến ​​thức không tương tác ngắn gọn) và STARK (Đối số kiến ​​thức trong suốt có thể mở rộng), có thể xử lý các kích thước số nguyên lớn hơn, chẳng hạn như số 64 bit hoặc 256 bit.

Là một nhà nghiên cứu nghiên cứu các phương pháp xử lý dữ liệu, tôi nhận thấy rằng một phần đáng kể của dữ liệu cơ bản bao gồm các giá trị nhỏ như bộ đếm, chỉ số và cờ boolean. Tuy nhiên, tôi nhận thấy rằng bằng cách làm việc trực tiếp với bit, Binius có thể xử lý loại dữ liệu này hiệu quả hơn, theo Vitalik Buterin.

Vitalik Buterin phân tích ‘Binius’ như một cách để tăng tốc độ chứng minh không có kiến ​​thức

Buterin giải thích rằng hệ thống chứng minh mới nhất giới thiệu những cải tiến dưới dạng biểu diễn dữ liệu dưới dạng một “siêu khối” bit phức tạp, cho phép sắp xếp phức tạp theo nhiều chiều. Ngoài ra, nó sử dụng “trường hữu hạn” nhị phân để tính toán số học hợp lý trên các bit và chuỗi bit riêng lẻ.

Phương pháp này sử dụng một hệ thống mã hóa và giải mã duy nhất để chuyển đổi thông tin cấp độ bit thành dạng tương thích với các phép tính “đa thức” và bằng chứng Merkle, đồng thời vẫn duy trì được những lợi thế khi làm việc ở dạng nhị phân.

Hệ thống nhị phân nắm giữ chìa khóa cho những tiến bộ đáng kể trong toán học cơ bản đằng sau các hệ thống chứng minh mật mã, cho phép các ứng dụng mật mã phức tạp hơn hoạt động hiệu quả hơn và xử lý khối lượng công việc lớn hơn.

Trong các bằng chứng không có kiến ​​thức, đa thức đóng vai trò là công cụ thiết yếu để mã hóa dữ liệu và các bước tính toán. Bằng cách sử dụng các chức năng này, có thể xác thực tính hợp lệ của bằng chứng trong khi vẫn giữ kín thông tin ẩn. Điều này đạt được là do quá trình xác minh chỉ tập trung vào đầu ra của các hàm đa thức chứ không phải vào chính dữ liệu đầu vào.

Buterin đã giải thích sự phức tạp của giao thức Binius bằng cách sử dụng các khái niệm toán học nâng cao nằm ngoài phạm vi của cuộc thảo luận này. Ông đã minh họa cách giao thức này mã hóa dữ liệu, tạo ra các bằng chứng có thể kiểm chứng và cho phép những người xác minh kiểm tra hiệu quả các bằng chứng này.

Trong báo cáo chính thức năm 2023 của họ có tên “Các lập luận ngắn gọn về Tháp trường nhị phân”, các nhà mật mã Benjamin E. Diamond và Jim Posen lần đầu tiên giới thiệu ý tưởng này.

Binius mong muốn đạt được những cải tiến đáng kể về hiệu suất so với các hệ thống chứng minh thông thường, đặc biệt khi xử lý các phép tính giá trị nhỏ hơn và các hoạt động cấp độ bit phức tạp.

Buterin dự đoán rằng những tiến bộ đáng kể trong kỹ thuật sử dụng trường nhị phân để chứng minh sẽ tiếp tục xuất hiện trong những tháng tới.

2024-05-01 09:06