ZKM đang kể câu chuyện gì? Cảnh hạ cánh là gì?

Tác giả: Kiwibig.eth, Nguồn: Twitter của tác giả @KiwiCryptoBig

Xin chúc mừng ZKM 

1) Nhìn qua các hồ sơ, sớm nhất là vào tháng 3 năm ngoái, đó là trong một thị trường giá xuống sâu. Chúng tôi đã nói về dự án này trước đây.

Vào thời điểm đó, nhóm vẫn đang đánh bóng toàn bộ sản phẩm và khái niệm zkmips dường như hoàn toàn khác so với bây giờ.

2) Khó khăn về kỹ thuật: Vào thời điểm đó, ZKM đang sử dụng zkMIPS để xây dựng một hệ thống zkp phổ quát. Đó là một phương pháp sử dụng tập lệnh MIPS làm ngôn ngữ lập trình cho bản tổng hợp ZK.

Kiến trúc MIPS được Đại học Stanford phát triển hơn 20 năm trước. Đây là kiến ​​trúc RISC đơn giản, được tối ưu hóa và có khả năng mở rộng cao. Các tính năng bao gồm số lượng lớn thanh ghi, số lệnh và ký tự cũng như các khe trễ đường ống có thể nhìn thấy. Các tính năng này cho phép kiến ​​trúc MIPS cung cấp hiệu suất cao nhất trên mỗi milimet vuông và mức tiêu thụ năng lượng thấp nhất trong các thiết kế SoC ngày nay.

Những tính năng này thực sự rất phù hợp để viết hướng dẫn ZK, nhưng vấn đề là có ít thành phần phát triển và bộ công cụ, khiến nó trở thành một dự án tương đối khó xây dựng.

3) Vì vậy, nhận định cá nhân của tôi lúc đó là sẽ mất nhiều thời gian để xây dựng một dự án cấp thấp như vậy. Trong thị trường giá xuống, đây là một dự án điển hình có tỷ lệ trúng thầu ở mức trung bình và. tỷ lệ cược tuyệt vời.

Câu chuyện hiện tại về ZKM

1) Sau khi đọc lại sách trắng, mô hình của ZKM lại mở ra:

Sứ mệnh của ZKM là để xây dựng một máy ảo không có kiến ​​thức phổ quát (zkVM), giúp tăng cường và tích hợp đáng kể Internet phi tập trung bằng cách cho phép liên lạc về các thay đổi trạng thái giữa các chuỗi khối khác nhau (và thậm chí cả các hệ thống không phải chuỗi khối) mà không phải hy sinh tính bảo mật và phân cấp, và cuối cùng đạt được sự tích hợp của hệ thống blockchain và hệ thống phi blockchain.

2) Chi tiết kỹ thuật

zkMIPS cung cấp một cách hiệu quả và an toàn để xác minh tính chính xác của các phép tính theo kiến ​​trúc MIPS dưới dạng bằng chứng không có kiến ​​thức.

- Kiến trúc MIPS: zkMIPS được thiết kế đặc biệt cho bộ xử lý MIPS, nổi tiếng với bộ hướng dẫn ngắn gọn và hiệu suất hiệu quả, đồng thời được sử dụng rộng rãi trong các hệ thống nhúng và các thiết bị nối mạng. . zkMIPS tận dụng tập lệnh cố định của MIPS để tạo và xác minh bằng chứng không có kiến ​​thức hiệu quả hơn.

- Bằng chứng không có kiến ​​thức: zkMIPS tận dụng các công nghệ như Biểu diễn trung gian đại số (AIR) và Bằng chứng tiệm cận tương tác nhanh của Reed-Solomon (FRI). Sự kết hợp giữa AIR, chuyển đổi các phép tính MIPS thành đa thức và FRI, một kỹ thuật để xác minh các xấp xỉ đa thức bậc thấp, cho phép zkMIPS tạo và xác minh các bằng chứng không có kiến ​​thức một cách hiệu quả.

-Kiến trúc hệ thống phần mềm: Bao gồm các thành phần như bộ nạp ELF, máy ảo MIPS (VM), bộ tạo bằng chứng (Prover) và trình quản lý truyền thông, hỗ trợ biên dịch chương trình vào MIPS The tệp thực thi thực thi chuỗi lệnh MIPS và tạo ZKP dựa trên dấu vết thực thi.

3) Các kịch bản ứng dụng

zkMIPS có nhiều kịch bản ứng dụng, bao gồm nhiều lĩnh vực như blockchain, Internet of Things, điện toán đám mây và học máy, đồng thời có tính bảo mật và quyền riêng tư đáng kể Lợi thế.

