zkVerify: Lớp xác minh bằng chứng không tiết lộ chung
Sách trắng zkVerify được Horizen Labs và đội ngũ cốt lõi zkVerify sáng lập vào năm 2024, phát hành trong giai đoạn tháng 5 đến tháng 6 năm 2025, nhằm đáp ứng các vấn đề đau đầu về xác minh bằng chứng không tiết lộ trong hệ sinh thái Web3 như chi phí cao, tốc độ chậm và hiệu quả tính toán thấp, cũng như nhu cầu ngày càng tăng về giải pháp hiệu quả và mở rộng.
Chủ đề của sách trắng zkVerify là “zkVerify: Lớp xác minh bằng chứng không tiết lộ chung”. Điểm độc đáo của zkVerify là đề xuất “mạng lưới xác minh bằng chứng không tiết lộ phi tập trung, hiệu quả”, và thực hiện “xác minh bằng chứng xuyên các zk-Rollup và lớp thanh toán” bằng “kiến trúc lớp 1 chuyên dụng” và “phương pháp mô-đun”; Ý nghĩa của zkVerify là đặt nền móng cho “niềm tin mở rộng”, giảm mạnh “chi phí xác minh bằng chứng”, và cung cấp vận hành nhanh hơn, an toàn hơn, tiết kiệm hơn cho “ứng dụng phi tập trung và giải pháp lớp 2 trong hệ sinh thái Web3”.
Mục tiêu ban đầu của zkVerify là xây dựng một nền tảng giúp xác minh ZK Proof dễ tiếp cận, hiệu quả và kinh tế, từ đó thay đổi khả năng mở rộng và bảo mật của ứng dụng phi tập trung. Quan điểm cốt lõi trong sách trắng zkVerify là: bằng cách cung cấp một lớp xác minh bằng chứng không tiết lộ chuyên dụng, mô-đun, phi tập trung, zkVerify vừa đảm bảo an toàn, mở rộng, vừa giảm mạnh chi phí xác minh và rào cản kỹ thuật, giúp ứng dụng Web3 vận hành hiệu quả và được chấp nhận rộng rãi.
Tóm tắt zkVerify whitepaper
zkVerify là gì
Các bạn thân mến, hãy tưởng tượng khi chúng ta mua sắm hoặc chuyển tiền trực tuyến, thường phải nhờ ngân hàng hoặc Alipay làm trung gian xác nhận giao dịch có thật hay không? Trong thế giới blockchain, chúng ta muốn phân quyền xác nhận này cho cộng đồng cùng kiểm tra, giúp mọi thứ minh bạch và an toàn hơn. Nhưng nếu ai cũng phải kiểm tra từng chi tiết giao dịch thì sẽ rất chậm và tốn kém.
zkVerify (tên dự án: VFY) giống như một “siêu kiểm toán viên” trong thế giới blockchain. Nó không xử lý mọi giao dịch, mà chỉ chuyên làm một việc: xác minh nhanh chóng, tiết kiệm các “biên lai nhỏ” đặc biệt gọi là “bằng chứng không tiết lộ” (Zero-Knowledge Proof, viết tắt là ZK Proof).
Bằng chứng không tiết lộ là gì? Nói đơn giản, đây là một công nghệ kỳ diệu cho phép bạn chứng minh với người khác rằng bạn biết một bí mật, nhưng không cần tiết lộ bí mật đó. Ví dụ, bạn có thể chứng minh mình đủ 18 tuổi mà không cần nói ngày sinh cụ thể. Trong blockchain, ZK Proof có thể dùng để chứng minh một giao dịch hợp lệ hoặc một phép tính đúng mà không cần công khai toàn bộ dữ liệu.
Dự án zkVerify chính là một mạng lưới blockchain chuyên xác minh các “biên lai nhỏ” này. Nó giống như một “công ty kiểm toán chuyên nghiệp”, nhận các “bằng chứng” từ nhiều ứng dụng blockchain (ví dụ các giao dịch cần bảo mật, hoặc các ứng dụng tính toán quy mô lớn), rồi xác minh với chi phí cực thấp và tốc độ cực nhanh.
Đối tượng người dùng và kịch bản cốt lõi
zkVerify chủ yếu phục vụ các dự án blockchain cần dùng bằng chứng không tiết lộ, ví dụ:
- ZK Rollups: Hãy tưởng tượng mạng chính Ethereum như một xa lộ đông đúc, ZK Rollups giống như “làn đường nhanh” bên cạnh, gom nhiều giao dịch nhỏ thành một giao dịch lớn, rồi dùng một ZK Proof để chứng minh tất cả giao dịch nhỏ đều hợp lệ. zkVerify giúp các “làn đường nhanh” này xác minh “biên lai lớn” nhanh hơn.
- zkBridges: Giống như những cây cầu nối các thành phố, cho phép các blockchain khác nhau giao tiếp và chuyển tài sản. zkVerify giúp xác minh độ an toàn của các giao dịch xuyên chuỗi này.
- zkApps: Các ứng dụng phi tập trung sử dụng bằng chứng không tiết lộ để bảo vệ quyền riêng tư hoặc thực hiện các chức năng phức tạp.
- AI và danh tính số: Thậm chí có thể mở rộng sang xác minh AI, hoặc xác thực danh tính số bảo vệ quyền riêng tư cá nhân.
Quy trình sử dụng điển hình
Quy trình hoạt động của nó có thể hiểu như sau:
- Một ứng dụng blockchain (ví dụ một ZK Rollup) tạo ra một “biên lai nhỏ” bằng chứng không tiết lộ, chứng minh đã thực hiện một loạt tính toán hoặc giao dịch.
- Ứng dụng này gửi “biên lai nhỏ” lên mạng zkVerify.
- Các kiểm toán viên chuyên nghiệp trong mạng zkVerify (các node) sẽ kiểm tra nhanh chóng, hiệu quả tính xác thực của “biên lai nhỏ”.
- Sau khi xác minh thành công, zkVerify sẽ tạo ra một “bằng chứng xác thực” (gọi là “chứng nhận” Attestation), rồi gửi “chứng nhận” này về lại chuỗi gốc của ứng dụng blockchain.
- Ứng dụng blockchain gốc chỉ cần kiểm tra “chứng nhận” nhỏ này, không phải tự xử lý “biên lai nhỏ” phức tạp, tiết kiệm rất nhiều thời gian và chi phí.
Tầm nhìn dự án và giá trị cốt lõi
Tầm nhìn của zkVerify là trở thành “nền tảng niềm tin” trong thế giới blockchain, giúp công nghệ bằng chứng không tiết lộ được sử dụng rộng rãi và thuận tiện hơn.
Vấn đề cốt lõi muốn giải quyết
Hiện nay, bằng chứng không tiết lộ rất mạnh mẽ nhưng có một “nỗi đau”: xác minh các bằng chứng này trên các blockchain lớn như Ethereum rất đắt đỏ, chậm và tiêu tốn nhiều tài nguyên tính toán.
Hãy tưởng tượng bạn thuê một quản gia đa năng (blockchain tổng quát), anh ta làm được mọi việc nhưng nếu chỉ giao cho anh ta một việc chuyên môn (xác minh ZK Proof) thì hiệu quả không cao và chi phí rất đắt. zkVerify giải quyết vấn đề này, giống như một “chuyên gia xác minh bằng chứng không tiết lộ”, chỉ làm một việc nên vừa nhanh, vừa tốt, vừa rẻ.
Ước tính, xác minh một ZK Proof trên blockchain tổng quát có thể tốn tới 200.000-300.000 Gas (phí tính toán trên blockchain), khi mạng tắc nghẽn có thể lên tới 60 USD. zkVerify đặt mục tiêu giảm chi phí này hơn 90%.
Điểm khác biệt với các dự án cùng loại
Điểm độc đáo của zkVerify là:
- Chuyên biệt hóa: Đây là một “blockchain lớp 1” (Layer 1 blockchain) chuyên thiết kế cho xác minh bằng chứng không tiết lộ. Không giống các blockchain “tổng hợp”, zkVerify chỉ tập trung xác minh, không xử lý giao dịch khác nên hiệu suất cực cao.
- Thiết kế mô-đun: Áp dụng thiết kế mô-đun, dễ dàng tích hợp với các mạng blockchain hiện có, giống như một “mô-đun xác minh cắm là chạy”.
- Không phụ thuộc hệ thống bằng chứng: Có thể xác minh nhiều loại hệ thống bằng chứng không tiết lộ khác nhau (như Fflonk, Groth16, Plonky2...), giống như một “trình dịch đa ngôn ngữ”, bất kể bằng chứng viết bằng “ngôn ngữ” nào đều hiểu và xác minh được.
- Hiệu suất cao, chi phí thấp: Nhờ thiết kế chuyên biệt và tối ưu hóa mã nguồn (viết bằng Rust), zkVerify cung cấp tốc độ xác minh siêu nhanh và chi phí cực thấp.
Đặc điểm kỹ thuật
zkVerify có nhiều thiết kế kỹ thuật thông minh giúp hoàn thành vai trò “siêu kiểm toán viên” hiệu quả.
Đặc điểm kỹ thuật
- Thiết kế mô-đun: Giống như các khối Lego, kiến trúc của zkVerify là mô-đun, nghĩa là linh hoạt đáp ứng nhiều nhu cầu, dễ nâng cấp và mở rộng.
- Trình xác minh gốc viết bằng Rust: Chương trình xác minh lõi viết bằng Rust. Rust nổi tiếng về hiệu suất và độ an toàn, giúp quá trình xác minh của zkVerify vừa hiệu quả vừa đáng tin cậy. Khi có hệ thống bằng chứng mới, có thể dễ dàng thêm hoặc nâng cấp trình xác minh gốc mà không ảnh hưởng toàn mạng.
- Tăng tốc phần cứng: Để đạt tốc độ xác minh tính bằng mili giây, zkVerify còn sử dụng công nghệ tăng tốc phần cứng, giống như gắn “bộ tăng áp” cho năng lực xác minh.
- Cơ chế chứng nhận và cây Merkle: Sau khi xác minh nhiều bằng chứng, zkVerify không gửi lại tất cả bằng chứng cho chuỗi gốc mà dùng cấu trúc dữ liệu “cây Merkle” (Merkle Tree) để “đóng gói” thành một “chứng nhận” nhỏ hơn. Giống như tổng hợp nhiều kiện hàng thành một danh sách tổng, giảm mạnh lượng dữ liệu truyền và chi phí.
Kiến trúc kỹ thuật
zkVerify là một “blockchain lớp 1” (Layer 1 blockchain) độc lập. Nghĩa là có mạng lưới, node và cơ chế bảo mật riêng, không phụ thuộc blockchain khác. Nền tảng xây dựng dựa trên Substrate framework, Substrate là bộ khung phát triển blockchain linh hoạt, cho phép xây dựng blockchain tùy biến cao.
Cơ chế đồng thuận
Để đảm bảo an toàn và phi tập trung, zkVerify sử dụng cơ chế đồng thuận “Bằng chứng cổ phần đề cử” (Nominated Proof-of-Stake, NPoS). Nói đơn giản, mọi người stake token để bầu chọn người xác minh, các xác minh viên duy trì an ninh mạng. Stake càng nhiều, cơ hội được chọn càng cao, nhận thưởng nhiều hơn, nhưng nếu gian lận sẽ bị phạt, khuyến khích hành vi trung thực.
Kinh tế học token
Token của dự án zkVerify gọi là VFY, là “nhiên liệu” và “quyền biểu quyết” của toàn mạng.
Thông tin cơ bản về token
- Ký hiệu token: VFY
- Chuỗi phát hành: Blockchain lớp 1 riêng của zkVerify. Tuy nhiên, để thuận tiện giao dịch và thanh khoản, có thể có địa chỉ hợp đồng trên các chuỗi khác (như Ethereum).
- Tổng cung hoặc cơ chế phát hành: Khi khởi động (Genesis), phát hành tổng cộng 1.000.000.000 (1 tỷ) VFY token.
- Lạm phát/đốt: Để khuyến khích xác minh viên và bảo vệ mạng, VFY có tỷ lệ phát hành thêm 2,5% mỗi năm (lạm phát).
- Lưu thông hiện tại và tương lai: Lượng lưu thông ban đầu khi Genesis khoảng 306,57 triệu (chiếm 30,66% tổng cung). Đến tháng 10/2025, nguồn cung lưu thông khoảng 307,8 triệu VFY.
Công dụng của token
Token VFY đóng nhiều vai trò quan trọng trong mạng zkVerify, giống như tiền tệ quốc gia:
- Phí giao dịch (Gas): Mọi thao tác gửi và xác minh bằng chứng không tiết lộ trên mạng zkVerify đều phải trả phí bằng VFY. Giống như trả phí đường cao tốc, đảm bảo an ninh kinh tế mạng.
- Staking và bảo mật mạng: Muốn trở thành xác minh viên hoặc ủng hộ xác minh viên phải stake VFY. Stake VFY vừa bảo vệ mạng, vừa nhận thưởng VFY.
- Quản trị: Người nắm giữ VFY có quyền biểu quyết định hướng phát triển dự án, ví dụ bỏ phiếu nâng cấp giao thức, điều chỉnh tham số... giúp cộng đồng tham gia quản lý dự án.
- Khuyến khích hệ sinh thái: Một phần VFY dùng để thưởng cho nhà phát triển tham gia hackathon, tài trợ, xây dựng cộng đồng và quảng bá dự án, thu hút nhiều người sử dụng và đóng góp cho hệ sinh thái zkVerify.
Phân bổ và lịch mở khóa token
Tổng cung VFY được phân bổ cho các bên tham gia khác nhau, có lịch mở khóa riêng để đảm bảo phát triển ổn định lâu dài. Dưới đây là phân bổ theo tài liệu (lưu ý tỷ lệ có thể khác nhau tùy nguồn, ở đây dùng phương án chi tiết hơn):
- Cộng đồng: Khoảng 35% (350 triệu token). Trong đó 10% lưu thông khi TGE (Token Generation Event), phần còn lại bắt đầu mở khóa sau 12 tháng, chia đều trong 48 tháng.
- Quỹ: Khoảng 31,375% (313,75 triệu token). Trong đó 47% lưu thông khi TGE, phần còn lại mở khóa hàng tháng trong 24 tháng từ TGE.
- Đóng góp cốt lõi (đội ngũ): Khoảng 19,625% (196,25 triệu token). Không lưu thông khi TGE, bắt đầu mở khóa sau 12 tháng, chia đều trong 12 tháng.
- Nhà đầu tư: Khoảng 14% (140 triệu token). Không lưu thông khi TGE, bắt đầu mở khóa sau 12 tháng, chia đều trong 12 tháng.
Đội ngũ, quản trị và tài chính
Thành công của dự án không thể thiếu con người và cơ chế phía sau.
Thành viên cốt lõi và đặc điểm đội ngũ
Dự án zkVerify do Ellipsis Distributed Systems phát triển, Horizen Labs là nhà thầu chính. Horizen Labs thành lập năm 2019, là công ty công nghệ blockchain chuyên về mật mã không tiết lộ, có nền tảng kỹ thuật và chuyên môn sâu trong lĩnh vực ZK.
Cơ chế quản trị
zkVerify áp dụng mô hình quản trị phi tập trung. Nghĩa là người nắm giữ VFY có thể bỏ phiếu ảnh hưởng các quyết định quan trọng của dự án, như nâng cấp giao thức, điều chỉnh tham số... Đảm bảo cộng đồng có tiếng nói trong phát triển dự án, tránh rủi ro tập trung hóa.
Quỹ và runway tài chính
Đến nay, dự án zkVerify đã nhận được 11 triệu USD đầu tư mạo hiểm. Khoản này dùng cho phát triển, vận hành và xây dựng hệ sinh thái, đảm bảo tài chính cho phát triển lâu dài.
Lộ trình phát triển
Lộ trình giống như nhật ký trưởng thành và kế hoạch tương lai của dự án.
Các mốc và sự kiện quan trọng trong lịch sử
- Tháng 5/2024: zkVerify ra mắt testnet chính thức. Đánh dấu giải pháp xác minh bằng chứng không tiết lộ mô-đun đầu tiên ra đời.
- Tháng 9/2024: Dự án tổ chức các cuộc thi và hoạt động thưởng, tích cực thu hút nhà phát triển và cộng đồng tham gia, kiểm thử quy mô lớn năng lực xác minh bằng chứng không tiết lộ, chuẩn bị cho ra mắt mainnet.
- Tháng 9/2025: zkVerify mainnet và token VFY chính thức ra mắt.
Kế hoạch và mốc quan trọng trong tương lai
Dù chi tiết lộ trình tương lai chưa được công bố nhiều, có thể dự đoán zkVerify sẽ tiếp tục:
- Mở rộng hỗ trợ nhiều kiến trúc blockchain hơn: Từng bước tương thích với nhiều mạng blockchain khác, trở thành lớp xác minh chung rộng rãi.
- Liên tục tối ưu hiệu suất và chi phí xác minh: Cải tiến kỹ thuật, giảm chi phí xác minh, tăng tốc độ xác minh.
- Thúc đẩy phát triển hệ sinh thái: Thu hút nhiều nhà phát triển xây dựng ứng dụng trên nền tảng, đa dạng hóa kịch bản sử dụng zkVerify.
Nhắc nhở rủi ro phổ biến
Bất kỳ dự án blockchain nào cũng có rủi ro, hiểu rõ giúp chúng ta nhìn nhận toàn diện hơn.
- Rủi ro kỹ thuật và bảo mật: Dù công nghệ bằng chứng không tiết lộ rất tiên tiến, mọi hệ thống phần mềm phức tạp đều có thể có lỗ hổng hoặc lỗi chưa biết. Ngoài ra, là một blockchain lớp 1 mới, độ an toàn, ổn định cơ chế đồng thuận và bảo mật tích hợp với hệ thống ngoài đều cần thời gian kiểm chứng.
- Rủi ro kinh tế:
- Cạnh tranh thị trường: Lĩnh vực xác minh bằng chứng không tiết lộ ngày càng thu hút nhiều sự chú ý, có thể xuất hiện các dự án xác minh chung tương tự (như Aligned Layer, Cloaking Layer), ảnh hưởng thị phần và phát triển của zkVerify.
- Tăng trưởng thị trường không như kỳ vọng: Nếu tốc độ tăng trưởng chung của công nghệ bằng chứng không tiết lộ thấp hơn dự kiến, hoặc ứng dụng thực tế chậm, sẽ ảnh hưởng giá trị token VFY.
- Áp lực mở khóa token: Phân bổ token dự án có phần mở khóa dần sau TGE (Token Generation Event). Nếu lượng mở khóa lớn, có thể gây áp lực bán token trong ngắn hạn. Ví dụ, có tài liệu nói 25% nguồn cung mở khóa khi TGE, có thể tạo áp lực bán tiềm ẩn.
- Rủi ro tuân thủ và vận hành:
- Không chắc chắn về quy định: Môi trường quản lý tiền mã hóa toàn cầu vẫn thay đổi liên tục, chính sách tương lai có thể ảnh hưởng vận hành và phát triển zkVerify.
- Thách thức xây dựng cộng đồng: Tài liệu đề cập đội ngũ zkVerify chưa chứng minh được năng lực xây dựng và duy trì cộng đồng, đây là yếu tố quan trọng với dự án phi tập trung.
Danh sách xác minh
Với bất kỳ dự án blockchain nào, chúng ta đều có thể kiểm tra sơ bộ qua một số thông tin công khai.
- Địa chỉ hợp đồng trên trình duyệt blockchain:
- Địa chỉ hợp đồng token VFY (có thể trên Ethereum...):
0xa749...b358
- Trình duyệt blockchain mainnet zkVerify:
zkverify.subscan.io
- Địa chỉ hợp đồng token VFY (có thể trên Ethereum...):
- Hoạt động GitHub:
- Kho GitHub của zkVerify:
zkVerify/zkVerify
- Kho này có 451 sao và 111 fork, cho thấy cộng đồng quan tâm và có nhà phát triển tham gia.
- Có ghi nhận cập nhật mã nguồn như “Reduced MaxOpBeneficiaries”, “Collect also stas about vk use”... cho thấy dự án vẫn liên tục phát triển và bảo trì.
- Kho GitHub của zkVerify:
Tóm tắt dự án
Các bạn thân mến, tổng kết lại, zkVerify là một dự án blockchain rất thú vị và tiềm năng. Nó giống như “trung tâm xác minh bằng chứng không tiết lộ chuyên biệt” trong thế giới blockchain, giải quyết vấn đề chi phí cao, tốc độ chậm của công nghệ bằng chứng không tiết lộ hiện nay. Nhờ kiến trúc blockchain lớp 1 độc đáo, thiết kế mô-đun và khả năng tương thích nhiều hệ thống bằng chứng, zkVerify hy vọng giúp công nghệ này phổ biến, dễ dùng hơn, thúc đẩy bảo mật, mở rộng và hiệu quả cho toàn hệ sinh thái Web3.
Giá trị cốt lõi của nó là giúp các ứng dụng cần xác minh nhiều bằng chứng không tiết lộ có thể “thuê ngoài” việc nặng này cho zkVerify, giảm mạnh chi phí vận hành, tăng hiệu quả. Điều này rất quan trọng với ZK Rollups, cầu nối xuyên chuỗi và các ứng dụng bảo mật.
Tất nhiên, mọi công nghệ và dự án mới đều có rủi ro, như cạnh tranh thị trường gay gắt, áp lực mở khóa token, thách thức xây dựng cộng đồng... Vì vậy, khi quan tâm dự án này, chúng ta cần khách quan và thận trọng.
Xin lưu ý, tất cả thông tin trên chỉ là giới thiệu dự án, không phải lời khuyên đầu tư. Thị trường blockchain và tiền mã hóa biến động mạnh, rủi ro cao. Trước khi quyết định đầu tư, hãy tự nghiên cứu kỹ (Do Your Own Research, DYOR) và hỏi ý kiến chuyên gia tài chính.
Để biết thêm chi tiết, các bạn nên tự tham khảo sách trắng và website chính thức của zkVerify để có thông tin đầy đủ và mới nhất.