Tựa gốc: ZK Rollups: Elephant In the Room

Tác giả gốc: Jaehyun Ha

Biên soạn gốc: Deep Chao TechFlow

Tình trạng hiện tại của ngành công nghiệp blockchain có thể được ví như kỷ nguyên không có kiến ​​thức (ZK). ZK nổi bật ở mọi nơi bạn đến và ngày càng hiếm khi tìm thấy một dự án blockchain thế hệ tiếp theo không kết hợp ZK vào tên của nó. Từ góc độ kỹ thuật, không thể phủ nhận rằng ZK là một công nghệ đầy hứa hẹn có thể đóng góp cho một hệ sinh thái blockchain riêng tư và có khả năng mở rộng hơn. Tuy nhiên, do nền tảng kỹ thuật phức tạp của ZK, nhiều nhà đầu tư, dù là bán lẻ hay tổ chức, thường đầu tư vào các dự án ZK dựa trên “niềm tin” rằng nó trông thú vị, mới lạ và có thể giải quyết được bộ ba bất khả thi về blockchain mà không hiểu đầy đủ về lợi ích của công nghệ ZK. mọi dự án.

Trong loạt bài ZK này, chúng ta sẽ khám phá những sự thật bất tiện (những hạn chế và bất lợi) của các bản tổng hợp ZK và các ứng dụng có lợi của chúng. Đầu tiên, chúng tôi sẽ phân tích hai thuộc tính cốt lõi của bằng chứng ZK (ZKP) trong blockchain: "không có kiến ​​thức" và "tính đơn giản". Sau đó, chúng tôi sẽ thảo luận về việc số lượng lớn các bản tổng hợp ZK hiện đang được sử dụng không thực sự tận dụng được lợi thế của khía cạnh "không có kiến ​​thức". Tiếp theo, chúng ta sẽ xem xét các lĩnh vực mà việc áp dụng tổng hợp ZK có thể có hại hơn là hữu ích, tránh các vấn đề phổ biến như độ phức tạp khi triển khai. Cuối cùng, chúng tôi sẽ nêu bật các dự án nổi bật thể hiện hiệu quả các nguyên tắc ZK và thực sự thu được lợi ích rõ ràng từ việc sử dụng công nghệ ZK.

Đánh giá: Vòng đời giao dịch trong bản tổng hợp ZK

Rollup là một giải pháp mở rộng quy mô giúp giải quyết các hạn chế về thông lượng của L1 bằng cách thực hiện các gói giao dịch ngoài chuỗi và sau đó lưu trữ dữ liệu tóm tắt về trạng thái L2 mới nhất trên L1. Trong số đó, tính năng nổi bật của ZK Rollups là khả năng rút tiền nhanh chóng bằng cách gửi bằng chứng về tính hợp lệ của các tính toán ngoài chuỗi trên chuỗi. Trước khi đi sâu vào các vấn đề với bản tổng hợp ZK, hãy xem xét ngắn gọn vòng đời giao dịch của nó.

Hình 2: Vòng đời giao dịch trong các bản tổng hợp ZK Nguồn: Trung tâm nghiên cứu Presto

1. Mỗi người dùng L2 tạo và gửi giao dịch của họ tới trình sắp xếp thứ tự.

2. Trình sắp xếp thứ tự tổng hợp và sắp xếp nhiều giao dịch, sau đó thực hiện các giao dịch này ngoài chuỗi để tính toán trạng thái tổng hợp mới. Sau đó, trình sắp xếp trình tự gửi trạng thái tổng hợp mới này tới hợp đồng thông minh trạng thái trên chuỗi ở dạng "lô" và nén dữ liệu giao dịch L2 tương ứng thành các khối dữ liệu để đảm bảo tính khả dụng của dữ liệu.

3. Lô được gửi đến người chuẩn, người này tạo ra bằng chứng hợp lệ (hoặc ZKP) về việc thực hiện lô. Bằng chứng hợp lệ này sau đó được gửi đến hợp đồng thông minh của trình xác thực L1 cùng với dữ liệu bổ sung (tức là trạng thái gốc trước đó), giúp người xác thực xác định những gì nó đang xác thực.

4. Sau khi kiểm tra hợp đồng của người xác thực được chứng minh là hợp lệ, trạng thái tổng hợp sẽ được cập nhật và các giao dịch L2 trong lô đã gửi được coi là đã hoàn thành.

