TL;DR: Pico Prism 2.0 chứng minh các khối Ethereum mainnet với thời gian trung bình là 6.1 giây trên giới hạn gas hiện tại 60M, với 99.9% các khối hoàn tất trong khoảng thời gian 12 giây. Cấu hình đầy đủ chạy trên 16 GPU RTX 5090 trên hai máy với tổng chi phí phần cứng khoảng $100K. Thử nghiệm so với Pico Prism 1.0 trên cùng một mức gas 60M, hệ thống mới cung cấp ~5.3x hiệu suất chứng minh cao hơn cho mỗi khối.

Vào tháng Hai, chúng tôi đã giới thiệu quá trình chuyển đổi của Pico Prism sang cấu hình 16-GPU trên hai máy, với kết quả ban đầu trên cùng một khối chuẩn 45M gas mà Pico Prism 1.0 đã thử nghiệm.

Sự chuyển đổi đó giờ đã hoàn tất.

Pico Prism 2.0 đã chính thức hoạt động, được tối ưu hóa hoàn toàn và đã được kiểm tra trực tiếp trên các khối gas 60M mà Ethereum hiện đang chạy.

Phiên bản 2.0 là một tái xây dựng toàn bộ ngăn xếp trên zkVM ISA, kiến trúc chứng minh phân tán, trình mô phỏng và backend chứng minh GPU. Kết quả là một hệ thống chứng minh các khối lớn hơn trên một phần tư phần cứng mà Pico Prism 1.0 đã sử dụng, nhanh hơn về trung bình, và hoàn toàn đáp ứng các mục tiêu chứng minh theo thời gian thực của Quỹ Ethereum.

Kết quả tiêu biểu

Pico Prism 2.0 đã được kiểm tra trên 1000 khối Ethereum mainnet liên tiếp bắt đầu từ khối 24,000,000, trên giới hạn gas hiện tại 60M của mạng.

MetricResultAverage thời gian chứng minh 6.1s Các khối được chứng minh trong 12s 99.9% Phần cứng 16 RTX 5090 GPU trên 2 máy Tổng chi phí phần cứng ~100K USD Giới hạn gas khối 60M (mạng Ethereum hiện tại)

Để có một cuộc thi công bằng, cấu hình 64-GPU của Pico Prism 1.0 đã được kiểm tra lại trên cùng các khối gas 60M. Hệ thống 1.0 trung bình 8.1 giây cho mỗi chứng minh. Pico Prism 2.0 đạt 6.1 giây trên một phần tư phần cứng, điều này tương đương với một cải thiện ~5.3x trong công việc tính toán trên mỗi khối:

Pico Prism 1.0: 8.1s × 64 GPU ÷ 60M gas = 8.64 GPU-giây mỗi triệu gas

Pico Prism 2.0: 6.1s × 16 GPU ÷ 60M gas = 1.63 GPU-giây mỗi triệu gas

→ ~5.3× hiệu suất

Điểm chính trong các mục tiêu chứng minh theo thời gian thực của Quỹ Ethereum là độ trễ chứng minh trung bình dưới 10 giây và chi phí capex phần cứng tại chỗ dưới 100K USD. Pico Prism 2.0 phá vỡ cả hai, chạy trên GPU tiêu dùng mà bất kỳ đội nào cũng có thể mua sẵn.

Các điểm chuẩn hoàn toàn có thể tái tạo. Các tệp nhị phân có sẵn tại https://github.com/brevis-network/pico-ethproofs.

Bên trong Pico Prism 2.0

Bốn bản nâng cấp được đưa vào cùng nhau trong phiên bản 2.0. Mỗi bản nâng cấp đều quan trọng riêng của nó, và cùng nhau tạo ra sự nâng cấp 5x.

1. Từ RISC-V 32IM đến RISC-V 64IM

Môi trường thực thi zkVM của Pico đã chuyển sang RISC-V 64IM, thay thế ISA 32-bit trước đó. Bộ lệnh 64-bit phù hợp với cách mà các chương trình thực tế được viết, mang lại cho Pico một môi trường thực thi phong phú hơn và các dấu vết thực thi ngắn hơn trên hầu hết các khối lượng công việc. Hệ thống đánh đổi một bộ vi xử lý hơi phức tạp hơn để có ít chu kỳ hơn cho mỗi chương trình, và trên các khối thực, ít chu kỳ hơn là điều quan trọng.

RISC-V 64IM hoàn toàn hoạt động trong Pico Prism 2.0. Việc xác minh chính thức của việc triển khai ISA mới đang được tiến hành.

2. Kiến trúc Hai Máy Mới

Pico Prism 2.0 chạy trên hai máy, mỗi máy có 8 GPU RTX 5090, được kết nối qua một liên kết 100 Gbps. Ở trung tâm là một bộ lập lịch toàn cầu hoạt động như một bảng tác vụ chia sẻ cho pipeline chứng minh. Cả hai máy đều tự động lấy công việc từ bộ lập lịch thay vì nhận các phân công tĩnh.

Kiến trúc được xây dựng xung quanh ba nguyên tắc:

Lịch trình toàn cầu. Các tác vụ chưa hoàn thành sống trong một bể chia sẻ. Cả hai máy đều có thể nhận chúng khi được giải phóng, giúp giữ cho GPU bận rộn thay vì chờ đợi công việc upstream hoàn thành.