a. Giải pháp Lớp 2:Trong chuỗi khối, zkMIPS được kết hợp với các giải pháp lớp 2 để nâng cao tính riêng tư và khả năng mở rộng của các giao dịch thông qua ZKP. Nó tăng tốc quá trình xử lý giao dịch trong khi duy trì tính bất biến và minh bạch của dữ liệu trên chuỗi.

Internet of Things (IoT): zkMIPS có thể được sử dụng để cải thiện tính bảo mật và quyền riêng tư trong liên lạc giữa các thiết bị IoT. Khi gửi dữ liệu nhạy cảm giữa các thiết bị IoT, zkMIPS đảm bảo tính toàn vẹn và bảo mật dữ liệu, ngăn chặn thông tin nhạy cảm bị rò rỉ.

b. Điện toán đám mây phi tập trung:Trong các tình huống điện toán đám mây, zkMIPS cho phép người dùng sử dụng tài nguyên đám mây để thực hiện các tác vụ điện toán trong khi vẫn đảm bảo tính chính xác và độ tin cậy của kết quả tính toán. tin tưởng vào nhà cung cấp dịch vụ đám mây.

c. Học máy không kiến ​​thức (zkML): zkMIPS có thể được áp dụng cho các mô hình học máy, cho phép người dùng mô hình xác minh tính chính xác của đầu ra mô hình mà không cần phải tính toán dữ liệu riêng tư hoặc chi tiết mô hình. Điều này đặc biệt quan trọng trong các tình huống xử lý dữ liệu nhạy cảm (chẳng hạn như thông tin y tế, dữ liệu về quyền riêng tư cá nhân).

Kịch bản triển khai: Các bản tổng hợp vướng víu

Các bản cuộn vướng víu chia sẻ dữ liệu và trạng thái giữa các Bản tổng hợp khác nhau, cho phép giao tiếp chuỗi chéo hiệu quả giữa chúng.

Nó cũng rất tốt trong việc phục vụ thị trường và nắm bắt làn sóng cơn sốt Bitcoin. Entangled Rollups có thể được sử dụng làm cầu nối chuỗi chéo an toàn cho Bitcoin.

1) Tính thanh khoản xuyên chuỗi thống nhất: Thông qua kiến ​​trúc Entangled Rollups, có thể đạt được kết nối liền mạch giữa các chuỗi khối khác nhau, cho phép tài sản và thông tin được chuyển giao trong các khối khác nhau. giữa các mạng chuỗi (như Ethereum, Cosmos, Ton, v.v.) giải quyết vấn đề thanh khoản bị phân mảnh cao trong hệ sinh thái blockchain hiện tại.

2) Kết nối chuỗi chéo an toàn:Có những rủi ro bảo mật trong các phương pháp kết nối chuỗi chéo hiện tại, Entangled Rollup đồng bộ hóa trạng thái của các chuỗi khối khác nhau thông qua bằng chứng đệ quy không có kiến ​​thức, bỏ qua. Cơ chế bắc cầu truyền thống mang lại trải nghiệm người dùng an toàn hơn.

3) Giải pháp Bitcoin lớp 2: Entangled Rollups cung cấp giải pháp Lớp 2 cho mạng Bitcoin, không chỉ cung cấp cách để người nắm giữ BTC và người khai thác vượt qua Tham gia vào trình tự sắp xếp phi tập trung nút để có được thu nhập từ phí giao dịch và phần thưởng khai thác ZKM theo cách mới và thông qua kiến ​​trúc trình tự phân quyền bằng chứng cổ phần, thu nhập bền vững và an ninh mạng của Bitcoin sẽ đạt được.

4) Bảo mật gốc và lợi nhuận bền vững: Bản tổng hợp vướng víu cung cấp bảo mật gốc cho mạng BTC Lớp 2 thông qua cơ chế Quy trình thách thức lạc quan độc đáo và trình sắp xếp thứ tự phi tập trung. Nó cung cấp cho các nhà khai thác nút, người đặt cọc và người dùng có kênh doanh thu bền vững.

Cuối cùng tôi thấy buồn vì hơn một năm đã trôi qua trong chớp mắt.

Đối với một nhà nghiên cứu, việc quan sát một dự án được đánh giá cách đây một năm là một vòng phản hồi tốt và khép kín về mặt nhận thức.

Nhìn lại báo cáo nghiên cứu ban đầu lúc đó, tôi thấy rằng năm nay nhóm đã thực sự hoàn thiện ý tưởng từng chút một.