(Xin lưu ý rằng phần giải thích này là phiên bản đơn giản của quy trình Tổng hợp ZK và mỗi lần triển khai có thể khác nhau giữa các giao thức. Nếu chúng ta phân biệt giữa các vai trò, có thể có nhiều thực thể hơn trong L2 như người tổng hợp, người thực thi và người đề xuất. Khối dữ liệu Các tầng cũng có thể khác nhau, chẳng hạn như khối, nhóm khối và lô, tùy thuộc vào mục đích của chúng. Giải thích ở trên giả định một kịch bản trong đó trình sắp xếp tập trung có thẩm quyền mạnh mẽ để thực hiện các giao dịch và cũng tạo ra định dạng khối dữ liệu thống nhất cho lô.)

(Xin lưu ý rằng phần giải thích này là phiên bản đơn giản của quy trình Tổng hợp ZK và mỗi lần triển khai có thể khác nhau giữa các giao thức. Nếu chúng ta phân biệt giữa các vai trò, có thể có nhiều thực thể hơn trong L2 như người tổng hợp, người thực thi và người đề xuất. Khối dữ liệu Các bậc cũng có thể khác nhau, chẳng hạn như khối, nhóm khối và lô, tùy thuộc vào mục đích của chúng. Giải thích ở trên giả định một kịch bản trong đó trình sắp xếp tập trung có thẩm quyền mạnh mẽ để thực hiện các giao dịch và cũng tạo ra định dạng khối dữ liệu thống nhất cho lô.)

Không giống như Optimistic Rollups, nhờ có ZKP (chẳng hạn như ZK-SNARK hoặc ZK-STARK), ZK Rollups có thể xác minh tính chính xác khi thực thi của hàng nghìn giao dịch bằng cách xác minh bằng chứng đơn giản mà không cần phải thực hiện lại tất cả các giao dịch. Vậy ZKP này là gì và nó có những đặc điểm gì?

Hai đặc tính của ZKP: không có kiến ​​thức và tính đơn giản

Đúng như tên gọi, ZKP về cơ bản là một bằng chứng. Bằng chứng có thể là bất cứ điều gì hỗ trợ đầy đủ cho tuyên bố của nhà cung cấp. Giả sử Bob (nhà cung cấp) muốn thuyết phục Alice (người xác minh) ​​rằng anh ta có quyền đối với máy tính xách tay của mình. Cách đơn giản nhất để chứng minh điều này là Bob chỉ cần cho Alice biết mật khẩu và Alice nhập mật khẩu vào máy tính xách tay của cô ấy và xác minh rằng Bob thực sự có quyền. Tuy nhiên, quá trình xác minh này không đạt yêu cầu đối với cả Alice và Bob. Nếu Bob đặt một mật khẩu rất dài và phức tạp thì Alice sẽ rất khó nhập chính xác (giả sử Alice không thể sao chép và dán). Thực tế hơn, Bob có thể không sẵn lòng tiết lộ mật khẩu của mình cho Alice để chứng minh quyền lực của mình.

Điều gì sẽ xảy ra nếu có một quy trình xác thực mà Alice có thể nhanh chóng xác minh quyền của máy tính mà Bob không cần phải tiết lộ mật khẩu của mình? Ví dụ: Bob có thể sử dụng nhận dạng dấu vân tay để mở khóa máy tính xách tay của mình trước mặt Alice, như trong Hình 3 (lưu ý rằng đây không phải là ví dụ hoàn hảo về ZKP). Đây là nơi cả Alice và Bob đều có thể hưởng lợi từ hai thuộc tính chính của ZKP: thuộc tính không có kiến ​​thức và thuộc tính đơn giản.

Hình 3: Trực giác cấp cao không cần kiến ​​thức và sự đơn giản Nguồn: imgflip

Không có kiến ​​thức (ZK)

Thuộc tính không có kiến ​​thức đề cập đến thực tế là bằng chứng do nhà cung cấp tạo ra không tiết lộ bất kỳ thông tin nào về nhân chứng bí mật (tức là dữ liệu riêng tư) ngoài tính hợp lệ của bằng chứng, khiến người xác minh không biết gì về dữ liệu. Trong blockchain, thuộc tính này có thể được sử dụng để bảo vệ quyền riêng tư của người dùng cá nhân. Nếu ZKP được áp dụng cho mỗi giao dịch, người dùng có thể chứng minh tính hợp pháp của hành động của họ (tức là chứng minh rằng người dùng có đủ tiền để thực hiện giao dịch) mà không tiết lộ chi tiết giao dịch của họ (chẳng hạn như chuyển khoản, cập nhật số dư tài khoản, triển khai hợp đồng thông minh và hành quyết) ra công chúng.

