Sự thúc đẩy ZK Proving của Ethereum đạt được cột mốc mới với sự đột phá Pico Prism

Pico Prism đạt được 99,6% chứng minh thời gian thực dưới 12 giây bằng cách sử dụng 64 GPU RTX 5090 trên 45 triệu khối gas.

Chi phí phần cứng giảm xuống còn $128K từ 256K$, làm cho việc chứng minh theo thời gian thực trở nên dễ tiếp cận hơn với những nhà điều hành nhỏ hơn.

Các nâng cấp sắp tới và chứng minh ZK có thể cho phép các validator xác minh các khối trên 16 GPU sử dụng dưới 10 kilowatt.

Brevis đã giới thiệu kết quả chứng minh mới cho thấy các khối Ethereum có thể được xác minh trong thời gian thực bằng cách sử dụng GPU cấp tiêu dùng. Công ty báo cáo rằng Pico Prism zkVM của họ đã chứng minh 99,6% các khối mainnet trong chưa đầy 12 giây trong các bài kiểm tra gần đây. Vitalik Buterin cho biết sự phát triển này thúc đẩy tốc độ chứng minh và bổ sung sự đa dạng cho không gian ZK-EVM, cho thấy xu hướng ngày càng tăng về xác thực dựa trên chứng minh.

Các mục tiêu chứng minh thời gian thực trở nên rõ ràng

Theo Brevis, hệ thống đã sử dụng 64 GPU Nvidia RTX 5090 và xử lý 45 triệu khối gas. Nó cũng đạt được 96,8% độ bao phủ trong chưa đầy mười giây, phù hợp với các mục tiêu được đặt ra trong lộ trình 2025 của Quỹ Ethereum.

Dưới các điều kiện chuẩn hóa trước đó với giới hạn gas 36 triệu, Pico Prism đã có thêm nhiều tiến bộ. Nó đạt 98,9% độ bao phủ khối dưới mười giây, so với 40,9% với thiết lập dẫn đầu trước đó.

Thời gian chứng minh trung bình giảm xuống còn 6,04 giây từ 10,3 giây, trong khi chi phí phần cứng giảm xuống còn $128,000 từ $256,000. Brevis cho biết hiệu suất tương đương với sự cải thiện 3,4 lần khi kết hợp tốc độ và hiệu quả chi phí trên tất cả các chỉ số.

Từ Tái Thực Thi đến Xác Minh Một Người Chứng

Các validator Ethereum thực hiện lại mỗi giao dịch để xác minh các khối, điều này làm tăng yêu cầu phần cứng và làm chậm quá trình mở rộng. Hơn 800.000 validator lặp lại công việc thực thi giống hệt nhau. Pico Prism áp dụng một mô hình người chứng minh đơn lẻ thay vào đó. Một người chứng minh tạo ra một bằng chứng mật mã, và các validator khác xác minh nó trong vòng vài mili giây.

Để đạt được những tốc độ đó, Brevis đã cải tiến thiết kế máy đơn trước đây của mình. Mô hình mới sử dụng các cụm multi-GPU phân tán và một khung mô-đun chia quá trình chứng minh thành các giai đoạn tương tự. CPU quản lý việc thiết lập và phối hợp, trong khi GPU xử lý các phép toán nặng. Cấu trúc này nhắm vào nút thắt chính trong phương pháp xác minh hiện có.

Nhu cầu phần cứng chuyển sang cấp độ bán lẻ

Brevis cho biết chi phí phần cứng thấp hơn giúp việc chứng minh theo thời gian thực gần gũi hơn với các nhà điều hành nhỏ hơn và những người đặt cược đơn lẻ. Đồng sáng lập Mo Dong đã nói với Bitcoin.com News rằng yêu cầu trước đây là 256.000 đô la đã hạn chế sự tham gia của các tổ chức lớn. Việc sử dụng GPU RTX 5090 đã giảm chi phí xuống còn 128.000 đô la và đưa hệ thống hướng tới các cấu hình dễ tiếp cận hơn.

Các nhà nghiên cứu trong ngành đã liên kết sự chuyển đổi với các kế hoạch thông lượng của Ethereum. Ryan Sean Adams từ Bankless đã lưu ý rằng xác minh không biết có thể đẩy lớp cơ sở lên tới 10.000 giao dịch mỗi giây.

Justin Drake, một nhà nghiên cứu bảo mật Bitcoin, cho biết việc nâng cấp Fusaka của Ethereum vào tháng 12 sẽ cho phép chứng minh song song hơn bằng cách giới hạn mức gas sử dụng trên mỗi giao dịch. Theo ông, nhiều nhóm dự định chứng minh mỗi khối L1 trên 16 GPU sử dụng dưới 10 kilowatt. Quỹ Ethereum cho biết cách tiếp cận này hỗ trợ xác thực nhẹ và mở đường cho các nút dựa trên điện thoại.

Bài viết “Nỗ lực chứng minh ZK của Ethereum đạt cột mốc mới với đột phá Pico Prism” xuất hiện trên Crypto Front News. Truy cập trang web của chúng tôi để đọc thêm những bài viết thú vị về tiền điện tử, công nghệ blockchain và tài sản kỹ thuật số.