Nâng tầm năng lực tính toán: Tổng quan về ZK Coprocessor và các dự án tiên phong
Tuyển chọn TechFlowTuyển chọn TechFlow
Nâng tầm năng lực tính toán: Tổng quan về ZK Coprocessor và các dự án tiên phong
Chào đón tương lai của bộ xử lý phụ zk, mở ra vô vàn khả năng.
Chuyên sâu báo cáo Web3Tác giả: E
Biên dịch: TechFlow
Do blockchain đặt ra các giới hạn tính toán nhằm đảm bảo an toàn, các coprocessor ZK (ZK Coprocessors) đang ngày càng trở thành chủ đề thu hút sự chú ý. Chúng có khả năng tăng cường sức mạnh tính toán đồng thời vẫn duy trì mức độ bảo mật cao. Trong bài viết này, nhà nghiên cứu E của Galaxy Digital sẽ thảo luận về khái niệm, vai trò và một số dự án đang được xây dựng liên quan đến coprocessor ZK.
Nói chung, một coprocessor là một thành phần chuyên dụng hỗ trợ CPU bằng cách xử lý hiệu quả hơn các tác vụ nhất định, từ đó nâng cao hiệu suất và tốc độ tổng thể của hệ thống máy tính.
Coprocessor ZK là một lớp tương tác thực hiện các phép tính tùy ý và cung cấp một "biên lai" (receipt), chính là bằng chứng toán học hợp lệ xác nhận rằng phép tính đã được thực hiện đúng đắn.
Mỗi biên lai bao gồm một định danh mã hóa cho biết phép tính nào đã được thực hiện, đồng thời ghi lại mọi đầu ra công khai từ quá trình tính toán đó.
Với những biên lai này, máy móc có thể "chứng minh" rõ ràng rằng tính toán đã diễn ra — không chỉ đơn thuần là tuyên bố mà còn cung cấp một dấu vết có thể kiểm chứng được. Điều này giống như một cuộc kiểm toán tính toán đáng tin cậy và an toàn!
Tại sao chúng ta cần coprocessor ZK?
Blockchain áp đặt giới hạn lên khả năng tính toán, giới hạn các thao tác trên L1/L2 vào một tập hợp nhỏ các hoạt động vốn dĩ an toàn để đảm bảo bảo mật. Coprocessor ZK tăng cường khả năng tính toán, cho phép thực hiện một loạt hoạt động rộng hơn trong khi vẫn giữ được mức độ an toàn mạnh mẽ.
Các giao thức coprocessor zk đang được phát triển là gì?
Axiom
Axiom là một coprocessor ZK dành cho Ethereum, cung cấp cho các hợp đồng thông minh quyền truy cập đáng tin cậy vào tất cả dữ liệu trên chuỗi và khả năng thực hiện các phép tính biểu thức tùy ý trên dữ liệu đó.
Axiom hữu ích với bất kỳ giao thức hay ứng dụng phi tập trung (dapp) nào liên quan đến dữ liệu lịch sử trên chuỗi hoặc các phép tính biểu thức, bao gồm kế toán phi tin cậy, DeFi động, quản trị ngoài chuỗi phi tin cậy và oracle trên chuỗi phi tin cậy.
Sứ mệnh của Axiom là làm cho chức năng của bằng chứng kiến thức không (zero-knowledge proof) dễ tiếp cận và sử dụng nhất có thể trong các ứng dụng trên chuỗi, từ đó mở ra làn sóng mới cho các ứng dụng phi tập trung phong phú, linh hoạt và tối thiểu hóa sự tin cậy hơn.
Tanuki
Tanuki tận dụng Axiom để xây dựng một hệ thống phi tin cậy, minh bạch nhằm tính điểm ví dựa trên dữ liệu lịch sử trên chuỗi. Dữ liệu này có thể được dùng trong các giao thức xếp hạng tín dụng như Karma3labs, phân tích định giá NFT như SPICYEST, v.v.
Giải pháp của Tanuki là một phương án thay thế phi tập trung, cho phép các giao thức tính toán các chỉ số liên quan theo cách phi tin cậy, thúc đẩy sự tương tác công bằng và minh bạch. Trước đây, các phép tính này chỉ có thể thực hiện trong các hệ thống tập trung và thiếu minh bạch.
Risc Zero
Risc Zero cung cấp một zkVM có thể chạy trên mọi nền tảng. Đây là một vi điều khiển ảo/coprocesso, tạo biên lai cho mỗi chương trình nó thực thi — giống như một Arduino ảo an toàn.
Bonsai của RiscZero là một mạng lưới bằng chứng kiến thức không (zero-knowledge proof) phổ quát. Nó cung cấp khả năng thực hiện các phép tính ngoài chuỗi cho các hợp đồng thông minh trên blockchain.
Herodotus
Herodotus hướng tới việc cung cấp cho các hợp đồng thông minh quyền truy cập đồng bộ vào dữ liệu trên chuỗi từ các tầng Ethereum khác nhau. Họ tin rằng bằng chứng lưu trữ có thể thống nhất trạng thái của nhiều Rollup, thậm chí cho phép đọc đồng bộ giữa các tầng Ethereum.
Poseidon ZKP
Poseidon ZKP nhằm lấp đầy khoảng trống trong việc tạo ra các zkDApp gốc EVM. Dự án giải quyết hai rào cản chính đối với việc phát triển zkDApp tập trung vào riêng tư: ngưỡng门槛 cao do độ phức tạp mã hóa khiến việc sử dụng ZKP khó tiếp cận, và chi phí xác minh đắt đỏ trên chuỗi.
Một tính năng đang được Poseidon ZKP phát triển liên quan đến việc tạo các nguyên thủy ZKP có thể kết hợp dưới dạng hợp đồng thông minh. Trên cơ sở này, họ cung cấp một bộ tổng hợp ZK-ZK, kết hợp một loạt các bằng chứng do khách hàng tạo thành một bằng chứng duy nhất, từ đó giảm đáng kể chi phí xác minh ZKP sau khi phân bổ.
Pluto
Một dự án khác kín tiếng do Devloper đồng sáng lập, Pluto, đang khám phá cách tạo trải nghiệm nhà phát triển liền mạch cho khả năng mở rộng chuyên biệt theo từng dApp.
Cuối cùng
Bạn đã sẵn sàng đưa các dApp của mình lên một tầm cao mới về hiệu suất và bảo mật chưa? Hãy đón nhận tương lai của các coprocessor zk và mở ra vô vàn khả năng.
Chào mừng tham gia cộng đồng chính thức TechFlow
Nhóm Telegram:https://t.me/TechFlowDaily
Tài khoản Twitter chính thức:https://x.com/TechFlowPost
Tài khoản Twitter tiếng Anh:https://x.com/BlockFlow_News
E