Sự đơn giản

Thuộc tính đơn giản đề cập đến khả năng của ZK trong việc tạo ra một bằng chứng ngắn gọn và có thể kiểm chứng nhanh chóng từ một khai báo có kích thước lớn; nói cách khác, nó nén một cái gì đó lớn thành một dạng nhỏ gọn; Trong blockchain, điều này được sử dụng đặc biệt cho việc tổng hợp. Khi sử dụng ZKP, người xác minh trong L2 có thể yêu cầu thực hiện giao dịch chính xác bằng cách gửi bằng chứng ngắn gọn cho người xác minh trong L1 (tính hợp lệ của giao dịch ở cấp terabyte có thể được biểu thị bằng bằng chứng 10 ~ 100 KB). Sau đó, người xác thực có thể dễ dàng xác nhận tính hợp lệ của việc thực thi trong một khoảng thời gian ngắn (tức là 10 mili giây đến 1 giây) bằng cách xác minh bằng chứng ngắn gọn thay vì phát lại tất cả các giao dịch.

ZK Rollup rất tuyệt nhưng không có nghĩa là riêng tư

Các tính năng trên của ZKP được tận dụng tốt trong ZK Rollups. Mặc dù người xác thực không thể suy ra dữ liệu giao dịch ban đầu từ ZKP mà nhà cung cấp nhận được, nhưng việc xác thực bằng chứng ngắn gọn cho phép họ xác minh một cách hiệu quả các khiếu nại của nhà cung cấp (tức là trạng thái L2 mới). Điều đó nói lên rằng, sẽ là sai lầm khi khẳng định rằng ZK Rollups hiện tại hoàn toàn tuân thủ các thuộc tính đơn giản và không có kiến ​​thức. Điều này có thể đúng khi tập trung vào sự tương tác giữa nhà cung cấp và người xác thực, nhưng có các thành phần khác trong Bản tổng hợp ZK như trình sắp xếp chuỗi, nhà cung cấp và nút tổng hợp. Vậy nguyên tắc “không có kiến ​​thức” có phải cũng được đảm bảo cho họ?

Thách thức đạt được quyền riêng tư hoàn toàn với ZKP trong bất kỳ Bản tổng hợp ZK nào xuất phát từ những thỏa hiệp có thể xảy ra nếu các phần khác vẫn ở chế độ công khai và một số phần trở thành riêng tư thông qua ZK. Hãy nghĩ về vòng đời giao dịch trong ZK Rollups, khi một giao dịch được gửi từ người dùng đến trình sắp xếp thứ tự, quyền riêng tư có được duy trì không? Còn các nhà cung cấp thì sao? Hoặc quyền riêng tư của thông tin tài khoản cá nhân có được bảo vệ khi các lô L2 được gửi đến lớp DA không? Hiện tại không có kịch bản nào trong số này đúng.

Hình 4: Rò rỉ quyền riêng tư trong các bản tổng hợp ZK Nguồn: Presto Research

Trong hầu hết các Bản tổng hợp ZK chính thống, trình sắp xếp thứ tự hoặc nhà cung cấp (hoặc thực thể tập trung khác có quyền mạnh mẽ) có khả năng hiển thị rõ ràng chi tiết giao dịch, bao gồm số tiền chuyển, cập nhật số dư tài khoản, triển khai và thực hiện hợp đồng. Để đưa ra một ví dụ đơn giản, bạn có thể dễ dàng quan sát tất cả các chi tiết được đề cập bằng cách truy cập bất kỳ trình khám phá khối ZK Rollup nào. Không chỉ vậy, hãy xem xét tình huống trong đó trình sắp xếp tập trung ngừng phân phát vì lý do nào đó và một nút tổng hợp khác cố gắng khôi phục trạng thái tổng hợp. Nó sẽ trích xuất thông tin từ dữ liệu L2 được phát hành công khai của lớp DA (trong hầu hết các trường hợp là L1 Ethereum) và xây dựng lại trạng thái L2. Trong quá trình này, bất kỳ nút nào có khả năng phát lại các giao dịch L2 được lưu trữ trong lớp DA đều có thể khôi phục thông tin về trạng thái tài khoản của mỗi người dùng.

