Biên tập: Phòng thí nghiệm Castle(@castle_labs)
Biên dịch: AididiaoJP, Foresight News
Hệ sinh thái bảo mật Solana vẫn đang ở giai đoạn đầu
Chúng tôi đã từng trao đổi với Giám đốc điều hành Helius, @mert, để hỏi ý kiến của anh ấy về vấn đề bảo mật trên Solana. Theo như lời anh ấy nói, Solana về mặt bảo mật "có phần chậm hơn một chút".
Vậy, một hệ sinh thái bảo mật trưởng thành nên có hình thái như thế nào?
Các yếu tố cần thiết bao gồm:
- Xác minh hình thức hóa
- Không có ủy ban
- Tính bất biến
- Mã nguồn mở
Kiến trúc độc đáo của Solana còn có thể mang lại những ưu tiên về bảo mật khác với các chuỗi EVM. Mert đặc biệt nhắc đến ZK nén: "Chúng ta có thể đạt được quy mô lớn và khả năng kết hợp của các giao thức bảo mật trên Solana mà không cần Rollup lâu dài, ít nhất là khi có thể sử dụng based rollups."
Trong bối cảnh cụ thể của Solana, hai lĩnh vực chuyên sâu có liên quan nhất đến phát triển bảo mật là Neobanks (ngân hàng mới) và Private DeFi. Nhưng về mặt công cụ và trải nghiệm người dùng, Solana vẫn còn khoảng cách khá xa so với một hệ sinh thái bảo mật hoàn chỉnh về chức năng và có khả năng kết hợp.
Chúng tôi cũng đã hỏi Mert về quan điểm của anh ấy đối với chồng công nghệ bảo mật. Như báo cáo nhấn mạnh, bảo mật không nên được coi là một công nghệ đơn lẻ, mà là "chồng bảo mật cuối cùng" nơi tất cả các nguyên thủy cuối cùng sẽ cùng làm việc. Đối với Mert, kết cục sẽ là sự kết hợp giữa FHE (mã hóa đồng cấu toàn phần) và ZK (bằng chứng không tiết lộ thông tin). TEE và MPC rất thiết thực trong một số trường hợp sử dụng, nhưng không thể cung cấp đủ đảm bảo trong các hệ thống đối kháng.
Cuối cùng, chúng tôi đã hỏi anh ấy về Helius Privacy.
Helius Privacy sẽ được phát triển với tư cách là lớp bảo mật dựa trên ZK UTXO trên Solana. Nó sẽ tận dụng "Các Khu vực" (Zones), cho phép từng công ty tự lựa chọn sự đánh đổi.
Đồng thời sẽ cung cấp một Khu vực công khai, dành cho tất cả người dùng thông thường sử dụng, để cung cấp tính ẩn danh hoàn toàn theo cách bất biến và được xác minh hình thức hóa. Thêm chi tiết sẽ được công bố sớm.
Dựa trên bối cảnh trên, bài viết này tập trung thảo luận về cách hệ sinh thái bảo mật Solana đối phó với các thách thức bảo mật khác nhau.
Tính toán Bảo mật (Private Compute)
Hiện tại, lĩnh vực này chủ yếu có hai nhà cung cấp: @Arcium và @magicblock.
Cả hai đều đang giải quyết vấn đề tương tự: tính toán bảo mật.
Arcium xử lý dữ liệu tùy ý thông qua MPC (Tính toán đa bên). Nó chia nhỏ dữ liệu và phân phối đến các cụm nút độc lập, những nút này cùng nhau tính toán kết quả mà không nhìn thấy dữ liệu đầu vào đơn lẻ. Đồng thời, Arcium hoạt động như một mạng tính toán độc lập, cuối cùng được thanh toán trên Solana, với Solana xử lý việc sắp xếp thứ tự tác vụ, an ninh mạng và thanh toán phí.
Tất cả tính toán bảo mật này diễn ra trong Multi-Party eXecution Environments (MXEs) - đây là các môi trường thực thi có thể tùy chỉnh và song song hóa.
Ngoài việc giải quyết vấn đề tính toán, sản phẩm của Arcium còn phục vụ rộng rãi hơn cho hệ sinh thái bảo mật của Solana. Họ đang xây dựng tiêu chuẩn token Confidential SPL (C-SPL), có thể hiện thực hóa token bảo mật, chuyển tiền và giao dịch bảo mật trên Solana.
Chúng tôi đã hỏi đội ngũ Arcium về nguồn gốc nhu cầu. Không ngạc nhiên, chủ yếu đến từ thanh toán và phân tích dữ liệu mã hóa, đồng thời nhu cầu từ các tổ chức cũng đang tăng, đặc biệt là trong lĩnh vực chăm sóc sức khỏe - điều này giúp việc huấn luyện mô hình trên các tập dữ liệu mã hóa trở nên khả thi. C-SPL còn có thể thực hiện chuyển tiền bảo mật liền mạch, thu hút thêm sự quan tâm của các tổ chức.
Về dữ liệu, kể từ khi ra mắt Alpha Mainnet vào đầu tháng 2 năm 2026, Arcium đã xử lý hơn 900 nghìn lần tính toán và hơn 3,5 triệu giao dịch, phần lớn sự tăng trưởng diễn ra vào đầu tháng 5.
Hiện tại, phần lớn nhu cầu đến từ các ứng dụng sớm như Umbra. Trong vài tuần tới, các ứng dụng như ZINC và Crafts cũng sẽ ra mắt, chúng tôi dự kiến nhu cầu sẽ tăng thêm.
ZINC đang thực hiện khai thác bằng chứng công việc được mã hóa, trong khi Crafts sử dụng Arcium cho các cuộc đấu giá kín để gọi vốn, cho phép các công ty khởi nghiệp token hóa một phần vốn cổ phần của họ với mức giá được phát hiện công bằng.
"Một số điều mới mẻ thú vị đang được xây dựng trên Arcium bao gồm: hình thành vốn thông qua đấu giá kín, thị trường cơ hội, thanh toán mã hóa trong thị trường dự đoán và các ứng dụng tài chính bảo mật khác."
Nhiều trường hợp sử dụng này đang tạo ra các thị trường mới hoặc được cải thiện mà ngay cả người dùng cũng không nhận thức được sự bảo mật.
Trong khi đó, Magic Block giải quyết vấn đề tính toán bảo mật thông qua TEE (Môi trường thực thi đáng tin cậy), trong khi Arcium dựa vào các đảm bảo mật mã của MPC. Cách thức hoạt động của sản phẩm của họ là: Intel TDX tạo ra một hộp đen được xác minh bằng phần cứng - Private Ephemeral Rollup (PER), nơi các giao dịch được tổng hợp và xử lý, sau đó gửi trở lại Solana.
MagicBlock giúp các nhà phát triển duy trì các thuộc tính này trong toàn bộ chồng, bao gồm: tính bảo mật (trạng thái được bảo vệ), khả năng mở rộng (thông lượng cao), khả năng kết hợp (vẫn có thể tương tác với các chương trình Solana khác) và tuân thủ (lớp kiểm soát truy cập).
Mặc dù con đường giải quyết vấn đề của cả hai là khác nhau, nhưng chúng đều có thể tạo ra sổ lệnh bảo mật có thể triển khai, hồ bí mật (dark pool) và các hệ thống DeFi bảo mật, chỉ với thay đổi mã tối thiểu. Điều này đã khá rõ ràng trong hệ sinh thái trên Arcium, bao phủ nhiều lĩnh vực như DeFi, thị trường dự đoán, Neobanks, v.v.
Chuyển khoản và Số dư Bảo mật (Private Transfers and Balances)
Khi cơ sở hạ tầng tính toán bảo mật như Arcium và MagicBlock dần hoàn thiện, các trường hợp sử dụng dựa trên cơ sở hạ tầng này cũng bắt đầu tăng trưởng, trong đó có chuyển khoản bảo mật.
@UmbraPrivacy là dự án đầu tiên, được xây dựng trên cơ sở hạ tầng MPC của Arcium. Umbra giới thiệu Tài khoản Token được Mã hóa (Encrypted Token Accounts - ETAs), đây là đối tác trực tiếp của Tài khoản Token Liên kết tiêu chuẩn Solana, nhưng số dư được lưu trữ dưới dạng mã hóa, cung cấp:
- Bảo mật số tiền: Số tiền giao dịch được mã hóa bằng mật mã Rescue
- Bảo mật số dư: Số dư được lưu trữ dưới dạng bản mã
- Bảo mật liên kết: Cắt đứt hoàn toàn liên kết trên chuỗi giữa người gửi và người nhận thông qua hồ trộn (shielding pool) + bằng chứng ZK
Ngoài ra, Umbra còn cung cấp tính năng tuân thủ, cho phép người dùng cấp quyền xem có chọn lọc cho kiểm toán viên và hệ thống tuân thủ mà không cần tiết lộ toàn bộ lịch sử giao dịch. Điều này rất quan trọng đối với quy trình làm việc của tổ chức cũng như người dùng muốn chứng minh sở hữu tiền mà không muốn tiết lộ lịch sử giao dịch chi tiết.
Trong lĩnh vực ví bảo mật, @theprivacycash và Hush là hai dự án khác.
Privacy Cash sử dụng hồ trộn theo phong cách Tornado để xử lý SOL: Người dùng gửi SOL vào để tạo cam kết và được thêm vào cây Merkle, sau đó sử dụng bằng chứng ZK để rút tiền đến bất kỳ người nhận nào, cắt đứt hoàn toàn liên kết trên chuỗi giữa địa chỉ gửi tiền và địa chỉ rút tiền.
Hush được lấy cảm hứng từ Zcash, nhưng tăng cường tính hữu dụng DeFi. Người dùng gửi SOL vào hồ trộn của Hush, nó sẽ tự động chuyển đổi thành jitoSOL, để kiếm lãi thụ động từ stake và thu nhập MEV trong khi vẫn giữ được bảo mật. Trong hồ, người dùng có thể chuyển tiền, nhận tiền từ những người tham gia Hush khác và thực hiện nhiều giao dịch mà không cần chạm vào sổ cái công khai của Solana. Khi rút khỏi hồ, việc rút tiền được tách rời khỏi khoản gửi gốc thông qua trộn. Phí chuyển tiền trong hồ là 0,01 jitoSOL, và rút tiền tính phí 50 bps. Hush còn tích hợp Jupiter để thực hiện hoán đổi bảo mật và chặn địa lý các khu vực bị trừng phạt, có hình ảnh tuân thủ tốt trong số người dùng tổ chức.
Không có Dấu vết trên Chuỗi (No Onchain Trail)
Chuyển khoản bảo mật giải quyết vấn đề công ty và tổ chức thanh toán lương nhân viên hoặc thực hiện giao dịch bí mật trên chuỗi. Nhưng để tiến xa hơn, chúng ta cần nhúng bảo mật vào các hành vi trên chuỗi hàng ngày, đặc biệt là giao dịch.
Mỗi lệnh được đặt trên AMM công khai đều là tín hiệu mà những kẻ front-runner, copy-trader và bot MEV có thể đọc và lợi dụng. Hiện tại đã có một số giao thức trên Solana đang giải quyết vấn đề này.
@encifherio là một giao diện DeFi ưu tiên bảo mật, định tuyến giao dịch thông qua Jupiter trong khi vẫn giữ chi tiết giao dịch ở chế độ riêng tư. Đội ngũ cho biết: "Chất lượng thực thi không thay đổi, vì chúng tôi không thêm định tuyến tùy chỉnh, mà sử dụng cùng định tuyến và thanh khoản do Jupiter cung cấp."
Nó sẽ gói token mà người dùng muốn hoán đổi và sử dụng mã hóa ElGamal để mã hóa chi tiết hoán đổi. Hồ sơ trên chuỗi chỉ hiển thị thay đổi trạng thái của loại tài sản được gói, đủ để Jupiter biết rằng nó đang định tuyến token chính xác. Số lượng giao dịch, đối tác giao dịch, bên tham gia và ngay cả việc giao dịch có được thực hiện hay không đều được xử lý trong môi trường TEE (AWS Nitro Enclaves), không bao giờ được phát sóng công khai. Điều này thực hiện được hoán đổi bảo mật quy mô lớn.
@VanishTrade tiếp cận từ một cấp độ khác. Họ đang xây dựng cơ sở hạ tầng giao dịch bảo mật sử dụng định tuyến giao dịch được che giấu, để bảo vệ chiến lược giao dịch không để lại dấu vết trên chuỗi. Không giống như encifherio gói token, Vanish định tuyến giao dịch thông qua thanh khoản được che giấu. Ngoài ra, Vanish còn ra mắt Khung Toàn vẹn Vanish (Vanish Integrity Framework - VIF), được hỗ trợ bởi Elliptic và Range, nhúng các biện pháp bảo vệ để ngăn chặn định tuyến bất kỳ giao dịch bất hợp pháp nào.
Darklake là một đối thủ khác trong danh mục này, đang xây dựng cơ sở hạ tầng thanh khoản gốc ZK và hồ bí mật (dark pool). zk-AMM của họ được gọi là "hồ trượt giá mù", là một lớp gửi lệnh được thêm vào AMM để ẩn dữ liệu trượt giá trước khi thực thi. Các searcher không thể đọc ý định lệnh trước khi giao dịch được thực hiện, nhưng có thể xác minh kết quả sau đó. Tính bất đối xứng trễ này ngăn chặn các cuộc tấn công sandwich trong khi vẫn giữ được khả năng xác minh. Họ đã mở rộng mô hình này sang hợp đồng vĩnh viễn bảo mật (zk-Perps) sử dụng lớp tính toán của Arcium, cũng như một khung suy luận tên là Zyga, khung này trừu tượng hóa sự phức tạp của bằng chứng, cung cấp cho các nhà xây dựng nền tảng logic an toàn và phối hợp. Gần đây, họ còn mở rộng thành giao thức cơ sở hạ tầng, cho phép ứng dụng và người dùng sử dụng mô hình "Proof as Intelligence" để xác minh, kết nối và tính toán một cách bảo mật.
Thị trường Dự đoán Bảo mật (Private Prediction Markets)
Thị trường dự đoán bảo mật là ứng dụng bảo mật cấp cao hơn, vì chiến lược của người dùng dễ bị sao chép, từ đó mất lợi thế. Để giải quyết vấn đề này, các giao thức đang sử dụng cơ sở hạ tầng Arcium để xây dựng các hồ bí mật chuyên biệt cho thị trường dự đoán.
@meleemarkets đang xây dựng thị trường dự đoán hỗ trợ luồng lệnh bảo mật. Họ mã hóa sổ lệnh thông qua cơ sở hạ tầng MPC của Arcium. Người tham gia có thể đặt lệnh mà không tiết lộ hướng của họ trên thị trường công khai cho đến khi thanh toán.
AI Bảo mật (The Private AI)
Khi ngày càng nhiều đại lý AI hoạt động trên chuỗi, liệu mỗi truy vấn và mỗi PII tiêu thụ của họ sẽ bị công khai vĩnh viễn?
Loyal trả lời câu hỏi này thông qua giao thức thông minh phi tập trung, chống kiểm duyệt của họ. Giao thức này sử dụng Rollup tạm thời của Magic Block để thực thi và tính toán mã hóa của Arcium để xây dựng. Họ đang xây dựng AI bảo vệ dữ liệu người dùng trên chuỗi: hội thoại, truy vấn, tùy chọn và hoạt động, tất cả đều được lưu trữ dưới dạng mã hóa trên Solana và thiết lập các quy tắc truy cập nghiêm ngặt. Người dùng sở hữu và có thể xuất lịch sử hội thoại được mã hóa của họ, cũng có thể tự lưu trữ front-end mà không mất bất kỳ dữ liệu nào. Ngoài ra, Loyal còn hỗ trợ giao dịch và quản lý quỹ bảo mật, cho phép người gửi tiền kiếm lợi nhuận trong trạng thái riêng tư.
