Bài viết so sánh zkSync và Starkware, giải pháp hai lớp của Ethereum

Biên soạn văn bản gốc: Con đường của Metaverse

Biên soạn văn bản gốc: Con đường của Metaverse

Gần đây @dareal_sisyphe đã xuất bản một bài viết so sánh về giải pháp lớp thứ hai của Ethereum zkSync và Starkware, phân tích nó từ sáu khía cạnh: nhóm, công nghệ, tính sẵn có của dữ liệu, tài trợ và người hỗ trợ, sản phẩm và lộ trình hiện tại cũng như ấn tượng cá nhân. Sau đây là phần tổng hợp của tất cả nội dung.

Nếu nói rằng các bản tổng hợp ZK sẽ rất lớn sẽ là một cách nói quá.

Có hai con thú đã làm việc trên nền tảng công nghệ này trong vài năm. Thời điểm tỏa sáng của họ đang đến. Vì vậy, những cơ hội tồn tại trong lĩnh vực này? Sự khác biệt giữa hai dự án này là gì? Khi nào họ sẽ phát hành tiền xu?

Sau đây là phần so sánh giữa zksync và StarkWare.

Được cảnh báo trước, đây là một chủ đề lớn mà tôi đang cố gắng nắm bắt và tôi có thể đi tắt đón đầu hoặc mắc một số lỗi trong phần giải thích của mình. Vui lòng sửa lỗi cho tôi hoặc đưa ra các đề xuất chính xác hơn trong các nhận xét.

Hiện đã có rất nhiều tài nguyên mô tả chi tiết ZK Rollup là gì và nó khác với Optimistic Rollup như thế nào.

Ở đây, tôi chỉ tập trung vào những điều cơ bản đằng sau zk rollup và sự khác biệt giữa hai người chơi chính trong trò chơi zk - zksync và StarkWare.

Khái niệm cơ bản: Ethereum rn là những gì chúng tôi gọi nó"máy vi tính chip đơn"mô-đun"mô-đun". Điều này có nghĩa là chỉ sử dụng chuỗi khối cho những gì nó làm tốt nhất: sự đồng thuận và chuyển gánh nặng thực thi và tính sẵn có của dữ liệu (DA) ra khỏi chuỗi. Nhưng làm cách nào để chúng tôi di chuyển quá trình thực thi và DA theo cách thừa hưởng đầy đủ tính an toàn của L1?

bản tổng hợp zk: Với bản tổng hợp zk, hàng nghìn tx được nhóm thành một bằng chứng zk duy nhất, có thể xác minh bằng toán học và chỉ bằng chứng này được lưu trữ trên chuỗi.

Tiếp theo, hãy so sánh zksync và StarkWare. Chúng tôi sẽ cố gắng làm rõ ràng và theo các góc dưới đây để so sánh.

• dữ liệu sẵn có

• công nghệ

• dữ liệu sẵn có

• tài trợ và người ủng hộ

• Sản phẩm hiện tại và lộ trình

• Ấn tượng cá nhân và cơ hội

đội và bắt đầu

StarkWare: Bắt đầu vào tháng 5 năm 2018. Nhóm bao gồm các nhà mật mã và nhà khoa học đẳng cấp thế giới. Đội ngũ cốt cán là cựu nhà khoa học trưởng của Zcash, người đã đi tiên phong sáng tạo trong lĩnh vực zk trong nhiều năm. Họ đang biến những lý thuyết học thuật thành những sản phẩm trong thế giới thực thông qua Starknet. Họ chắc chắn là đội nổi tiếng nhất trong trò chơi này.

Zksync: Bắt đầu vào tháng 12 năm 2019. Trên thực tế, trong trường zk có một"tốt thứ hai"công nghệ

công nghệ

Cả hai dự án đều có kiến ​​trúc tương tự nhau, với một hợp đồng thông minh tổng hợp được cắm vào chuỗi khối Eth để lưu trữ bằng chứng zk về chuyển đổi trạng thái L2. Ngoài ra, cả hai đều có 2 tác nhân ngoài chuỗi chịu trách nhiệm cung cấp năng lượng cho mạng.

