ZK Rollups: Con voi trong phòng

Tác giả gốc: Jaehyun Ha

Biên soạn bởi: TechFlow

Bản tóm tắt

• Trong khi bằng chứng không kiến thức (ZKP) hứa hẹn một riêng tư hơn và có thể mở rộng hơn hệ sinh thái blockchain, nhiều khía cạnh của zero-knowledge (ZK) bị hiểu sai hoặc triển khai khác so với suy nghĩ thông thường.

• Có hai khía cạnh chính của ZKP: “không có kiến thức” và “súc tích”. Mặc dù tuyên bố này không sai, nhưng hầu hết các dữ liệu tổng hợp ZK chỉ sử dụng thuộc tính ngắn gọn, còn dữ liệu giao dịch và thông tin tài khoản không hoàn toàn bảo mật hoặc riêng tư.

• Đối với nhiều loại DApp khác nhau, ZK rollup có thể không phải là lựa chọn tốt nhất cho các ngăn xếp phát triển . Ví dụ, việc tạo ZKP có thể trở thành nút thắt cho việc hoàn thiện nhanh chóng, do đó làm giảm hiệu suất của trò chơi Web3, trong khi đảm bảo tính khả dụng của dữ liệu dựa trên công bố chênh lệch trạng thái có thể gây hại cho các dịch vụ của giao thức cho vay DeFi.

Hình 1: ZK là một từ thông dụng tuyệt vời

Nguồn: imgflip

Tình trạng hiện tại của ngành công nghiệp blockchain có thể được ví như thời đại Zero Knowledge (ZK). ZK nổi bật ở bất cứ nơi nào 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 đưa ZK vào tên của nó. Về mặt 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 vào hệ sinh thái blockchain có khả năng mở rộng và riêng tư 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ư, cả bán lẻ và 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 tuyệt vời, mới lạ và có thể giải quyết được bộ ba blockchain, mà không hiểu đầy đủ về cách công nghệ ZK có thể mang lại lợi ích cho từng dự án.

Trong loạt bài về ZK này, chúng ta sẽ khám phá những sự thật bất tiện (những thiếu sót và bất lợi) của ZK rollup và các ứng dụng có lợi của chúng. Đầu tiên, chúng ta sẽ giải nén 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 cô đọng". Sau đó, chúng ta sẽ thảo luận về cách một số lượng lớn các ZK rollup hiện đang hoạt động không thực sự tận dụng được 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 ZK rollup có thể gây hại nhiều hơn là có lợi, tránh các vấn đề nổi tiếng như tính phức tạp của việc triển khai. Cuối cùng, chúng ta 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ự đạt được những lợi ích rõ ràng khi sử dụng công nghệ ZK.

Tóm tắt: Vòng đời giao dịch trong ZK Rollups

Rollup là giải pháp mở rộng quy mô giải quyết các hạn chế về thông lượng 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 phép tính ngoài chuỗi trên chuỗi. Trước khi đi sâu vào các vấn đề của ZK Rollups, chúng ta hãy cùng xem xét sơ qua vòng đời giao dịch của nó.

Hình 2: Vòng đời giao dịch trong ZK rollup

Nguồn: Trung tâm nghiên cứu Presto

• 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.

• Trình sắp xếp 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 gửi trạng thái tổng hợp mới này đến hợp đồng thông minh trạng thái trên chuỗi theo dạng hàng loạt 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.

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

• Sau khi hợp đồng xác thực kiểm tra bằng chứng hợp lệ, trạng thái của bản 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 tất.

(Lưu ý rằng lời giải thích này là phiên bản đơn giản hóa của quy trình ZK Rollup và mỗi lần triển khai có thể khác nhau tùy theo giao thức. Nếu chúng ta phân biệt các vai trò, có thể có nhiều thực thể hơn trong L2, chẳng hạn như người tổng hợp, người thực thi và người đề xuất. Hệ thống phân cấp của các khối dữ liệu cũng có thể khác nhau, chẳng hạn như các khối, nhóm khối và lô, tùy thuộc vào mục đích của chúng. Lời giải thích ở trên giả định một tình huống mà trình sắp xếp tập trung có thẩm quyền mạnh để 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 dưới dạng lô.)

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

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

