Bằng chứng không kiến ​​thức

Brevis là nền tảng tính toán có thể xác minh, sử dụng công nghệ Zero-Knowledge Proofs (ZK), được mệnh danh là "Lớp tính toán vô hạn" dành cho Web3. Phương pháp chủ đạo là thực hiện các phép tính phức tạp ngoài chuỗi, còn Blockchain chỉ cần xác minh một bằng chứng ngắn gọn.

Pico zkVM là máy ảo Zero-Knowledge (zkVM) dạng mô-đun mã nguồn mở của Brevis (BREV). Pico zkVM cho phép nhà phát triển xây dựng bất kỳ logic tính toán nào bằng Rust và tạo ra bằng chứng Zero-Knowledge (ZK) xác thực rằng quá trình tính toán đã được thực hiện chính xác.

Bộ đồng xử lý dữ liệu ZK khắc phục hạn chế của hợp đồng thông minh trong việc truy cập dữ liệu lịch sử bằng cách cho phép truy xuất dữ liệu lịch sử hoặc dữ liệu chuỗi chéo ngoài chuỗi từ các node lưu trữ, thực hiện tính toán và trả về bằng chứng không tiết lộ xác nhận cả kết quả lẫn tính xác thực và độ chính xác của dữ liệu. Hợp đồng có thể xác minh bằng chứng này trên chuỗi chỉ trong vài mili giây. Dòng dữ liệu diễn ra qua bốn giai đoạn: yêu cầu đăng ký, tính toán ngoài chuỗi, tạo bằng chứng ZK và xác minh cũng như nhận kết quả trên chuỗi, giúp đưa ra kết luận đáng tin cậy mà không cần phát lại toàn bộ dữ liệu.

Oracles chủ yếu mang dữ liệu ngoài chuỗi từ bên ngoài vào Blockchain, và độ tin cậy của chúng dựa trên các node và động lực kinh tế. Các bộ đồng xử lý ZK như Brevis lại tập trung vào việc tính toán có thể xác minh đối với dữ liệu lịch sử đã có trên chuỗi, sử dụng bằng chứng không tiết lộ để cho phép xác thực kết quả trực tiếp trên chuỗi. Hai công nghệ này đại diện cho hai hướng đối lập trong dòng dữ liệu Blockchain, đóng vai trò bổ sung lẫn nhau về hướng dữ liệu, mô hình tin cậy và khả năng tính toán. Ranh giới giữa chúng không hoàn toàn rõ ràng; trong thực tế, các phương pháp kết hợp và hợp tác thường được áp dụng.

BREV là token gốc của mạng Brevis, thực hiện ba chức năng chính: thanh toán phí bằng chứng, stake người chứng minh và quản trị giao thức. coChain vận hành như một blockchain bằng chứng cổ phần, áp dụng cơ chế staking và slashing dựa trên Ethereum. Trình xác thực gửi kết quả dưới dạng "đề xuất" lên chuỗi yêu cầu, mở ra một khoảng thời gian khiếu nại. Nếu đề xuất sai bị tranh chấp thành công bằng bằng chứng không tiết lộ, số stake liên quan sẽ bị slashing trên Ethereum. Nếu không có khiếu nại, kết quả được tự động chấp nhận, giúp tiết kiệm chi phí bằng chứng.

Sự khác biệt cốt lõi giữa Manta Pacific và Manta Atlantic nằm ở vai trò chức năng của mỗi nền tảng: Pacific là một mạng Layer 2 dạng mô-đun trên Ethereum, chuyên về triển khai và mở rộng quy mô ứng dụng phi tập trung zero-knowledge (ZK); Atlantic là một mạng Layer 1 ZK trên Polkadot, tập trung vào cơ sở hạ tầng nhận dạng tuân thủ trên chuỗi với zkAddress và zkSBT. Cả hai chuỗi đều thuộc hệ sinh thái Manta Network và cùng sử dụng token tiện ích gốc MANTA, nhưng chúng khác biệt về cấu trúc ở hệ sinh thái nền tảng, stack kỹ thuật và nhóm người dùng mục tiêu.

Manta Network (MANTA) là một hệ sinh thái blockchain mô-đun chuyên thiết kế cho các ứng dụng zero-knowledge (ZK), bao gồm Manta Pacific, một mạng Layer 2 mô-đun trong hệ sinh thái Ethereum, và Manta Atlantic, một mạng Layer 1 ZK trên Polkadot. Pacific tận dụng lớp khả dụng dữ liệu Celestia cùng với môi trường thực thi EVM/zkEVM nhằm hỗ trợ các ứng dụng phi tập trung, trong khi Atlantic chuyên về danh tính tuân thủ trên chuỗi, cung cấp hạ tầng định danh zero-knowledge có thể lập trình qua zkSBT và zkAddress.

