paint-brush
Bản tổng hợp ZK năm 2023: Từ SNARK đến STARK và hơn thế nữatừ tác giả@bingventures
3,084 lượt đọc
3,084 lượt đọc

Bản tổng hợp ZK năm 2023: Từ SNARK đến STARK và hơn thế nữa

từ tác giả Kyle Liu@Bing Ventures29m2023/01/12
Read on Terminal Reader

dài quá đọc không nổi

Tuy nhiên, liệu bản tổng hợp ZK có phải là tương lai của bản tổng hợp không? Triển vọng của phân khúc này từ góc độ đầu tư là gì? Trong báo cáo này, các nhà phân tích cấp cao của Bing Ventures sẽ hướng dẫn bạn thông tin cơ bản, đường dẫn kỹ thuật và các kịch bản ứng dụng của ZK rollup, cũng như phân tích cho bạn từng dự án quan trọng để tạo ra những suy nghĩ về hiện trạng của ngành, xu hướng trong tương lai, và triển vọng.
featured image - Bản tổng hợp ZK năm 2023: Từ SNARK đến STARK và hơn thế nữa
Kyle Liu@Bing Ventures HackerNoon profile picture
0-item

Là một trong những giải pháp mở rộng Layer2 quan trọng cho Ethereum, các bản tổng hợp không kiến thức (bản tổng hợp ZK) đã tiếp tục nóng lên trong năm nay. Lĩnh vực này không chỉ ngày càng thu hút sự chú ý của giới truyền thông và các nhà đầu tư mạo hiểm, mà còn tự hào về nhiều dự án hàng đầu đang đạt được tiến bộ đáng chú ý từng ngày, đặc biệt là về mạng thử nghiệm và mạng chính.


Tuy nhiên, liệu bản tổng hợp ZK có phải là tương lai của bản tổng hợp không? Triển vọng của phân khúc này từ góc độ đầu tư là gì? Trong báo cáo này, các nhà phân tích cấp cao của Bing Ventures sẽ hướng dẫn bạn thông tin cơ bản, đường dẫn kỹ thuật và các kịch bản ứng dụng của ZK rollup, cũng như phân tích cho bạn từng dự án quan trọng để tạo ra những suy nghĩ về hiện trạng của ngành, xu hướng trong tương lai, và triển vọng.

Tóm tắt điều hành

  • Tỷ lệ thâm nhập TVL hiện tại của các bản tổng hợp chỉ là 5% , điều này có nghĩa là còn rất nhiều cơ hội để cải thiện theo dõi.
  • Các bản tổng hợp ZK vượt trội hơn so với các bản tổng hợp Lạc quan (bản tổng hợp OP) về logic cơ bản, tính dễ sử dụng, giao dịch quyền riêng tư , v.v. Các hạn chế về công nghệ hạn chế tốc độ mở rộng chậm hiện tại của chúng. Chúng được kỳ vọng sẽ trở thành giải pháp tổng số chủ đạo trong tương lai.
  • Các giải pháp tổng số hiện tại rất đồng nhất . Do chi phí di chuyển cao mà người dùng phải đối mặt, các nhà khai thác tổng số ZK có thể đạt được sự khác biệt bằng cách cung cấp các dịch vụ giá trị gia tăng chất lượng cao ("Rollup as a Service") cho các nhà phát triển ứng dụng để giảm bớt khó khăn khi di chuyển ứng dụng. Trong số các dịch vụ này, các giải pháp tùy chỉnh sẽ có lợi cho doanh thu ngắn hạn, trong khi SDK sẽ có lợi cho doanh thu dài hạn.
  • Hiện tại, các nhà đầu tư mạo hiểm rất hào hứng với lĩnh vực ZK rollup, với định giá của các dự án ZK rollup hàng đầu, Starkware và ZKSync, lần lượt đạt 8 tỷ USD và ~ 1 tỷ USD.
  • Tác giả tin rằng công nghệ ZK Rollup là tuyệt vời, nhưng nó không nhất thiết là một lựa chọn tốt từ góc độ đầu tư vào giai đoạn này.
  • Vì các bản tổng hợp ZK vẫn chưa chứng kiến sự tăng trưởng bùng nổ, chúng vẫn đang chờ được xác thực về mặt công nghệ cũng như từ quan điểm giá trị và doanh thu.
  • Các quỹ VC thường có giới hạn về thời lượng. Tuy nhiên, thời gian để một dự án tạo ra lợi nhuận có thể lâu hơn. Vì vậy, các VC có thể không nhất thiết phải sẵn sàng đặt cược vào những công nghệ chưa được kiểm định này, trong khi các nhà đầu tư cá nhân linh hoạt hơn trong vấn đề này.
  • Ngay bây giờ, các đợt tổng hợp vẫn đang trong giai đoạn đốt tiền để thu hút người dùng. Và phần lớn các cuộn ZK thậm chí còn chưa đến giai đoạn này vì khả năng cạnh tranh cốt lõi của chúng vẫn đang được phát triển. Do đó, dựa trên giai đoạn phát triển công nghệ của họ, việc đầu tư vào một dự án đơn lẻ là rất rủi ro.
  • Đầu tư vào cả phân khúc có thể là một chiến lược đúng đắn, nhưng cần chú ý đến tác động của các mức định giá đối với thu nhập sau đó.

Giới thiệu ZKP

Bằng chứng không kiến thức là gì?

Zero-Knowledge Proof (ZKP) cho phép bạn chứng minh sự thật của một tuyên bố mà không tiết lộ bất kỳ thông tin nào liên quan đến tuyên bố đó.


Nó có ba đặc điểm thiết yếu:

  1. Tính đầy đủ : Nếu tuyên bố cơ bản là ĐÚNG, và người chứng minh và người xác minh hành động trung thực, bằng chứng có thể được chấp nhận.

  2. Tính hợp lý : Nếu tuyên bố không hợp lệ, về mặt lý thuyết không thể lừa một người xác minh trung thực tin rằng nó hợp lệ.

  3. Không có kiến thức : Người xác minh không học được gì về một tuyên bố ngoài tính hợp lệ hoặc sai lệch của nó.
    Các hoạt động toán học đằng sau ZKP cực kỳ phức tạp, vì vậy chúng tôi sẽ chỉ giới thiệu các tính năng cơ bản nhất của nó ở đây để giúp người đọc hiểu phần thảo luận bên dưới.


Cốt lõi của các thuật toán ZKP nằm ở phần sau:

  1. **Rút gọn các bài toán phức tạp thành các phép tính đơn giản: \ • Về mặt toán học, khi kiểm tra xem hai véc tơ X: (x1, x2,...) và Y: (y1, y2,...) có bằng nhau hay không thì cần so sánh từng véc tơ. từng thành phần một (x1 == y1?, x2 == y2?, ...), rất tốn thời gian.
    • Với ZKP, không cần thiết phải kiểm tra xem hai vectơ có bằng nhau hay không. Thay vào đó, bạn chỉ cần kiểm tra xem hai đa thức có bằng nhau hay không (Q(X, s) == Q(Y, s)?, s là số ngẫu nhiên), việc này chỉ yêu cầu tính giá trị của đa thức tại một vài điểm mẫu và do đó dễ dàng hơn nhiều.
  2. Đảm bảo rằng người xác minh không thể lấy được bất kỳ thông tin nào liên quan đến tuyên bố bằng thuật toán mã hóa đường cong elip, bất kể tuyên bố đó đúng hay sai.

zk-SNARK

SNARK: Lập luận ngắn gọn về kiến thức không tương tác

  • Ngắn gọn: Bằng chứng nhỏ hơn và có thể được xác minh nhanh chóng.
  • Không tương tác : Ít hoặc không cần tương tác giữa người chứng minh và người xác minh, chỉ tương tác một lần trong quá trình tạo, gửi và xác minh bằng chứng.
  • Lập luận : Nó có thể chống lại sự tấn công của một người châm ngôn với khả năng tính toán hạn chế. Thuật toán mã hóa được sử dụng để tạo bằng chứng đủ phức tạp để nó không thể bị bẻ khóa bằng vũ lực trong thời gian chấp nhận được và chi phí kinh tế trong các điều kiện sức mạnh tính toán hiện có.
  • Kiến thức : Không biết phải chứng minh điều gì thì không thể xây dựng một bằng chứng.

zk-STARK

STARK: Đối số kiến thức minh bạch có thể mở rộng

  • Có thể mở rộng : Các nhà phát triển có thể thực hiện tính toán và lưu trữ dữ liệu ngoài chuỗi để cải thiện khả năng mở rộng theo cấp số nhân. Bằng chứng không có kiến thức được sử dụng để xác minh các hoạt động ngoài chuỗi này và gửi trực tuyến cho các bên quan tâm để xác minh.
  • Minh bạch : ZK-STARK dựa vào tính ngẫu nhiên có thể kiểm chứng công khai để tạo các tham số công khai nhằm chứng minh và xác minh thay vì thiết lập đáng tin cậy. Đó là điểm khác biệt lớn nhất giữa ZK-STARK và ZK-SNARK.

