#zkvm vẫn còn có những sản phẩm đổi mới ra đời So với @boundless_xyz, loại zkvm riscb chung, tất cả các chứng minh đều dựa trên tập lệnh chung cho mỗi mạch. Brevis zkvm đã áp dụng - Giải pháp ghép nối keo, giải pháp này bắt nguồn từ một bài viết của V thần. - Xác định các thao tác cụ thể tốn kém mà phần lớn tính toán dựa vào (thường là giá trị băm và chữ ký), sau đó tạo ra các mô-đun chuyên dụng để chứng minh hiệu quả những thao tác này. Kết hợp hệ thống chứng minh của tập lệnh vm không hiệu quả nhưng chung với hệ thống chứng minh hiệu quả nhưng chuyên biệt, có thể đạt được cả hai lợi ích. Thực ra cũng giống như công nghệ biên dịch trước của evm, loại này thuộc về công nghệ biên dịch ở cấp mạch. - Đổi mới về chuỗi 1) Chứng minh thuần túy zk, vấn đề chi phí vẫn luôn tồn tại. 2) Chứng minh op-zk, tức là chỉ khi nào được điều chỉnh, mới tạo ra chứng minh zk, sau đó để chuỗi xác minh chứng minh. Nếu không được điều chỉnh thì xác nhận lạc quan. Điều này nên thuộc về loại sản phẩm mới opzk. Cốt lõi giải quyết hai vấn đề, vấn đề chi phí chứng minh zk. Một giải pháp khá thực tế. Giới thiệu chi tiết:
Chỉ bị điều chỉnh =》 Chỉ bị thách thức, sửa lỗi chính tả
Tôi vừa nói chuyện với @brevis_zk, người sáng lập, về việc họ sử dụng bộ lệnh RISC-V, kết hợp với mạch điện precompiles.
Cảm giác rằng đây là công ty có khả năng mở rộng nhất, vì họ đã thực hiện nhiều thiết kế cho chi phí của giải pháp.
2,91K