Địa phương dữ liệu. Mỗi máy chạy độc lập cùng một mô phỏng và sản xuất các bản ghi địa phương nhất quán. Bộ lập lịch chỉ cần phân phối các chỉ số tác vụ thay vì các sản phẩm trung gian nặng. Khi các tác vụ địa phương có sẵn, các máy sẽ ưu tiên chúng, giữ cho giao thông giữa các máy ở mức tối thiểu.

Tối đa hóa sự song song. Kết hợp và RISC-V chunk các tác vụ được lấy từ cây chứng minh một cách động, với cân bằng tải tự động trên tất cả 16 GPU.

Kết quả là một pipeline chứng minh hoạt động như một hàng đợi công việc phân tán thay vì một chuỗi cố định.

3. Mô phỏng Trước Thời Hạn

Trình mô phỏng của Pico Prism 1.0 diễn giải các chương trình trong thời gian chạy, giải mã và phân phối mọi lệnh ngay lập tức. Trình mô phỏng 2.0 chạy với Rust biên dịch bản địa được tạo trực tiếp từ ELF binaries, loại bỏ hoàn toàn chi phí giải mã và phân phối theo lệnh.

Hiệu suất frontend quan trọng hơn những gì nghe có vẻ, vì chứng minh theo thời gian thực là một pipeline cân bằng. Nếu mô phỏng không thể cung cấp công việc cho GPU đủ nhanh, các GPU sẽ phải chờ đợi. Biên dịch AOT loại bỏ một phần đáng kể chi phí frontend đó và giữ cho ngăn xếp chứng minh được cung cấp liên tục.

4. Viết lại hoàn chỉnh CUDA

Backend GPU của Pico đã được viết lại từ đầu, với sự tối ưu hóa sâu sắc trên các thành phần nằm trên đường quan trọng của mỗi chứng minh. Cam kết FRI giờ đây sử dụng LDE batch NTT thích ứng, mở FRI sử dụng đảo ngược batch Montgomery, và tính toán tỷ lệ chạy qua trình biên dịch JIT với IR ràng buộc được tối ưu hóa.

Ngăn xếp được viết lại cung cấp tốc độ tức thì và cung cấp một nền tảng sạch hơn, có thể mở rộng hơn cho các kiến trúc GPU trong tương lai và các tiến bộ trong hệ thống chứng minh.

Nhìn về phía trước

Cuộc đua để chứng minh Ethereum theo thời gian thực đã là thách thức quyết định của không gian zkVM trong hai năm qua. Vào tháng 12 năm 2025, Quỹ Ethereum tuyên bố rằng cuộc đua hiệu suất đã chiến thắng và chuyển trọng tâm sang các nền tảng xác thực cho việc tích hợp L1 zkEVM trong năm 2026.

Pico Prism 2.0 là hệ thống sản xuất cho phía hiệu suất. Tiến về phía trước, công việc vẫn tiếp tục trên phía tính chính xác. Brevis đang tích cực đóng góp cùng với lộ trình bảo mật của EF để đảm bảo Pico Prism đáp ứng mục tiêu bảo mật có thể chứng minh 128-bit được đặt ra cho việc tích hợp L1 zkEVM, với việc xác minh chính thức của ISA RISC-V 64IM mới đã được tiến hành là một phần của công việc đó.

Vào tháng 3 năm 2026, Brevis đã được chọn là một trong bốn đội prover trong Sáng kiến Chứng minh Tại chỗ của Quỹ Ethereum thông qua Ethproofs. Chương trình thí điểm tài trợ cho nhóm để chứng minh 1 trong 10 khối Ethereum L1 trên phần cứng tự sở hữu dưới điều kiện thực tế, kiểm tra xem việc chứng minh ZK có thể mở rộng như một cơ sở hạ tầng phi tập trung thay vì phụ thuộc vào một handful nhà cung cấp đám mây. Chương trình bắt đầu vào tháng 5 năm 2026 và là buổi tổng duyệt gần nhất cho việc tích hợp L1 zkEVM trực tiếp.

Mỗi bước trên con đường đó đưa Pico Prism gần hơn đến việc ZK trở thành một phần của cơ sở hạ tầng cốt lõi của Ethereum.

Về Brevis

Brevis là một nền tảng tính toán có thể xác minh được, được cung cấp bởi các chứng minh không biết, phục vụ như lớp tính toán vô hạn cho Web3. Các ứng dụng có thể chuyển tải các phép tính tốn kém ra ngoài chuỗi trong khi chứng minh mọi kết quả trên chuỗi. Ngăn xếp Brevis bao gồm Pico zkVM cho tính toán đa mục đích, ZK Data Coprocessor cho truy cập không tin cậy vào dữ liệu blockchain lịch sử, Pico Prism cho việc chứng minh khối Ethereum theo thời gian thực (99.8% độ phủ trên 16 GPU, đạt mục tiêu phần cứng 100K USD của Quỹ Ethereum), Vera cho tính xác thực phương tiện đã được chứng minh ZK, và ProverNet, thị trường phi tập trung cho việc tạo chứng minh ZK hiện đang hoạt động trên mainnet. Đến nay, Brevis đã tạo ra hơn 340M chứng minh trên hơn 50 giao thức trên hơn 8 blockchain.