• Ưu điểm: Một số lượng nhỏ các nút thực hiện công việc nặng nhọc. Họ tính toán tất cả các tx và tổng hợp chúng thành các bằng chứng zk ngắn gọn. Chúng chạy trên phần cứng chuyên dụng và có thể là hộp đen. Tất cả những gì chúng tôi biết là về mặt toán học, chúng không thể giả mạo bằng chứng ZK giả.

• Trình xác thực: Một số lượng lớn các nút chịu trách nhiệm về công việc chống kiểm duyệt. Họ xác minh tính hợp lệ của các bằng chứng được gửi bởi người chứng minh. Không có phần cứng cụ thể được yêu cầu. Mọi người đều có thể chạy.

Ngoài ra, cả hai dự án phải chạy đua để khắc phục một vấn đề kỹ thuật lớn, đó là tạo ra một hệ thống bằng chứng chung về ZK.

Đây là một chén thánh, bởi vì cho đến nay tất cả các dòng ZK đều yêu cầu các ứng dụng cụ thể. Điều này có nghĩa là chỉ có một bản tổng hợp ZK cho mỗi ứng dụng và không tương thích với EVM.

Đoán xem, zksync và StarkWare đều làm điều đó, nhưng khác nhau về mặt kỹ thuật.

StarkWare: Công nghệ mã hóa họ sử dụng dựa trên STARK. Họ là những người tiên phong trong công nghệ này, có hai ưu điểm chính so với SNARK (được sử dụng bởi zkSync):

• "T"nghĩa là"trong suốt", có nghĩa là hệ thống hoạt động mà không cần cài đặt tin cậy. Chúng có thể được sản xuất nhanh gấp 10 lần so với SNARK. Nhưng vấn đề với STARK là công nghệ này không hoàn thiện như SNARK và nếu nó cho phép tính hoàn chỉnh của Turing, sẽ rất khó để làm cho nó tương thích với EVM.

• Ngoài ra, Starkware đã tạo Cairo, một ngôn ngữ lập trình cụ thể cho phép chạy các chương trình tùy ý do STARK cung cấp. Nhưng vì rất ít người sẵn sàng học một ngôn ngữ lập trình mới để thực hiện các hợp đồng thông minh, nên họ hiện đang hợp tác với @nethermindeth để tạo ra Warp, một bộ chuyển mã giúp chuyển đổi liền mạch các hợp đồng thông minh solidity sang Cairo để cho phép @StarkWare tương thích với EVM.

zksync: Hệ thống zk được sử dụng dựa trên SNARK (đặc biệt là PLONK). Do đó, tính bảo mật của toàn bộ hệ thống dựa trên một buổi lễ đáng tin cậy được giới thiệu vào mùa thu năm 2019. Nó liên quan đến nhiều người chơi tiền điện tử nổi tiếng, bao gồm cả Vitalik Buterin. Hệ thống được chứng minh là an toàn nếu ít nhất một trong số những người tham gia trung thực, vì vậy tôi cảm thấy thoải mái khi không phải suy nghĩ"cài đặt đáng tin cậy"Đối số có thể được sử dụng để chống lại zksync.

Mặc dù có nhiều tối ưu hóa bởi nhóm zkSync, SNARK vẫn chậm hơn STARK. Tuy nhiên, hệ thống của họ cho phép tương thích với EVM theo cách tự nhiên hơn so với STARK. Thực tế là các hợp đồng thông minh có thể được chuyển đổi (gần như) opcode-by-opcode bởi trình biên dịch zkSync làm cho zkSync trở nên vững chắc hơn"công dân chính"Tính khả dụng của dữ liệu (DA)

Tính khả dụng của dữ liệu (DA)

zk rollup loại bỏ gánh nặng tính toán txs khỏi L1 và cho phép ETH mở rộng quy mô lên 2-3K tps. Điều đó tốt, nhưng chưa đủ. sử dụng"rollup only"Trong phương pháp này, gánh nặng của DA vẫn còn trên L1 và dữ liệu tx được ghi vào L1 thông qua calldata.

