Phần 5 của "Từ Kiến Thức 0 đến Kiến Thức Zero" đã được phát hành. Mã thực sự trở thành có thể chứng minh như thế nào? zkVM là gì và tại sao nó lại quan trọng? 🧵

Hệ thống chứng minh ZK hoạt động với các phương trình toán học. Các nhà phát triển viết mã. Việc thu hẹp khoảng cách đó trước đây yêu cầu phải viết các mạch số học bằng tay. Mạnh mẽ, nhưng chỉ có các chuyên gia mới có thể làm điều đó. zkVMs đã thay đổi điều này. Viết Rust bình thường, nhận chứng minh. Không cần chuyên môn về mạch.

Hãy nghĩ về cách phát triển AI đã tiến hóa. Trước khi có TensorFlow, bạn cần phải viết mã GPU cấp thấp. Chỉ có các chuyên gia mới có thể xây dựng mạng nơ-ron. Các framework đã trừu tượng hóa sự phức tạp. Hàng triệu nhà phát triển đã theo sau. zkVMs đang làm điều tương tự cho kiến thức không biết.

Không phải tất cả các zkVM đều giống nhau. Mỗi đội ngũ đưa ra các lựa chọn kiến trúc dựa trên những gì họ đang tối ưu hóa. Một số ưu tiên tính minh bạch. Một số ưu tiên xác minh trên chuỗi rẻ. Một số ưu tiên tốc độ chứng minh. Bạn không thể tối ưu hóa cho mọi thứ. Các sự đánh đổi là không thể tránh khỏi.