Trong bài viết này, chúng ta sẽ tìm hiểu tổng quan về Zero-knowledge proof (ZKP) là gì? Ưu điểm và hạn chế của công nghệ ZKP, cũng như điểm danh một số dự án Blockchain nổi bật có sử dụng công nghệ ZKP.

1. Zero-knowledge proof (ZKP) là gì?

Zero-knowledge proof (ZKP) là một công nghệ mật mã học, cốt lõi hoạt động của nó là phương pháp mà một bên có thể chứng minh với bên khác (người xác minh) rằng họ biết một giá trị x, mà không cần tiết lộ bất kỳ thông tin nào ngoài thực tế là họ biết giá trị x.

Một ví dụ đơn giản để bạn có thể hình dung về cách Zero-Knowledge (ZKP) hoạt động:

Anh A vào cửa hàng bán rượu và hỏi mua rượu, người bán hàng đòi xem chứng CMND của A xem anh A có đủ tuổi để mua rượu không.

ZKP cung cấp cả sự linh hoạt và sự lựa chọn cho người dùng muốn có quyền kiểm soát và tự do đối với thông tin của họ. Nếu chúng ta kết hợp cả công nghệ blockchain và ZKP, sẽ có nhiều trường hợp sử dụng được thảo luận.

Anh A nói:“Tôi có thể chứng minh với bạn rằng tôi trên 18 tuổi, nhưng tôi sẽ không cho bạn xem CMND của tôi”.

Bằng cách nào đó, A đã chứng minh được mình trên 18 tuổi mà không cần đưa CMND của mình cho người bán rượu.

2. Ưu điểm và hạn chế của zero-knowledge proof (ZKP)

Giống như tất cả các dạng công nghệ khác, Zero-knowledge proof (ZKP) cũng có một loạt các ưu điểm và hạn chế riêng:

Ưu điểm của Zero knowledge proof (ZKP)

• Khả năng mở rộng cho Blockchain: Các giải pháp Zk Rollup sử dụng công nghệ ZKP để tăng thông lượng và khả năng mở rộng cho các Blockchain layer 1, một số dự án tiêu biểu là StarkNET, Loopring và Zksync.
• Quyền riêng tư và bảo mật: Công nghệ Zero-knowledge proof (ZKP) giúp xác nhận tính đầy đủ và đúng đắn của dữ liệu mà không cần tiết lộ những thông tin quan trọng, vì vậy ngoài ứng dụng trong các layer 2 giúp tăng khả năng mở rộng. Công nghệ Zero-knowledge (ZKP) còn được ứng dụng trong các lớp ứng dụng về bảo mật và quyền riêng tư, ví dụ: Monero, Zcash,…

Hạn chế của Zero knowledge Proof (ZKP)

• Yêu cầu một lượng lớn sức mạnh tính toán: Các giao thức ZKP thường dựa trên các phương trình toán học phức tạp. Vì vậy, chúng yêu cầu một sức mạnh tính toán lớn để vận hành và tính toán. Điều này đồng nghĩa sẽ khó để các máy tính phổ thông có thể tham gia vào quá trình xác thực giao dịch.
• Không thân thiện với các nhà phát triển: Một trong những ứng dụng chính Zero-knowledge proof (ZKP) là sử dụng cho các công nghệ Layer 2 để cải thiện khả năng mở rộng cho Blockchain, nhưng ở thời điểm hiện tại, các ứng dụng của Zk Rollup hiện chỉ giới hạn trong các khoản thanh toán đơn giản và giao dịch. Ngoài ra, Zk Rollup hiện tại không hỗ trợ khả năng tổng hợp, các ứng dụng Zk Rollup khác nhau không thể tương tác với nhau trong cùng một Layer 2.

3. Hai ứng dụng phổ biến của Zero-knowledge proof (ZKP)

Ứng dụng nhắn tin bảo mật

Các ứng dụng nhắn tin truyền thống yêu cầu người dùng xác minh danh tính của họ với một máy chủ tập trung. Với công nghệ ZKP, nó có thể được dùng để mã hóa dữ liệu end-to-end trong các ứng dụng nhắn tin, cho phép các tin nhắn được gửi một cách riêng tư.

