Tổng quan các dự án tiềm năng trong hệ sinh thái riêng tư ZK trên Solana
Tuyển chọn TechFlowTuyển chọn TechFlow
Tổng quan các dự án tiềm năng trong hệ sinh thái riêng tư ZK trên Solana
Từ việc phát hành nén ZK đến việc triển khai các hệ thống gọi trong tương lai, tầm quan trọng của ZK đối với Solana là không thể xem nhẹ.
Chuyên sâu báo cáo Web3Tác giả: Yash Agarwal & 0xIchigo
Dịch và tổng hợp: Pzai, Foresight News
Nhìn chung, cơ sở hạ tầng Solana giúp tiết kiệm chi phí cho các nhà phát triển về hiệu suất mạng, cung cấp giải pháp thực thi bất đồng bộ và tăng trưởng trạng thái; về bảo mật, Solana mang đến quyền riêng tư và tính bí mật cho các ứng dụng trên chuỗi, cũng như khả năng xác minh và mạng lưới chứng minh phi tập trung. Hãy cùng tìm hiểu sâu hơn.
Quyền riêng tư và khả năng xác minh
Arcium hỗ trợ đảm bảo quyền riêng tư cho các ứng dụng trên chuỗi bằng cách cung cấp một khung làm việc đáng tin cậy, có thể xác minh và hiệu quả để chạy các phép toán mã hóa. Ví dụ: mô hình AI có thể được huấn luyện trên dữ liệu riêng tư, còn DeFi có thể sử dụng cho giao dịch riêng tư.
Bonsol của Anagram là hệ thống tính toán có thể xác minh bản địa trên Solana, cho phép các nhà phát triển tạo ra các tệp thực thi hoàn toàn có thể xác minh đối với dữ liệu riêng tư và công khai, đảm bảo tính hợp lệ dưới góc độ toán học, đồng thời tích hợp kết quả vào các hợp đồng thông minh Solana để chứng minh trên chuỗi.
Tính ẩn danh và mở rộng quy mô dựa trên ZK
Darklake xây dựng một ứng dụng giao dịch AMM riêng tư, hướng tới trở thành DEX đầu tiên trên Solana cung cấp thực thi lệnh thời gian thực và chống MEV.
Dark Protocol xây dựng một giao thức ẩn danh do thị trường quản trị, được hỗ trợ bởi ZK-SNARKS.
ZK Compression, một nguyên tố tài khoản Solana mới do giao thức chứng minh ZK LightProtocol và Helius phát triển, sở hữu cơ chế chứng minh zk và nén trạng thái, giúp giảm chi phí thuê tài khoản cho các nhà phát triển ứng dụng Solana và cung cấp giải pháp tăng trưởng trạng thái.
Trạng thái nén ZK được lưu trữ trong các tài khoản nén. Những tài khoản này tương tự như tài khoản Solana thông thường, nhưng có một số khác biệt then chốt nhằm nâng cao hiệu quả và khả năng mở rộng:
-
Xác định bằng hàm băm: Mỗi tài khoản nén có thể được xác định thông qua giá trị băm của nó
-
Thay đổi hàm băm khi ghi: Mọi thao tác ghi vào tài khoản nén đều làm thay đổi hàm băm của nó
-
Địa chỉ tùy chọn: Có thể thiết lập địa chỉ làm ID duy nhất vĩnh viễn cho tài khoản nén. Điều này rất hữu ích cho một số trường hợp sử dụng (ví dụ như NFT). Trường này là tùy chọn nhằm tránh chi phí tính toán, vì tài khoản nén có thể được tham chiếu bằng giá trị băm của nó.
-
Cây trạng thái thưa (Sparse State Tree): Tất cả tài khoản nén được lưu trữ trong cây Merkle, chỉ có gốc trạng thái cây (tức là gốc Merkle) được lưu trên không gian tài khoản chuỗi. Cụ thể hơn, cây trạng thái là một cây Merkle đồng thời dựa trên hàm băm Poseidon.
Nhiều nhóm phát triển trên Solana đã và đang xây dựng các trường hợp sử dụng ZK Compression như:
-
Người dùng ví Backpack có thể nắm giữ token mà không cần trả phí thuê (Gas).
-
Ứng dụng xã hội dành cho người tiêu dùng như Tribe.fun cho phép người sáng tạo gửi token với chi phí thấp.
-
Các công cụ airdrop như Helius Airship.
ZKVM và Stack mở rộng mạng
RiscZero và SuccinctLabs có thể hỗ trợ chứng minh các phép tính tùy ý trên chuỗi mà không bị giới hạn bởi tính toán chuỗi. Điều này có thể tăng cường các máy khách nhẹ Solana dựa trên ZK, hiện thực hóa mạng DePIN đơn giản hóa và đăng nhập ZK an toàn, liền mạch.
Bên cạnh đó, zkSVM đang được sử dụng trong nhiều trường hợp:
-
Solforge Network sử dụng Stack mở rộng mạng dựa trên ZKP và nén zk để kích hoạt mở rộng bằng cách chứng minh cập nhật trạng thái, đồng thời được tối ưu hóa cho việc tạo chứng minh thông qua LightSVM.
-
Nền tảng triển khai mạng SVM Terminaxyz nhắm đến các trường hợp sử dụng cụ thể bằng cách giảm độ trễ, tăng quyền riêng tư và giảm chi phí tính toán.
-
SonicSVM - stack SVM dành cho game và ứng dụng - cũng đang theo đuổi việc mở rộng thông qua zk và Hypergrid.
-
Lớp 2 ZetaMarkets Bullet đang hướng tới thông lượng cực cao, mọi chuyển đổi trạng thái đều có thể chứng minh được.
Thêm nữa, các nhóm như Aerius đang thử nghiệm với các chứng minh zk.
Các sáng kiến khác bao gồm chương trình ZK Token Proof, hỗ trợ chuyển khoản riêng tư thông qua Anza — mã hóa số dư và giá trị giao dịch của token SPL, nhằm bảo vệ quyền riêng tư cho các trường hợp như thanh toán. Mã hóa đồng dạng cho phép thực hiện tính toán trên dữ liệu đã mã hóa mà không cần giải mã. Để thực hiện điều này, chuyển khoản riêng tư sử dụng mã hóa Twisted ElGamal để thực hiện các phép toán toán học ẩn trên văn bản mã hóa, đồng thời dùng giao thức Sigma để xác minh các giao dịch này mà không tiết lộ thông tin nhạy cảm. Chỉ chủ sở hữu tài khoản có khóa giải mã mới có thể xem số dư đã mã hóa của họ. Tuy nhiên, Hệ thống Kiểm toán Toàn cầu (Global Auditor System) trên Solana cho phép truy cập đọc chọn lọc thông qua khóa giải mã riêng biệt nhằm đáp ứng yêu cầu tuân thủ và kiểm toán.
Chào mừng tham gia cộng đồng chính thức TechFlow
Nhóm Telegram:https://t.me/TechFlowDaily
Tài khoản Twitter chính thức:https://x.com/TechFlowPost
Tài khoản Twitter tiếng Anh:https://x.com/BlockFlow_News