DA là siêu quan trọng. Đây là chìa khóa cho phép bạn xem điều gì đã xảy ra với tx trên Etherscan. Không có điều này, việc thực thi tx sẽ trở thành một hộp đen. Điều này có thể ổn nếu bạn thích tx giá rẻ hơn theo dõi trực tiếp trên L1. Do đó, zk rollup phải cung cấp lựa chọn cho người dùng. Dữ liệu tx của bạn được ghi trên L1, nhưng phí cao hơn một chút hoặc bạn ưu tiên tx siêu rẻ và tin tưởng một tổ chức nào đó trên L2 để đảm bảo tính khả dụng của dữ liệu tx của bạn. Bằng cách này, L1 có thể được giải phóng khỏi gánh nặng của DA và tổng số ZK có thể được mở rộng lên 20-30k TPS.

StarkWare: Giải quyết các thách thức của DA bằng hệ thống Volition. Volition cho phép người dùng cuối lựa chọn giữa giải quyết tổng số tx (DA trên chuỗi) và giải quyết hiệu quả ở cấp độ của một tx (DA ngoài chuỗi). Trong trường hợp giải quyết hiệu quả, DA ngoài chuỗi được kiểm soát bởi một trung tâm"Ủy ban sẵn có dữ liệu"(DAC), một ủy ban bao gồm các thực thể tiền điện tử nổi bật.

Nghe có vẻ giống như tập trung hóa, nhưng đó là sự đánh đổi để có được TX cực rẻ do người dùng cuối tự nguyện lựa chọn.

zksync: Giải pháp cho thách thức DA là zkPorter, một cơ sở hạ tầng sharding hoạt động liền mạch với zk rollup của zkSync. Hãy tưởng tượng rằng bản tổng hợp zkSync là shard0 đảm bảo DA trên chuỗi. Sau đó, các phân đoạn khác có thể chọn các chính sách DA khác nhau và lưu trữ dữ liệu tx ngoài chuỗi.

Sự khác biệt chính giữa Volition của StarkWare và zksync zkPorter là đối với Volition, lựa chọn giải quyết dựa trên tx (người dùng chọn DA cho mỗi tx) và đối với zkPorter, lựa chọn đó dựa trên tài khoản (tài khoản zkPorter chỉ có thể Tạo tx khi ngoại tuyến ĐA).

Ngoài ra, đối với zkPorter, hệ thống DA ngoài chuỗi được phân cấp nhiều hơn, vì DA được khuyến khích bởi mã thông báo gốc zkSync"người bảo vệ"mạng thay vì tập trung"DAC"đảm bảo.

tài trợ và người ủng hộ

StarkWare:

• Vòng hạt giống trị giá 6 triệu đô la (Pantera/Naval/Vitalik) đã hoàn thành vào tháng 5 năm 2018.

• Hoàn thành khoản tài trợ Series A trị giá 30 triệu đô la (Paradigm/Sequoia/Cb Ventures) vào tháng 10 năm 2018.

• Hoàn thành vòng Series B trị giá 75 triệu đô la vào tháng 3 năm ngoái (Mô hình/3AC/Alameda)

• Hoàn thành khoản tài trợ Series C trị giá 50 triệu đô la (Paradigm/3AC/Alameda) vào tháng 11 năm ngoái.

Hiện tại, StarkWare được định giá 2 tỷ USD. Đó là một khoản tài chính tầm cỡ thế giới, với các nhà đầu tư nổi tiếng. Các ông lớn và Ethereum Foundation đều ở trong đó. Bản thân Vitalik cũng bình luận về hầu hết các bài báo do Starkware sản xuất. Shu và Sam cũng ở trong cùng một chiếc thuyền. Làm thế nào một dự án như vậy có thể thất bại?

zksync :

• Hoàn thành khoản tài trợ Series A trị giá 6 triệu đô la Mỹ vào tháng 3 năm ngoái

  （Binance/Cb Ventures/AAVE/ Balancer/Curve）。

• Hoàn thành khoản tài trợ Series B trị giá 50 triệu đô la vào tháng 11 năm ngoái

  (Horowitz/Placeholder/Crypto.com, v.v.).