Ngoài ra, ZKP có thể giúp một một cá nhân có thể chứng minh danh tính của họ mà không cần tiết lộ thêm thông tin cá nhân.

Sử dụng công nghệ ZKP trong lĩnh vực Blockchain

Công nghệ ZKP hứa hẹn là một trong những giải pháp mở rộng cho trung và dài hạn cho Blockchain.

Với các giải pháp Zk Rollup, chúng cho phép Ethereum và blockchain layer 1 khác mở rộng mạnh mẽ khi cho phép quá trình xác minh – xác nhận tính hợp lệ của giao dịch một cách nhanh chóng.

Bên cạnh đó, các Blockchain ứng dụng công nghệ ZKP như Mina Protocol hứa hẹn tạo ra thế hệ Blockchain hàng đầu trong lĩnh vực Crypto.

4. Các Blockchain ứng dụng công nghệ Zero-knowledge proof (ZKP)

Trong bài viết tổng quan về Zk Rollup là gì? Ưu điểm, hạn chế của Zk Rollup và các dự án nổi bật mình đã nếu ra 3 Zk Rollup platform nổi bật là StarkNET của Starkware, ZkEVM của Matter Labs và ZkEVM của Loopring.

Trong phần này của bài viết, mình sẽ điểm danh những dự án Blockchain nổi bật khác có ứng dụng công nghệ Zero-knowledge proof (ZKP).

Secret Network

Secret network là nền tảng smart contract ẩn danh đầu tiên khởi chạy mainnet. Secret Network thực hiện tính toán trong Trusted Execution Environments (TEE) để đạt được sự bảo mật, riêng tư tốt hơn.

Về cơ bản, TEE là một phần của máy tính có thể chạy tính toán và lưu trữ dữ liệu mà ngay cả chủ sở hữu của máy tính cũng không thể truy cập được. Điều này cho phép các node trên mạng thực hiện các phép tính trong khi vẫn giữ các đầu vào, đầu ra ở trạng thái được mã hóa hoàn toàn.

Sau đợt nâng cấp lớn vào cuối năm 2021, Secret network đang tích cực phát triển hệ sinh thái cho riêng mình bao gồm nhiều sector khác nhau như: Lending protocol, NFT marketplace, liquid staking protocol,v.v.

Immutable X

Immutable X là một Validium (Zk Rollup nhưng lưu trữ dữ liệu off-chain nhiều hơn) cho NFT trên Ethereum. Immutable được xây dựng trên StarkEX. Hiện tại, ứng dụng chủ yếu của nó là giao dịch NFT và các hoạt động liên quan đến NFT khác như minting,…

Immutable X là một trong những NFT protocol nổi bật sử dụng công nghệ Zk Rollup của StarkEX. Nhìn chung, Immutable X vẫn còn rất nhiều chỗ cần cải thiện để thu hút thêm người dùng vì khối lượng giao dịch của platform vẫn thấp hơn nhiều khi so với OpenSea (trung bình từ $50M đến $100M mỗi ngày).

dYdX

dYdX là một trading platform được xây dựng trên StarkEX. Nền tảng hỗ trợ giao dịch nhiều loại sản phẩm sinh như: Spot trading (giao ngay), Margin (ký quỹ) và Perpetuals (hợp đồng không kỳ hạn).

dYdX đang có TVL $960M và khối lượng giao dịch hàng ngày giao động quanh mức $500M, có thể xem dYdX là một trong những sàn giao dịch phái sinh phi tập trung hàng đầu hiện nay.

Polygon

Polygon cũng là một nhân tố quan trọng khác trong không gian ZK Rollup. Vào tháng 8 năm 2021, nhóm đã mua lại thành công giải pháp Zk Rollup Hermez Network với giá $250M.

Một tháng sau, Polygon ra mắt Nightfall, một Rollup tập trung vào quyền riêng tư được xây dựng với sự hợp tác của EY. Vào ngày 16 tháng 11 năm 2021, Polygon cũng đã giới thiệu giải pháp Zk Rollup Miden để mở rộng quy mô Ethereum và hỗ trợ các dApp tập trung vào các trường hợp sử dụng như chơi game, NFT và mạng xã hội.

