Không phải mọi giao thức bảo mật đều được tạo ra như nhau

Tuần này, một cuộc kiểm toán từ Claude Opus 4.8 đã phát hiện ra một lỗ hổng đã tồn tại bốn năm trong một trong những hệ thống bảo mật được tin cậy nhất trong crypto. Đây là cách mà COTI được xây dựng trên một nền tảng khác.
Tóm tắt ngắn gọn
→ Tuần này, Shielded Labs đã công bố một lỗi nghiêm trọng trong bể bảo mật Orchard của Zcash, được phát hiện với sự trợ giúp của Claude Opus 4.8 từ Anthropic.
→ Một yếu tố không được kiểm soát trong một mạch ZK phức tạp đã không được phát hiện trong bốn năm, và sự riêng tư đã khiến việc chứng minh nó có bị khai thác hay không trở nên không thể.
→ COTI được xây dựng trên một nền tảng khác: Mạch Bị Rối, tính toán đa bên mã hóa trên mật mã khóa đối xứng đã được kiểm chứng qua chiến đấu, không có mạch chứng minh quan trọng về độ tin cậy, không cần thiết lập tin cậy, và kháng lượng tử theo thiết kế.
→ Quyền riêng tư có thể lập trình của COTI được xác minh theo thiết kế. Công bố chọn lọc cho phép chứng minh nguồn cung và tính toàn vẹn mà không lộ dữ liệu của bất kỳ ai.
→ Nguồn cung Private ERC20 vẫn được quản trị và có thể kiểm toán.
Lời kêu gọi đánh thức về quyền riêng tư Web3
Tuần này, thế giới quyền riêng tư trong crypto đã nhận được một lời kêu gọi đánh thức.
Shielded Labs, tổ chức phi lợi nhuận tài trợ cho việc phát triển Zcash, đã công bố một lỗi nghiêm trọng về tính đúng đắn (soundness) trong “Orchard shielded pool” của Zcash—một trong những hệ thống quyền riêng tư zero-knowledge được tôn trọng nhất trong môi trường vận hành thực tế.
Lỗi được phát hiện bằng một khung kiểm toán tùy chỉnh kết hợp với Claude Opus 4.8—mới được Anthropic phát hành. Lỗi đã ẩn trong mạch chứng minh kể từ khi Orchard ra mắt vào tháng 5/2022. Trong suốt gần 4 năm, nó vẫn chưa bị phát hiện thông qua nhiều đợt kiểm toán bởi một số nhà mật mã học giỏi nhất trong lĩnh vực.
Phản hồi nhanh và có phối hợp. Một soft fork khẩn cấp đã tạm thời vô hiệu hóa các giao dịch Orchard, và hard fork đã sửa mạch. Điều đó xứng đáng được ghi nhận. Công bố có trách nhiệm, vá trong vài ngày, và minh bạch đầy đủ chính là cách bảo mật được cho là vận hành.
Xây dựng niềm tin trong hệ sinh thái quyền riêng tư là yếu tố then chốt. Một ngành quyền riêng tư an toàn, đáng tin cậy và bảo mật là chìa khóa để nâng tầm toàn bộ hệ sinh thái. Vì quyền riêng tư trên blockchain là một công nghệ đột phá mới, nó phải liên tục được gia cố bằng các công cụ AI tiên tiến nhất.
Đây là triết lý thiết kế của COTI đằng sau Garbled Circuits và cam kết luôn đảm bảo các tiêu chuẩn mã hóa hàng đầu trong ngành.
Vì sao điều này quan trọng vượt xa Zcash
Câu chuyện lớn hơn bất kỳ một mạng lưới nào, và nó chạm đến hai sự thật khó khăn mà mọi giao thức quyền riêng tư đều phải đối mặt.
Các mạch phức tạp cực kỳ khó để đúng hoàn toàn. Lỗi nằm ở một phần tử bị thiếu ràng buộc trong mạch chứng minh: một phép kiểm tra vốn được thiết kế để từ chối đầu vào không hợp lệ nhưng lại có một khoảng trống. Các nhà nghiên cứu bảo mật từ lâu đã chỉ ra các mạch bị thiếu ràng buộc là một trong những nhóm lỗi thất bại phổ biến nhất trong các cuộc kiểm toán zero-knowledge, và phần lớn phát hiện kiểm toán ZK đều truy về lớp mạch.
Quyền riêng tư có thể khiến việc xác minh trở nên không thể. Vì Orchard là một “shielded pool” (hồ bơi được che chắn), Shielded Labs thừa nhận không có cách nào để xác định bằng mật mã liệu lỗ hổng có từng bị khai thác hay không. Tính chất bảo vệ người dùng cũng chính là thứ loại bỏ dấu vết để ai đó có thể chứng minh sổ sách sạch. Bạn buộc phải tin.
Cuộc kiểm toán Claude Opus 4.8 tìm ra trong khoảng một ngày điều mà nhiều năm rà soát thủ công bởi chuyên gia đã bỏ lỡ. Giờ đây, mọi giao thức sẽ được dò tìm bằng cùng một lớp công cụ—cả phía người phòng thủ lẫn kẻ tấn công—nhưng đồng thời cũng có thể dùng các công cụ đó để gia cố hạ tầng của mình.
Tất cả các giao thức quyền riêng tư phải đảm bảo tiêu chuẩn mã hóa và bảo mật của họ được cải tiến liên tục và được kiểm toán để đạt mức an toàn cao nhất.
COTI được xây dựng khác như thế nào
COTI đã đi theo một hướng mật mã khác từ ngay nền tảng: Garbled Circuits—một giao thức cho điện toán đa bên an toàn (MPC)—được phát triển cùng Soda Labs.
Hợp đồng thông minh tính toán trực tiếp trên các đầu vào được mã hóa, vì vậy dữ liệu không bao giờ bị lộ—không cho bất kỳ nhà vận hành nào, không cho mạng, và không cho bất kỳ ai không nên nhìn thấy nó. Lựa chọn đó thay đổi mô hình bảo mật theo những cách quan trọng ngay lúc này.
MPC trên dữ liệu đầu vào được mã hóa, không phải các mạch ZK bị thiếu ràng buộc
Một hệ thống zero-knowledge chứng minh một mệnh đề về dữ liệu ẩn bằng một mạch phức tạp, và tính đúng đắn (soundness) của mạch đó là tất cả. Một ràng buộc bị thiếu (under-constrained constraint)—như Orchard đã cho thấy—có thể khiến đầu vào không hợp lệ lọt qua.
COTI hoạt động theo cách khác. Với Garbled Circuits, các hợp đồng tính toán trên dữ liệu đầu vào được mã hóa thông qua điện toán đa bên an toàn, và tính hợp lệ của việc thực thi được kiểm tra bởi COTI mainnet. Không có một mạch chứng minh duy nhất, mang tính “quyết định về soundness”, đứng giữa bạn và tính toàn vẹn của toàn bộ “pool”.
Mật mã khóa đối xứng
Sơ đồ “garbling” của COTI được xây dựng dựa trên các primitive đã được nghiên cứu nhiều nhất và đã được kiểm chứng trong mật mã. Nó áp dụng một hàm giả ngẫu nhiên như AES lên nhãn dây (wire labels) của mạch, và các bản mã trên chuỗi được bảo vệ bởi một lược đồ mã hóa đối xứng. Đây là cùng các họ primitive giúp bảo vệ internet hiện đại.
Các năng lực quyền riêng tư mới trên nền tảng các khối xây dựng đáng tin cậy và đã được hiểu rõ, thay vì một mạch mới lạ phải được chứng minh là không có sai sót.
Không cần trusted setup
Một số hệ thống quyền riêng tư phụ thuộc vào một buổi thiết lập tin cậy (trusted setup) chỉ diễn ra một lần. Nếu bí mật phía sau buổi lễ đó từng bị xử lý sai, bảo mật của toàn hệ thống có thể bị suy yếu. Cách tiếp cận Garbled Circuits không yêu cầu buổi lễ như vậy. Điều đó loại bỏ hẳn một nhóm rủi ro trước khi bất kỳ giao dịch nào được xử lý.
Chống chịu lượng tử theo thiết kế
Vì nền tảng là mật mã khóa đối xứng, khả năng chống tấn công lượng tử là vấn đề độ dài khóa chứ không phải thiết kế lại. Các tấn công lượng tử đã biết tốt nhất trên các phép nguyên thủy đối xứng dùng thuật toán Grover, về cơ bản làm giảm một nửa mức bảo mật hiệu dụng, vì vậy tăng gấp đôi độ dài khóa sẽ khôi phục lại.
Nâng cấp Helium của COTI đã giới thiệu phép toán gốc 256-bit, vì vậy các token bảo mật của COTI đã chạy sẵn ở những độ dài khóa giúp chúng an toàn trước các cuộc tấn công lượng tử tốt nhất hiện nay. Để xem toàn bộ chi tiết, hãy đọc phần phân tích kỹ thuật chuyên sâu của COTI về điện toán lượng tử.
Và nó là thực tiễn
Mật mã mạnh, và có thể sử dụng được. Điện toán bảo mật trên COTI nhanh hơn tới 3.000 lần và nhẹ hơn 250 lần so với các cách tiếp cận dựa trên FHE—đủ nhẹ cho mọi thiết bị bao gồm cả điện thoại di động, không cần phần cứng chuyên dụng.
Và gcEVM của COTI hoàn toàn tương thích với EVM, vì vậy các nhà phát triển viết các hợp đồng bảo mật trong Solidity tiêu chuẩn, chọn cái gì giữ riêng tư và cái gì công khai ngay trong cùng một hợp đồng.
Có thể xác minh theo thiết kế
Phần khó nhất trong câu chuyện của tuần này không phải là bug. Bug sẽ được vá. Mà là không ai có thể chứng minh bằng mật mã liệu nguồn cung đã từng bị thổi phồng hay chưa. Đó là cái bẫy mà các hệ thống quyền riêng tư có thể rơi vào: tính bảo mật bí mật có được nhưng phải đánh đổi lấy khả năng xác minh.
Luận điểm của COTI luôn là: minh bạch chưa bao giờ là mục tiêu thực sự. Mục tiêu là khả năng xác minh thông tin một cách độc lập—và mật mã học hiện đại có thể mang lại điều đó mà không cần phơi bày mọi thứ ra công chúng.
Với quyền riêng tư có thể lập trình, COTI cho phép đúng các bên liên quan xác minh chính xác những gì họ cần—nguồn cung, khả năng thanh toán (solvency) hay tuân thủ (compliance)—thông qua công bố chọn lọc, trong khi tất cả những người khác chỉ thấy bản mã.
Bạn có thể thấy điều đó trực tiếp trong Private ERC20s—chuẩn token tăng cường quyền riêng tư của COTI:
Mã hóa mặc định. Số dư, số tiền chuyển và hạn mức (allowances) đều được mã hóa. Mỗi người nắm giữ có một khóa riêng, và chỉ người nắm giữ mới có thể giải mã số dư của họ. Validators chỉ thấy bản mã.
Nguồn cung riêng tư nhưng có trách nhiệm. totalSupply() trả về 0 trên chuỗi, trong khi phiên bản bản mã theo dõi nguồn cung thực sự ở bên trong. Không rò rỉ việc phát hành ra thế giới bên ngoài, và cũng không có điểm mù nào.
Phát hành được quản trị. Phân quyền theo vai trò, một vai trò minter chuyên trách, và cơ chế phát hành có nhận biết hạn mức khiến việc quản trị nguồn cung trở nên rõ ràng và có thể kiểm toán, kèm theo công bố chọn lọc để tuân thủ.
Nền tảng đã được chứng minh. Điều khiển truy cập và cơ chế chống reentrancy kế thừa từ OpenZeppelin, phép toán được mã hóa được ủy quyền cho COTI’s MPC precompile, với độ chính xác đầy đủ 256-bit.
Đó là quyền riêng tư không bắt bạn phải lựa chọn giữa sự bí mật và khả năng chứng minh sự thật. Đây là khác biệt giữa quyền riêng tư mà bạn có thể xác minh và quyền riêng tư mà bạn phải tin một cách mù quáng.
Được kiểm toán từ đầu đến cuối, và hướng về AI
Mật mã học mạnh vẫn phải được chứng minh ở cấp độ mã nguồn. Không công nghệ quyền riêng tư nào được miễn trừ khỏi việc xem xét nghiêm ngặt và liên tục—đó cũng chính là lý do COTI coi bảo mật là một quá trình liên tục.
Sayfer, một công ty tư vấn an ninh mạng gốc Web3 đã bảo vệ hàng tỷ tài sản trên 100+ khách hàng bao gồm MetaMask, 1inch, Polkadot và StarkWare, với 0 vụ hack từ phía khách hàng đến nay, đã kiểm toán chi tiết từng dòng trong lớp quyền riêng tư của COTI: Private ERC20, Privacy Portal và COTI MetaMask Snap. Mọi phát hiện đều được xử lý và giải quyết trước khi ra mắt.
“Sau khi nhóm Sayfer rà soát, chúng tôi chứng nhận rằng mọi vấn đề bảo mật được đề cập trong báo cáo này đã được đội ngũ COTI xử lý.”
Báo cáo kiểm toán Sayfer
Sayfer đang xây dựng một lớp bảo mật dựa trên AI để kiểm toán liên tục, thời gian thực, vượt qua mô hình chỉ “tại thời điểm”. COTI là đối tác dài hạn cho nỗ lực đó. Khi việc red-teaming bằng AI tiên tiến trở thành tiêu chuẩn trong toàn ngành, COTI dự định sẽ luôn tận dụng công nghệ mới nhất
Quyền riêng tư trực tiếp & đang được triển khai trong sản phẩm.
Đồng sáng lập Ethereum Vitalik Buterin đã công khai chỉ ra Garbled Circuits là con đường để đạt được các cam kết bảo mật thuần-mật mã cho điện toán đa bên.
COTI’s GC mainnet ra mắt vào tháng 3/2025 và đã xử lý hơn 125 triệu giao dịch on-chain. COTI đang mang giao thức quyền riêng tư dựa trên GC của mình một cách “bản địa” tới Ethereum và các L1/L2 hàng đầu khác.
Đối với các blockchain lớn, DeFi và dapps cần quyền riêng tư đáng tin cậy, đã được chứng minh và được kiểm toán để có thể xác minh, COTI dự định trở thành công ty dẫn đầu trong các giải pháp được tin cậy.
Vì sao COTI là duy nhất
COTI được xây dựng để việc tin tưởng vào quyền riêng tư không phụ thuộc vào một lời hứa:
Tính toán trên đầu vào được mã hóa thông qua MPC, không có một mạch chứng minh duy nhất mang tính quyết định về soundness.
Xây dựng trên mật mã khóa đối xứng đã được kiểm chứng trong thực chiến.
Không yêu cầu buổi lễ thiết lập tin cậy.
Chống chịu lượng tử theo thiết kế, với các kích thước khóa 256-bit bản địa đã hoạt động.
Có thể xác minh theo thiết kế, với công bố chọn lọc và nguồn cung được quản trị, có thể kiểm toán.
Được Sayfer kiểm toán từ đầu đến cuối, và sắp tới sẽ có kiểm toán liên tục có hỗ trợ bởi AI.
Sẵn sàng hoạt động trong môi trường thực tế, tương thích đầy đủ với EVM, và đủ nhẹ để chạy trên mọi thiết bị.
Sự tin cậy được xây dựng từ nền tảng
Sự phát triển của quyền riêng tư trên Web3 là điều tốt cho tất cả mọi người, và các đội ngũ đang thúc đẩy điều đó—bao gồm cả đội xử lý việc công bố trong tuần này với tốc độ và sự trung thực—xứng đáng được tôn trọng.
Nhưng “quyền riêng tư” không phải là một giao thức hay giải pháp đơn lẻ, và các khác biệt xứng đáng có cả câu chuyện. Câu trả lời của COTI là giữ cho việc tính toán được mã hóa end-to-end, dựa trên mật mã đã giành được niềm tin, làm cho quyền riêng tư có thể xác minh thay vì là thứ bạn phải tin tưởng, và không bao giờ ngừng gia cố nó.
Khi lĩnh vực thay đổi, COTI thay đổi theo: tăng gấp đôi độ dài khóa để đi trước lượng tử, áp dụng các phương pháp mã hóa mạnh nhất hiện có, và kết hợp mọi bản phát hành với việc rà soát bảo mật liên tục có hỗ trợ bởi AI. Quyền riêng tư không phải là một tính năng bạn “gửi đi một lần”. Đó là một tiêu chuẩn bạn phải bảo vệ mỗi ngày.
Đó chính là ý nghĩa của việc trở thành lớp quyền riêng tư có thể lập trình cho Web3.
Hãy đồng hành cùng COTI.
Về COTI:
COTI là lớp quyền riêng tư có thể lập trình cho Web3. Được xây dựng cho doanh nghiệp, nhà phát triển và tác nhân (agents). Được cung cấp bởi các Garbled Circuits hiệu năng cao và COTI Nightfall mức doanh nghiệp (ZK), COTI cho phép điện toán được mã hóa trên bất kỳ blockchain công khai nào. Quyền riêng tư nhanh, chi phí thấp và tuân thủ trên DeFi, AI và hơn thế nữa.
Để cập nhật về COTI và tham gia cuộc trò chuyện, hãy nhớ xem các kênh của chúng tôi:
Trang web: https://coti.io/
X: https://twitter.com/COTInetwork
YouTube: https://www.youtube.com/channel/UCl-2YzhaPnouvBtotKuM4DA
Telegram: https://t.me/COTInetwork
Discord: https://discord.gg/coti-foundation
GitHub: https://github.com/coti-io
Vibe Coders Telegram: https://t.me/+uuPNfRkKiQ03ZTcx