Do đó, thuật ngữ “không có kiến ​​thức” được triển khai ở dạng phân mảnh trong Bản tổng hợp ZK hiện tại. Mặc dù điều này không thể bị coi là sai nhưng rõ ràng nó khác với quan niệm thông thường rằng ZK có nghĩa là không có kiến ​​thức đồng nghĩa với sự riêng tư hoàn toàn. Điểm mới của ZK Rollups hiện tại là khai thác thuộc tính "đơn giản" thay vì "không có kiến ​​thức", tức là thực hiện các giao dịch ngoài chuỗi và tạo bằng chứng ngắn gọn cho người xác thực để họ có thể xác minh tính hợp lệ của việc thực thi một cách nhanh chóng và có thể mở rộng mà không cần phải kiểm tra lại thực hiện chúng.

Vì lý do này, một số Bản tổng hợp ZK, như Starknet, tự gọi mình là "bản tổng hợp hợp lệ" để tránh nhầm lẫn, trong khi những bản tổng hợp khác đảm bảo quyền riêng tư thực sự của ZK, như Aztec, lại tự gắn nhãn bản tổng hợp ZK-ZK.

Xem xét chuyên sâu về tính thực tiễn của ZK Rollups

Như đã đề cập trước đó, hầu hết các Bản tổng hợp ZK không triển khai đầy đủ quyền riêng tư của ZK. Vậy mục tiêu tiếp theo của chúng ta là gì? Đạt được quyền riêng tư giao dịch hoàn toàn bằng cách triển khai đầy đủ ZK trong mọi phần của Rollup? Trên thực tế, đây không phải là một câu hỏi đơn giản. Ngoài việc yêu cầu những tiến bộ công nghệ đáng kể để hoàn thiện công nghệ hơn nữa, ZK vẫn còn những vấn đề gây tranh cãi về mặt tư tưởng (ví dụ: sử dụng bất hợp pháp cho các giao dịch riêng tư) và tính thực tế (ví dụ: nó có thực sự hoạt động không?). Vì việc thảo luận về đạo đức của quyền riêng tư giao dịch hoàn toàn nằm ngoài phạm vi của bài viết này nên chúng tôi sẽ tập trung vào hai vấn đề thực tế mà ZK Rollups gặp phải trong các dự án blockchain.

Điểm 1: Việc tạo ZKP có thể là nút thắt cổ chai cho tính xác định nhanh

Trước tiên, hãy thảo luận về tính hữu ích của ZK Rollups. Điểm bán hàng hấp dẫn nhất của ZK Rollups là độ trễ rút tài sản giảm do "hoàn tất nhanh chóng" các giao dịch của nó, nhờ ZKP. TPS tăng và phí giao dịch thấp là những lợi ích bổ sung. Việc sử dụng tính năng ZK Rollups hiệu quả nhất là trong ngành trò chơi, vì việc gửi và rút tiền trong trò chơi diễn ra rất thường xuyên, dẫn đến một số lượng lớn giao dịch trong trò chơi mỗi giây.

Nhưng liệu ZK Rollups có thực sự được coi là hệ thống công nghệ tốt nhất để chơi game không? Về vấn đề này, chúng ta cần suy nghĩ sâu hơn về khái niệm "kết thúc nhanh" trong ZK Rollups. Hãy tưởng tượng người dùng đang thưởng thức trò chơi Web3 chạy trên nền tảng công nghệ dựa trên ZK Rollup. Người dùng trao đổi các vật phẩm trong trò chơi để lấy tiền trong trò chơi và cố gắng rút tài sản đó khỏi trò chơi.

Nhưng liệu ZK Rollups có thực sự được coi là hệ thống công nghệ tốt nhất để chơi game không? Về vấn đề này, chúng ta cần suy nghĩ sâu hơn về khái niệm "kết thúc nhanh" trong ZK Rollups. Hãy tưởng tượng người dùng đang thưởng thức trò chơi Web3 chạy trên nền tảng công nghệ dựa trên ZK Rollup. Người dùng trao đổi các vật phẩm trong trò chơi để lấy tiền trong trò chơi và cố gắng rút tài sản đó khỏi trò chơi.

Để rút tài sản, giao dịch trong trò chơi phải được hoàn tất. Điều này có nghĩa là giao dịch phải được đưa vào cam kết trạng thái Tổng hợp mới, ZKP tương ứng phải được gửi tới L1 và cần phải chờ kết thúc bằng chứng trong L1 Ethereum để đảm bảo rằng giao dịch không thể đảo ngược. Nếu tất cả các quy trình này có thể diễn ra ngay lập tức thì chúng tôi có thể đạt được "xác nhận giao dịch tức thì" mà ZK Rollups thường khuyến khích, cho phép người dùng rút tài sản ngay lập tức.