Ít tên tuổi lớn hơn trong hội đồng quản trị, trông giống như một quỹ gia đình tiền điện tử Defi/CEX lớn. Điều này nghe có vẻ buồn cười, nhưng nó thực sự quan trọng, bởi vì sự thành công của ZK rollup sẽ phụ thuộc rất nhiều vào việc tích hợp các giao thức DeFi và CEX trực tiếp. Vì vậy, tôi rất lạc quan về sự tích hợp nhanh chóng của hệ sinh thái zksync.

Sản phẩm hiện tại và lộ trình

StarkWare đã có một quá trình phát triển đáng kinh ngạc khi họ không ngừng dịch các bài viết về mật mã hàng đầu của mình thành những đổi mới trong thế giới thực. Lộ trình của họ được tóm tắt như sau:

hành tinh"hành tinh"các giai đoạn và cho phép tạo các bản tổng hợp zk dành riêng cho ứng dụng, được phép do Cairo và STARK cung cấp. Nếu bạn không biết, hãy nghĩ đến @dydxprotocol, @Immutable hoặc @deversifi. Vì chúng là 3 ứng dụng chính nên chúng được điều khiển bởi phiên bản sản xuất của StarkEx.

Cho đến nay, StarkEx đã thanh toán hơn 5 triệu tx và 250 tỷ đô la giá trị thông qua các ứng dụng này. Hiệu quả của StarkEx hiện đã được chứng minh và StarkWare sẽ sớm có mặt trên lộ trình"chòm sao"sân khấu. Vào ngày 29 tháng 11, họ đã phát hành phiên bản Alpha của StarkNet trên mạng chính. StarkNet là bản tổng hợp zk có mục đích chung, đa ứng dụng, không cần cấp phép mà chúng tôi đang mong đợi.

Ban đầu, StarkNet sẽ được cung cấp bởi trình xác thực tập trung và các ứng dụng sẽ được triển khai tuần tự thông qua danh sách trắng, giống như Optimism. Do đó, kế hoạch của nó là phát triển hệ sinh thái, và trong lộ trình"vũ trụ"Giai đoạn sẽ phân cấp dần StarkNet.

Lộ trình zkSync được tóm tắt trong 4 bước như sau:

Giai đoạn đầu tiên tương ứng với zkSync 1.0 ra mắt vào tháng 6 năm 2020, gần tương ứng với zk rollup, nhưng không tích hợp hợp đồng thông minh, cho phép gửi và nhận mã thông báo. Mặc dù thiếu khả năng kết hợp, nhưng các dự án đầy hứa hẹn đã được triển khai trên đó và tất cả các chỉ số đều cho thấy sự quan tâm theo cấp số nhân đối với zkSync 1.0.

Giai đoạn thứ hai sẽ được khởi chạy với việc triển khai mạng chính zkSync 2.0, tương ứng với mọi thứ chúng tôi mong đợi: khả năng tương thích EVM đầy đủ trên Zk rollup và khả năng kết hợp của các hợp đồng thông minh.

zkSync 2.0 ban đầu được lên kế hoạch triển khai trên mạng chính vào tháng 8, nhưng các sự cố kỹ thuật đã trì hoãn việc ra mắt. Những khó khăn này hiện đã được giải quyết trên mạng thử nghiệm và vào tháng 10 năm ngoái, zksync đã thông báo rằng họ đã gần hoàn thành các bước kỹ thuật và triển khai một mạng thử nghiệm giống như AMM để chứng minh khả năng tương thích với EVM.

Sự chậm trễ mà Matter Labs đã thực hiện để đảm bảo khả năng tương thích LLVM/Solidity lúc đầu có thể gây khó chịu, nhưng nó sẽ giúp zksync giành được nhiều thời gian vì nó cho phép tất cả các công cụ eth và phần phụ thuộc tích hợp nguyên bản với zkSync 2.0.

Ấn tượng cá nhân và cơ hội

StarkWare thực sự ấn tượng. Đây là dự án cơ sở hạ tầng hứa hẹn nhất mà tôi từng thấy trong một thời gian. Các đội toàn sao, đổi mới đẳng cấp thế giới, tài trợ hàng đầu. Đáng chú ý, họ không chỉ xây dựng ZK Rollup. Họ đang suy nghĩ về mọi thứ. Chúng tôi đã nói về Cairo và Warp. Nhưng họ cũng đang làm việc để mang lại tính ngẫu nhiên thực sự cho ETH với Veedo, giao tiếp từ L1 đến L2 thông qua tx có điều kiện, các khoản vay chớp nhoáng hàng loạt và các công cụ tuyệt vời khác. họ dùng"AMM phân tán"Các phương pháp giải quyết sự phân mảnh di động của AMM giữa L1 ​​và L2 thực sự đáng khích lệ. Họ đang tìm kiếm trên toàn cầu.

