Câu chuyện ZK luôn nghe có vẻ phức tạp vì mọi người tập trung vào toán học.

Nhưng toán học không còn là trở ngại nữa.
Giao diện là.

Mạch điện là lý do khiến ZK chưa bao giờ bứt phá.
Bạn phải suy nghĩ theo đại số, xây dựng lại luồng điều khiển từ con số không, và coi bộ nhớ như một câu đố.
Đó không phải là cách mà các nhà phát triển bình thường xây dựng mọi thứ.

zkVMs thay đổi toàn bộ phương trình.
Bạn viết mã.
Họ biến dấu vết thực thi thành một cái gì đó mà người chứng minh có thể xác minh.
ZK ngừng là một dự án mật mã và trở thành một môi trường tính toán.

Khi bạn xem ZK như là tính toán, bối cảnh trở nên hợp lý hơn:

🔸 STARK VMs: quy mô, tính minh bạch, bằng chứng lớn hơn
🔸 SNARK VMs: bằng chứng nhỏ, giả định tin cậy
🔸 RISC-V: công cụ tốt, ràng buộc lệnh
🔸 ISA tùy chỉnh: hiệu suất, sự đánh đổi chuyên môn hóa
🔸 Các ngăn xếp mô-đun: linh hoạt, chi phí hoạt động

Không có thiết kế nào thắng mọi thứ.
Các khối lượng công việc khác nhau đẩy kiến trúc theo những hướng khác nhau.

Đó là lý do tại sao @brevis_zk nổi bật với tôi.
Họ không tối ưu hóa cho một loại công việc.
Họ đang xây dựng một hệ thống chứng minh phù hợp với toàn bộ quang phổ:

🔸 Nhiệm vụ phản hồi nhanh (dòng giao dịch)
🔸 Công việc hàng loạt nặng (analytics)
🔸 Nhiệm vụ ưu tiên quyền riêng tư (ML suy diễn)
🔸 Xác minh chuỗi chéo

Hầu hết các đội ZK chọn một hướng.
@brevis_zk đang xây dựng một hệ thống không sụp đổ khi khối lượng công việc phân tán.

Điểm mấu chốt ở đây không phải là "ZK tốt hơn."
ZK hoạt động cho nhiều loại tính toán khác nhau.
Đó là cách bạn chuyển từ các công cụ chuyên biệt sang cơ sở hạ tầng.

Sự mở khóa thực sự không phải là những chứng minh nhỏ hơn.
Đây là một hệ thống đủ rộng để các nhà phát triển không phải suy nghĩ về các chứng minh chút nào.