Các kịch bản ứng dụng cho ZKP

Tất cả dữ liệu trên chuỗi được hiển thị công khai. Có thể chứng minh tính xác thực của một tuyên bố mà không tiết lộ nội dung của tuyên bố, ZKP mạnh mẽ ở chỗ chúng có thể được sử dụng cho các vấn đề trong thế giới thực như bảo vệ quyền riêng tư, thiết kế các hệ thống hoặc hợp đồng nhạy cảm, v.v.


Hai tính năng chính của ZKP, không có kiến thức và tính toàn vẹn, có thể lần lượt giải quyết hai điểm khó khăn trong quá trình phát triển chuỗi khối.

  • Không có kiến thức : Các cơ chế đồng thuận của các chuỗi khối yêu cầu mọi thứ trên chuỗi phải được mở cho công chúng và minh bạch, điều này làm cho việc bảo vệ quyền riêng tư trở thành một vấn đề.
  • Tính toàn vẹn : Việc xác minh là cần thiết đối với bản chất phi tập trung của chuỗi khối. Tuy nhiên, chúng cũng đã trở thành một trở ngại đáng kể cho hiệu suất. Vì vậy, bằng chứng nhẹ đang có nhu cầu cao.


Dựa trên các tính năng này, hai trường hợp sử dụng chính của ZKP ở giai đoạn này là bảo vệ quyền riêng tư và ZK Rollup.

Bảo vệ quyền riêng tư

Blockchain hy sinh quyền riêng tư của người dùng để đảm bảo tính minh bạch của các giao dịch. Mặc dù các thực thể thực sử dụng tài khoản trên chuỗi là ẩn danh, nhưng dữ liệu giao dịch trong tài khoản của họ gần như hoàn toàn minh bạch. Điều đó có nghĩa là, nếu có ý định, mọi người có thể dễ dàng theo dõi các giao dịch này. Nhưng hầu hết người dùng không muốn bị theo dõi.

  • Một trường hợp điển hình là 3AC, họ đã tự tin tiết lộ một số địa chỉ của họ để chứng minh kỹ năng giao dịch tuyệt vời của họ và nâng cao danh tiếng của họ để tạo điều kiện gây quỹ.
  • Tuy nhiên, trong sự cố LUNA, một số người bán khống đã theo dõi các địa chỉ này và thực hiện các giao dịch ngược lại. Bằng cách này, họ đã đẩy nhanh việc hình thành các lệnh bán lớn hơn và cuối cùng đẩy nhanh việc thanh lý 3AC.


Hiện tại, hầu hết các giải pháp đều sử dụng công nghệ này để mã hóa thông tin giao dịch của người dùng nhằm bảo vệ quyền riêng tư của người dùng. Trong tương lai, chúng tôi mong đợi nhiều giải pháp sáng tạo hơn, chẳng hạn như kết hợp ZKP với các trò chơi chuỗi khối để biến trò chơi thông tin đầy đủ thành trò chơi thông tin không đầy đủ để cải thiện khả năng chơi.

Tiền kỹ thuật số với các tính năng bảo mật: ZCash

ZCash được công bố vào năm 2013 với đội ngũ kỹ thuật cốt lõi từ MIT. Chuỗi khối ZCash, ZChain, đã được ra mắt vào tháng 10 năm 2016 với việc phát hành đồng tiền ZCash (ZEC). Thiết kế của ZEC về cơ bản sao chép BTC. Nó sử dụng cơ chế PoW và có tổng số tiền là 21 triệu. Vốn hóa thị trường hiện tại của ZEC là ~ 59 tỷ USD.


Nó sử dụng công nghệ ZKP để ẩn địa chỉ giao dịch, do đó che giấu người gửi và người nhận tiền và bảo vệ quyền riêng tư của người dùng.


Vào năm 2020, người ta đã quyết định rằng 20% phần thưởng khai thác của mạng ZEC sẽ được phân phối cho ZCash Foundation để vận hành dự án. Nhưng một số người tham gia không hài lòng với điều này và họ đã tạo ra một nhánh của chuỗi, ZCL.

Giao thức trộn tiền bảo vệ quyền riêng tư: Tornado Cash

Tornado Cash bắt đầu thử nghiệm testnet vào tháng 12 năm 2019 và chính thức ra mắt vào tháng 12 năm 2021. Đây là một công cụ trộn tiền xu cho phép người dùng gửi các tài sản được hỗ trợ (ETH, DAI, USDC và các mã thông báo ERC-20 khác) và rút chúng từ một địa chỉ tiền điện tử khác. Nó mã hóa địa chỉ ví của người gửi tiền bằng công nghệ ZK và trộn nó với địa chỉ của những người dùng khác gửi vào cùng một mã thông báo, khiến thế giới bên ngoài khó theo dõi vị trí của quỹ.


Nó đã được triển khai trên Ethereum, BSC, Polygon và Mạng lạc quan. Trước khi nó bị xử phạt, đã có ~8 tỷ USD thông qua Tornado Cash.


  • Vào ngày 8 tháng 8 năm 2022, Văn phòng Kiểm soát Tài sản Nước ngoài (OFAC, thuộc Bộ Tài chính Hoa Kỳ) đã đưa Tornado Cash vào danh sách đen, thông báo rằng việc công dân, cư dân và công ty Hoa Kỳ nhận hoặc gửi tiền thông qua dịch vụ là bất hợp pháp. Trong khi đó, Bộ Tài chính Hoa Kỳ cáo buộc nước này rửa hơn 7 tỷ USD tiền ảo, trong đó 455 triệu USD được cho là đã bị đánh cắp bởi nhóm tin tặc Lazarus Group do CHDCND Triều Tiên hỗ trợ.


  • Vào ngày 10 tháng 8 năm 2022, Alexey Pertsev, nhà phát triển Tornado Cash, đã bị bắt tại Amsterdam vì " liên quan đến việc che giấu các dòng tài chính tội phạm bằng bộ trộn phi tập trung trên Ethereum Tornado Cash và tạo điều kiện cho hoạt động rửa tiền thông qua việc trộn tiền điện tử ."

Tiết lộ thông tin nhạy cảm

Sự cố FTX đã củng cố sự ngờ vực đối với CEX. Để xây dựng lại niềm tin của thị trường, các CEX phải tiết lộ tài sản của họ minh bạch hơn trước. Tuy nhiên, điều này gây ra các vấn đề về quyền riêng tư vì nhiều người dùng và tổ chức không muốn số dư tài khoản của họ được công khai.


Vitalik Buterin đã chỉ ra rằng CEX có thể lưu trữ tất cả số dư của người dùng trong cây Merkle hoặc cam kết KZG và sử dụng ZK-SNARK để chứng minh rằng tất cả số dư đều không âm và cộng vào tổng giá trị tiền gửi mà sàn giao dịch yêu cầu, điều này không chỉ bảo vệ quyền riêng tư của người dùng mà còn tiết lộ một cách hiệu quả tình trạng của tài sản.

Tổng hợp ZK

Nói một cách đơn giản, các bản cập nhật ZK có thể mở rộng quy mô mạng chính Ethereum bằng cách đảm bảo sự đồng thuận giữa mạng chính và chuỗi bản cập nhật bằng cách sử dụng ZKP. Các ZKP được tạo để xác thực các giao dịch trên chuỗi tổng số. Chúng được gửi đến mạng chính Ethereum và được xác thực bằng các hợp đồng thông minh được triển khai trước trên Lớp 1.


Tổng hợp ZK

Rollup là gì?

Nói tóm lại, rollup là giải pháp mở rộng Lớp 2 giải quyết vấn đề tắc nghẽn của Ethereum bằng cách tăng thông lượng, giảm chi phí gas và tối ưu hóa hiệu quả của ứng dụng.

Sự cần thiết của việc mở rộng quy mô Ethereum

