Ngoài việc mở rộng và quyền riêng tư, ZK còn có những trường hợp sử dụng nào khác?
Tuyển chọn TechFlowTuyển chọn TechFlow
Ngoài việc mở rộng và quyền riêng tư, ZK còn có những trường hợp sử dụng nào khác?
Nhà nghiên cứu Raghav Agarwal của LongHash đã điểm qua các nghiên cứu và ứng dụng tiên phong trong lĩnh vực mã hóa sử dụng công nghệ ZK.
Chuyên sâu báo cáo Web3Tác giả: Raghav Agarwal
Biên dịch: TechFlow
Mở rộng quy mô và bảo mật là hai trường hợp sử dụng phổ biến nhất hiện nay của ZK, tuy nhiên, ZK còn tiềm năng lớn hơn để hiện thực hóa nhiều trường hợp ứng dụng sáng tạo khác. Nhà nghiên cứu Raghav Agarwal từ LongHash đã điểm lại các nghiên cứu và ứng dụng tiên phong về công nghệ ZK trong lĩnh vực tiền mã hóa.
Ứng dụng của ZK trong web3 ngày càng trở nên phổ biến. Hiện tại, khả năng mở rộng và tính riêng tư là hai trường hợp sử dụng phổ biến nhất của ZK, nhưng ZK vẫn còn nhiều tiềm năng chưa khai thác và có thể hiện thực hóa thêm nhiều trường hợp dùng sáng tạo hơn nữa. Vậy những trường hợp sử dụng ZK mới nào đang xuất hiện?
Tính ngẫu nhiên: ZK có thể kết hợp với VDF (hàm trễ có thể xác minh) để đạt được tính ngẫu nhiên hoàn toàn an toàn trên blockchain. Mặc dù Ethereum có sẵn nhiều chức năng ngẫu nhiên, nhưng chúng đều tồn tại một số nhược điểm tinh vi như độ lệch, tính hoạt động, chi phí cao hay các giả định tin cậy bổ sung. Paradigm đã phát triển một tín hiệu ngẫu nhiên gốc ETH, tương thích với VDF, được hỗ trợ bởi RANDAO và oracle băm khối có thể thay thế linh hoạt.
Xác minh dữ liệu ngoài chuỗi: Space and Time cho phép kho dữ liệu tạo ra bằng chứng SNARK cho việc thực thi truy vấn SQL, nhằm chứng minh rằng việc tính toán truy vấn đã hoàn tất chính xác, đồng thời cả truy vấn lẫn dữ liệu đều chống giả mạo và có thể xác minh.
Đối với cơ sở dữ liệu (DB), điều không thể xảy ra trong mạng lưới là yêu cầu mỗi nút DB riêng lẻ chạy cùng một truy vấn hàng ngàn lần và đạt được sự đồng thuận. Proof of SQL cho phép các nhà phát triển trực tiếp nối kết kết quả của các truy vấn giao dịch và phân tích mở rộng vào các hợp đồng thông minh của họ.
An toàn DeFi: Dự án zkPoEX – giải nhất ETH Denver – cho phép các hacker mũ trắng báo cáo các lỗ hổng thời gian thực của hợp đồng thông minh, đồng thời giữ bí mật về lỗ hổng đó.
Cách này cho phép kiểm toán viên tạo bằng chứng ZK về lỗ hổng một cách an toàn mà không tiết lộ chi tiết thực tế của lỗ hổng. Kiểm toán viên có thể chứng minh rằng họ biết một giao dịch có thể gây ra sự thay đổi trạng thái xấu trong một số hợp đồng, mà không tiết lộ cụ thể chi tiết lỗ hổng.
Xác thực email bằng ZK: Email dùng ZK do Yush và Sampriti phát triển tại PARC cho phép người dùng xác minh chữ ký email một cách ẩn danh, đồng thời che giấu bất kỳ dữ liệu nào họ muốn. Nó giúp người dùng sử dụng email của mình để chứng minh họ sở hữu một tài khoản Twitter.
Bằng chứng đóng góp Github: ZkRepo cho phép người dùng tạo bằng chứng rằng họ đã đóng góp vào một kho lưu trữ github nhất định mà không tiết lộ danh tính. Các DAO có thể dùng nó để thưởng cho những người đóng góp Github, trong khi người đóng góp vẫn giữ được tính ẩn danh.
Bằng chứng lưu trữ: Herodotus đang sử dụng ZK để xây dựng công nghệ bằng chứng lưu trữ, nhằm đạt được khả năng truy cập dữ liệu giữa các lớp một cách đồng bộ trên blockchain Ethereum. Các nhà phát triển có thể dùng nó để xây dựng hợp đồng đọc trạng thái L1 trên L2, đọc trạng thái L2 trên L1, và có thể đọc đồng bộ trạng thái giữa các L2.
Xác minh vị trí: zkMaps có thể được dùng để xác minh người dùng có đang ở trong một khu vực địa lý nhất định hay không, mà không tiết lộ vị trí chính xác. Bỏ phiếu riêng tư trên chuỗi: DeFROST do Poseidon xây dựng đã hiện thực hóa việc bỏ phiếu riêng tư trên Nouns DAO, có thể trực tiếp dùng chữ ký đa khóa để bỏ phiếu hoặc hỗ trợ ủy quyền bỏ phiếu.
Máy ảo hỗ trợ ZK: Ngoài zkEVM mà Polygon, zkSync và các bên khác đang xây dựng, ZK cũng có thể được dùng để phát triển các máy ảo khác như zkWASM. zkWASM cho phép các nhà phát triển viết ứng dụng ZKP bằng ngôn ngữ lập trình họ yêu thích, và người dùng có thể chạy nó trực tiếp trong trình duyệt.
Wasm là tiêu chuẩn trình duyệt do nhóm làm việc W3C phát triển, bao gồm Google, Meta, Intel, Microsoft, v.v. Việc phát triển Wasm giúp mã nguồn có thể triển khai trên mọi trình duyệt và cho ra kết quả giống nhau. Hiện nay, Wasm đã được các gã khổng lồ công nghệ Web2 áp dụng rộng rãi.
Figma sử dụng Wasm để giảm thời gian tải xuống còn 1/3, Google Earth dùng Wasm để kích hoạt Google Earth trên các trình duyệt ngoài Chrome, Adobe đã sử dụng Wasm trong bản beta công khai của Photoshop năm 2021.
Hệ thống danh tính: Danh tính số là một bài toán khó giải quyết. Thực tế, gần như mọi hệ thống danh tính đều cần đến quyền riêng tư, điều này khiến ZK trở thành lựa chọn tối ưu để phát triển hệ thống danh tính an toàn, riêng tư và loại bỏ các bên trung tâm.
Ngăn xếp danh tính ZK bao gồm ba lớp chính: nhà phát hành, trạng thái và lớp khả dụng dữ liệu. Một số đội ngũ nổi bật đang tận dụng ZK để cung cấp danh tính trên chuỗi cho người dùng bao gồm holonym, Outdid.io, zCloak Network, Worldcoin, zkPass và Sismo.
ZK cho học máy (ZKML): ZKML là một lĩnh vực nghiên cứu ngày càng thu hút sự chú ý. Vấn đề tin cậy trong học máy (ML) đang trở nên ngày càng quan trọng do sự gia tăng bùng nổ của các ứng dụng ML. Dưới đây tôi sẽ điểm qua một số dự án đang vận hành.
Thông thường, các tham số mô hình và đầu vào mà mô hình ML sử dụng là bí mật, dẫn đến việc người dùng mô hình phải tin tưởng chủ sở hữu mô hình. Bản thân mô hình ML thường là một "hộp đen" chạy trên tập dữ liệu lớn, dễ bị ảnh hưởng bởi định kiến hoặc thậm chí phân biệt đối xử.
ZKML có thể được dùng để đảm bảo tính xác thực mô hình, tính toàn vẹn mô hình, tích hợp các bằng chứng từ bên xác minh bên ngoài vào mô hình, suy luận hoặc huấn luyện phi tập trung.
Thư viện ezkl do Zkonduit xây dựng cho phép bất kỳ ai tạo bằng chứng ZK cho các mô hình ML được xuất bằng ONNX. Điều này giúp bất kỳ kỹ sư ML nào cũng có thể tạo bằng chứng ZK cho quá trình suy luận mô hình của họ và chứng minh kết quả đầu ra trước bất kỳ bên xác minh nào.
gensyn đang xây dựng một hệ thống tính toán phi tập trung, nơi người dùng có thể nhập dữ liệu công khai và một mạng lưới các nút phi tập trung sẽ huấn luyện mô hình cho họ, đồng thời xác minh tính đúng đắn của quá trình huấn luyện.
Modulus Labs đã thực hiện kiểm tra hiệu suất (benchmark) các hệ thống bằng chứng khác nhau cho suy luận trên chuỗi, và tạo ra một bot giao dịch sử dụng AI ra quyết định trên Starknet.
Danh sách này không liệt kê đầy đủ tất cả các trường hợp ứng dụng, mà chỉ nhằm ghi nhận một số ứng dụng để làm nổi bật tiềm năng của ZK. Những ví dụ này có thể được dùng làm cảm hứng để phát triển các trường hợp sử dụng mới, từ đó đưa Web3 tiến gần hơn tới việc áp dụng trên diện rộ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
Raghav Agarwal