Về cơ bản, Polygon đang triển khai 3 Rollup để phục vụ cho các mục đích khác nhau:

• Polygon Hermez (ZK Rollup).
• Polygon Nightfall (Zk Rollup vào quyền riêng tư, hợp tác với Ernst & Young).
• Polygon Miden (dựa trên STARK, EVM Rollup).

Mina Protocol

Mina Protocol có tên gọi trước đây là Coda Protocol, Mina Protocol được thành lập bởi hai nhà khoa học là Evan Shapiro và Izaac Meckler. Sau gần 3 năm phát triển, Mina protocol đã chính thức mainnet vào giữa tháng 3 năm 2021.

Mina Protocol cũng là dự án nhận được đầu tư từ nhiều VC lớn trong ngành như Multicoin Capital, Polychain Capital, Coinbase Ventures,…

Mina Protocol là một smart contract platform ứng dụng công nghệ ZKP được thiết kế để có kích thước không đổi là 22kb, kích thước bằng một vài tweet. Nếu thực hiện hoá được mục tiêu này, Mina Protocol sẽ trở thành Blockchain nhẹ nhất trên thế giới. Dĩ nhiên đó là một tương lai xa. Ở thời điểm hiện tại, dự án còn đang ở trong giai đoạn phát triển ban đầu và vẫn chưa hỗ trợ smart contract.

Dusk Network

Dusk Network là một privacy blockchain dành cho các ứng dụng tài chính. Dusk network sử dụng ZKP làm cơ sở cho các smart contract của họ.

Dusk network đặt mục tiêu trở thành layer 1 đầu tiên hỗ trợ các smart contract ZKP. Với Dusk network, các nhà phát triển có thể triển khai các ứng dụng tài chính với sự an tâm rằng dữ liệu liên quan đến người dùng và giao dịch vẫn riêng tư và ẩn danh. Dusk network sử dụng công nghệ ZKP PLONK proof để xác nhận và xác minh giao dịch.

Dusk Network testnet được cho rằng sẽ launch vào ngày 1 tháng 2 năm 2022. Khi tất cả các tính năng đã được kiểm tra và thành công, Mainnet sẽ được phát hành ngay sau đó không lâu. Đây có thể là lý do chính cho sự tăng trưởng vượt bật của DUSK trong 3 tháng qua.

5. Tổng kết

Mình hy vọng các nội dung này sẽ giúp các bạn có thể nắm bắt được những thông tin tổng quan về Zero-knowledge proof (ZKP) là gì? Ưu điểm và hạn chế của công nghệ ZKP, cũng như điểm danh một số dự án Blockchain nổi bật có sử dụng công nghệ ZKP.

Các hệ thống zero-knowledge proof (bằng chứng không có kiến ​​thức) đáng tin cậy, được gọi là zk-SNARK, có tiềm năng trở thành giải pháp công nghệ hàng đầu để bảo vệ quyền riêng tư.

Vào thời điểm mà công nghệ có thể được sử dụng như một cơ chế để xâm nhập quyền riêng tư và một công cụ để bảo vệ quyền riêng tư, thì suy nghĩ dự kiến ​​của các cypherpunks trong những năm 1990 về mật mã là biện pháp bảo vệ cuối cùng chống lại sự sai lệch giám sát kỹ thuật số trở nên chân thực hơn bao giờ hết.

Và một trong những công cụ mạnh mẽ nhất để bảo vệ quyền riêng tư kỹ thuật số gần đây đã đạt được động lực đáng kể nhờ sự ra đời của tiền điện tử.

Sự lặp lại của các bằng chứng không có kiến ​​thức, hệ thống zero-knowledge proof (bằng chứng không có kiến ​​thức) đáng tin cậy còn được gọi là zk-SNARK là một dạng nguyên thủy mật mã mạnh mẽ có thể cắt đứt bất kỳ phần dữ liệu có thể kiểm soát nào giữa hai bên qua một phương tiện công cộng – cụ thể là public blockchain network (mạng blockchain công cộng). Ban đầu thu hút được nhận thức chính thống với tiền điện tử Zcash (ZEC) theo định hướng bảo mật, zk-SNARKs đã trải qua quá trình mày mò và khám phá đáng kể để cải thiện ứng dụng và hiệu quả trong thế giới thực của chúng.