Như tên gọi của nó, về cơ bản, ZKP là một bằng chứng. Bằng chứng có thể là bất kỳ thứ gì có thể hỗ trợ đầy đủ cho yêu cầu 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ó thẩm 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 nói 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 và xác minh rằng Bob có thẩm quyền. Tuy nhiên, quá trình xác minh này không thỏa đáng đối với cả Alice và Bob. Nếu Bob đặt mật khẩu rất dài và phức tạp, Alice sẽ rất khó nhập đúng mật khẩu (giả sử Alice không thể sao chép và dán). Thực tế hơn, Bob có thể không muốn tiết lộ mật khẩu của mình cho Alice để chứng minh thẩm quyền của mình.

Sẽ thế nào nếu có một quy trình xác minh mà Alice có thể nhanh chóng xác minh quyền truy cập vào máy tính mà không cần Bob tiết lộ mật khẩu của mình? Ví dụ, Bob có thể mở khóa máy tính xách tay của mình bằng nhận dạng dấu vân tay trước mặt Alice, như thể hiện 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 mà cả Alice và Bob đều có thể hưởng lợi từ hai thuộc tính chính của ZKP: tính chất không kiến thức và tính chất đơn giản.

Hình 3: Trực giác cấp cao về kiến thức bằng không và sự đơn giản

Nguồn: imgflip

Không Kiến Thức (ZK)

Thuộc tính không 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 trừ 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 từng người dùng. Nếu ZKP được áp dụng cho từng 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ộ thông tin chi tiết về giao dịch của họ (ví dụ: chuyển khoản, cập nhật số dư tài khoản, triển khai và thực hiện hợp đồng thông minh) cho công chúng.

Sự đơn giản

Thuộc tính súc tích đề 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ể xác minh nhanh từ một câu lệnh có kích thước lớn, nói cách khác, nó nén một thứ gì đó lớn thành một dạng nhỏ gọn. Trong blockchain, điều này đặc biệt hữu ích cho các rollup. Sử dụng ZKP, một người xác minh trong L2 có thể yêu cầu thực hiện đúng một giao dịch bằng cách gửi một bằng chứng súc tích cho một người xác minh trong L1 (tính hợp lệ của một giao dịch có kích thước TB có thể được biểu thị bằng bằng chứng 10~100 KB). Sau đó, người xác minh có thể dễ dàng xác nhận tính hợp lệ của việc thực hiện trong thời gian ngắn (tức là từ 10 mili giây đến 1 giây) bằng cách xác minh bằng chứng súc tích thay vì phát lại tất cả các giao dịch.

ZK Rollup rất tuyệt vời, nhưng không có nghĩa là quyền riêng tư

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

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

Hình 4: Rò rỉ quyền riêng tư trong ZK rollup

Nguồn: Nghiên cứu Presto

Trong hầu hết các ZK Rollup chính thống, trình sắp xếp hoặc nhà cung cấp (hoặc thực thể tập trung khác có quyền mạnh) có thể thấy rõ các 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. 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ập bằng cách truy cập bất kỳ trình duyệt khối ZK Rollup nào. Không chỉ vậy, hãy xem xét một tình huống mà trình sắp xếp tập trung ngừng phục vụ vì một lý do nào đó và một nút rollup khác cố gắng khôi phục trạng thái rollup. Nó sẽ trích xuất thông tin từ dữ liệu L2 được lớp DA công khai phát hành (trong hầu hết các trường hợp là L1 Ethereum) và tái tạo trạng thái L2. Trong quá trình này, bất kỳ nút nào có thể phát lại các giao dịch L2 được lớp DA lưu trữ đều có thể khôi phục thông tin về trạng thái của từng tài khoản người dùng.

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

Vì lý do này, một số ZK Rollup, như Starknet, tự gọi mình là “Validity Rollup” để tránh nhầm lẫn, trong khi những công ty khác đảm bảo quyền riêng tư thực sự của ZK, như Aztec, tự gọi mình là ZK-ZK rollup.

Những cân nhắc sâu hơn về tính thực tế của ZK Rollups

Như đã đề cập trước đó, hầu hết ZK Rollup đều 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 nhu cầu tiến bộ kỹ thuật đáng kể để công nghệ hoàn thiện hơn nữa, ZK vẫn còn những vấn đề gây tranh cãi về mặt ý thức hệ (như việc sử dụng bất hợp pháp các giao dịch riêng tư) và tính thực tế (như nó có thực sự hữu ích không?). Vì việc thảo luận về các vấn đề đạ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, chúng tôi sẽ tập trung vào hai vấn đề thực tế của ZK Rollup gặp phải trong các dự án blockchain.