Vấn đề kỹ thuật duy nhất tôi gặp phải với StarkWare hiện tại là tích hợp Solidity thông qua bộ điều hợp Warp. Starknet được tối ưu hóa cho Cairo trước tiên và bộ phát đáp Solidity đã được thêm vào bên trên nó. Tôi không phải là một techie mạnh mẽ nhưng tôi lo lắng"dịch rắn"Nó sẽ không đơn giản trong mọi trường hợp và nó có thể gây ra sự cố tương thích với một số hợp đồng thông minh.

Ngoài ra, những câu hỏi khác mà tôi thấy là: Đâu là cơ hội cho dân thường chúng ta? StarkWare đã trị giá 2 tỷ đô la, nhưng hiện tại không có kế hoạch ra mắt mã thông báo công bằng.

Mặt khác, tôi cũng thích cách tiếp cận ưu tiên cộng đồng của zksync và sự hỗ trợ của nó đối với"Đoàn kết như một công dân chính"nhấn mạnh. Toàn bộ nỗ lực kỹ thuật của họ dựa trên trải nghiệm EVM thực sự mà không có bất kỳ sự đánh đổi nào, điều này có thể sẽ được đền đáp về mặt áp dụng. zksync cũng được tích hợp sâu với bối cảnh Defi/CEX hiện tại, đây là tín hiệu tốt cho việc giới thiệu và áp dụng giao thức trong tương lai.

Về cơ hội, zkSync đã thông báo về sự tồn tại của mã thông báo gốc và họ sẽ có một đợt phát hành mã thông báo công bằng và tiềm năng phát sóng vào một thời điểm nào đó trong tương lai. Điều này cực kỳ tuyệt vời đối với cộng đồng, nhưng tôi có cảm giác rằng mã thông báo gốc Zk rollup sẽ bị quá tải vì mọi người và nhóm của họ đang chờ đợi nó.

Tôi cũng muốn StarkWare tham gia"vũ trụ"giai đoạn khởi chạy mã thông báo gốc. Bởi vì họ sẽ phải phi tập trung hóa mạng của mình vào một thời điểm nào đó và khuyến khích những người chứng minh.

Tất cả những gì đã nói, ý kiến ​​​​của tôi là việc thực thi ấn tượng nhất đối với zk rollup đến từ StarkWare, nhưng sự rung cảm của cộng đồng cơ sở/nguồn mở khiến zksync hấp dẫn hơn đối với tôi.

Dưới đây là những ghi chú cá nhân cuối cùng của tôi:

Về mặt cơ hội, có lẽ chúng ta nên chuyển trọng tâm của mình khỏi các mã thông báo gốc của các bản tổng hợp và hướng tới các dự án mới nổi sẽ tìm thấy cơ sở người dùng trên các bản tổng hợp này. ETH là một sự thay đổi mô hình và các dự án cố gắng sao chép các đơn đặt hàng trên chuỗi đã nhanh chóng được thay thế bằng các mô hình AMM phù hợp hơn với môi trường mới này. Tương tự như vậy, các bản tổng hợp ZK là một sự thay đổi mô hình đối với ETH và có thể (chỉ có thể thôi), sao chép AMM trên các bản tổng hợp là một ý tưởng chậm phát triển; có thể TVL sẽ không phải là thước đo quan trọng đối với các bản tổng hợp; có lẽ CLOB đáng để xem xét lại.

Đây là những ví dụ đặc biệt, nhưng ý tưởng là có lẽ cơ hội tốt nhất nằm trong các dự án tận dụng các bản tổng hợp này để thực hiện những điều không thể thực hiện được trên L1, thay vì sao chép những gì đã có.

Nếu bạn đã làm được điều này cho đến nay, xin chúc mừng.