Năng lực hiện tại của mạng chính Ethereum không thể đáp ứng nhu cầu ngày càng tăng. Nó được phản ánh trong các khía cạnh dưới đây.

  • Kích thước khối hạn chế: Phí gas cho mỗi khối Ethereum là nhất định. Một khối sẽ được viết hoàn toàn sau khi sử dụng hết lượng gas này. Kích thước mục tiêu của mỗi khối là 1,5m khí, tối đa là 3m khí. Với khoản thanh toán gas tối thiểu cho mỗi giao dịch là 21 nghìn gas, mỗi khối Ethereum có thể chứa khoảng 70~140 giao dịch.
  • Thời gian giao dịch dài: Khoảng thời gian khối trung bình là ~12 giây, với trung bình 10-15 giao dịch mỗi giây. Từ quan điểm của người dùng, phải mất từ 15 giây đến 5 phút để xử lý một giao dịch.
  • Phí giao dịch cao: Phí mỗi giao dịch (Gas) = Đơn vị Gas (21k) * (phí cơ bản + phí ưu tiên), sau này là giá của mỗi đơn vị Gas. Theo YCharts, giá gas trung bình hàng ngày gần đây là 22Gwei (~0,7USD). Và giá gas lên tới 475Gwei (~14,5USD) vào ngày 1 tháng 5 năm 2022. Nguồn: Etherscan.io

giải pháp nhân rộng

Ba thuộc tính lý tưởng của chuỗi khối là phi tập trung, bảo mật và khả năng mở rộng , nhưng một kiến trúc chuỗi khối cơ bản chỉ có thể đạt được hai trong số đó (tam giác bất khả thi). Ethereum đã chọn phân cấp và bảo mật, dẫn đến khả năng mở rộng thấp vì:

  • Phân cấp yêu cầu mọi nút trên mạng phải xác minh giao dịch và càng nhiều nút tham gia xác minh thì độ bảo mật càng cao.
  • Nếu bạn muốn cải thiện khả năng mở rộng của mạng chính Ethereum, thì khả năng phân cấp và bảo mật của nó sẽ bị ảnh hưởng, bất kể bạn tiếp cận vấn đề từ khía cạnh nào trong ba khía cạnh trên, cụ thể là kích thước khối, khoảng thời gian khối và phí giao dịch. Nghĩa là, cho dù bạn tăng kích thước khối, giảm thời gian giao dịch hay giảm phí gas, bạn sẽ làm tổn thương tinh thần của những người khai thác, dẫn đến giảm số lượng nút và do đó làm cho Ethereum trở nên kém phi tập trung và an toàn hơn. Nguồn:Fingo.pl

Nguồn:Fingo.pl

Do đó, với tiền đề tuân thủ phân cấp và bảo mật của Ethereum, việc cải thiện hiệu suất của nó cần phải bắt đầu ở cấp độ cao hơn. Hiện tại, các giải pháp chính có thể được chia thành hai loại: mở rộng quy mô trên chuỗi và ngoài chuỗi.

  • Chia tỷ lệ trên chuỗi (Chia tỷ lệ lớp 1): Thay đổi khả năng mở rộng của giao thức mạng chính Ethereum, bao gồm thay đổi cơ chế đồng thuận (PoW -> PoS), chia tỷ lệ, mở rộng kích thước khối, v.v. Thay đổi quy mô lớp 1 yêu cầu sự đồng ý của tất cả các nút, điều này có thể gây ra rất nhiều rắc rối. Trong nhiều trường hợp, không phải tất cả người dùng mạng sẽ đồng ý với sự thay đổi như vậy. Điều này có thể dẫn đến chia rẽ cộng đồng hoặc thậm chí là hard fork.
  • Mở rộng quy mô ngoài chuỗi: Di chuyển các giao dịch sang các chuỗi được triển khai tách biệt với mạng chính Ethereum mà không thay đổi giao thức Ethereum hiện có. Hiện nay có 2 loại giải pháp mở rộng quy mô ngoài chuỗi: sidechains và Layer2.

Sidechains

Sidechains là các chuỗi khối chạy độc lập, song song với mạng chính Ethereum và được kết nối với mạng chính Ethereum thông qua các cầu nối chuỗi chéo.

Nói chung, sidechain hy sinh tính phi tập trung và bảo mật ở một mức độ nào đó để cải thiện tốc độ giao dịch. Hầu hết các chuỗi bên đều tương thích với EVM. Vì vậy, các nhà phát triển có thể sử dụng sidechains để khám phá và thử nghiệm các tính năng cũng như trường hợp sử dụng không khả dụng trên mạng chính.

Tuy nhiên, vì sidechains có cơ chế đồng thuận riêng nên chúng không thể kế thừa các thuộc tính bảo mật từ Ethereum.

Các dự án lớn bao gồm Polygon, Gnosis Chain, Skale, Palm và Ronin.

lớp2

Các giải pháp Layer2 giảm chiếm dụng tài nguyên trên Layer1 thông qua tính toán/thực thi ngoài chuỗi và trả kết quả về chuỗi chính, xử lý hàng loạt dữ liệu ngoại tuyến, v.v., nhưng vẫn có được bảo mật trực tiếp từ sự đồng thuận của Ethereum Layer1.

Các giải pháp Layer2 khác nhau tìm thấy sự cân bằng khác nhau giữa bảo mật, khả năng mở rộng, phân cấp và tính tổng quát.

Giới thiệu về các giải pháp Layer2

Hiện tại, các giải pháp Layer2 chính bao gồm:

Kênh trạng thái

Cách thức hoạt động :

  • Người dùng cam kết mã thông báo trên L1 để khóa trạng thái ban đầu, chuyển các giao dịch tiếp theo ra khỏi chuỗi để được xử lý và tải trạng thái cuối cùng lên L1 sau khi hoàn thành.
  • Sẽ có khoảng thời gian chứng minh gian lận kéo dài một tuần trên L1 trên các kết quả đã gửi. Tất cả các hoạt động ngoại tuyến trước đó cần phải có chữ ký của cả hai bên + dấu thời gian. Nếu người thách thức cung cấp bằng chứng có chứa chữ ký hợp lệ và dấu thời gian mới hơn, L1 sẽ coi người dùng là gian lận và khấu trừ mã thông báo mà người dùng đã cam kết.

Ưu điểm : chi phí giao dịch thấp, quyền riêng tư mạnh mẽ, phù hợp với thanh toán vi mô tần suất cao.

Nhược điểm : rút tiền chậm (ít nhất một tuần); chủ sở hữu cần trực tuyến 100%; nó không hỗ trợ hợp đồng thông minh.

Dự án lớn : BTC Lightening Network

So với các giải pháp khác, các kênh trạng thái tập trung nhiều hơn vào bảo mật hơn là cải thiện hiệu suất.

huyết tương

Cách thức hoạt động :

  • Tương tự như sidechains, Plasma sử dụng một chuỗi khối riêng biệt.
  • Người dùng thực hiện các giao dịch ngoài chuỗi nhưng gửi trạng thái gốc (Merkel root) đến mạng chính Ethereum nơi thực hiện thanh toán.
  • Nguồn gốc Merkel giúp dễ dàng xác minh rằng một phần dữ liệu nhỏ là một phần của tập dữ liệu lớn hơn, vì vậy tính xác thực của giao dịch có thể được xác nhận bằng cách xác minh nguồn gốc Merkel trên mạng chính, cho phép chuỗi Plasma kế thừa một phần bảo mật của mạng chính.
  • Tuy nhiên, vì Plasma không tải thông tin giao dịch hoàn chỉnh lên mạng chính nên các giao dịch không được xác minh bởi tất cả các nút mạng chính bằng cách tính gốc Merkel.
  • Khi người dùng yêu cầu rút tiền từ chuỗi Plasma, họ sẽ phải trải qua một cuộc kiểm tra gian lận kéo dài một tuần.

Ưu điểm : thông lượng cao, chi phí giao dịch thấp

Nhược điểm : rút tiền chậm, ít hỗ trợ cho hợp đồng thông minh

Các dự án lớn : OMG Foundation (được chuyển đổi thành BOBA, OP Rollup), Polygon (được chuyển đổi thành sidechain).

Về lý thuyết, chuỗi Plasma có thể có các chuỗi con tạo thành L3 hoặc L4, nhưng có vẻ như hiệu quả hiện tại sẽ không tốt.

hợp lệ

Cách thức hoạt động :

  • Chuỗi hợp lệ là các chuỗi khối độc lập. Họ sử dụng các thuật toán mã hóa (chẳng hạn như ZKP) để đóng gói dữ liệu thành các gói và gửi chúng đến chuỗi Lớp 1 chính nơi các hợp đồng thông minh được triển khai để xác minh tính xác thực của dữ liệu nhận được.
  • Người dùng thực hiện các giao dịch ngoài chuỗi nhưng gửi gốc trạng thái (gốc của Merkel) đến mạng chính Ethereum cùng với bằng chứng về tính hợp lệ và hợp đồng thông minh được triển khai trên mạng chính sẽ tự động xác minh tính xác thực của bằng chứng về tính hợp lệ. Nếu bằng chứng hợp lệ, mainnet sẽ cập nhật trạng thái đã xác minh và cuối cùng xác định kết quả giao dịch trong lô.
  • Các quỹ thuộc về người dùng Validium được kiểm soát bởi các hợp đồng thông minh trên mạng chính. Sau khi bằng chứng về tính hợp lệ của yêu cầu rút tiền được xác minh trên mạng chính, người dùng có thể rút tiền mà không cần phải trì hoãn việc rút tiền và chờ đợi bằng chứng gian lận như Plasma.

