Nhớ năm ngoái khi trò chuyện với vài nhà phát triển, họ phàn nàn rằng việc học ZK bây giờ giống như thi công chức, phải hoàn thành hai cuốn "tài liệu luận" về đường cong ellip và Circom trước. Điểm thông minh ở đây là nó đã hoàn toàn lật ngược trải nghiệm phát triển này — bây giờ bạn chỉ cần biết viết mã Rust, phần còn lại của công việc tạo chứng minh ZK sẽ do SP1 zkVM của họ đảm nhiệm. Điều này giống như biến một chiếc máy ảnh DSLR chuyên nghiệp thành "chế độ chân dung" của smartphone, nhà phát triển chỉ cần lo về bố cục, tất cả các tham số phơi sáng phức tạp đều tự động được giải quyết.

Chỉ số kỹ thuật thực sự có thể hoạt động. Các thử nghiệm chính thức cho thấy, hiệu suất của SP1 zkVM nhanh hơn từ 4 đến 28 lần so với các giải pháp truyền thống, và trong một số trường hợp cụ thể, thậm chí có thể tiết kiệm 100 lần thời gian phát triển. Tuy nhiên, điều thực sự khiến tôi thấy thú vị là thiết kế mô hình kinh tế của họ. Mạng xác minh phi tập trung (Prover Network) về bản chất là một hệ thống gọi xe dựa trên sức mạnh tính toán - các nút toàn cầu luôn sẵn sàng nhận đơn, sử dụng $P