Tác động tiềm ẩn của zk-SNARK đối với quyền riêng tư kỹ thuật số là rất lớn và một tác động không nên bị đóng cửa do thiên kiến ​​nhận thức đối với kiểm duyệt và tình cảm chính thống đặt sai vị trí.

1. Mô hình zk-SNARK phổ biến

Công nghệ nhấn mạnh zk-SNARK nằm dưới sự bảo trợ của mật mã zero-knowledge – khái niệm về việc một bên chứng minh với bên khác rằng họ biết một tập hợp thông tin cụ thể mà không tiết lộ bất kỳ kiến ​​thức nào khác ngoài những gì họ đã nói. Thường được gọi là “crypto magic”, giả định cơ bản rằng bạn có thể chứng minh kiến ​​thức về điều gì đó mà không cần phải nói rằng, “I know this”, thật là mới lạ.

Việc xây dựng zk-SNARKs dựa vào việc xác định các tham số xác định xem một bộ dữ liệu cụ thể (tức là một giao dịch tiền điện tử) có hợp lệ hay không. Trong một mạng lưới tiền điện tử, buổi lễ tạo ra các thông số như vậy được gọi là “trusted setup – thiết lập đáng tin cậy”, là một sự kiện có tính phân cực cao. Nếu các tham số bị xâm phạm, về mặt lý thuyết, một người dùng độc hại có thể lấy ra số lượng vô hạn mã thông báo gốc mà không ai biết.

Tuy nhiên, nghiên cứu đáng kể về việc cải tiến zk-SNARKs đã cho phép triển khai như zk-ConSNARKs để tránh hoàn toàn nhu cầu thiết lập đáng tin cậy. Trong tương lai, các thiết lập đáng tin cậy, bao gồm một lỗ hổng bảo mật nghiêm trọng, sẽ trở nên lỗi thời.

Nhưng khái niệm về các tham số trong việc triển khai zk-SNARK vẫn còn.

Với một tập hợp các tham số mạng riêng biệt, zk-SNARK dựa vào một loạt các hàm toán học chia nhỏ các phép tính thành “arithmetic circuits”. Sau đó, các kỹ thuật mật mã được truyền nhiều sắc thái như cam kết đồng hình, đánh giá mù các đa thức và ghép nối song tuyến của đường cong elip sẽ cắt đứt bất kỳ mối quan hệ nào giữa hai bên giao dịch qua mạng tiền điện tử.

Ví dụ: nếu Alice và Bob muốn giao dịch qua một mạng lưới tiền điện tử công khai và đạt được “perfect privacy – quyền riêng tư hoàn hảo”, họ sẽ cần làm xáo trộn các thành phần sau của giao dịch:

• Người gửi
• Người nhận
• Số lượng
• Địa chỉ IP

Việc sử dụng zk-SNARKS làm giảm bất kỳ kết nối có ý nghĩa nào giữa người gửi, người nhận và số tiền, đồng thời có thể được kết hợp với các cải tiến về quyền riêng tư ở lớp mạng như TOR hoặc Dandelion ++ để che giấu vị trí IP của người dùng. So với các công nghệ tăng cường quyền riêng tư khác trong tiền điện tử, zk-SNARK là công nghệ tốt nhất trong tập hợp các công nghệ đó.

Tuy nhiên, zk-SNARK có những hạn chế, chủ yếu là sản phẩm của sự phức tạp và giai đoạn phát triển ban đầu của chúng. Theo thời gian, các yêu cầu tính toán và dữ liệu cồng kềnh của zk-SNARK sẽ được khắc phục, mở ra lợi ích mới cho quyền riêng tư kỹ thuật số trong kỷ nguyên hiện đại.

2. Quyền riêng tư kỹ thuật số