Ưu điểm:

  • Bắt buộc xác minh tính toàn vẹn của các giao dịch ngoài chuỗi thông qua bằng chứng về tính hợp lệ.
  • Cải thiện hiệu quả sử dụng tiền của người dùng (không trì hoãn việc rút tiền về Ethereum).
  • Mức độ riêng tư cao và phù hợp với các ứng dụng chuỗi khối ưu tiên quyền riêng tư (chẳng hạn như giao dịch bí mật, trò chơi chuỗi, v.v.).

Nhược điểm:

  • Bằng chứng về tính hợp lệ yêu cầu phần cứng chuyên dụng để tạo, điều này làm tăng chi phí vận hành một nút và không có lợi cho việc phân cấp.
  • Khả năng tương thích thấp với EVM. Nó yêu cầu các ngôn ngữ chuyên biệt để phát triển các ứng dụng trên chuỗi Validium. Vì vậy, việc di chuyển các ứng dụng hiện có sẽ đồng nghĩa với rất nhiều công việc.
  • Việc tạo bằng chứng hợp lệ đòi hỏi một lượng lớn tính toán, dẫn đến chi phí gas ngoài chuỗi cao hơn so với các giải pháp lạc quan khác như sidechain, plasma và OP Rollup.

Rollup

Cách thức hoạt động :

  • Trong các bản tổng hợp, không chỉ gốc trạng thái sẽ được gửi đến chuỗi chính Ethereum mà dữ liệu giao dịch cũng sẽ được gửi ở dạng nén với kích thước bằng 1/10 so với dạng ban đầu.
  • Hiện tại có 2 giải pháp rollup chính là OP Rollup và ZK Rollup.

Tổng hợp OP

Tổng số OP tương tự như Plasma. Cả hai đều cho rằng giao dịch ngoài chuỗi là hợp lệ và thay vì tải lên bằng chứng về tính hợp lệ của giao dịch, bằng chứng gian lận được sử dụng để phát hiện tính toán không chính xác của giao dịch.

Sự khác biệt là: Plasma giữ tất cả dữ liệu giao dịch và tính toán ngoài chuỗi, chỉ tải lên gốc Merkel, trong khi OP Rollup giữ một số dữ liệu trên chuỗi khối Ethereum. Do đó, tất cả các nút Ethereum có thể xác minh các giao dịch trên chuỗi tổng số thay vì chỉ các nút tham gia chuỗi tổng số. Những lợi ích rõ ràng là tăng cường bảo mật và tránh tập trung hóa.

Các bản tổng hợp OP thường tương thích tốt với EVM, do đó, việc di chuyển các ứng dụng Ethereum hiện có sang các bản tổng hợp OP hầu như không yêu cầu viết mã mới.

Tổng hợp ZK

ZK rollup tương tự như Validium. Cả hai đều tải lên bằng chứng về tính hợp lệ của mỗi giao dịch. Hợp đồng thông minh được triển khai trên chuỗi chính Ethereum xác nhận giao dịch bằng cách xác minh bằng chứng ZK.

Điểm khác biệt là: Validium chỉ gửi trạng thái gốc đến chuỗi chính chứ không gửi dữ liệu trạng thái, điều này làm cho tính bảo mật của nó hoàn toàn phụ thuộc vào bằng chứng về tính hợp lệ. Vì vậy, nếu có sự cố xảy ra với nhà điều hành của Validium, người dùng có thể không rút được tiền từ các hợp đồng trên chuỗi chính Ethereum. Để giải quyết vấn đề này, các giao thức của Validium đề xuất cơ chế Data Availability Committee (DAC), cho phép một số thực thể lớn lưu trữ các bản sao trạng thái và cung cấp dữ liệu khi người dùng cần (ví dụ: để tạo bằng chứng Merkle cho các yêu cầu rút tiền). Nhưng về bản chất, nó tương tự như chuỗi consortium và ít phi tập trung hơn. Tuy nhiên, trong các bản ZK, bản thân dữ liệu trạng thái sẽ được gửi đến chuỗi chính Ethereum cùng với bằng chứng về tính hợp lệ. Do đó, trạng thái của chuỗi ZK có thể được theo dõi trên chuỗi chính bằng cách xác minh tính hợp lệ của dữ liệu trạng thái.

So sánh ngang các giải pháp nhân rộng

Bảng dưới đây cho thấy sự so sánh theo chiều ngang của các giải pháp chia tỷ lệ nêu trên. Nguồn: Bing mạo hiểm

Phân tích ngành tổng hợp ZK

cơ chế làm việc

  1. Người dùng gửi tiền vào chuỗi tổng hợp ZK bằng cách khóa tài sản trong hợp đồng trên mạng chính.
  2. Người dùng tạo giao dịch và gửi nội dung giao dịch cho người chuyển tiếp.
  3. Trước khi chấp nhận giao dịch, người chuyển tiếp xác minh tính hợp pháp của giao dịch (liệu người dùng có đủ tiền hay không, v.v.).
  4. Sau khi thu thập đủ các giao dịch, bộ chuyển tiếp sẽ sắp xếp các giao dịch (vào trước, ra trước), thực hiện các giao dịch, cập nhật trạng thái Lớp 2, đóng gói và nén dữ liệu, đồng thời tạo bằng chứng ZK. Sau đó, tải dữ liệu đã nén và bằng chứng ZK lên hợp đồng tổng số trên chuỗi chính Ethereum dưới dạng một lô.
  5. Sau khi nhận được lô, hợp đồng trên chuỗi chính:
    • Xác nhận định dạng của nội dung trong lô và từ chối nội dung không đáp ứng định dạng.
    • Kiểm tra xem gốc trạng thái trước đó trong lô có khớp với gốc trạng thái hiện tại của hợp đồng không (đảm bảo thứ tự khối).
    • Xác minh bằng chứng không có kiến thức đã tải lên để đảm bảo tính chính xác của bằng chứng.
    • Nếu quá trình xác minh được thông qua, hãy thay thế trạng thái gốc hiện tại bằng gốc sau trạng thái trong lô.

Mô hình kinh doanh

  1. Phí xăng:
    • Doanh thu: Tính phí ứng dụng và người dùng trên bản tổng hợp ZK đối với phí gas giao dịch ngoài chuỗi
    • COGS (Chi phí trực tiếp cho doanh thu): Trả phí gas cho Ethereum Layer1 và trả phần thưởng khai thác cho những người khai thác ZK, những người cung cấp hashrate để tạo bằng chứng ZK.
  2. Tùy chỉnh giải pháp tổng số ZK:
    • Doanh thu: Cung cấp các giải pháp tùy chỉnh cho các ứng dụng đang tìm cách triển khai trên ZK rollup và tính phí dịch vụ.
    • COGS (Chi phí trực tiếp trên doanh thu): Chi phí R&D, khấu hao tài sản vô hình,...

Đánh giá quy mô thị trường

Các giả định chính:

  1. Đề cập đến doanh thu năm 2021 của StarkEx, doanh thu tùy chỉnh được đặt ở mức 55 triệu USD. Xem xét dYdX kết thúc hợp tác với Starkware, doanh thu năm 2022 được chiết khấu.
  2. Doanh thu phí gas hàng năm = Phí gas trên mỗi giao dịch * Số lượng giao dịch, Số lượng giao dịch = Tổng TPS của tất cả các chuỗi ZK Rollup * Thời gian giao dịch hàng năm

Kết quả tính toán như sau: Nguồn: Bing mạo hiểm

Công nghệ cuộn ZK vẫn đang ở giai đoạn đầu. Dự kiến, quy mô doanh thu hàng năm của các nhà khai thác ZK Rollup sẽ đạt mức 1 ~ 10 tỷ USD.

Sự phát triển của các bản tổng hợp ZK phải đối mặt với sự không chắc chắn cao. Là một công nghệ chưa có sự tăng trưởng bùng nổ, chúng vẫn đang chờ được xác nhận về mặt công nghệ cũng như từ quan điểm giá trị và doanh thu. Và rất khó để dự đoán tốc độ tăng trưởng hàng năm. Vì vậy, đánh giá ở trên sẽ chỉ có thể tham khảo theo thứ tự độ lớn.

Bối cảnh cạnh tranh

Dựa trên số liệu thống kê của L2Beat, sự phân chia thị phần hiện tại của lĩnh vực tổng số theo TVL như sau (giả sử rằng TVL bên ngoài Arbitrum và Optimism thuộc về các bản tổng hợp của ZK). Nguồn: Bing mạo hiểm

