Tổng quan nhanh về ZK và các dự án kiểm chứng trên Solana trong một bài viết

Nguồn: Solana; Bản dịch: Golden Finance xiaozou

ZK của Solana (không có kiến ​​thức) và khả năng xác minh (Bạn có thể có thể không biết nhiều về lĩnh vực xác minh nhưng chắc chắn đó là một con ngựa ô. Bài viết này sẽ giới thiệu nhanh cho bạn về các dự án ZK, khả năng xác minh và quyền riêng tư trên Solana.

p>

Nhìn chung, cơ sở hạ tầng Solana góp phần vào:

• Hiệu suất mạng

  < /li>

-- Tiết kiệm hàng ngàn lần chi phí cho các nhà phát triển ứng dụng

-- Thực thi không đồng bộ

-- Giải pháp tăng trưởng trạng thái

• Bảo mật

-- Quyền riêng tư và bảo mật của các ứng dụng trên chuỗi

-- Khả năng xác minh

-- Mạng chứng minh phi tập trung

Thậm chí còn có ZK-rollup trong Solana!

Hãy xem xét từng cái một:

-- Quyền riêng tư và khả năng xác minh

p>

-- Ẩn danh

- - Tiện ích mở rộng dựa trên ZK và ZKVM

-- Ngăn xếp tiện ích mở rộng mạng ZK

-- ZK Plan

Xin lưu ý: Để dễ hiểu, phần này sẽ được phân loại lại bên dưới và có thể khác. chồng chéo.

1. Quyền riêng tư và khả năng xác minh

Arcium đã vượt qua Cung cấp một Khuôn khổ không đáng tin cậy, có thể xác minh và hiệu quả để chạy các tính toán mật mã giúp cung cấp quyền riêng tư cho các ứng dụng trên chuỗi. Ví dụ: Các mô hình AI có thể được đào tạo bằng cách sử dụng dữ liệu được mã hóa và DeFi có thể sử dụng dữ liệu đó cho các giao dịch bí mật.

p>

Bonsol của ANAGRAM là một hệ thống máy tính có thể xác minh gốc Solana cho phép các nhà phát triển tạo:

Một phiên bản có thể xác minh đầy đủ của dữ liệu riêng tư hoặc công khai Tệp thực thi → Đảm bảo tính hợp lệ về mặt toán học → Tích hợp kết quả vào hợp đồng thông minh Solana để xác minh trên chuỗi.

p>

2. Ẩn danh

Darklake đã tạo ra một giao dịch hoán đổi riêng tư AMM, nhằm mục đích trở thành sàn giao dịch phi tập trung thứ ba của Solana. -thời gian, thực hiện lệnh kháng MEV. Dark Protocol phát triển giao thức ẩn danh do thị trường quản lý được cung cấp bởi ZK-snarks.

3. Tiện ích mở rộng dựa trên ZKP

Nén ZK là Một bản gốc Solana mới với bằng chứng ZK và nén trạng thái, do Light Protocol và Helius cùng ra mắt, có thể giảm chi phí thuê cho các nhà phát triển ứng dụng Solana hàng nghìn lần.

p>

Nhóm đã phát triển tính năng nén ZK trong các lĩnh vực sau:

--Ví (chẳng hạn như Ba lô): người dùng giữ mã thông báo mà không phải trả tiền thuê.

-- Ứng dụng xã hội dành cho người tiêu dùng (chẳng hạn như Tribe.run): Người sáng tạo có thể gửi mã thông báo với chi phí thấp hơn.

-- Công cụ Airdrop (chẳng hạn như Helius Airship)

4. ZKVM

RISC Zero và Succinct có thể giúp chứng minh các tính toán tùy ý trên chuỗi mà không bị giới hạn bởi các tính toán trên chuỗi. Điều này có thể hỗ trợ:

-- Ứng dụng khách Solana light dựa trên ZK

-- Lite DePIN Mạng

--Đăng nhập ZK an toàn và liền mạch

5. Ngăn xếp mở rộng mạng Solana

zkSVM đang được áp dụng cho:

--Solforge: Ngăn xếp tiện ích mở rộng mạng này sử dụng phương pháp ZKP và ZK của Light Protocol nén, để hỗ trợ các tiện ích mở rộng cho các bằng chứng luồng cập nhật trạng thái và LightSVM được tối ưu hóa để tạo bằng chứng.

-- Termina: Nền tảng triển khai mạng SVM dành cho các trường hợp sử dụng cụ thể giúp giảm độ trễ, cải thiện quyền riêng tư và giảm chi phí tính toán.

--Sonic SVM: Ngăn xếp SVM dành cho trò chơi và ứng dụng và đang được mở rộng với ZK thông qua Hypergrid.

p>

-- Bulletxyz: Một bản tổng hợp độ trễ cực thấp do ZetaMarkets phát triển đang mở rộng theo hướng thông lượng cực cao và tất cả các chuyển đổi trạng thái đều có thể chứng minh được. Ngoài ra, các nhóm như Aerius Labs đang tiến hành các thử nghiệm liên quan đến chứng nhận ZK.

p>

6. Gói ZK

Các gói khác như gói chứng minh mã thông báo ZK của Anza hỗ trợ chuyển khoản bí mật - số dư Coin SPL được mã hóa và số tiền giao dịch để bảo vệ quyền riêng tư cho các trường hợp sử dụng, chẳng hạn như tài khoản phải trả.

Từ tính năng nén ZK được phát hành gần đây cho đến các lệnh gọi hệ thống khác nhau sắp ra mắt, Solana đang trở thành một công cụ ZK mạnh mẽ. Bài viết này chỉ là bản tóm tắt ngắn gọn để giúp bạn hiểu về quá trình phát triển ban đầu của ZK và khả năng kiểm chứng trên Solana.