Ryan Gentry ở Multicoin Capital nói rằng:

“Các nền tảng chung như Bitcoin và Ethereum đã cung cấp đủ đảm bảo quyền riêng tư cho hầu hết người dùng để không bao giờ cần đến các blockchain tập trung vào quyền riêng tư thích hợp. […] Quyền riêng tư là một tính năng, không phải sản phẩm. ”

Tuy nhiên, nhiều người ủng hộ quyền riêng tư sẽ tranh luận rằng nó không chỉ là một tính năng – đúng hơn, là một quyền cơ bản của con người.

Các tiêu đề chính thống bất tận cho thấy sự khuynh đảo của các công ty công nghệ lớn trong việc buôn bán dữ liệu người dùng để lấy các dòng doanh thu béo bở chỉ là khởi đầu của việc lạm dụng quyền riêng tư phổ biến mà không có các công cụ như zk-SNARK để bảo vệ người dùng. Đặc biệt trong lĩnh vực tài chính, khi nhiều chính phủ và nhà kinh tế học ủng hộ ý tưởng về một xã hội không tiền mặt, nhu cầu về các thiết bị kỹ thuật số bảo vệ quyền riêng tư tài chính là rất quan trọng.

Thông báo của Facebook về Libra làm nổi bật những lo ngại về sự thay đổi dữ liệu xã hội và tài chính, làm dấy lên bóng ma về những tập đoàn có sức lan tỏa mạnh mẽ có cái nhìn sâu sắc về thói quen của người tiêu dùng.

May mắn thay, Bitcoin (BTC) và các loại tiền điện tử hướng đến quyền riêng tư sẽ đóng vai trò như một biện pháp bảo vệ mạnh mẽ chống lại những phát triển như vậy, trong khi tầm nhìn của Libra chỉ nên khơi dậy sự đổi mới hơn nữa trong zk-SNARK và tiềm năng vô hạn của chúng.

Ví dụ: zk-SNARKS có thể hoạt động như một cơ chế chuyển tiền của tổ chức tư nhân, tương thích với các sáng kiến ​​được phát triển bởi các công ty tên tuổi như Ernst & Young’s Nightfall . Tương tự, zk-SNARKS được đưa vào mạng xã hội có thể cắt đứt khả năng của các công ty kiểm soát các ứng dụng để xem dữ liệu người dùng và bán dữ liệu đó cho các nhà quảng cáo bên thứ ba. Vì người dùng là sản phẩm trong các ứng dụng truyền thông xã hội, nên một số loại hình thức kiếm tiền sẽ phải thay thế vị trí bá chủ của quảng cáo ngày nay, nhưng những nỗ lực để làm như vậy hiện đang được tiến hành – nhiều người được thúc đẩy bởi các cấu trúc khuyến khích dựa trên mã thông báo.

Với nền tảng công nghệ phù hợp, người dùng (ví dụ: các tổ chức tài chính) có thể tạo ra các chuỗi tương tác của riêng họ với các tài sản và giao dịch bí mật, mang lại cho họ kiểu linh hoạt chưa từng thấy với các giao thức tiền điện tử như Bitcoin hoặc Zcash. Cùng với khả năng khởi chạy các mô hình bỏ phiếu trên chuỗi và đấu giá bảo vệ quyền riêng tư, tất cả đều sử dụng zk-ConSNARK nhỏ gọn, kích thước không đổi của chúng tôi và tiềm năng của zk-SNARK trong lĩnh vực bảo mật đang hiện thực hóa trước mắt chúng ta.

Bitcoin được Satoshi Nakamoto đề xuất là tiền mặt kỹ thuật số ngang hàng, nhưng ông không lường trước được sự xâm nhập của công nghệ vào quyền riêng tư sẽ phát triển như thế nào để đáp ứng các thành phần mật mã của Bitcoin – không ai có thể làm được. Quyền riêng tư ngày nay đang ở mức cao nhất và như các cypherpunks đã nói rõ từ lâu, chỉ có các công cụ mật mã tiên tiến mới có nhiệm vụ bảo vệ nó trong thời đại kỹ thuật số.

