Anoma tái cấu trúc kiến trúc mật mã học của tính toán riêng tư (chia sẻ kiến thức 2)
Hôm nay chúng ta tiếp tục chia sẻ về một số nội dung liên quan đến anoma.
Dưới mô hình mà tính minh bạch của blockchain chiếm ưu thế, Anoma đã chọn một con đường khó khăn hơn nhưng cần thiết - nó xây dựng cơ sở hạ tầng bảo mật thông qua mã hóa đồng nhất hoàn toàn (FHE) và mô hình tương tác lấy ý định làm trung tâm. Bản chất là tạo ra một loại máy trạng thái mới: dữ liệu luôn ở trạng thái được mã hóa, nhưng có thể được xác minh tính chính xác của phép toán. Khả năng này phụ thuộc vào ba trụ cột công nghệ:
1. Lớp thực thi mã hóa đồng hình: Thực hiện tính toán Turing đầy đủ trong văn bản mã hóa Anoma áp dụng phương án CKKS để thực hiện mã hóa đồng nhất, cho phép thực hiện các phép toán trực tiếp trên bản mã. Ví dụ, khi người dùng A mã hóa số tiền chuyển khoản [X], và người dùng B mã hóa số tiền [Y], các nút xác minh không cần giải mã vẫn có thể thực hiện phép so sánh [X] > [Y] hoặc phép toán số học [X] - [Y] = [Z]. Điều này giải quyết thiếu sót của các giải pháp bảo mật truyền thống (như zk-SNARKs của Zcash) chỉ có thể xác minh mà không thể tính toán. Để vượt qua nút thắt về hiệu suất của FHE, Anoma đã giới thiệu tăng tốc GPU cho biến đổi số học (NTT) và công nghệ nén bản mã thưa, giảm độ trễ giao dịch từ cấp độ phút xuống cấp độ giây.
2. Cơ chế truyền đạt ý định: Cách mạng tương tác tuyên bố Người dùng không còn gọi hợp đồng trực tiếp nữa, mà phát sóng tuyên bố ý định với ràng buộc về quyền riêng tư. Ví dụ: "Mua số lượng ETH ẩn với slippage ≤1%, địa chỉ nhận được mã hóa". Các bộ giải trong mạng (Solvers) thông qua tính toán đa bên an toàn (SMPC) sẽ khớp cung cầu trong trạng thái mã hóa. Để ngăn chặn thao túng MEV, Anoma thiết kế cơ chế trò chơi tiết lộ trễ: các bộ giải phải staking token để tham gia đấu thầu kín, việc gian lận sẽ bị tịch thu. Mô hình này đã chuyển DeFi từ chế độ "đẩy" thực thi chủ động sang chế độ "kéo" tuyên bố nhu cầu.
3. Bảo mật xuyên chuỗi với xác thực phân tán Lớp xác thực của Anoma sử dụng sự đồng thuận PBFT Tendermint được cải tiến, nhưng sự đổi mới chính nằm ở chỗ các nút xác thực chạy máy ảo chứng minh không biết (zkVM). Khi xử lý giao dịch xuyên chuỗi (như đổi Bitcoin lấy ETH bảo vệ quyền riêng tư), các nút tạo ra zkProof của khách nhẹ Bitcoin và chuyển tiếp tới mạng Anoma. Toàn bộ quá trình, các xác thực chỉ kiểm tra tính chính xác của chứng minh mà không mở khóa dữ liệu chuỗi gốc, thực hiện quyền riêng tư xuyên chuỗi có thể xác minh thực sự. Đối mặt với vấn đề Bitcoin script không hỗ trợ FHE, Anoma áp dụng giải pháp Chứng minh lạc quan + Thời gian thách thức 72 giờ: nếu phát hiện gian lận, bất kỳ người tham gia nào cũng có thể gửi zkProof để kích hoạt việc hoàn trả tài sản.
Thực hành kỹ thuật và đột phá sinh thái Các nhà phát triển có thể viết DApp tăng cường quyền riêng tư thông qua Taiga SDK. Ví dụ, khi xây dựng giao thức cho vay stablecoin riêng tư, có thể sử dụng lệnh đồng hình fhe_gt! để xác minh trực tiếp tỷ lệ thế chấp mã hóa có lớn hơn 150% hay không, và thông qua macro zk_proof! để tạo ra chứng minh không kiến thức về việc trả nợ. Khả năng này đang thúc đẩy các trường hợp sử dụng mới:
Namada (mô hình phân hình Anoma đầu tiên) thực hiện bể riêng tư đa tài sản, TVL đạt 3.4 triệu đô la Mỹ.
Fhenix sẽ tích hợp L2 Ethereum với lớp FHE của Anoma, xử lý 120.000 giao dịch riêng tư mỗi ngày. Dữ liệu từ mạng thử nghiệm cho thấy, TPS giao dịch FHE trung bình là 52, độ trễ liên chuỗi được kiểm soát trong vòng 90 giây. Mặc dù hiệu suất vẫn bị hạn chế bởi tính toán đồng hình, nhưng việc tích hợp chứng minh zkFHE (nén tính toán FHE thành zk-SNARK) đã được đưa vào lộ trình, với mục tiêu đạt được tốc độ gấp trăm lần vào năm 2026.
Con đường đồng sinh giữa quyền riêng tư và tuân thủ
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.
Anoma tái cấu trúc kiến trúc mật mã học của tính toán riêng tư (chia sẻ kiến thức 2)
Hôm nay chúng ta tiếp tục chia sẻ về một số nội dung liên quan đến anoma.
Dưới mô hình mà tính minh bạch của blockchain chiếm ưu thế, Anoma đã chọn một con đường khó khăn hơn nhưng cần thiết - nó xây dựng cơ sở hạ tầng bảo mật thông qua mã hóa đồng nhất hoàn toàn (FHE) và mô hình tương tác lấy ý định làm trung tâm. Bản chất là tạo ra một loại máy trạng thái mới: dữ liệu luôn ở trạng thái được mã hóa, nhưng có thể được xác minh tính chính xác của phép toán. Khả năng này phụ thuộc vào ba trụ cột công nghệ:
1. Lớp thực thi mã hóa đồng hình: Thực hiện tính toán Turing đầy đủ trong văn bản mã hóa
Anoma áp dụng phương án CKKS để thực hiện mã hóa đồng nhất, cho phép thực hiện các phép toán trực tiếp trên bản mã. Ví dụ, khi người dùng A mã hóa số tiền chuyển khoản [X], và người dùng B mã hóa số tiền [Y], các nút xác minh không cần giải mã vẫn có thể thực hiện phép so sánh [X] > [Y] hoặc phép toán số học [X] - [Y] = [Z]. Điều này giải quyết thiếu sót của các giải pháp bảo mật truyền thống (như zk-SNARKs của Zcash) chỉ có thể xác minh mà không thể tính toán. Để vượt qua nút thắt về hiệu suất của FHE, Anoma đã giới thiệu tăng tốc GPU cho biến đổi số học (NTT) và công nghệ nén bản mã thưa, giảm độ trễ giao dịch từ cấp độ phút xuống cấp độ giây.
2. Cơ chế truyền đạt ý định: Cách mạng tương tác tuyên bố
Người dùng không còn gọi hợp đồng trực tiếp nữa, mà phát sóng tuyên bố ý định với ràng buộc về quyền riêng tư. Ví dụ: "Mua số lượng ETH ẩn với slippage ≤1%, địa chỉ nhận được mã hóa". Các bộ giải trong mạng (Solvers) thông qua tính toán đa bên an toàn (SMPC) sẽ khớp cung cầu trong trạng thái mã hóa. Để ngăn chặn thao túng MEV, Anoma thiết kế cơ chế trò chơi tiết lộ trễ: các bộ giải phải staking token để tham gia đấu thầu kín, việc gian lận sẽ bị tịch thu. Mô hình này đã chuyển DeFi từ chế độ "đẩy" thực thi chủ động sang chế độ "kéo" tuyên bố nhu cầu.
3. Bảo mật xuyên chuỗi với xác thực phân tán
Lớp xác thực của Anoma sử dụng sự đồng thuận PBFT Tendermint được cải tiến, nhưng sự đổi mới chính nằm ở chỗ các nút xác thực chạy máy ảo chứng minh không biết (zkVM). Khi xử lý giao dịch xuyên chuỗi (như đổi Bitcoin lấy ETH bảo vệ quyền riêng tư), các nút tạo ra zkProof của khách nhẹ Bitcoin và chuyển tiếp tới mạng Anoma. Toàn bộ quá trình, các xác thực chỉ kiểm tra tính chính xác của chứng minh mà không mở khóa dữ liệu chuỗi gốc, thực hiện quyền riêng tư xuyên chuỗi có thể xác minh thực sự. Đối mặt với vấn đề Bitcoin script không hỗ trợ FHE, Anoma áp dụng giải pháp Chứng minh lạc quan + Thời gian thách thức 72 giờ: nếu phát hiện gian lận, bất kỳ người tham gia nào cũng có thể gửi zkProof để kích hoạt việc hoàn trả tài sản.
Thực hành kỹ thuật và đột phá sinh thái
Các nhà phát triển có thể viết DApp tăng cường quyền riêng tư thông qua Taiga SDK. Ví dụ, khi xây dựng giao thức cho vay stablecoin riêng tư, có thể sử dụng lệnh đồng hình fhe_gt! để xác minh trực tiếp tỷ lệ thế chấp mã hóa có lớn hơn 150% hay không, và thông qua macro zk_proof! để tạo ra chứng minh không kiến thức về việc trả nợ. Khả năng này đang thúc đẩy các trường hợp sử dụng mới:
Namada (mô hình phân hình Anoma đầu tiên) thực hiện bể riêng tư đa tài sản, TVL đạt 3.4 triệu đô la Mỹ.
Fhenix sẽ tích hợp L2 Ethereum với lớp FHE của Anoma, xử lý 120.000 giao dịch riêng tư mỗi ngày.
Dữ liệu từ mạng thử nghiệm cho thấy, TPS giao dịch FHE trung bình là 52, độ trễ liên chuỗi được kiểm soát trong vòng 90 giây. Mặc dù hiệu suất vẫn bị hạn chế bởi tính toán đồng hình, nhưng việc tích hợp chứng minh zkFHE (nén tính toán FHE thành zk-SNARK) đã được đưa vào lộ trình, với mục tiêu đạt được tốc độ gấp trăm lần vào năm 2026.
Con đường đồng sinh giữa quyền riêng tư và tuân thủ