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

Mạng Manta (MANTA) là một hệ sinh thái Blockchain mô đun được xây dựng cho các ứng dụng không kiến thức (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. Manta Pacific sử dụng lớp dữ liệu khả dụng Celestia kết hợp với môi trường thực thi EVM/zkEVM để hỗ trợ các ứng dụng phi tập trung, còn Manta Atlantic chuyên về danh tính tuân thủ trên chuỗi và cung cấp hạ tầng danh tính zero-knowledge có thể lập trình qua zkSBT và zkAddress.

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.

Sự khác biệt cốt lõi giữa Manta Pacific và Manta Atlantic nằm ở vai trò riêng của mỗi bên: Pacific là mạng Layer 2 mô-đun trong hệ sinh thái Ethereum, chuyên hỗ trợ triển khai và mở rộng các ứng dụng phi tập trung zero-knowledge (ZK); Atlantic là mạng Layer 1 ZK trong hệ sinh thái Polkadot, chuyên cung cấp cơ sở hạ tầng danh tính tuân thủ trên chuỗi qua 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, tuy nhiên chúng có sự khác biệt về cấu trúc trong hệ sinh thái nền tảng, stack công nghệ và nhóm người dùng mục tiêu.

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.

SP1 zkVM là một máy ảo zero-knowledge đa năng, cho phép nhà phát triển viết bất kỳ chương trình nào bằng Rust và tạo ra các bằng chứng ZK có thể xác minh. Máy này đặc biệt phù hợp cho chuỗi chéo, mở rộng quy mô rollup và tính toán có thể xác minh bằng AI. Trong khi đó, zkEVM tập trung vào việc tạo bằng chứng tương thích với hệ sinh thái Ethereum, chủ yếu phục vụ giao dịch trên chuỗi và xác minh Hợp đồng thông minh. Hai loại này khác biệt rõ rệt về khả năng lập trình, hiệu quả xác minh, tỷ lệ băm phi tập trung và tích hợp hệ sinh thái, giúp nhà phát triển lựa chọn cơ sở hạ tầng ZK tối ưu dựa trên nhu cầu ứng dụng cụ thể.

SP1 zkVM là một máy ảo zero-knowledge đa năng (zkVM) do Succinct phát triển, cho phép lập trình viên viết chương trình bằng Rust và tự động tạo ra các ZK Proofs. Quy trình cốt lõi bao gồm: biên dịch chương trình Rust thành lệnh RISC-V, thực thi trên zkVM để sinh ra Execution Trace, chuyển Trace đó thành STARK proof, nén thành SNARK proof, và cuối cùng gửi lên để xác minh trên chuỗi.

Mạng lưới Prover của Succinct là một thị trường tỷ lệ băm phi tập trung chuyên dành cho các bằng chứng không tiết lộ thông tin (ZK Proof), kết nối những người yêu cầu Proof với các node Prover trên toàn cầu. Các nhà phát triển gửi mã chương trình và dữ liệu đầu vào để khởi tạo yêu cầu Proof. Auctioneer của mạng lưới sẽ phân bổ nhiệm vụ dựa trên chi phí, tốc độ và uy tín của node. Sau đó, các node Prover thực thi chương trình trên SP1 zkVM, tạo ZK Proof và gửi lên chuỗi để xác minh và thanh toán.

Succinct là một mạng lưới bằng chứng không kiến thức (ZK bằng chứng) phi tập trung được xây dựng trên Ethereum, cung cấp cho các nhà phát triển cơ sở hạ tầng có thể lập trình với rào cản thấp để tạo bằng chứng. Với thành phần cốt lõi là SP1 zkVM, các nhà phát triển có thể viết trực tiếp các chương trình có thể xác minh bằng các ngôn ngữ đa năng như Rust, loại bỏ nhu cầu thiết kế thủ công các mạch ZK phức tạp. Mạng lưới người chứng minh Succinct kết nối các yêu cầu bằng chứng với tài nguyên tỷ lệ băm toàn cầu thông qua một thị trường người chứng minh mở, tạo điều kiện cho việc tạo, xác minh và quyết toán các bằng chứng.

Succinct và RISC Zero đều cung cấp hạ tầng bằng chứng không tiết lộ (ZK Proof), nhưng mục tiêu thiết kế của chúng khác biệt rõ rệt. Succinct ưu tiên xây dựng một thị trường bằng chứng phi tập trung và một lớp xác minh phổ quát, giúp thực hiện xác minh chuỗi chéo, Rollup và tính toán có thể xác minh bằng AI nhờ SP1 zkVM và Prover Network. Trong khi đó, RISC Zero tập trung vào môi trường thực thi có thể xác minh và trải nghiệm nhà phát triển, tận dụng kiến trúc RISC-V để giảm rào cản phát triển ứng dụng ZK. Hai giải pháp này khác biệt đáng kể về kiến trúc zkVM, quy trình tạo bằng chứng, cơ chế kinh tế, định vị hệ sinh thái và các trường hợp sử dụng thực tế.

Nexus và zkSync đều là dự án trọng điểm trong lĩnh vực bằng chứng không tiết lộ (ZK), nhưng mỗi dự án lại có mục tiêu riêng biệt. zkSync là giải pháp mở rộng quy mô zkRollup cho Ethereum, nhằm tăng thông lượng giao dịch Layer2 và giảm phí Gas. Ngược lại, Nexus chú trọng vào tính toán có thể xác minh và mạng lưới chứng minh phân tán, hướng tới xây dựng hạ tầng zk để phục vụ AI và tài chính có thể xác minh.

Tài chính có thể xác minh là một khung tài chính trên chuỗi kết hợp bằng chứng không tiết lộ (ZK) với tính toán có thể xác minh. Mục tiêu chủ yếu của mô hình này là cải thiện hiệu quả xác minh các hệ thống tài chính phức tạp, đồng thời đảm bảo tính minh bạch và phi tập trung. So với tài chính trên chuỗi truyền thống thường tập trung vào giao dịch tài sản và quản lý thanh khoản, Tài chính có thể xác minh đặt ưu tiên vào khả năng xác minh logic tài chính.