Điểm 1: Việc tạo ra ZKP có thể là nút thắt đối với việc hoàn thiện nhanh chóng

Trước tiên, hãy thảo luận về tính thực tế 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 giao dịch hoàn tất nhanh chóng, nhờ ZKP. TPS tăng và phí giao dịch thấp là những lợi ích bổ sung. Lĩnh vực sử dụng hiệu quả nhất các đặc điểm của ZK Rollups là ngành công nghiệp trò chơi, vì việc gửi và rút tiền tệ trong trò chơi diễn ra rất thường xuyên, tạo ra 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à công nghệ tốt nhất cho trò chơi không? Để đạt được mục đích này, chúng ta cần suy nghĩ sâu hơn về khái niệm hoàn thiện nhanh chóng trong ZK Rollups. Hãy tưởng tượng một người dùng đang tận hưởng trò chơi Web3 chạy trên công nghệ dựa trên ZK Rollup. Người dùng giao dịch các vật phẩm trong trò chơi để lấy tiền xu 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, các 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 Rollup mới, ZKP tương ứng phải được gửi đến L1 và cần phải đợi bằng chứng cuối cù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 ta có thể đạt được xác nhận giao dịch ngay lập tức mà ZK Rollups thường quảng cáo, 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ê thời gian hoàn thành của các ZK Rollup 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 thời gian để tạo ZKP và cũng cần thêm thời gian để đưa nhiều giao dịch hơn vào một đợt (tức là một bằng chứng duy nhất) để 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 để đạt được tính hoàn thiện nhanh chóng của ZK Rollups, điều này có thể làm giảm trải nghiệm của người dùng trong các trò chơi Web3.

Hình 5: Việc tạo ra ZKP có thể là một nút thắt tiềm ẩn đối với việc hoàn thiện nhanh chóng các bản tổng hợp ZK

Nguồn: imgflip

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

Tất nhiên, Ronin cũng có những nhược điểm. Được quản lý bởi các 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ì 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. Cũng có những rủi ro bảo mật khi sử dụng cầu nối chuỗi chéo. Nhưng theo quan điểm của người dùng: họ có quan tâm đến những điều này không? Các ZK Rollup hiện tại không có thứ tự phi tập trung cũng có vấn đề về điểm lỗi đơn (SPOF). Ethereum cung cấp cho họ sự đảm bảo vì nó làm giảm khả năng hoàn nguyên giao dịch, nhưng ZK Rollup cũng có thể đóng băng nếu trình sắp xếp hoặc trình xác thực tập trung bị lỗi. Xin lưu ý một lần nữa rằng ZK trong ZK Rollup chỉ được sử dụng để xác minh tính hợp lệ của tính chính xác của quá trình thực thi. Nếu có một dự án khác cung cấp cùng chức năng nhưng nhanh hơn và rẻ hơn, ZK Rollup có thể không còn được người dùng và nhà phát triển trò chơi Web3 coi là công nghệ ưu tiê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 xuất bản sự khác biệt về 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 ZK rollup (xem Mở khóa bản nâng cấp Dencun: Sự thật chưa từng thấy về việc mở rộng các lớp DA , Jaehyun Ha, 12 tháng 4 năm 24).