Các bản tổng hợp OP hiện chiếm phần lớn thị phần của TVL, ~ 80%.

Hiện tại, lĩnh vực cuộn ZK rất tập trung với một số dự án lớn chiếm ~ 99% thị phần. Điều này chủ yếu là do sự phụ thuộc của Starkware vào một số khách hàng lớn của các sản phẩm StarkEx của họ, điều này tạo ra sự thống trị ngay từ cái nhìn đầu tiên:

  • StarkEx sử dụng công nghệ zk-STARK và cho phép chứng minh tương tác cũng như di chuyển ứng dụng dễ dàng hơn so với các dự án khác sử dụng zk-SNARK.
  • StarkEx cung cấp mức độ tùy chỉnh cao hơn. Bằng cách cung cấp các giải pháp tổng số tùy chỉnh cho các dự án nổi tiếng như dYdX và Immutable X, StarkEx đã cải thiện tầm ảnh hưởng của chính mình.
  • StarkEx có mức độ tập trung khách hàng cao với dYdX chiếm hơn 75% TVL.
  • Tuy nhiên, độ dính của các ứng dụng lớn này kém. Ví dụ: đối với dYdX, việc sử dụng StarkEx chỉ là một biện pháp dự phòng và nó đã sẵn sàng chuyển sang Cosmos vào cuối năm 2022, điều này sẽ có tác động lớn đến hiệu suất và thị phần trong ngắn hạn của Starkware.
  • StarkNet, ZK Rollup mã nguồn mở do Starkware xây dựng, hiện có ít TVL, chỉ 3 triệu USD.

Dự kiến sau khi dYdX rời khỏi Starkware, bối cảnh cạnh tranh của ZK rollup sẽ thay đổi rất nhiều.

Con đường kỹ thuật khác nhau

Dữ liệu sẵn có của SNARK/STARK

Biểu đồ bên dưới phân loại các dự án tổng hợp ZK lớn hơn hiện có theo việc sử dụng công nghệ SNARK hay STARK và liệu dữ liệu có sẵn trên chuỗi chính Ethereum hay không. Nguồn: Alvin Leong

Nguồn: Alvin Leong

Khả năng tương thích với EVM

Vitalik chia các giải pháp ZK EVM/rollup hiện có trên thị trường thành năm loại theo mức độ tương thích EVM từ cao đến thấp.

Các loại ZK EVM khác nhau có hiệu suất khác nhau. Nói chung, khả năng tương thích với Ethereum/EVM càng tốt thì quá trình thiết kế và tái cấu trúc sẽ càng dễ dàng hơn khi giảm nhẹ ứng dụng vào chuỗi tổng hợp ZK, nhưng càng khó tạo ra bằng chứng ZK sau này. Nguồn: Trang web của Vitalik Buterin

Nguồn: Trang web của Vitalik Buterin

Xu hướng phát triển ZK Rollup

Tỷ lệ thâm nhập TVL hiện tại của các bản tổng hợp chỉ là 5%, điều này có nghĩa là còn rất nhiều cơ hội để cải thiện theo dõi.

Rollup TVL đã có mức tăng trưởng bùng nổ vào năm 2020, đạt đỉnh 7,5 tỷ USD. Nguồn: L2Beat

Nguồn: L2Beat

Hiện tại, tổng số TVL ở mức 4,3 tỷ đô la, chiếm ~ 5% tổng vốn hóa thị trường của tiền điện tử, với tỷ lệ thâm nhập thấp và còn nhiều cơ hội để cải thiện. Nguồn: DefiLlama

Nguồn: DefiLlama

Các bản tổng hợp có mối tương quan cao nhất với Ethereum về mặt bảo mật trong số tất cả các giải pháp Layer2. Và mức độ bảo mật cũng cao hơn sidechains và public chain mới. Với hiệu suất tương đương hoặc tốt hơn, các bản tổng hợp sẵn sàng trở thành giải pháp mở rộng quy mô thống trị cho Ethereum.

Lộ trình tổng hợp kỹ thuật: OP thích sự cường điệu trong ngắn hạn, trong khi ZK được thiết lập để giành chiến thắng trong dài hạn

Biểu đồ sau đây so sánh các bản tổng hợp OP/ZK về các vấn đề chính ảnh hưởng đến khả năng sử dụng của các giải pháp thay đổi quy mô:

Hiện tại, hầu hết các giải pháp tổng số hiện có là tổng số OP. Từ góc độ TVL, tỷ lệ là OP:ZK = 8:2.

Những tiếng nói chính thống, bao gồm cả Vitalik Buterin, tin rằng các bản tổng hợp OP là lựa chọn tốt hơn trong thời gian ngắn vì chúng có rào cản thấp hơn về chi phí và công nghệ, đồng thời dễ dàng hơn cho các nhà phát triển bắt đầu. Do đó, chúng phù hợp hơn cho giai đoạn hiện tại. Ngược lại, các bản cuộn ZK có rào cản phát triển cao hơn và phù hợp hơn với các khu vực có nhu cầu cao hơn về bảo mật và quyền riêng tư. Về lâu dài, với sự phát triển không ngừng của các công nghệ liên quan đến ZK, các hạn chế của ZK rollup có thể được giải quyết, cho phép chúng giải phóng tiềm năng mạnh mẽ hơn.

Tác giả về cơ bản đồng ý với quan điểm trên và tin rằng những lý do đằng sau tính ưu việt của ZK rollup bao gồm những điều sau đây.

Các bản tổng hợp ZK vượt trội hơn các bản tổng hợp OP về bảo mật

Các bản tổng hợp OP dựa vào đối trọng giữa những người chơi trung thực, người xác minh, người làm giả và những người tham gia khác để bảo mật, trong khi bản tổng hợp ZK dựa vào các cơ chế toán học do thuật toán ZK cung cấp để bảo mật. Cách tiếp cận của ZK rollups nghiêm ngặt và an toàn hơn.

So với logic bảo mật theo dòng của OP rollups, điểm yếu của ZK rollup về cơ bản là kỹ thuật. Với một số lượng lớn nhân sự R&D xuất sắc tham gia nghiên cứu, chúng tôi tin rằng những vấn đề này sẽ được giải quyết.

ZK rollup cho phép thời gian rút tiền ngắn, phù hợp hơn với thói quen của người dùng

Với các bản tổng hợp OP, người dùng cần trì hoãn việc rút tiền trong một tuần kể từ khi yêu cầu. Điều này vốn không trực quan, giống như các từ phức tạp dễ nhớ và chuỗi khóa riêng dài. Các nhà đầu tư tổ chức có thanh khoản cao hơn, vì vậy họ có khả năng chịu đựng cao hơn đối với điều này. Nhưng người dùng cá nhân sẽ nhạy cảm hơn nhiều về điều này.

Ngược lại, ZK rollup cho phép người dùng rút tiền ngay lập tức khi họ muốn. Điều này phù hợp với thói quen sử dụng của người dùng Web2 hơn và có lợi cho việc áp dụng hàng loạt trong tương lai.

ZK rollup có tiềm năng lớn hơn trong các giao dịch riêng tư

Như đã nói ở trên, thương nhân có nhu cầu giao dịch riêng tư. Trong các giải pháp tổng số ZK hiện tại, các thuật toán ZKP chủ yếu được sử dụng để tạo bằng chứng hợp lệ cho các bản dịch ngoài chuỗi. Vẫn chưa xuất hiện các giải pháp tìm cách mã hóa các giao dịch. Thật vậy, để cạnh tranh với các giải pháp mở rộng quy mô khác, các bản tổng hợp ZK bận tâm đến việc giảm kích thước của bằng chứng vì việc tạo bằng chứng đòi hỏi nhiều tính toán và hạn chế hiệu suất của chúng. Do đó, hiện tại, các giao dịch tư nhân không phải là một trọng tâm.

Tuy nhiên, khi giá mã thông báo giảm và Ethereum chuyển đổi sang PoS, dự kiến một lượng lớn năng lượng băm sẽ không hoạt động do doanh thu giảm xuống dưới chi phí. Tại thời điểm này, nếu các bản tổng hợp ZK có thể khai thác phần sức mạnh băm này, thì giới hạn hiện tại về hiệu suất sẽ được giảm bớt đáng kể. Vào thời điểm đó, các dự án tổng hợp ZK sẽ có thể kết hợp các giao dịch riêng tư vào các hệ sinh thái hiện có để tạo ra các điểm tăng trưởng mới dựa trên mức độ quen thuộc cao của chúng với các thuật toán mã hóa ZK.