Tiềm năng của zk-SNARKs ít được khuyến khích và chúng tôi tin rằng những đổi mới sắp tới với zk-ConSNARKs có thể vượt qua thách thức cắt đứt quỹ đạo đối với sự sai lệch của Orwell’s Nineteen Eighty-Four về giám sát toàn cầu hàng loạt và minh bạch tài chính – mang lại sức mạnh xây dựng các ZKP.

Zero-knowledge proof là một giao thức kỹ thuật số cho phép chia sẻ dữ liệu giữa hai bên mà không cần sử dụng mật khẩu hoặc bất kỳ thông tin nào khác liên quan đến giao dịch.

1. Zero-knowledge proof – ZKP là gì ?

Zero-knowledge proof hay còn gọi là Bằng chứng không có kiến ​​thức là một giao thức kỹ thuật số cho phép chia sẻ dữ liệu giữa hai bên mà không cần sử dụng mật khẩu hoặc bất kỳ thông tin nào khác liên quan đến giao dịch.

Theo nghĩa cơ bản nhất của nó, zero-knowledge proof (cũng thường được gọi là ZKP) có thể được coi là một giao thức mà thông qua đó quá trình xác thực kỹ thuật số có thể được thực hiện mà không cần sử dụng bất kỳ mật khẩu hoặc dữ liệu nhạy cảm nào khác. Do đó, không có thông tin nào, từ đầu của người gửi hoặc người nhận, có thể bị xâm phạm theo bất kỳ cách nào.

Điều này khá hữu ích, đặc biệt là vì mức độ an toàn như vậy cung cấp cho những người đam mê công nghệ một con đường để giao tiếp với nhau mà không cần phải tiết lộ nội dung tương tác của họ với bất kỳ bên thứ ba nào.

Ý tưởng làm nền tảng cho các zero-knowledge proofs lần đầu tiên xuất hiện vào năm 1985, khi các nhà phát triển Shafi Goldwasser, Charles Rackoff và Silvio Micali trình bày với thế giới khái niệm “knowledge complexity” – một khái niệm tiền thân của ZKPs.

Như tên cho thấy, knowledge complexity hay độ phức tạp của kiến ​​thức đóng vai trò như một tiêu chuẩn đo lường để xác định lượng kiến ​​thức cần thiết cho bất kỳ giao dịch nào (giữa người đăng ký và người xác minh) được coi là hợp lệ.

2. Zero-knowledge proof – ZKP được sử dụng ở đâu ?

Các thuật toán Zero-knowledge proof được sử dụng bởi các cơ quan chính phủ để xác định nguồn gốc của một số dữ liệu nhất định mà họ không cần phải chứng minh họ lấy thông tin từ đâu hoặc bằng cách nào.

Kể từ khi thành lập, các zero-knowledge proof đã được sử dụng trên nhiều lĩnh vực kỹ thuật số.

Ví dụ, các nhà nghiên cứu đã sử dụng công nghệ này để tạo ra các cơ chế nhận dạng kỹ thuật số mới mà không yêu cầu người dùng tiết lộ bất kỳ thông tin nhạy cảm nào liên quan đến chúng.

Về vấn đề này, tồn tại một số ví dụ về nền tảng nhận dạng tự chủ cho phép nhân viên bên thứ ba như cơ quan thực thi pháp luật xác định xem một cá nhân có bằng lái xe hợp lệ hay không mà người đó không phải giao bất cứ thứ gì khác ngoài số ID của họ.

Tương tự, các chính phủ cũng có thể sử dụng ZKP để xác định khả năng hạt nhân của các quân đội khác nhau mà không cần phải do thám hoặc kiểm tra hàng tồn kho của họ. Về chủ đề này, có thể thấy rằng vào tháng 7 năm nay, Cơ quan Dự án Nghiên cứu Nâng cao Quốc phòng, hay DARPA, đã đưa ra một tuyên bố, trong đó họ tuyên bố rằng họ đang làm việc trên một dự án mới gọi là SIEVE – tức là Bảo mật thông tin để xác minh được mã hóa. và Đánh giá – sử dụng ZKP để xác định nguồn gốc của dữ liệu có độ bảo mật cao mà chính phủ Hoa Kỳ không cần phải tiết lộ cách thức mà nó được mua.

