BTC
$96,000
5.73%
ETH
$3,521.91
3.97%
HTX
$0.{5}2273
5.23%
SOL
$198.17
3.05%
BNB
$710
3.05%
lang
简体中文
繁體中文
English
Tiếng Việt
한국어
日本語
ภาษาไทย
Türkçe
Trang chủ
AI AI
Tin nhanh
Bài viết
Sự kiện
BlockBeats Pro
Thêm
Thông tin tài chính
Chuyên đề
Hệ sinh thái chuỗi khối
Mục nhập
Podcast
Data
OPRR
Partnered With:

Biên giới tiếp theo của việc mở rộng quy mô chuỗi khối: Đi sâu vào các bản tổng hợp ZK

Đọc bài viết này mất 36 phút
1. Việc áp dụng bằng chứng không kiến thức (ZKP) trong lĩnh vực blockchain đã được thảo luận rộng rãi, nhưng vẫn có những hiểu lầm về tác dụng thực tế của nó trong việc đạt được quyền riêng tư và khả năng mở rộng. 2. Bản tổng hợp ZK chủ yếu tận dụng các thuộc tính đơn giản của ZKP thay vì các thuộc tính không có kiến thức, có nghĩa là dữ liệu giao dịch và thông tin tài khoản không đạt được sự bảo vệ quyền riêng tư hoàn toàn. 3. Đối với một số loại ứng dụng phi tập trung (DApp) nhất định, chẳng hạn như trò chơi Web3 và giao thức cho vay DeFi, việc sử dụng bản tổng hợp ZK có thể không phải là lựa chọn tốt nhất vì quá trình tạo ZKP có thể trở thành tắc nghẽn hiệu suất hoặc ảnh hưởng đến dịch vụ. 4. Trong quá trình triển khai ZK Rollups hiện tại, nguyên tắc không có kiến thức không được tuân thủ đầy đủ, đặc biệt là trong các thành phần như trình sắp xếp thứ tự, nhà cung cấp và nút tổng hợp. Chi tiết giao dịch và thông tin tài khoản của Người dùng có thể không được bảo vệ hoàn toàn. 5. Mặc dù công nghệ ZK có tiềm năng về mặt lý thuyết nhưng nó vẫn phải đối mặt với những thách thức về kỹ thuật và thực tiễn trong các ứng dụng thực tế, đồng thời cần có tiến bộ và tối ưu hóa công nghệ hơn nữa để phát huy hết các lợi thế của nó.
Tiêu đề gốc: ZK Rollups: Elephant In the Room
Tác giả gốc: Jaehyun Ha
Biên soạn gốc: Deep Wave TechFlow


Tóm tắt


· Trong khi các bằng chứng không có kiến thức (ZKP) hứa hẹn sẽ tạo ra một hệ sinh thái blockchain riêng tư hơn và có thể mở rộng hơn, thì có nhiều khía cạnh về Zero Kiến thức (ZK) bị hiểu sai hoặc khác với cách nó được triển khai theo cách hiểu thông thường.


· ZKP chủ yếu có hai khía cạnh: "không có kiến thức" và "đơn giản". Mặc dù tuyên bố này không sai, nhưng hầu hết các bản tổng hợp ZK chỉ tận dụng thuộc tính đơn giản và dữ liệu giao dịch cũng như thông tin tài khoản không hoàn toàn được giữ bí mật hoặc riêng tư.


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


Hình 1: ZK là một từ thông dụng hay
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ư 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 phục vụ 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ể gây hại nhiều 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 ZK Rollups


Rollup là một giải pháp mở rộng quy mô cho phép thực thi trên chuỗi. Thực thi bên ngoài Sau đó, gói giao dịch sẽ lưu trữ dữ liệu tóm tắt về trạng thái L2 mới nhất trên L1 để giải quyết các hạn chế về thông lượng của 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 chứng minh, người 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 quá trình 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 ZK Rollup và mỗi cách triển khai có thể khác nhau tùy theo giao thức. Nếu chúng tôi phân biệt các vai trò, có thể có Các thực thể khác như người tổng hợp, người thực thi và người đề xuất cũng có thể có các hệ thống phân cấp khác nhau như khối, nhóm khối và lô tùy thuộc vào mục đích của chúng. định dạng khối cho các đợt)