Universal Circuits là thư viện mạch được xây dựng sẵn, hoạt động theo mô hình ZK-as-a-Service và được triển khai trên Manta Pacific: các nhà phát triển Solidity có thể thêm chức năng zero-knowledge vào DApp của họ thông qua các giao diện hợp đồng tiêu chuẩn, mà không cần chuyển đổi sang các ngôn ngữ ZK chuyên biệt như Cairo; các ứng dụng tiêu biểu gồm có thanh toán tuân thủ, xác minh danh tính và các trò chơi trên chuỗi như zkShuffle.

zkAddress và zkSBT là hai thành phần nhận dạng riêng tư cốt lõi do Manta Network phát triển trên chuỗi Manta Atlantic. zkAddress cung cấp các địa chỉ riêng tư kiểu UTXO có thể tái sử dụng, còn zkSBT liên kết các chứng chỉ tuân thủ với địa chỉ đó nhờ bằng chứng không tiết lộ thông tin. Hai thành phần này cùng nhau tạo nên cơ sở hạ tầng nhận dạng tuân thủ trên chuỗi Atlantic, giúp các ứng dụng Web3 xác minh danh tính mà không cần tiết lộ dữ liệu cá nhân gốc của người dùng.

Quá trình cầu nối tài sản sang Manta Pacific là một quy trình lặp lại gồm các bước khóa, Đúc và ánh xạ số dư giữa Ethereum mainnet và Manta Pacific, một mạng Layer 2 mô-đun, thông qua Cầu nối. Trong vai trò là lớp thực thi của Manta Network trên hệ sinh thái Ethereum, Manta Pacific cho phép triển khai và tương tác trên chuỗi đối với ETH, ERC-20 cùng các tài sản khác. Để tham gia các ứng dụng thuộc hệ sinh thái bên phía Pacific, người dùng cần nắm rõ cách kích hoạt cầu nối, cách các trạng thái hệ thống thay đổi bên trong, và phương thức xác nhận việc tài sản đã chuyển đến.

Zcash Orchard là nhóm giao dịch được bảo vệ thế hệ thứ ba trên mạng Zcash, sử dụng hệ thống bằng chứng không kiến thức Halo 2 để nâng cao hiệu quả, khả năng mở rộng và khả năng nâng cấp dài hạn của các giao dịch riêng tư. So với các phiên bản trước là Sprout và Sapling, Orchard giảm sự phụ thuộc vào thiết lập tin cậy đồng thời tối ưu hóa quy trình tạo bằng chứng và xác minh.

Cơ chế vận hành cốt lõi của Nockchain thay thế các phép tính băm PoW truyền thống bằng Bằng chứng không kiến thức. Trên Nockchain, thợ đào không còn cạnh tranh quyền tạo khối qua những phép tính băm vô nghĩa; thay vào đó, họ tạo ra các bằng chứng có thể xác minh để tham gia vào cơ chế đồng thuận mạng lưới. Kiến trúc của Nockchain bao gồm các thành phần như NockVM, NockApp, Proofpower và SNARKs Đồng thuận toàn cầu, tất cả đều được thiết kế nhằm xây dựng một mạng lưới chứng minh phi tập trung, hỗ trợ AI, các ứng dụng bảo vệ quyền riêng tư và các tác vụ tính toán có thể kiểm chứng.

Nockchain là một nền tảng blockchain vận hành trên cơ chế Zero-Knowledge Proof-of-Work (ZKPoW), với mục tiêu trọng tâm là thay thế các phép tính băm vô giá trị trong PoW truyền thống bằng việc sinh ra các bằng chứng không tiết lộ kiến thức (ZK proving) vừa có thể kiểm chứng vừa mang giá trị thực tiễn. Khác với Bitcoin dựa vào cạnh tranh tỷ lệ băm, Nockchain định hướng sức mạnh tính toán của thợ đào vào việc tạo ra các bằng chứng tính toán có thể xác minh, qua đó thiết lập mô hình "Bằng chứng công việc hữu ích".

Cả Railgun và Tornado Cash đều là các giao thức riêng tư trên chuỗi, mặc dù chúng có sự khác biệt đáng kể về triết lý thiết kế và cách tiếp cận vận hành. Tornado Cash hoạt động giống như một bộ trộn ẩn danh, sử dụng các pool có mệnh giá cố định để phá vỡ liên kết giữa các khoản tiền. Ngược lại, Railgun là một giao thức Private DeFi dựa trên zk-SNARK, cho phép tài khoản riêng tư, giao dịch bảo mật và tương tác hợp đồng thông minh ẩn danh.

Railgun là một giao thức DeFi về quyền riêng tư được xây dựng trên các blockchain EVM, sử dụng bằng chứng zero-knowledge dạng zk-SNARK để che giấu địa chỉ người dùng, số dư tài sản, số tiền giao dịch và hoạt động trên chuỗi, đồng thời vẫn duy trì khả năng kết hợp với các giao thức hệ sinh thái như Ethereum, Arbitrum và BNB Chain. Không giống như các coin riêng tư truyền thống hay các công cụ trộn, Railgun không phụ thuộc vào một blockchain riêng biệt; thay vào đó, giao thức này cho phép thực hiện các giao dịch riêng tư và tương tác hợp đồng thông minh ẩn danh trực tiếp trên chuỗi gốc.