3. ZKP có thể được tích hợp vào các nền tảng blockchain không ?

Các thuật toán Zero-knowledge proof mang lại rất nhiều lợi ích cho các hệ thống blockchain sử dụng công nghệ này.

Ví dụ: họ giúp thực hiện giao dịch tiền điện tử cực kỳ an toàn nhờ vào mức độ mã hóa cao của họ.

Đúng vậy, một Zero-knowledge proof có thể rất dễ dàng được sử dụng trong bối cảnh của hệ sinh thái blockchain, đặc biệt là liên quan đến việc xác thực các giao dịch tiền điện tử mà không tiết lộ bất kỳ dữ liệu nào liên quan đến nó – chẳng hạn như giao dịch bắt nguồn từ đâu, nó đi đến đâu hoặc số lượng bao nhiêu tiền đã được chuyển.

Một trường hợp sử dụng trong thế giới thực của công nghệ này là Zcash , một nền tảng tiền điện tử sử dụng sự lặp lại đặc biệt của các zero-knowledge proof (được gọi là zk-SNARK) cho phép các giao dịch gốc vẫn được mã hóa hoàn toàn trong khi vẫn được xác minh theo các quy tắc đồng thuận của mạng.

Như đã nói, mặc dù các bằng chứng không có kiến ​​thức có rất nhiều tiềm năng thay đổi cách thức mà các hệ thống dữ liệu ngày nay xác minh thông tin, công nghệ này vẫn được coi là ở giai đoạn sơ khai – chủ yếu là do các nhà nghiên cứu đang cố gắng tìm ra cách tốt nhất sử dụng khái niệm này cũng như xác định bất kỳ sai sót tiềm ẩn nào.

4. Những lợi thế nào mà các Zero-knowledge proof cung cấp ?

ZKPs loại bỏ hoàn toàn nhu cầu về mật khẩu cũng như việc sử dụng bất kỳ dữ liệu nhạy cảm nào khác khi tạo điều kiện cho một giao dịch.

Zero-knowledge proof cho phép việc chuyển giao thông tin diễn ra giữa hai bên mà người khởi tạo phải sử dụng mật khẩu hoặc tiết lộ bất kỳ dữ liệu nào liên quan đến anh ta/cô ta. Điều này giúp loại bỏ nhiều rủi ro tiềm ẩn liên quan đến việc sử dụng các giao thức xác thực chỉ có mật khẩu. Ngoài ra, ZKP cũng giúp tăng cường bảo mật cho các khoản thanh toán/giao dịch trực tuyến và tài khoản đám mây công cộng của một người.

Nhược điểm tiềm ẩn duy nhất của việc sử dụng Zero-knowledge proof là trong trường hợp người khởi tạo giao dịch quên mật mã nguồn của mình, tất cả dữ liệu liên quan đến quá trình chuyển sẽ bị mất vĩnh viễn.

5. Các trường hợp sử dụng đáng chú ý

Trong hai đến ba năm qua, một số nền tảng đã áp dụng các thuật toán Zero-knowledge proof để tăng cường khả năng bảo mật/quyền riêng tư ban đầu của họ.

ZoKrates là một hộp công cụ kỹ thuật số có thể được sử dụng bởi các nhà phát triển có kỹ năng để tạo ra và xác minh các Zero-knowledge proof bằng cách sử dụng Solidity – một ngôn ngữ lập trình hướng đối tượng được sử dụng để tạo các hợp đồng thông minh dựa trên Ethereum.

Tương tự như vậy, một vài năm trước, JP Morgan Chase đã áp dụng khái niệm bằng chứng dựa trên zk-SNARKs của Zcash để tăng cường tính riêng tư của hệ sinh thái blockchain gốc của nó được gọi là Quorum . Nói một cách đơn giản, Quorum là một nhánh của blockchain Ethereum sử dụng ngôn ngữ hợp đồng thông minh rất riêng của nó được gọi là Constellation.