Do đó, người ta tin rằng với sự cải thiện về tính dễ sử dụng do tiến bộ công nghệ mang lại, các bản cập nhật ZK sẽ thay thế các bản cập nhật OP và trở thành xu hướng chủ đạo của các giải pháp bản cập nhật.

Cạnh tranh khác biệt: Khả năng Rollup as A Service là chìa khóa

Các giải pháp tổng số chính thống hiện tại, cả OP và ZK, đều có tính đồng nhất cao về mặt công nghệ.

Về tổng hợp OP, các kỹ thuật được áp dụng bởi 2 dự án tổng hợp OP hàng đầu Arbitrum và Optimism không khác nhau nhiều về bản chất.

  • Có sự khác biệt trong quy trình xác minh chống gian lận (Arbitrum dựa trên nhiều vòng chứng minh gian lận ngoài chuỗi, trong khi Optimism sử dụng một vòng chống gian lận duy nhất trên L1).
  • Optimism sử dụng máy ảo của Ethereum (EVM), trong khi Arbitrum sử dụng máy ảo của riêng mình (AVM), vì vậy Optimism chỉ có phần biên dịch solidity, trong khi Arbitrum hỗ trợ tất cả các ngôn ngữ Biên dịch EVM (Vyper, Yul, v.v.).

Trong số các dự án tổng số ZK, có rất ít sự khác biệt trong cách họ triển khai các bản tổng số, ngoài việc họ chọn áp dụng zk-STARK hay zk-SNARK. Tất cả chúng đều tạo ZKP cho dữ liệu giao dịch và gửi chúng đến chuỗi chính để xác minh. Sự khác biệt chính chỉ nằm ở khả năng tương thích của chúng với EVM.

Vì vậy, trong bối cảnh này, sự cạnh tranh trong không gian L2 rất khốc liệt. Bất kỳ ai có thể dẫn đầu trong việc nắm bắt phần lớn người dùng đều có cơ hội tạo ra sức hấp dẫn tốt nhất đối với các ứng dụng và trở thành nhóm thanh khoản lớn nhất cho một số mã thông báo, từ đó thu hút nhiều người dùng hơn, sau đó thu lợi từ hiệu ứng mạng và đánh bại các đối thủ khác.

Hầu hết các dự án hiện tại vẫn đang cố gắng thu hút người dùng bằng các đợt airdrop quy mô lớn. Cuộc cạnh tranh này không khác gì giai đoạn đốt tiền trong Web2. Đại khái là khó tiếp tục mãi, không thể xây rào cao. Người dùng bị thu hút bởi đợt airdrop của bạn hôm nay cũng có thể bị cướp đi bởi đợt airdrop lớn hơn của các dự án khác vào ngày mai.

Tuy nhiên, tính đồng nhất về công nghệ không chuyển thành tính đồng nhất về dịch vụ. Các dự án có thể cung cấp một loạt các dịch vụ bổ sung khác nhau ("Rollup dưới dạng dịch vụ") cho các ứng dụng tích hợp ngoài nền tảng rollup, chẳng hạn như:

  • Các giải pháp tùy chỉnh (ví dụ: StarkWare)
  • Hỗ trợ kỹ thuật (ví dụ: ZKSync, Polygon Hermez)
  • Hỗ trợ tài chính (ví dụ: Polygon Hermez)

Tác giả cho rằng trong số các dịch vụ RaaS khác nhau:

  • Trong ngắn hạn, việc cung cấp **các giải pháp tùy chỉnh ** là cách hiệu quả nhất để tăng thu nhập. Ví dụ: tùy chỉnh chuỗi tổng số ZK để tối ưu hóa các đặc điểm cụ thể cho các ứng dụng (chẳng hạn như chuỗi StarkEx riêng lẻ được xây dựng bởi Starkware cho dYdX và các dự án khác).
  • Trong trung và dài hạn, việc cung cấp hỗ trợ phát triển phần mềm mang lại nhiều giá trị bền vững hơn, chẳng hạn như cung cấp cho nhà phát triển SDK (Bộ công cụ phát triển phần mềm) hữu ích.

Do độ khó phát triển phần mềm trên các bản tổng hợp ZK cao hơn nên việc xây dựng các rào cản về vấn đề này với các bản tổng hợp ZK dễ dàng hơn so với các bản tổng hợp OP. Vì Ethereum không thân thiện với ZK, nên việc di chuyển các ứng dụng EVM sang ZK EVM yêu cầu tái cấu trúc mã đặc biệt nặng nề, gây bất tiện cho các nhà phát triển và giảm mức độ sẵn sàng sử dụng các bản tổng hợp ZK của họ.

  • Trong ngắn hạn, các dự án tổng hợp ZK có thể cung cấp các giải pháp tùy chỉnh cho các ứng dụng dựa trên mức độ quen thuộc cao của chúng với việc phát triển ZK, loại bỏ một số khối lượng công việc của chúng, từ đó thu hút các ứng dụng tham gia và tính phí dịch vụ, chẳng hạn như các sản phẩm StarkEx của Starkware.
  • Về lâu dài, các dự án ZK Rollup có thể chuẩn hóa giải pháp, cung cấp cho nhà phát triển SDK để phát triển ứng dụng trên ZK rollup một cách tự do và tốt nhất là cho phép nhà phát triển viết chương trình trên ZK rollup bằng ngôn ngữ mà họ quen thuộc, giảm việc học lại của nhà phát triển chi phí, có lợi cho việc thu hút nhiều nhà phát triển đến định cư và đẩy nhanh quá trình xây dựng hệ sinh thái. Hình dưới đây cho thấy sự khác biệt chính giữa mã hóa dự án ZK Rollup và Ethereum. Hầu hết các dự án sử dụng Solidity để cung cấp cho các nhà phát triển một môi trường phát triển quen thuộc, nhưng có sự khác biệt về khả năng tương thích với mã byte và máy ảo. Nguồn: Ethresear.ch

Vì vậy, khi đánh giá dự án ZK rollup, ngoài việc tập trung vào khả năng tương thích với EVM và hệ sinh thái hiện có của nó, các nhà đầu tư có thể tập trung hơn nữa vào mức độ hấp dẫn của các dịch vụ bổ sung của ZK đối với người dùng, đây có thể là chìa khóa để xác định liệu các dự án có thể giành chiến thắng hay không. tương lai.

Tuy nhiên, việc cung cấp các dịch vụ bổ sung để tạo điều kiện di chuyển ứng dụng dựa trên khả năng tương thích kém của zkEVM và Ethereum EVM. Với sự tiến bộ của công nghệ ZK, về lâu dài, nếu khoảng cách giữa hai bên dần được thu hẹp, giá trị của các dịch vụ bổ sung sẽ tiếp tục giảm. Do đó, khi phân tích các nhà cung cấp SDK tổng hợp ZK bên thứ ba độc lập (như Stackr Network, một dự án khởi nghiệp), các nhà đầu tư nên tập trung nhiều hơn vào tính bền vững doanh thu của họ.

Giới thiệu dự án đại diện

đồ gia dụng

Starkware được thành lập vào năm 2018. Một trong những trưởng nhóm kỹ thuật của họ là Alessandro Chiesa, đồng sáng lập Zcash. Nhóm đã đề xuất một thuật toán ZKP có thể mở rộng mới zk-STARK, chủ yếu dành riêng cho việc cung cấp các giải pháp để mở rộng quy mô chuỗi khối và bảo vệ quyền riêng tư.

Sản phẩm chính là StarkEx, một giải pháp L2 lai tương thích với cả ZK rollup và Validium và người dùng có thể tự do chuyển đổi giữa chúng. Các ứng dụng đã được triển khai hiện bao gồm dYdX (sẽ chuyển sang Cosmos sau), Immutable, Rhino.fi, v.v.

Trong khi đó, nhóm đang phát triển một sản phẩm mới, StarkNet, chuỗi ZK Rollup mã nguồn mở, trong đó bất kỳ người dùng và nhà phát triển nào cũng có thể triển khai hợp đồng thông minh mà không cần sự cho phép của Starkware.

TVL:573 triệu USD(StarEx 534 triệu USD + StarkNet 3 triệu USD)。

Định giá mới nhất là 8 tỷ đô la Mỹ và các nhà đầu tư lịch sử bao gồm Sequoia, Paradigm, Alameda Research và 3AC.

ZKSync(Matter Labs)

Được phân tích như một dự án trọng điểm dưới đây.

vòng lặp

Được thành lập vào năm 2017, Loopring là nhóm đầu tiên trên thế giới triển khai ZK rollup. Sử dụng công nghệ ZK-SNARK, nó cung cấp cho các nhà phát triển giao thức tổng hợp ZK nguồn mở và các nhà phát triển có thể sử dụng nó để thiết lập một sàn giao dịch phi tập trung dựa trên sổ đặt hàng.