Tuy nhiên, thực tế lại không như vậy. Theo thống kê về thời gian kết thúc của các Bản cuộn ZK khác nhau do L2beat cung cấp, zkSync Era mất khoảng 2 giờ, Linea mất 3 giờ và Starknet mất trung bình khoảng 8 giờ. Điều này là do cần có thời gian để tạo ZKP và cũng cần thêm thời gian để bao gồm nhiều giao dịch hơn trong một đợt (tức là một bằng chứng duy nhất) nhằm giảm phí giao dịch. Nói cách khác, tốc độ tạo và gửi bằng chứng là một nút thắt tiềm ẩn trong việc chấm dứt nhanh chóng ZK Rollups, điều này có thể làm giảm trải nghiệm người dùng trong các trò chơi Web3.

Hình 5: Việc tạo ZKP có thể là một nguồn gây tắc nghẽn tiềm tàng cho việc xác định nhanh các bản tổng hợp ZK: imgflip

Mặt khác, các chuỗi được tối ưu hóa cho trò chơi như Ronin (hỗ trợ các trò chơi Web3 như Pixels và Axie Infinity) đảm bảo quá trình hoàn thiện cực nhanh trong khi hy sinh tính phân cấp và bảo mật. Ronin không phải là chuỗi dựa trên ZK hoặc Rollup: nó là một chuỗi khối EVM chạy theo thuật toán đồng thuận PoA (Bằng chứng ủy quyền) + DPoS (Bằng chứng cổ phần được ủy quyền). Nó chọn 22 trình xác thực dựa trên số lượng cổ phần được ủy quyền và những trình xác thực này sau đó tạo và xác thực các khối theo cách PoA (tức là quy trình bỏ phiếu chỉ giữa 22 trình xác thực). Do đó, trên Ronin, các giao dịch được hoàn tất nhanh chóng, hầu như không có độ trễ khi được đưa vào các khối và thời gian xác minh ngắn. Sau hard fork Shillin, trung bình chỉ mất 6 giây để hoàn tất mỗi giao dịch. Ronin thực hiện tất cả những điều này mà không cần ZKP.

Tất nhiên, Ronin có những sai sót. Được quản lý bởi một trình xác thực tập trung khiến nó dễ bị tấn công 51% hơn. Ngoài ra, vì nó không sử dụng Ethereum làm lớp thanh toán nên nó không thể kế thừa tính bảo mật của Ethereum. Ngoài ra còn có những rủi ro bảo mật khi sử dụng cầu nối chuỗi chéo. Nhưng từ góc độ người dùng: Họ có quan tâm không? Hiện tại, ZK Rollups không có tính năng phân loại phi tập trung cũng gặp phải vấn đề về một điểm lỗi (SPOF). Ethereum đảm bảo cho họ vì nó làm giảm nguy cơ khôi phục giao dịch, nhưng ZK Rollups cũng có thể bị đóng băng nếu trình xác thực hoặc trình xác thực tập trung không thành công. Xin lưu ý lại rằng "ZK" trong ZK Rollups chỉ được sử dụng để xác minh tính hợp lệ của tính chính xác khi thực thi. Nếu có một dự án khác cung cấp chức năng tương tự nhưng nhanh hơn và rẻ hơn, ZK Rollups có thể không còn được coi là nhóm công nghệ được người dùng và nhà phát triển trò chơi Web3 lựa chọn nữa.

Điểm 2: Sự khác biệt về trạng thái phát hành là con dao hai lưỡi

Một điểm khác là tính thực tế của việc triển khai giao thức ZK Rollup. Trong số đó, ở đây chúng tôi tập trung vào việc phát hành khác biệt trạng thái, đây là một trong những phương pháp để đảm bảo tính khả dụng của dữ liệu trong các bản tổng hợp ZK (xem Mở khóa nâng cấp Dencun: Sự thật không thể nhìn thấy về việc mở rộng quy mô các lớp DA, Jaehyun Ha, ngày 24 tháng 4).

