Vitalik香港Web3嘉年华演讲：追求密码学的极限

Trong Lễ hội Web3 Hồng Kông năm 2024, người đồng sáng lập Ethereum Vitalik Buterin đã có bài phát biểu quan trọng “Đạt đến giới hạn của thiết kế giao thức” tại “Hội nghị thượng đỉnh học giả Web3 2024” do DRK Lab tổ chức.

Ông giới thiệu rằng vào những năm 2010, các giao thức dựa trên mật mã cơ bản là băm và chữ ký. Sau đó, thỏa thuận phát triển nhanh chóng. Trong những năm 2020, các giao thức dựa trên mật mã tiên tiến bao gồm ZK-SNARKS, 2 PC, MPC, FHE (mã hóa hoàn toàn đồng hình), tổng hợp (bao gồm thông qua IVC, ICD, v.v.) và mạng P2P nâng cao.

Vitalik cho biết ZK-SNARK, MPC, FHE và các công nghệ khác hiện tại có vấn đề về hiệu quả và bảo mật, trong đó thời gian chặn Ethereum Slot là 12 giây, thời gian xác minh khối thông thường là khoảng 400 mili giây và bằng chứng ZK-SNARK thời gian khoảng 20 phút, Ethereum đặt mục tiêu đạt được bằng chứng thời gian thực. Có một số giải pháp cho vấn đề hiệu quả, bao gồm song song hóa (Parallelization), cây tổng hợp (aggregation tree), nâng cao hiệu quả (sử dụng thuật toán SNARK và băm) và các giải pháp phần cứng tăng tốc ASIC.

Vấn đề về lỗ hổng mạch ZK-SNARK có thể được giải quyết bởi ủy ban bảo mật và nhiều nhà cung cấp. Trong tương lai, AI có thể giúp gỡ lỗi và giải quyết thêm các vấn đề.

Ông nói: Tôi nghĩ một hướng đi thú vị trong tương lai là sử dụng các công cụ trí tuệ nhân tạo, có khả năng sử dụng các công cụ mới để xác minh chính thức. Ví dụ: chứng minh rằng không có lỗi nào trong zkEVM. Có lẽ chúng tôi thực sự có thể đạt được một lỗi- thế giới tự do trong tương lai. Điều này hơi điên rồ.”

Hơn nữa, khi nói về hiệu quả tổng hợp chữ ký, Vitalik Buterin chỉ ra rằng tình hình hiện tại là khoảng 30.000 chữ ký trên mỗi vị trí, đòi hỏi nhu cầu nút cao. Mục tiêu mong muốn là hỗ trợ càng nhiều trình xác thực càng tốt đồng thời giảm yêu cầu về nút và áp dụng giao thức tương đối đơn giản. Theo giới hạn lý thuyết, mỗi người tham gia yêu cầu 1 bit dữ liệu cho mỗi khe thời gian và không có giới hạn thấp hơn trong tính toán.

“Vì vậy, về cơ bản, điều chúng ta cần suy nghĩ là chúng ta cần các giao thức để đạt đến giới hạn những gì bạn có thể làm với mật mã và chúng ta đã đạt đến điểm mà mật mã của chúng ta mạnh hơn nhiều so với vài thập kỷ trước”. trước đây, nhưng nó có thể Mạnh hơn, tại thời điểm này, tôi nghĩ chúng ta thực sự cần bắt đầu suy nghĩ về mức trần là gì và làm thế nào chúng ta thực sự có thể đạt được mức đó, Vitalik nói khi kết thúc.