Ngoài ra, dự án đã thiết lập một sàn giao dịch phi tập trung và ví tự vận hành trên Loopring ZK rollup, hy vọng sẽ xây dựng một hệ sinh thái Defi tự vận hành hoàn chỉnh hơn trong tương lai.

TVL: 83 triệu USD

Mã thông báo dự án ($LRC) vốn hóa thị trường: 307 triệu USD, các nhà đầu tư lịch sử bao gồm Kosmos Ventures, China Development Capital, v.v.

người Aztec

Aztec được thành lập vào năm 2017, ban đầu tập trung vào quyền riêng tư. Nó đã sử dụng ZK-SNARK để cung cấp cho người dùng cầu nối liên chuỗi riêng tư Aztec Connect, cho phép người dùng truy cập riêng tư vào các dApp trên Ethereum.

Ngoài việc phục vụ lĩnh vực Web3, nó còn hợp tác với các tổ chức tài chính truyền thống như JP Morgan để cung cấp các giải pháp mã hóa ZK nhằm giải quyết các vấn đề bảo vệ quyền riêng tư trong các khu định cư tư nhân.

Vào tháng 3 năm 2021, nó đã ra mắt bản tổng hợp ZK của riêng mình, zk.money.

TVL: 8 triệu USD (Aztec Connect 6 triệu USD + các sản phẩm Aztec khác 2 triệu USD)

Định giá mới nhất không được tiết lộ nhưng dự kiến là 68~102 triệu USD. Tổng số tiền tài trợ là 17 triệu USD. Các nhà đầu tư lịch sử bao gồm Paradigm, Coinbase Ventures, IOSG, v.v.

Đa giác Hermez

Hermez Network khởi đầu là một công ty Defi độc lập. Nó hiện có hai thế hệ sản phẩm:

  • Phiên bản 1.0, được phát hành vào tháng 3 năm 2021, là một nền tảng thanh toán đang hoạt động cho đến ngày nay.
  • Phiên bản 2.0 đang được phát triển. Nhóm đang sử dụng zk-SNARK để phát triển các máy ảo ZK và hợp đồng thông minh xác minh ZK sẽ được triển khai trên mạng chính Ethereum.

Dự án đã thiết lập cơ chế "bằng chứng về sự đóng góp". Trong mỗi giai đoạn, mọi người đặt giá thầu để có quyền tạo khối tiếp theo và 40% thu nhập từ đấu giá sẽ được sử dụng để tái đầu tư vào các dapp trên chuỗi nhằm tăng tốc phát triển hệ sinh thái.

TVL: USD324k

Hermez đã được Polygon mua lại với giá 250 triệu USD vào tháng 8 năm 2021, công ty đã tích hợp đầy đủ Mạng Hermez vào hệ sinh thái Polygon.

cuộn

Scroll được thành lập vào đầu năm 2021. Những người sáng lập cốt lõi đến từ Đại học Bắc Kinh, Thanh Hoa Yao Class và Cambridge.

Mục tiêu của nhóm là phát triển ZKVM lớp 2 (hoàn toàn tương đương với EVM), với sự hợp tác chặt chẽ với Ethereum Foundation. Thử nghiệm sớm ZK Rollup và zk-EVM ra mắt vào tháng 7 năm 2022.

Vòng định giá mới nhất không được tiết lộ, trong khi tổng số tiền tài trợ đạt 33 triệu USD (30 triệu Serie A + Angel 3 triệu), với các nhà đầu tư lịch sử bao gồm Polychain Capital, Bain Capital Crypto, Robot Ventures, Geometry DAO và một số thành viên của Ethereum Foundation.

Phân tích dự án chính: ZKSync (Matter Labs)

Lịch sử dự án

Được phát triển bởi Matter Labs, ZKSync 1.0 đã được phát hành trên mạng chính Ethereum vào tháng 6 năm 2020, với một nền tảng giao dịch nhúng (Zigzag) cung cấp cho người dùng các chức năng như chuyển và đúc NFT.

ZkEVM của nó đã bắt đầu thử nghiệm công khai vào tháng 2 năm 2022, đây là zkVM tương đương EVM đầu tiên xét về ngôn ngữ lập trình. Nó đang được tối ưu hóa với mục tiêu hỗ trợ 99% hợp đồng thông minh được viết bằng Solidity.

Phiên bản ZKSync 2.0 Baby Alpha được phát hành vào ngày 28 tháng 10 năm 2022, với phiên bản zkEVM Alpha tích hợp sẵn. Nó sẽ mở ra cho các ứng dụng trong hệ sinh thái của họ để triển khai, bao gồm trình duyệt, cầu nối chuỗi chéo mới, ví, v.v.

Theo thông báo mới nhất của Matter Labs vào ngày 23 tháng 12 năm 2022, ZKSync 2.0 sẽ bước vào giai đoạn Alpha Launch Công bằng vào Quý 1 năm 2023, mở ra cơ hội triển khai cho các nhà phát triển dApp để họ có thể thử nghiệm và nâng cấp hợp đồng của mình. Thời gian dự kiến kéo dài trong vài tháng. Phiên bản alpha đầy đủ của ZKSync 2.0 sẽ ra mắt vào quý 2 năm 2023 khi nó có sẵn cho người dùng phổ thông.

Sản phẩm chính

TVL:85 triệu USD(ZKSync 50 triệu USD + ZKSpace 35 triệu USD)

ZKSync 1.0: bản tổng hợp ZK dựa trên zk-SNARK, chủ yếu được sử dụng để trao đổi và chuyển mã thông báo và không hỗ trợ hợp đồng thông minh. Do thiếu hỗ trợ hợp đồng thông minh, tỷ lệ chấp nhận ZKSync 1.0 kém so với các giải pháp Layer2 chung khác.

ZKSync 2.0: bản tổng hợp ZK với zkEVM tích hợp, hỗ trợ hợp đồng thông minh và cho phép người dùng phát triển dApps.

ZKSpace: một AMM DEX dựa trên giao thức ZKSwap trên ZKSync.

ZK Porter: một giải pháp L2 mới do ZKSync phát triển, nơi người dùng có thể chọn lưu trữ dữ liệu ngoài chuỗi và có mức độ bảo mật nằm giữa mức độ bảo mật của ZK rollup và Validium và phí gas cho mỗi giao dịch chỉ vài xu.

Siêu liên kết: giải pháp L3 đang được phát triển, nhằm cải thiện khả năng tương tác giữa các chuỗi L2 khác nhau và dự kiến sẽ được phát hành vào quý 1 năm 2023.

Điểm tăng trưởng tiềm năng

Về tùy chỉnh, ZKSync hợp tác chặt chẽ với các dApp Defi nổi tiếng như Uniswap, Maker và 1inch. Trong tương lai, nó có thể tính phí dịch vụ và cải thiện thu nhập ngắn hạn bằng cách cung cấp các giải pháp được tối ưu hóa đặc biệt cho các ứng dụng này.

Đối với phí gas, với việc các ứng dụng này được tích hợp trên ZKSync, chúng sẽ mang lại nhiều khối lượng giao dịch và doanh thu phí gas, đồng thời tăng doanh thu bền vững của ZKSync. Nguồn: ZK_Daily

Nguồn: ZK_Daily

Tokenomics

zkSync chưa phát hành mã thông báo. Matter Labs từng hứa sẽ công bố đề xuất tokenoms của họ vào đầu tháng 11, nhưng nó đã bị trì hoãn cho đến tận bây giờ.

Tài chính lịch sử

Giới thiệu Layer3

Điểm yếu của Layer2

Quay trở lại bộ ba bất khả thi của blockchain đã thảo luận trước đó -- phân cấp, bảo mật và khả năng mở rộng. Mặc dù Ethereum đã từ bỏ khả năng mở rộng trên Layer1, nhưng nó đã đạt được khả năng mở rộng trên thực tế thông qua các giải pháp mở rộng Layer2 khác nhau (sidechains, Layer2, v.v.) bằng cách di chuyển hầu hết các giao dịch ra khỏi chuỗi chính.

Giờ đây, có vẻ như các giải pháp L2 sẽ tăng lên về số lượng và các dự án này với các lộ trình kỹ thuật khác nhau sẽ cùng tồn tại trong một thời gian dài.

Nhưng các giải pháp L2 này khá biệt lập. Rất khó để di chuyển các ứng dụng giữa các chuỗi khác nhau. Điều này sẽ gây ra vấn đề cho Ethereum và các giải pháp khác nhau này.

Phân mảnh thanh khoản

Trong ngắn hạn và trung hạn, thị trường tiền điện tử có quy mô hạn chế. Các chuỗi khác nhau đang phân chia thị trường và khả năng tương tác của chúng rất kém. Do đó, thanh khoản trên mỗi chuỗi sẽ bị phân mảnh, dẫn đến các vấn đề như khó giao dịch và trượt giá.

