#VitalikButerin Kiểm tra Binius: Cách tiếp cận nhanh hơn đối với Bằng chứng không có kiến thức
#Ethereum người đồng sáng lập #Vitalik Buterin khám phá "Binius", một phương pháp mới nhằm tăng tốc đáng kể việc chứng minh không có kiến thức. Binius tập trung vào tính hiệu quả bằng cách thực hiện các phép tính trực tiếp trên các bit nhị phân (0 và 1) thay vì các số lớn hơn được sử dụng trong các hệ thống truyền thống như zk-SNARK. Cách tiếp cận này phục vụ cho các loại dữ liệu được sử dụng thường xuyên như bộ đếm và cờ boolean, có khả năng dẫn đến việc chứng minh nhanh hơn.
Binius tận dụng "trường hữu hạn nhị phân" để thực hiện các phép tính số học hiệu quả trên bit và sử dụng cách biểu diễn dữ liệu "siêu khối" đa chiều. Ngoài ra, nó sử dụng quy trình mã hóa/giải mã duy nhất để duy trì hiệu quả trong khi cho phép xử lý thông qua đa thức và #Merkle proofs.
Những tiến bộ này trong số học của hệ thống chứng minh mật mã cốt lõi hứa hẹn nâng cao khả năng mở rộng và hiệu quả cho các ứng dụng mật mã phức tạp. Bằng chứng #zero-knowledge thường sử dụng đa thức để che giấu dữ liệu và tính toán trong quá trình xác minh, đảm bảo chỉ xác nhận tính hợp lệ của bằng chứng chứ không phải thông tin cơ bản.
Mặc dù các chi tiết kỹ thuật về mã hóa Binius và tạo bằng chứng nằm ngoài phạm vi này, Buterin nhấn mạnh tiềm năng cải thiện tốc độ đáng kể của nó, đặc biệt là đối với các phép tính liên quan đến các giá trị nhỏ và các hoạt động ở cấp độ bit. Công nghệ này dựa trên sách trắng năm 2023 của Posen và Diamond.
Nhìn chung, Binius tìm cách vượt trội hơn đáng kể so với các hệ thống chứng minh hiện có về mặt tốc độ, mở đường cho các bằng chứng không có kiến thức nhanh hơn trong tương lai. Buterin dự đoán sẽ có những tiến bộ hơn nữa trong “kỹ thuật chứng minh dựa trên trường nhị phân” trong những tháng tới.