Không giống như Optimistic Rollups, nhờ ZKP (ví dụ: 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 thi 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 tính gì?


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


Như tên cho thấy, 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ể mở khóa máy tính xách tay của mình bằng cách sử dụng nhận dạng dấu vân tay 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ó 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ó nghĩa 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 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.


Tính đơ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 các câu lệnh từ kích thước lớn Một đoạn ngắn và bằng chứng được xác minh nhanh chóng, 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 sử dụng đặc biệt cho việc tổng hợp. Khi sử dụng ZKP, trình xác thực trong L2 có thể yêu cầu thực hiện đúng giao dịch bằng cách gửi bằng chứng ngắn gọn cho trình xác thực trong L1 (tính hợp lệ của giao dịch ở quy mô 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 khung 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 Rollups rất tuyệt vời nhưng không có nghĩa là quyền riêng tư


Các tính năng ZKP trên đều có trong ZK Rollups Nó đã được sử dụng tốt. 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 có trong ZK Rollups, chẳng hạn như trình sắp xếp thứ tự, 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 hiện khi 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 các thỏa hiệp ZK có thể xảy ra. Hãy nghĩ về vòng đời giao dịch trong ZK Rollups, 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 thứ tự 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ó tình huống 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 một thực thể tập trung khác có quyền mạnh mẽ ) có thể thấy rõ 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. Như 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ữ bởi 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 ZK Rollups 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à tận dụng 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 thực hiện lại chúng.


Vì lý do này, một số Bản tổng hợp ZK, chẳng hạn 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 các bản tổng hợp khác, chẳng hạn như Aztec, đảm bảo quyền riêng tư thực sự của ZK Mark. chính bạn dưới dạng 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 ZK Bản tổng hợp 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 ra ZKP có thể là một nút thắt đối với thuyết quyết định nhanh


Trước tiên hãy thảo luận về tính hữu ích của bản thân 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. Lĩnh vực sử dụng hiệu quả nhất tính năng ZK Rollups là ngành công nghiệp 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 ngăn xếp 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 đóng. Đ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ờ hoàn thiện 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ể xảy 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 được quảng cáo là 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 nút thắt cổ chai tiềm ẩn đối với việc xác định nhanh chóng các đợt tổng hợp ZK
Nguồn: imgflip


Mặt khác, các chuỗi như Ronin được tối ưu hóa cho chơi game (trò chơi hỗ trợ như các trò chơi Pixels và Web3 như 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, mỗi giao dịch chỉ mất trung bình 6 giây để hoàn tất. 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ũng có những khuyết điểm. Đượ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. Một lần nữa xin lưu ý 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à 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: Khác biệt về tình trạng phát hành là con dao hai lưỡi


Một điểm nữa là tính thực tiễn 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 đến đỉ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 áp 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.


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 đỉnh Everest cùng với những người leo núi nghiệp dư để nói với thế giới. thực sự hoàn chỉ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 tổng hợp nếu cần.


Hình 6: Giải phóng giao dịch gốc và giải phóng 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 hiệu quả hơn về mặt chi phí so với phương pháp phát hành dữ liệu giao dịch ban đầu Bởi vì nó có thể tiết kiệm được bước lưu trữ các giao dịch trung gian, từ đó giảm chi phí lưu trữ của 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ụ. Giả sử 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? Nó 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 thay vì mọi giao dịch trung gian.


Kết luận


Bài viết này chủ yếu khẳng định không có chữ "ZK" trong hầu hết ZK ngày nay Rollups”, ở 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, chỉ là trong quá trình tận dụng những tiến bộ công nghệ của mình, nó có thể khiến hiệu suất của DApps bị suy giảm tiềm ẩn. Tuy nhiên, điều này không có nghĩa là công nghệ ZK không có tác dụng gì đối với ngành. 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.


Liên kết gốc


Chào mừng bạn tham gia cộng đồng chính thức của BlockBeats:

Nhóm Telegram đăng ký: https://t.me/theblockbeats

Nhóm Telegram thảo luận: https://t.me/BlockBeats_App

Tài khoản Twitter chính thức: https://twitter.com/BlockBeatsAsia

Chọn thư viện
Thêm mới thư viện
Hủy
Hoàn thành
Thêm mới thư viện
Chỉ mình tôi có thể nhìn thấy
Công khai
Lưu
Báo lỗi/Báo cáo
Gửi