Lĩnh vực ZK (bằng chứng không kiến thức) và khả năng xác minh của Solana có thể bạn chưa quen thuộc, nhưng chắc chắn là một chú ngựa đen. Bài viết này sẽ giúp bạn nhanh chóng hiểu về ZK, khả năng xác minh và các dự án bảo mật trên Solana.
Tổng thể, cơ sở hạ tầng Solana giúp cho:
Hiệu suất mạng
-- Giúp các nhà phát triển ứng dụng tiết kiệm chi phí gấp ngàn lần
-- Thực thi không đồng bộ
-- Giải pháp tăng trưởng trạng thái
An toàn
-- Tính riêng tư và bí mật của ứng dụng trên chuỗi
-- Khả năng xác minh
-- Mạng prover phi tập trung
Thậm chí trên Solana cũng có ZK-rollup!
Hãy cùng xem từng cái một:
-- Tính riêng tư và khả năng xác minh
-- Tính ẩn danh
-- Mở rộng dựa trên ZK và ZKVMs
-- Đống mở rộng mạng ZK
-- Kế hoạch ZK
Xin lưu ý: Để thuận tiện cho việc hiểu, phần dưới đây sẽ được phân loại lại và có thể có sự chồng chéo.
1、Quyền riêng tư và khả năng xác minh
Arcium thông qua việc cung cấp một khung hiệu quả, có thể xác minh mà không cần tin tưởng để thực hiện tính toán mã hóa, giúp cung cấp tính riêng tư cho các ứng dụng trên chuỗi. Ví dụ: các mô hình trí tuệ nhân tạo có thể được đào tạo bằng dữ liệu mã hóa, trong khi DeFi có thể sử dụng nó cho các giao dịch bí mật.
Bonsol do ANAGRAM phát triển là một hệ thống tính toán có thể xác minh gốc Solana, cho phép các nhà phát triển tạo ra:
Một tệp thực thi dữ liệu riêng tư hoặc công khai hoàn toàn có thể xác minh → Đảm bảo tính hợp lệ của nó theo cách 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.
2、Tính ẩn danh
Darklake đã tạo ra một AMM giao dịch swap có tính riêng tư, nhằm trở thành sàn giao dịch phi tập trung đầu tiên trên Solana cung cấp thực thi đơn hàng chống MEV theo thời gian thực. Dark Protocol đã phát triển một giao thức ẩn danh được quản lý bởi thị trường, hỗ trợ bởi ZK-snarks.
3、Mở rộng dựa trên ZKP
ZK Compression là một nguyên lý mới của Solana được ra mắt bởi Light Protocol và Helius, với chứng minh ZK và nén trạng thái, có thể giảm chi phí thuê cho các nhà phát triển ứng dụng Solana xuống hàng ngàn lần.
Đội ngũ đã phát triển về việc nén ZK trong các lĩnh vực sau:
-- Ví (như Backpack): Người dùng nắm giữ token mà không cần phải trả tiền thuê.
-- Ứng dụng socialfi cho người tiêu dùng (như Tribe.run): Người sáng tạo có thể gửi token với chi phí thấp hơn.
-- Công cụ airdrop (như Helius Airship)
4、ZKVMs
RISC Zero và Succinct có thể giúp chứng minh bất kỳ tính toán nào trên chuỗi, không bị giới hạn bởi tính toán trên chuỗi. Điều này có thể hỗ trợ:
-- Khách hàng nhẹ Solana dựa trên ZK
-- Mạng DePIN tinh gọn
-- Đăng nhập ZK an toàn liền mạch
5、Bộ mở rộng mạng Solana
zkSVM đang được áp dụng cho:
-- Solforge: Mạng lưới này mở rộng ngăn xếp bằng cách sử dụng phương pháp ZKP và nén ZK của Light Protocol, nhằm hỗ trợ việc mở rộng bằng chứng dòng cập nhật trạng thái và tối ưu hóa việc tạo bằng chứng với LightSVM.
-- Termina: Nền tảng triển khai mạng SVM cho các trường hợp sử dụng cụ thể, có thể giảm độ trễ, tăng cường tính riêng tư và giảm chi phí tính toán.
-- Sonic SVM: Đống SVM hướng đến trò chơi và ứng dụng, đang mở rộng ZK thông qua Hypergrid.
-- bulletxyz: một rollup siêu thấp độ trễ được phát triển bởi ZetaMarkets, đang mở rộng lên thông lượng rất cao, tất cả các chuyển đổi trạng thái đều có thể chứng minh. Hơn nữa, các đội như Aerius Labs đang tiến hành thử nghiệm liên quan đến chứng minh ZK.
6, Kế hoạch ZK
Các kế hoạch khác như chương trình chứng minh token ZK của Anza hỗ trợ chuyển tiền bí mật - bảo mật số dư token SPL và số tiền giao dịch để bảo vệ quyền riêng tư trong các trường hợp như phải trả nợ.
Từ việc phát hành gần đây của ZK nén đến các cuộc gọi hệ thống sẽ ra mắt trong thời gian tới, Solana đang trở thành một động cơ ZK mạnh mẽ. Bài viết này chỉ là một tóm tắt ngắn, giúp mọi người hiểu về sự phát triển sớm của ZK và khả năng xác minh trên Solana.
Nội dung chỉ mang tính chất tham khảo, không phải là lời chào mời hay đề nghị. Không cung cấp tư vấn về đầu tư, thuế hoặc pháp lý. Xem Tuyên bố miễn trừ trách nhiệm để biết thêm thông tin về rủi ro.
Một cái nhìn nhanh về các dự án ZK và tính khả thi trên Solana
Nguồn: Solana; Dịch: Jinse Caijing xiaozou
Lĩnh vực ZK (bằng chứng không kiến thức) và khả năng xác minh của Solana có thể bạn chưa quen thuộc, nhưng chắc chắn là một chú ngựa đen. Bài viết này sẽ giúp bạn nhanh chóng hiểu về ZK, khả năng xác minh và các dự án bảo mật trên Solana.
Tổng thể, cơ sở hạ tầng Solana giúp cho:
-- Giúp các nhà phát triển ứng dụng tiết kiệm chi phí gấp ngàn lần
-- Thực thi không đồng bộ
-- Giải pháp tăng trưởng trạng thái
-- Tính riêng tư và bí mật của ứng dụng trên chuỗi
-- Khả năng xác minh
-- Mạng prover phi tập trung
Thậm chí trên Solana cũng có ZK-rollup!
Hãy cùng xem từng cái một:
-- Tính riêng tư và khả năng xác minh
-- Tính ẩn danh
-- Mở rộng dựa trên ZK và ZKVMs
-- Đống mở rộng mạng ZK
-- Kế hoạch ZK
Xin lưu ý: Để thuận tiện cho việc hiểu, phần dưới đây sẽ được phân loại lại và có thể có sự chồng chéo.
1、Quyền riêng tư và khả năng xác minh
Arcium thông qua việc cung cấp một khung hiệu quả, có thể xác minh mà không cần tin tưởng để thực hiện tính toán mã hóa, giúp cung cấp tính riêng tư cho các ứng dụng trên chuỗi. Ví dụ: các mô hình trí tuệ nhân tạo có thể được đào tạo bằng dữ liệu mã hóa, trong khi DeFi có thể sử dụng nó cho các giao dịch bí mật.
Bonsol do ANAGRAM phát triển là một hệ thống tính toán có thể xác minh gốc Solana, cho phép các nhà phát triển tạo ra:
Một tệp thực thi dữ liệu riêng tư hoặc công khai hoàn toàn có thể xác minh → Đảm bảo tính hợp lệ của nó theo cách 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.
2、Tính ẩn danh
Darklake đã tạo ra một AMM giao dịch swap có tính riêng tư, nhằm trở thành sàn giao dịch phi tập trung đầu tiên trên Solana cung cấp thực thi đơn hàng chống MEV theo thời gian thực. Dark Protocol đã phát triển một giao thức ẩn danh được quản lý bởi thị trường, hỗ trợ bởi ZK-snarks.
3、Mở rộng dựa trên ZKP
ZK Compression là một nguyên lý mới của Solana được ra mắt bởi Light Protocol và Helius, với chứng minh ZK và nén trạng thái, có thể giảm chi phí thuê cho các nhà phát triển ứng dụng Solana xuống hàng ngàn lần.
Đội ngũ đã phát triển về việc nén ZK trong các lĩnh vực sau:
-- Ví (như Backpack): Người dùng nắm giữ token mà không cần phải trả tiền thuê.
-- Ứng dụng socialfi cho người tiêu dùng (như Tribe.run): Người sáng tạo có thể gửi token với chi phí thấp hơn.
-- Công cụ airdrop (như Helius Airship)
4、ZKVMs
RISC Zero và Succinct có thể giúp chứng minh bất kỳ tính toán nào trên chuỗi, không bị giới hạn bởi tính toán trên chuỗi. Điều này có thể hỗ trợ:
-- Khách hàng nhẹ Solana dựa trên ZK
-- Mạng DePIN tinh gọn
-- Đăng nhập ZK an toàn liền mạch
5、Bộ mở rộng mạng Solana
zkSVM đang được áp dụng cho:
-- Solforge: Mạng lưới này mở rộng ngăn xếp bằng cách sử dụng phương pháp ZKP và nén ZK của Light Protocol, nhằm hỗ trợ việc mở rộng bằng chứng dòng cập nhật trạng thái và tối ưu hóa việc tạo bằng chứng với LightSVM.
-- Termina: Nền tảng triển khai mạng SVM cho các trường hợp sử dụng cụ thể, có thể giảm độ trễ, tăng cường tính riêng tư và giảm chi phí tính toán.
-- Sonic SVM: Đống SVM hướng đến trò chơi và ứng dụng, đang mở rộng ZK thông qua Hypergrid.
-- bulletxyz: một rollup siêu thấp độ trễ được phát triển bởi ZetaMarkets, đang mở rộng lên thông lượng rất cao, tất cả các chuyển đổi trạng thái đều có thể chứng minh. Hơn nữa, các đội như Aerius Labs đang tiến hành thử nghiệm liên quan đến chứng minh ZK.
6, Kế hoạch ZK
Các kế hoạch khác như chương trình chứng minh token ZK của Anza hỗ trợ chuyển tiền bí mật - bảo mật số dư token SPL và số tiền giao dịch để bảo vệ quyền riêng tư trong các trường hợp như phải trả nợ.
Từ việc phát hành gần đây của ZK nén đến các cuộc gọi hệ thống sẽ ra mắt trong thời gian tới, Solana đang trở thành một động cơ ZK mạnh mẽ. Bài viết này chỉ là một tóm tắt ngắn, giúp mọi người hiểu về sự phát triển sớm của ZK và khả năng xác minh trên Solana.