Một cách đơn giản để hiểu tính sẵn có của dữ liệu trong Rollups là hãy tưởng tượng một nhà leo núi nghiệp dư đang trình diễn và ghi lại hành trình leo lên đỉnh Everest của mình. Cách đơn giản nhất là quay video từng bước đi từ căn cứ lên tới đỉnh núi. Mặc dù tệp video có thể lớn nhưng bất kỳ ai cũng có thể xác minh quá trình đi lên của người leo núi và có khả năng phát lại cảnh quay. Phép ẩn dụ này có thể được so sánh với phương pháp xuất bản dữ liệu giao dịch ban đầu để đảm bảo tính sẵn có của dữ liệu. Bản tổng hợp lạc quan tuân theo cách tiếp cận này để từng người thách thức phát lại và xác minh việc thực hiện chính xác vì không thể tin cậy được các cam kết trạng thái của trình sắp xếp thứ tự. Trong ZK Rollups, Polygon zkEVM và Scroll sử dụng phương pháp này để lưu trữ dữ liệu giao dịch L2 thô ở dạng nén trên L1 để bất kỳ ai cũng có thể phát lại giao dịch L2 để khôi phục trạng thái tổng hợp nếu cần.

Quay trở lại ví dụ về người leo núi nghiệp dư, một phương pháp xác minh khác có thể là một nhà leo núi nổi tiếng leo lên Everest cùng với những người leo núi nghiệp dư để chứng minh với thế giới rằng cuộc leo núi đã thực sự hoàn thành. Vì hành trình leo núi đã được xác minh bởi một cá nhân đáng tin cậy nên người leo núi không cần phải ghi lại từng bước nữa. Chỉ cần chụp ảnh ở điểm xuất phát và trên đỉnh núi, người khác sẽ cho rằng người leo núi đã lên tới đỉnh. Phép ẩn dụ này phản ánh cách tiếp cận khác biệt giữa các trạng thái được sử dụng để đảm bảo tính sẵn có của dữ liệu. Trong ZK Rollups, zkSync Era và StarkNet áp dụng phương pháp này, chỉ lưu trữ chênh lệch trạng thái trước và sau khi giao dịch L2 được thực thi trên L1, để bất kỳ ai cũng có thể tính toán chênh lệch trạng thái so với trạng thái ban đầu để khôi phục trạng thái của Rollup khi cần thiết.

Hình 6: Phát hành giao dịch gốc và phát hành chênh lệch trạng thái Nguồn: Presto Research

Phương pháp khác biệt trạng thái này chắc chắn tiết kiệm chi phí hơn phương pháp phát hành dữ liệu giao dịch ban đầu vì nó có thể tiết kiệm bước lưu trữ các giao dịch trung gian, từ đó giảm chi phí lưu trữ L1. Mặc dù điều này nhìn chung không phải là vấn đề nhưng có một lỗ hổng tiềm ẩn ở đây: phương pháp này không cho phép khôi phục toàn bộ lịch sử giao dịch L2, điều này có thể là một vấn đề đối với một số DApp.

Lấy Hợp chất, giao thức cho vay DeFi, làm ví dụ. Người ta giả định rằng nó được xây dựng trên nền tảng công nghệ ZK Rollup dựa trên sự khác biệt về trạng thái. Các giao thức này yêu cầu lịch sử giao dịch đầy đủ để tính toán tỷ lệ cung và cho vay mỗi giây. Nhưng điều gì sẽ xảy ra nếu trình sắp xếp ZK Rollup không thành công và các nút Rollup khác cố gắng khôi phục trạng thái mới nhất? Có thể khôi phục trạng thái, nhưng tỷ giá sẽ được khôi phục không chính xác vì nó chỉ có thể theo dõi ảnh chụp nhanh giữa các đợt chứ không thể theo dõi từng giao dịch trung gian.

Tóm lại là

Bài viết này chủ yếu khẳng định rằng "ZK" không tồn tại trong hầu hết các Bản tổng hợp ZK ngày nay và ở nhiều nơi trong DApp, việc sử dụng các chương trình ZKP và ZK có thể không phải là lựa chọn tốt nhất. Công nghệ ZK có thể cảm thấy vô tội khi bị buộc tội vì bản thân nó không có gì sai, nhưng trong quá trình tận dụng những tiến bộ công nghệ của mình, nó có thể dẫn đến sự suy giảm hiệu suất tiềm tàng của DApps. Tuy nhiên, điều này không có nghĩa là công nghệ ZK vô dụng đối với ngành này. Khi các bản tổng hợp ZKP và ZK cuối cùng đã hoàn thiện, chúng chắc chắn sẽ cung cấp các giải pháp tốt hơn cho bộ ba bất khả thi của blockchain. Trên thực tế, đã có những dự án dựa trên ZK duy trì quyền riêng tư của ZK và cũng có nhiều loại DApp tận dụng hiệu quả sự tích chập của ZKP và ZK.