Suy nghĩ về xác minh ZKVM và ZK

Tác giả: Miles Nguồn: X, @Miles082510

Với các nhà sản xuất chip ZK trong nước ngày hôm qua vấn đề tăng tốc ZK đã được thảo luận. Hiện tại, L2 dựa trên ZK chỉ yêu cầu vài trăm máy GPU để duy trì hoạt động kinh doanh hàng ngày và sự phát triển trong tương lai của Asic sẽ còn thú vị hơn nữa. Vậy bây giờ nhu cầu tăng tốc ở đâu? Những phần nào đáng để tăng tốc? Nút thắt của đường ZK có phải là việc tạo bằng chứng hoặc xác minh không? Những vấn đề này sẽ có tác động gì đến hệ sinh thái?

Dựa trên dòng tweet này, tôi muốn chia sẻ một số hiểu biết của riêng mình. Mọi sự sửa chữa và thảo luận đều được hoan nghênh!

Công nghệ ZK trước đây

Các giải pháp ZK ban đầu chủ yếu dựa trên việc phát triển mạch. Các nhà phát triển phải xây dựng các mạch bằng một ngôn ngữ cụ thể, ngôn ngữ này phức tạp và tốn kém. @StarkWareLtd đang dẫn đầu trong lĩnh vực này bằng cách xây dựng các mạch ở Cairo thông qua STARK, tận dụng các bằng chứng đệ quy của STARK. Tuy nhiên, hạn chế của phương pháp này là nó chỉ có thể tổng hợp các bằng chứng STARK từ một hệ thống hoặc máy chứng minh duy nhất.

Công nghệ ZK hiện tại

Giờ đây, với sự xuất hiện của ZKVM phổ quát, các lập trình viên không cần để Học ngôn ngữ mạch mới và phát triển ứng dụng chỉ bằng cách viết mã Rust. Các đại diện bao gồm @RiscZero, SP1 từ @SuccinctLabs, @NexusLabsHQ, cũng như @lita_xyz và jolt từ @a16zcrypto.

Mặc dù có nhiều dự án ZKVM nhưng tôi nghĩ tất cả các hệ thống tổng hợp bằng chứng trong tương lai sẽ dựa vào ZKVM RISC-V hoặc ZKVM dựa trên Rust. Bằng cách sử dụng bằng chứng RISC-V, chúng tôi có thể dễ dàng hợp nhất các hệ thống bằng chứng khác nhau và đơn giản hóa quy trình xác minh phức tạp.

Các vấn đề và thách thức

Chi phí xác minh bằng chứng trên Ethereum là rất cao và nó không dễ dàng để hỗ trợ công suất lớn. Ví dụ: bằng chứng 1GB là không thực tế để xác minh trực tiếp trên Ethereum và mặc dù nó có thể được nén thông qua bằng chứng đệ quy nhưng điều này cũng tốn kém và mất thời gian. Nếu bạn chạy bản tổng hợp ZK, chi phí có thể lên tới hàng triệu đô la mỗi năm.

Ngoài ra, trong khi @alignedlayer có thể xác minh 2500 hàm băm mỗi giây, Ethereum không thể xử lý công suất lớn như vậy.

Giải pháp

Có hai cách để đạt được xác minh Ethereum nhanh chóng và chi phí thấp: < /p>

• Tập hợp bằng chứng: một cách để cải thiện hiệu quả xác minh một cách hiệu quả.

• Lớp xác minh ZK: Triển khai lớp xác minh ZK có chi phí thấp, có thể mở rộng trên @eigenlayer, Điều này là cách tiếp cận hiện tại của @alignedlayer.

Thảo luận và đưa ra ý kiến

Giới thiệu về ca khúc ZK The nút cổ chai, @Ozhar (từ @zkSync) tin rằng chỉ 5% chi phí liên quan đến việc xác minh và 95% liên quan đến chi phí phần cứng để tạo ra bằng chứng. @heslinkim (từ @gevulot_network) có quan điểm khác, cho rằng nút thắt thực sự nằm ở việc tạo bằng chứng và phần cứng.

Trên thực tế, lĩnh vực phần cứng ZK và thế hệ bằng chứng cũng đang phát triển nhanh chóng và các bên dự án như @cysic_xyz, @Ingo_zk và @lagrangedev đang tích cực quảng bá liên quan công nghệ.