Một cách đơn giản để hiểu tính khả dụng của dữ liệu trong Rollups là tưởng tượng một người leo núi nghiệp dư chứng minh và ghi lại quá trình leo lên đỉnh Everest của mình. Cách đơn giản nhất để thực hiện việc này là ghi lại mọi bước từ trại căn cứ lên đến đỉnh trên video. 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 leo lên của người leo núi và có khả năng phát lại bản ghi. 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 khả dụng của dữ liệu. Optimistic Rollups tuân theo phương pháp này để những người thách đấu riêng lẻ có thể phát lại và xác minh việc thực hiện chính xác vì các cam kết trạng thái của trình sắp xếp không đáng tin cậy. Trong ZK Rollups, Polygon zkEVM và Scroll áp dụng phương pháp này, lưu trữ dữ liệu giao dịch L2 gốc ở dạng nén trên L1 để bất kỳ ai cũng có thể phát lại các giao dịch L2 để khôi phục trạng thái của Rollup khi 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 người leo núi nổi tiếng leo Everest cùng với người leo núi nghiệp dư để chứng minh với thế giới rằng chuyến leo núi thực sự đã hoàn thành. Vì chuyến leo núi đã được xác nhận bởi một cá nhân đáng tin cậy, nên người leo núi không còn cần phải ghi lại mọi bước để lưu giữ hồ sơ nữa. Chỉ cần chụp ảnh tại điểm bắt đầu và trên đỉnh núi sẽ cho phép người khác tin rằng người leo núi đã lên đến đỉnh. Phép ẩn dụ này phản ánh cách tiếp cận khác biệt của trạng thái được sử dụng để đảm bảo tính khả dụng của dữ liệu. Trong ZK Rollups, zkSync Era và StarkNet áp dụng cách tiếp cận này, chỉ lưu trữ sự khác biệt về trạng thái trước và sau khi giao dịch L2 được thực hiện trên L1, để bất kỳ ai cũng có thể tính toán sự khác biệt về trạng thái từ trạng thái ban đầu để khôi phục trạng thái của Rollup nếu cần.

Hình 6: Bản phát hành giao dịch gốc và bản phát hành trạng thái khác biệt

Nguồn: Nghiên cứu Presto

Phương pháp chênh lệch trạng thái này chắc chắn tiết kiệm chi phí hơn so với phương pháp xuất bản 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, do đó giảm chi phí lưu trữ của L1. Mặc dù điều này thường 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à vấn đề đối với một số DApp.

Lấy Compound, một giao thức cho vay DeFi làm ví dụ, và giả sử rằng nó được xây dựng trên một ngăn xếp ZK Rollup dựa trên trạng thái khác biệt. Các giao thức này yêu cầu lịch sử giao dịch hoàn chỉnh để tính toán tỷ lệ cung cấp và cho vay mỗi giây. Tuy nhiên, nếu trình tự ZK Rollup bị lỗi, điều gì sẽ xảy ra khi các nút Rollup khác cố gắng khôi phục trạng thái mới nhất? Nó có thể khôi phục trạng thái, nhưng lãi suất 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 thay vì mọi giao dịch trung gian.

Tóm lại là

Khẳng định chính của bài viết này là rằng không có “ZK” trong hầu hết các ZK Rollup hiện nay và có nhiều nơi trong DApp mà việc sử dụng ZKP và quy trình 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 nó có thể gây ra sự suy giảm hiệu suất tiềm ẩn cho DApp trong quá trình sử dụng tiến bộ công nghệ của nó. 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. Khi ZKP và ZK rollup cuối cùng cũng trưởng thành, chúng chắc chắn có thể cung cấp các giải pháp tốt hơn cho bộ ba blockchain. Trên thực tế, đã có các dự án dựa trên ZK duy trì quyền riêng tư của ZK và có nhiều loại DApp tận dụng hiệu quả ZKP và phép tích chập ZK.

Liên kết gốc

Bài viết này có nguồn từ internet: ZK Rollups: Con voi trong phòng

Liên quan: ETF giao ngay Hồng Kông sắp được niêm yết. Những dự án ý tưởng nào khác ở Hồng Kông đáng được quan tâm?

Vào ngày 24 tháng 4, theo tin tức chính thức, China Asset Management (Hồng Kông) hôm nay đã thông báo rằng China Asset Management Bitcoin ETF và China Asset Management Ethereum ETF đã được Ủy ban Chứng khoán và Tương lai (SFC) của Hồng Kông phê duyệt và dự kiến sẽ được triển khai. phát hành ngày 29 tháng 4 năm 2024 và niêm yết trên sàn giao dịch Hồng Kông vào ngày 30 tháng 4 năm 2024. Đây là lần đầu tiên những sản phẩm như vậy được ra mắt tại thị trường Châu Á. Hai loại sản phẩm này được thiết kế để mang lại lợi nhuận đầu tư dựa trên giá giao ngay của Bitcoin và Ethereum. Động thái lớn này một lần nữa thu hút sự chú ý đến khái niệm Hồng Kông. Vào đầu năm nay, CFX, người dẫn đầu khái niệm Hồng Kông, đã tăng từ US$0.19 lên US$0.52 trong hai tháng.…