Ví dụ: AMM Uniswap và SushiSwap đều có trên Ethereum, nhưng cả hai đều đang hoạt động để triển khai trên các chuỗi Lớp 2 riêng biệt (Lạc quan và Đa giác). Do đó, để chuyển mã thông báo ERC-20 từ L2 của Uniswap sang SushiSwap L2, người dùng phải chuyển mã thông báo của mình từ Optimism sang chuỗi chính Ethereum rồi đến Đa giác. Quy trình không hiệu quả này dẫn đến chi phí cao hơn và thời gian xử lý lâu hơn, đôi khi có thể mất vài ngày do một số giao thức Lớp 2 yêu cầu bằng chứng gian lận để hoàn tất giao dịch.

Khó khăn trong giao tiếp

Các chuỗi bên và chuỗi Layer2 khác nhau có các cơ chế xác minh tính hợp lệ và đồng thuận khác nhau. Nói một cách tương đối, các bản tổng hợp OP, Plasma và một số chuỗi bên tập trung vào hiệu suất hầu như đã sao chép EVM, do đó, việc xử lý các gói dữ liệu được gửi bởi các chuỗi khác tương đối dễ dàng hơn, trong khi các bản tổng hợp ZK, Validium và các chuỗi bên tập trung vào quyền riêng tư khác làm giảm khả năng tương thích với EVM. Ngoài ra, có sự khác biệt khá lớn giữa các máy ảo được phát triển bởi các chuỗi khác nhau. Các gói dữ liệu họ gửi có thể khó xử lý đối với các chuỗi khác, khiến việc liên lạc giữa các chuỗi trở nên khó khăn.

Tiêu chuẩn hóa hợp đồng thấp

Mỗi giao thức mới được xây dựng trên Ethereum đều có tiêu chuẩn hóa cao (chẳng hạn như ERC-20, ERC-721, ERC1155...) và các giao thức khác có thể dễ dàng được xây dựng trên chúng, đó là một trong những lý do cho sự phát triển nhanh chóng của DeFi . Nhưng khi các giải pháp mở rộng quy mô khác nhau, đặc biệt là các giải pháp mở rộng dựa trên ZK, dần dần khác với kiến trúc của Ethereum, các tiêu chuẩn hợp đồng giữa các chuỗi khác nhau cũng sẽ khác nhau, gây khó khăn cho việc di chuyển các ứng dụng giữa các chuỗi.

Khả năng kết hợp thấp

Khả năng kết hợp thấp là một vấn đề phát sinh từ những khó khăn trong giao tiếp và tiêu chuẩn hóa hợp đồng thấp. Nó chủ yếu được phản ánh trong sự tương tác giữa các dApp trên chuỗi chính Ethereum và các chuỗi mở rộng khác. Nếu không thể giải quyết tốt các khó khăn về giao tiếp và vấn đề tiêu chuẩn hóa hợp đồng thấp, các dApp cần thiết lập lại hệ sinh thái của riêng chúng trên các chuỗi quy mô khác nhau, điều này sẽ gây lãng phí tài nguyên nhiều hơn.

Dưới ảnh hưởng của các yếu tố này, việc thiếu khả năng tương tác giữa các chuỗi khối khác nhau và các giải pháp lớp 2 đã dẫn đến trải nghiệm người dùng bị phân mảnh cao, điều này có thể cản trở nghiêm trọng việc áp dụng công nghệ chuỗi khối trên quy mô lớn.

Khái niệm lớp 3

Khái niệm "Layer3" được đề xuất để giải quyết vấn đề về khả năng tương tác giữa Layer1 và Layer2 cũng như các chuỗi Layer2 khác nhau**.**

  • Theo định nghĩa, khả năng tương tác (hoặc chức năng chuỗi chéo) có nghĩa là hai chuỗi khối có hệ sinh thái riêng biệt (như Bitcoin và Ethereum) có thể giao tiếp và tương tác mà không cần bất kỳ trung gian tập trung nào.

    Mối quan hệ giữa Layer3 và Layer2 rất khác so với mối quan hệ giữa Layer2 và Layer1. (Các nghiên cứu cho thấy rằng việc xếp chồng cùng một giải pháp chia tỷ lệ để tạo thành cấu trúc ba tầng thường không hoạt động tốt.) Thay vì nén và di chuyển dữ liệu, Layer3 cung cấp nhiều chức năng sáng tạo hơn.

  • Lớp 2 để mở rộng quy mô, Lớp 3 dành cho các tính năng tùy chỉnh (ví dụ: quyền riêng tư): Áp dụng các lớp khác nhau để đáp ứng các yêu cầu tùy chỉnh của các trường hợp sử dụng khác nhau.

  • L2 dành cho mở rộng chung, L3 dành cho mở rộng tùy chỉnh: Chia tỷ lệ tùy chỉnh có thể ở các dạng khác nhau: ứng dụng chuyên dụng được tính toán bằng máy ảo không phải EVM, bản tổng hợp được tối ưu hóa cho định dạng dữ liệu của ứng dụng cụ thể, v.v.

  • L2 dành cho phần mở rộng đáng tin cậy (rollups), Lớp 3 dành cho phần mở rộng đáng tin cậy yếu (Validium): Như đã đề cập trước đó, Validium là một hệ thống sử dụng SNARK để xác thực tính toán nhưng để lại dữ liệu sẵn có cho các bên thứ ba hoặc ủy ban đáng tin cậy. Vitalik tin rằng Validium bị định giá thấp. Ông tin rằng nhiều ứng dụng "chuỗi khối doanh nghiệp" được phục vụ tốt nhất bởi một máy chủ tập trung chạy trình kiểm chứng Validium và định kỳ gửi giá trị băm cho chuỗi chính, cách này kém an toàn hơn nhưng rẻ hơn nhiều.

ZKSync và Layer3

Nhóm ZKSync đã tiến hành nghiên cứu trong Layer3. Họ tin rằng Layer3 sẽ trở thành một hệ sinh thái có thể tùy chỉnh được cung cấp bởi zkEVM, hệ sinh thái này sẽ có khả năng mở rộng vô hạn thông qua khả năng tùy chỉnh không giới hạn và sẽ cải thiện tính bảo mật, hiệu suất, giảm chi phí, dễ lập trình và khả năng kết hợp so với các giải pháp L2 hiện tại.

Dự án Layer3 của ZKSync, HyperLink, sẽ ra mắt mạng thử nghiệm vào quý 1 năm 2023. Vào thời điểm đó, các nhà phát triển có thể chọn ZK rollup, ZK Porter và Validium tùy theo sở thích của họ về hiệu suất, bảo mật và chi phí. Họ cũng cung cấp cho nhà phát triển các tùy chọn tùy chỉnh khác, chẳng hạn như:

  • Các giải pháp riêng tư hoàn toàn có thể tùy chỉnh: dApps có thể chọn lưu trữ riêng tư và lưu hành tất cả dữ liệu (ví dụ: lưu trữ dữ liệu ngoại tuyến).
  • dApps có thể xuất bản các mã thông báo riêng biệt trong Lớp 3 để xây dựng hệ thống kinh tế của họ.
  • Thay thế cầu nối chuỗi chéo của bên thứ 3 bằng cầu nối chuỗi chéo của chính ZKSync để cải thiện tính bảo mật của dApps trên ZKSync Layer2 và Layer3.

Hiện tại, ngoài ZKSync, còn có một số dự án L3 khác đang phát triển các giao thức tương tác để kết nối các chuỗi L2 khác nhau, chẳng hạn như Giao thức Interledger, Giao thức IBC, Quant và ICON. Tuy nhiên, hầu hết các dự án này vẫn đang ở giai đoạn lý thuyết.


Người giới thiệu:

https://www.realvision.com/blog/ethereum-scalability

https://education.district0x.io/General-topics/ethereum-scaling/introduction-to-ethereum-scaling/

https://ethereum.org/en/layer-2/

https://ethereum.org/en/developers/docs/scaling/sidechains/

https://ethereum.org/en/developers/docs/scaling/state-channels/

https://blog.matter-labs.io/zksync-l3-pathfinder-to-hit-testnet-in-q1-2023-367a425592db

https://trends.aax.com/layer-3-solutions-on-bitcoin-blockchain

https://vitalik.eth.limo/General/2022/09/17/layer_3.html

https://blog.hermez.io/introducing-proof-of-donation/

https://vitalik.eth.limo/General/2022/08/04/zkevm.html

https://medium.com/coinmonks/easy-to-respect-ethereum-layer-2-scaling-solutions-channels-vs-plasma-vs-rollups-1dc1d4e9cb52