Zonff Partners Research: Bài luận dài 4 từ ghi lại giá trị của kỷ nguyên ZK Rollup
Tác giả gốc: Lewis Liao
Nguồn gốc: Zonff Partners
Hướng dẫn:Thư mục bài viết
Thư mục bài viết
1. Tại sao phải chú ý đến Tổng hợp Zero-Knowledge (ZK)?
So sánh các chương trình Lạc quan và ZK
chữ
chữ
chữ
Điểm đau của ZK Rollup
chữ
chữ
chữ
Hướng tới các vấn đề cộng đồng
tiêu đề cấp đầu tiên
Tại sao lại tập trung vào Tổng hợp Zero-Knowledge (ZK)?
Mật mã Zero-Knowledge (Không tri thức) được gọi là một trong những công nghệ bị đánh giá thấp nhất trong thế hệ chúng ta. Tuy nhiên, công nghệ này là một bước đột phá tuyệt vời mang lại sự đảm bảo quyền riêng tư có giá trị cho kỷ nguyên dữ liệu lớn, nơi thông tin cá nhân không có nơi nào để che giấu.
Mật mã không kiến thức là một chủ đề rộng, nhưng trong bài viết này, chúng tôi chỉ tập trung vào một lĩnh vực có liên quan nhất đến chuỗi khối: bằng chứng không kiến thức. Bằng chứng không kiến thức là một đối số kiến thức không tương tác, không kiến thức, giả định hai bên: người chứng minh và người xác minh. Người chứng minh muốn chứng minh với người xác minh rằng họ biết một số thông tin, nhưng không tiết lộ thông tin đó là gì. Đồng thời, người xác minh sẽ xem xét bằng chứng và chấp nhận hoặc từ chối nó.
Các lược đồ này có ba thuộc tính:
Tính đầy đủ: Bất kỳ kết quả hợp lệ nào cũng có thể chứng minh rằng một chương trình đã cho
Mạnh mẽ: không kẻ gian dối nào có thể tạo ra bằng chứng hợp lệ
Zero-kiến thức: người xác minh không biết gì về đầu vào của bằng chứng, chỉ biết kết quả
Khả năng chứng minh một tuyên bố mà không tiết lộ sự thật của nó là một yếu tố nguyên thủy mạnh mẽ trong lĩnh vực chuỗi khối, được hiển thị công khai trên tất cả các chuỗi dữ liệu. Cho dù đối với cá nhân, doanh nghiệp hay chính phủ, công nghệ này có thể giải quyết nhiều điểm khó khăn trong thế giới thực, chẳng hạn như bảo vệ dữ liệu người dùng, thiết kế các hệ thống hoặc hợp đồng nhạy cảm, chứng minh sự công bằng trong phân phối hàng hóa công cộng và đạt được các cơ quan chính phủ kinh tế hiệu quả hơn .
Trong lĩnh vực blockchain, ngoài việc được áp dụng để bảo vệ quyền riêng tư, ứng dụng bắt mắt nhất là ZK Rollup, kế hoạch mở rộng của Ethereum. Hiện tại, Ethereum đang áp dụng giải pháp mở rộng tập trung vào cuộn, phản ánh sự đánh đổi tối ưu trong phân cấp, bảo mật và khả năng mở rộng. Về cơ bản, các bản nâng cấp Ethereum sẽ làm cho mạng có khả năng mở rộng, bền vững và an toàn hơn.
Sơ đồ mở rộng của Ethereum được chia thành mở rộng trên chuỗi và mở rộng ngoài chuỗi.
Công nghệ mở rộng trên chuỗiNó là một bản nâng cấp cho lớp cơ sở chuỗi khối để cải thiện khả năng mở rộng. Giải pháp mở rộng quy mô trên chuỗi dài hạn của Ethereum được gọi là sharding, giải pháp này thực sự chia lớp cơ sở thành 64 chuỗi, với chuỗi đèn hiệu đảm bảo bảo mật được chia sẻ.
Mở rộng quy mô ngoài chuỗi đề cập đến các giải pháp mở rộng quy mô sử dụng lớp thực thi bên ngoài thay vì lớp cơ sở. Các Lớp 2 hoặc "L2" này là các lớp phụ trợ nằm trên lớp cơ sở và cung cấp nhiều khả năng giao dịch hơn cho toàn bộ chuỗi khối.
Giải pháp L2 được Ethereum áp dụng là Rollup, có thể mang lại các tính năng sau:
Thông qua Rollup, Ethereum có thể tăng từ khoảng 25 TPS lên 3.000 TPS mà không làm mất tính bảo mật;
Với Rollup, tiền của người dùng không thể bị đánh cắp hoặc kiểm duyệt (như trường hợp của một số chuỗi bên);
Người dùng luôn có thể truy cập dữ liệu trên L1 và không ai có thể ngăn tiền của người dùng thoát khỏi Rollup một cách an toàn bất kỳ lúc nào;
Có hai loại Tổng số (chính) trong các giải pháp hiện tại:
tiêu đề phụ
So sánh các chương trình lạc quan và ZK
Optimistic Rollup là một giải pháp trưởng thành hơn ZKRU. Các sản phẩm từ Optimtic và Arbiturm hiện có sẵn cho các nhà phát triển Ethereum. Tuy nhiên, do sử dụng cơ chế chống gian lận, thời gian rút tiền và tính bảo mật của nó hiện đang bị nghi ngờ và khả năng tối ưu hóa chi phí của nó cũng kém hơn một chút so với ZK. Điểm yếu của ZK Rollup về cơ bản là các vấn đề kỹ thuật.Với một số lượng lớn các nhà phát triển xuất sắc đầu tư vào nghiên cứu liên quan, hầu hết mọi người, kể cả Vitalik, đều đồng ý rằng ZK Rollup sẽ là một giải pháp mở rộng tốt hơn trong tương lai.
Mô tả hình ảnh
Mô tả hình ảnh
Nguồn: Xiang｜W3.Hitchhiker, tiền đề của phép tính trên là giá ETH hiện tại là 2500u, giới hạn gas khối là 30000000, phí gas là 30Gwei và thời gian tạo khối trung bình là 13 giây. Giới hạn TPS có nghĩa là môi trường hoạt động tương ứng chiếm tất cả không gian Khối Ethereum (500.000 gas được sử dụng để xác minh bằng chứng), TPS thông thường có nghĩa là môi trường hoạt động tương ứng chiếm 1/3 không gian khối của tất cả Ethereum.
Về hiệu quả chi phí,Sơ đồ ZK hiệu quả hơn sơ đồ OR, với TPS cao hơn và chi phí thấp hơn.
Về chi phí thời gian, do cơ chế chứng minh gian lận, việc rút tiền trên Optimtisc Rollup yêu cầu thời gian gửi từ 7-14 ngày để những người khác giả mạo hành vi nguy hiểm tiềm ẩn. Mặc dù đã có các cơ chế nhóm thanh khoản được đề xuất bởi các giải pháp Optimtic Rollup như Mạng Boba để giảm thời gian rút tiền.
Về khả năng tương thích,Cả Optimsitic và ZK đều phải đối mặt với vấn đề về khả năng tương thích và thích ứng của các hoạt động gọi hợp đồng EVM phức tạp, nhưng Optimtic dễ thực hiện hơn.Các giải pháp OR bao gồm Arbiturm và Optimsim đều có các máy ảo tương thích với EVM, cho phép chúng xử lý Ethereum chính Tất cả các giao dịch mà xảy ra trên chuỗi.
Một trong những vấn đề chính hạn chế sự phát triển của ZK Rollup là khả năng tương thích của Ethereum EVM.Khi bắt đầu thiết kế EVM, các nhà phát triển không biết rằng công nghệ ZK sẽ được sử dụng trong tương lai.Các hoạt động của EVM gần như không thể tạo ra các bằng chứng không kiến thức có thể sử dụng được, do đó làm nảy sinh nhu cầu về ZK-EVM. Nhiều người cho rằng sẽ mất ít nhất vài năm để nhận ra ZKSync 2.0, nhưng mạng thử nghiệm công khai ZKSync 2.0 đã chính thức ra mắt vào cuối tháng 2. Đây cũng là Bản tổng hợp ZK tương thích với EVM đầu tiên trên mạng thử nghiệm Ethereum. triển khai chính thức trên quy mô lớn của ZK Rollup Sử dụng nhanh hơn một chút so với chúng tôi nghĩ.
Tại sao khả năng tương thích EVM lại khó đối với ZK?
Hầu hết các giải pháp ZK Rollup hiện có chỉ có thể hỗ trợ các kịch bản thanh toán và Swap đơn giản. Lý do là, ngoài việc thực thi bình thường mã byte của hợp đồng thông minh, ZKEVM còn cần tạo Bằng chứng để chỉ ra rằng trạng thái đã được cập nhật chính xác sau khi giao dịch hoàn tất. nguyên tắc thuật toán của bằng chứng ZK, cả hai đều rất tương thích.
Về mặt bảo mật, tính bảo mật của OR xuất phát từ kinh tế. Một cơ chế khuyến khích hợp lý phải được thiết kế để thúc đẩy một nhóm người xác thực trên chuỗi chính giám sát người gửi bất cứ lúc nào và chuẩn bị gửi bằng chứng gian lận. Người gửi cũng cần phải thông qua các cam kết, v.v. Phương pháp đảm bảo rằng nút sẽ phải trả giá tương ứng cho việc làm ác. Đối tác Zonff
lợi thế
lợi thế
Chứa ít dữ liệu hơn trong mỗi giao dịch, tăng thông lượng lớp 2 và khả năng mở rộng, khả năng mở rộng lớn hơn và lợi ích về chi phí giao dịch thấp hơn so với Bản tổng hợp lạc quan;
Không cần ai giám sát ZKR;
Không cần thời gian tranh chấp gian lận như trong Optimistic Rollups, giảm thời gian rút tiền từ khoảng 2 tuần xuống còn vài phút;
sự thiếu sót
sự thiếu sót
Khó khăn trong việc tính toán bằng chứng không kiến thức sẽ yêu cầu tối ưu hóa dữ liệu để có thông lượng tối đa;
Ban đầu, việc xây dựng và tích hợp vào mạng Ethereum khó hơn so với các bản tổng hợp lạc quan;
Nói một cách tương đối, điểm yếu của ZK Rollup về cơ bản là các vấn đề kỹ thuật, với một số lượng lớn các nhà phát triển xuất sắc đầu tư vào nghiên cứu liên quan, tôi tin rằng những vấn đề này sẽ được giải quyếttiêu đề cấp đầu tiên
tiêu đề phụ
ZK Rollups so sánh người chơi chính
Có hai người chơi chính trong không gian công nghệ ZK Rollup:zkSync và StarkWare
Bảng dưới đây hình dung một số khác biệt lớn trước đây giữa hai bên về đội ngũ, công nghệ, dữ liệu sẵn có, tài trợ và người ủng hộ, cũng như các sản phẩm và lộ trình hiện tại.
Từ quan điểm của đội,StarkWare mang tính hàn lâm hơn, nhóm bao gồm các nhà mật mã học và nhà khoa học đẳng cấp thế giới, những người đã đi tiên phong và đổi mới trong lĩnh vực không kiến thức trong nhiều năm, đã xuất bản nhiều bài báo học thuật và đang biến nó thành một sản phẩm thực sự của StarkWare; nhóm zkSync là không thể tìm thêm thông tin, nhưng đánh giá từ việc phát hành sản phẩm của nó, nó có khí chất của một người chơi đa ngành và hiệu quả cao.
Về mặt kỹ thuật,StarkWare nói chung là một công nghệ tốt hơn và nó cung cấp tính hữu hạn của chuỗi khối, điều đó có nghĩa là hiệu quả sử dụng vốn của nó là tối ưu. Ngoài ra, những ưu điểm chính của STARK là:
Phát minh và xây dựng hệ thống ZK-STARK của riêng họ, trong khi kho công nghệ của zkSync được xây dựng bởi những người khác (PLONK do Aztec xây dựng). Điều này cũng có nghĩa là StarkWare nắm bắt công nghệ và khả năng cải tiến công nghệ mạnh mẽ hơn;
Hiện đã có một số hệ thống đang chạy trong sản xuất bằng cách sử dụng ngôn ngữ lập trình hoàn chỉnh Turing có tên là Cairo, sẵn có. Matter Labs chỉ có một hệ thống thanh toán đơn giản trong quá trình sản xuất và không có sẵn ngôn ngữ hoàn chỉnh Turing;
nhanh hơn, an toàn hơn (theo nghĩa mã hóa), minh bạch (không yêu cầu thiết lập đáng tin cậy) và bảo mật sau lượng tử, trong khi công nghệ cốt lõi được sử dụng bởi Matter Labs (do nhóm khác xây dựng) chậm hơn, yêu cầu thiết lập đáng tin cậy và có thể bị máy tính lượng tử phá vỡ;
Xét về tính sẵn có của dữ liệu,StarkWare đi tiên phong trong hệ thống Volition để giải quyết vấn đề DA. Volition cho phép người dùng cuối lựa chọn giữa sơ đồ tổng số (tính khả dụng của dữ liệu trên chuỗi) và sơ đồ xác thực (tính khả dụng của dữ liệu ngoài chuỗi) cho mỗi giao dịch. zkSync sử dụng công nghệ zkPorter dựa trên Volition.Sự khác biệt chính là trong giải pháp Volition, người dùng có thể chọn phương thức lưu trữ dữ liệu dựa trên từng giao dịch, trong khi ở giải pháp zkPorter, người dùng có thể chọn phương thức thanh toán giao dịch dựa trên từng tài khoản (zkPorter tài khoản chỉ có thể là cách DA để tạo giao dịch). Ngoài ra, hệ thống DA off-chain của zkPorter phi tập trung hơn, vì DA của nó được bảo mật bởi mạng Người giám hộ (Guardian) được khuyến khích bởi mã thông báo gốc zkSync, thay vì "DAC" tập trung.
Về tài trợ và hỗ trợ,StarkWare được định giá 2 tỷ đô la và đang huy động một vòng Series D với mức định giá 6 tỷ đô la. Đây là mức tài chính đẳng cấp thế giới, với nhiều nhà đầu tư nổi tiếng. Những người ủng hộ nó bao gồm một số ông trùm và thành viên của Quỹ Ethereum, và bản thân Vitalik đã xem xét hầu hết các bài báo được xuất bản bởi StarkWare. So với StarkWare, zkSync có tương đối ít nhà đầu tư nổi tiếng và trông giống như một khoản tài trợ lớn cho nhà tiền điện tử Defi/CEX. Mỗi dự án này đều nổi tiếng và cùng nhau chúng có thể tạo thành một hệ sinh thái rất tốt. Tuy nhiên, điều này rất quan trọng, 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à tích hợp trực tiếp với CEX.
Từ sản phẩm và lộ trình hiện tại,Vào tháng 6 năm 2020, StarkWare lần đầu tiên ra mắt StarEx, tương ứng với giai đoạn "Các hành tinh" trong lộ trình của họMô tả hình ảnh
Nguồn: StarkWare
Nguồn: StarkWare
Vào ngày 29 tháng 11 năm 2021, họ đã phát hành phiên bản Alpha của mạng chính StarkNet, nhanh chóng phát triển hướng tới giai đoạn "Chòm sao" (Constellations) trong lộ trình. StarkNet là ZK Rollup đa ứng dụng, không cần xin phép mà chúng tôi mong đợi. Tính đến tháng 3 năm 2022, mạng thử nghiệm StarkNet Goerli đã tạo ra tổng cộng 1,4 triệu giao dịch và mạng chính đã tạo ra tổng cộng 45.000 giao dịch. Về triển khai hợp đồng, có 26.000 hợp đồng trên mạng thử nghiệm Goerli và 1.600 hợp đồng trên mạng chính.
Trong giai đoạn sơ bộ, StarkNet sẽ được điều khiển bởi một trình chứng minh tập trung và các ứng dụng sẽ cần đăng ký danh sách trắng để được triển khai tuần tự, như Lạc quan. Kế hoạch của họ là phát triển hệ sinh thái và dần dần phi tập trung hóa StarkNet để đạt được giai đoạn "Vũ trụ" của lộ trình.
Lộ trình của zkSync có thể được tóm tắt thành 4 bước sau.Mô tả hình ảnh
Mô tả hình ảnh
Nguồn: Phòng thí nghiệm vật chất
tiêu đề phụ
Ưu điểm của ZK Rollup
Giải pháp ZK Rollup có thể mang lại một số lợi thế độc đáo, chẳng hạn như bảo vệ quyền riêng tư, khả năng mở rộng dành riêng và hiện thực hóa các ứng dụng chuỗi chéo.
Quyền riêng tư là một trong những ưu điểm và đặc điểm của ZK Rollup
Các chuỗi khối không cần cấp phép có thể đạt được tính toàn vẹn trong tính toán mà không cần tin tưởng vào bên thứ ba, nhưng chúng phải trả giá về khả năng mở rộng và quyền riêng tư. Bắt đầu từ những năm 1980, công trình lý thuyết về các hệ thống chứng minh như bằng chứng không kiến thức, bằng chứng tương tác và bằng chứng có thể kiểm tra theo xác suất đã làm sáng tỏ các con đường dẫn đến cả hai vấn đề và thể hiện chúng trong các ứng dụng thực tế;
Duy trì khả năng mở rộng mang lại cho các nhà phát triển về mặt lý thuyết sức mạnh tính toán gần như vô hạn
Điều này cho phép ghép tất cả các hệ sinh thái trên Internet, chẳng hạn như trò chơi chiến đấu, điều khó thực hiện trên Ethereum trước đây, nhưng ZK Rollup có thể thay đổi điều này. Ngoài ra, siêu năng lực tính toán kết hợp với các đặc tính của chuỗi khối cũng có thể tạo ra nhiều ứng dụng mới;
Cái còn lại là các ứng dụng xuyên chuỗi, một trong những đại diện của ZK Rollup, StarkNet có các chức năng bắc cầu rất đa dạng
tiêu đề phụ
Điểm đau của ZK Rollup
Mặc dù ZK Rollup là một giải pháp mở rộng Ethereum rất tốt, nhưng ứng dụng của nó vẫn đi kèm với một số rủi ro, chẳng hạn như phân mảnh thanh khoản, các vấn đề về giao tiếp và các rào cản kỹ thuật để giảm rủi ro về khả năng tổng hợp và tập trung hóa.
Vấn đề phân mảnh thanh khoản ngày càng trở nên nổi bật trong cấu trúc đa chuỗi hiện tại và đây không phải là vấn đề duy nhất mà các ứng dụng ZK Rollup gặp phải
Do sự tồn tại của các giải pháp kỹ thuật khác nhau, sẽ có nhiều mạng tổng hợp hơn trong tương lai, điều này sẽ dẫn đến sự phân mảnh thanh khoản nghiêm trọng hơn. Tin tốt là có nhiều giải pháp công nghệ giao tiếp xuyên chuỗi để giải quyết vấn đề này, chẳng hạn như StarGate do LayerZero ra mắt vào tháng 3 năm 2022 (lưu ý rằng StarGate hiện không hỗ trợ ZK Rollup). Trên tiền đề đảm bảo an ninh, LayerZero đang mang đến cho chúng ta một "tương lai toàn chuỗi", bao gồm chia sẻ trạng thái, thanh khoản cầu nối thống nhất, cho vay xuyên chuỗi, hoán đổi và tổng hợp doanh thu đa chuỗi;
Vấn đề về khả năng kết hợp chủ yếu được phản ánh trong sự tương tác giữa dapp chuỗi chính và dapp chuỗi phụ
Mọi giao thức mới được xây dựng trên Ethereum giống như những viên gạch Lego mà các giao thức khác có thể dễ dàng xây dựng trên đó, đó là một trong những lý do khiến DeFi đang phát triển nhanh chóng. Nếu các vấn đề về tiêu chuẩn giao tiếp và hợp đồng không thể được giải quyết, các dapp trên chuỗi con cần phải thiết lập lại hệ sinh thái của chính chúng, điều này gây ra sự lãng phí tài nguyên lớn hơn. Không chỉ giữa chuỗi phụ và chuỗi chính, mà giữa chuỗi phụ và chuỗi phụ cần xây dựng cơ chế giao tiếp và tiêu chuẩn hợp đồng tương ứng;
Nguy cơ tập trung chủ yếu là do trong các giải pháp Rollup khác nhau hiện tại
tiêu đề cấp đầu tiên
Tương lai của quy mô trông như thế nào
Trong lộ trình mở rộng của Ethereum, nó mô tả một kịch bản mở rộng trong đó Ethereum tập trung vào Bản tổng hợp lạc quan trong thời gian ngắn và "Sharding + ZK Rollup" trong trung và dài hạn.
Nhìn chung, Rollup chắc chắn là sự lựa chọn tốt nhất để mở rộng Ethereum. Tính năng lớn nhất của nó là bảo mật và khả năng mở rộng. Mặc dù cần có thời gian để nghiên cứu kỹ thuật về khả năng lập trình, nhưng trong trung và dài hạn, đây là một nhiệm vụ rất quan trọng. Công nghệ mở rộng lý tưởng, sự kết hợp giữa Ethereum sharding và ZK Rollup, sẽ phá vỡ cái gọi là tam giác bất khả thi, đồng thời, việc giới thiệu zkEVM có thể tính đến khả năng lập trình và giúp các nhà phát triển chuyển sang lớp thứ hai dễ dàng hơn.
Trong trung và dài hạn, khi công nghệ ZK-SNARK được cải thiện, các bản tổng hợp ZK sẽ giành chiến thắng trong mọi trường hợp sử dụng. — Vitalik Buterin
tiêu đề phụ
sự cố kỹ thuật
Phần trên đã giải thích ngắn gọn các sự cố kỹ thuật của ZK Rollup và đây là một số chi tiết bổ sung.
Về vấn đề tương thích, vấn đề kỹ thuật của ZK Rollup là nó không thân thiện với nhà phát triển, dẫn đến chức năng bị hạn chế, trước đây rất khó để xây dựng một DApp đa năng chủ yếu do hai lý do sau.
Trước tiên, nếu bạn muốn phát triển DApp trong ZK Rollup, bạn cần sử dụng một ngôn ngữ đặc biệt (cụ thể là R1CS) để viết tất cả logic hợp đồng thông minh của mình. Không chỉ cú pháp của ngôn ngữ được yêu cầu phức tạp, mà làm như vậy còn đòi hỏi chuyên môn chứng minh kiến thức cực kỳ mạnh mẽ;
Thứ hai, ZK Rollup không hỗ trợ khả năng kết hợp. Điều này có nghĩa là các ứng dụng ZK Rollup khác nhau không thể tương tác với nhau trong Lớp 2. Chất lượng này làm suy yếu đáng kể khả năng kết hợp của các ứng dụng DeFi;
Có hai cách để xây dựng một DApp có mục đích chung trong ZK Rollup. Một là xây dựng một mạch chuyên dụng "ASIC" cho các DApp khác nhau. Đây là con đường được thông qua bởi ZK Rollup ban đầu. Nó tương ứng với giai đoạn toàn cầu của StarkWare và các ứng dụng không thể tương tác. Hai là xây dựng một mạch "EVM" chung để thực thi hợp đồng thông minh và StarkWare và zkSync hiện đang đạt được tiến bộ lớn trong việc giải quyết vấn đề này.
Đánh giá từ tình hình hiện tại, sự phát triển của StarkWare đang ở giai đoạn "Chòm sao" (Constellations). Vào tháng 9 năm 2021, StarkWare đã công bố ra mắt Bản tổng hợp ZK đa ứng dụng, không cần xin phép và hỗ trợ các hợp đồng thông minh thông qua ngôn ngữ Cairo. Quá trình phát triển zkSync cũng đang ở giai đoạn thứ hai. Vào tháng 2 năm 2022, mạng thử nghiệm zkSync 2.0 sẽ được ra mắt. Quá trình thử nghiệm liên tục sẽ đảm bảo khả năng tương thích LLVM/Solidity, tương thích hoàn toàn với EVM và đảm bảo khả năng kết hợp của các hợp đồng thông minh.
Lưu ý rằng về giải pháp, StarkWare và zkSync áp dụng hai giải pháp kỹ thuật hoàn toàn khác nhau.
StarkWare đã sử dụng Cairo, một ngôn ngữ lập trình Turing hoàn chỉnh mới và hợp tác với OpenZeppelin để phát triển các hợp đồng được tiêu chuẩn hóa, giống như họ đã hợp tác với Ethereum, có nghĩa là họ áp dụng các tiêu chuẩn hợp đồng mới để đạt được khả năng kết hợp. Đây chắc chắn là một quyết định táo bạo, vì nó sẽ làm tăng đáng kể chi phí gia nhập cho các nhà phát triển.Hiện tại, nhóm Warp của Nethermind đang giúp các nhà phát triển chuyển đổi hợp đồng ERC-20 từ mã byte EVM sang hợp đồng StarkNet và triển khai chúng trên StarkNet. Công việc này đang tiến triển nhanh chóng và mục tiêu tiếp theo của nó là chuyển các hợp đồng thông minh tùy ý từ Yul sang Cairo.
zkSync sử dụng sơ đồ zkEVM để đạt được khả năng tương thích với EVM. Đối với zkEVM, hiện tại có hai chiến lược triển khai chính:
Nó hỗ trợ trực tiếp tập lệnh hiện có của EVM và hoàn toàn tương thích với tập lệnh solidity. Những người sử dụng phương pháp này bao gồm Hermez và Ethereum Foundation zkEVM;
Nói chung,
Nói chung,Chiến lược đầu tiên có khả năng tương thích tốt hơn và bảo mật cao hơn, nhưng khối lượng công việc lớn hơn, Hermez áp dụng sơ đồ này;Chiến lược thứ hai linh hoạt hơn và đòi hỏi ít công việc hơn, nhưng đòi hỏi nhiều nỗ lực hơn trong việc thích ứng, zkSync sẽ áp dụng sơ đồ này. zkSync cũng phát triển hai giao diện người dùng biên dịch cho zkEVM: Yul và Zinc. Khi xây dựng trình biên dịch của riêng mình, zkSync đã chọn LLVM. Các vấn đề về khả năng tương thích LLVM/Solidity là lý do chính khiến zkSync 2.0 sẽ không được ra mắt như dự kiến vào tháng 8 năm 2021. Đây cũng là trọng tâm khắc phục các sự cố trong quá trình ra mắt mạng thử nghiệm zkSync 2.0 hiện tại.
StarWare có vẻ kém tương thích với Cairo, đây có phải là một thiếu sót của StarkWare? Không thực sự.
StarWare sử dụng ngôn ngữ Cairo để chuyển logic hợp đồng thông minh sang Rollup. Mặc dù ngôn ngữ mới làm tăng chi phí gia nhập của nhà phát triển ở một mức độ nào đó, nhưng nhiều tính năng của Cairo có thể giúp ZK được tích hợp một cách trang nhã hơn vào hệ sinh thái chuỗi khối, chẳng hạn như ngôn ngữ Cario có hỗ trợ AIR Công cụ trực quan hóa (Biểu diễn mã trung gian đại số) để xem chi tiết của bằng chứng và cũng có thể tạo bằng chứng zk-STARK một cách an toàn và đáng tin cậy để đảm bảo tính toàn vẹn của tính toán. Đồng thời, thiết kế ngôn ngữ cho cảm giác phù hợp hơn với Logic của các bằng chứng toán học, hơn gọn gàng, cũng có một chuỗi công cụ hoàn chỉnh.
Thêm vào đó, nó cải thiện bảo mật. Tính đơn giản tương đối của AIR của Cairo làm cho cả trình xác nhận trên chuỗi và dịch vụ chứng thực ngoài chuỗi kém hiệu quả hơn và bị khấu hao, đồng thời việc kiểm tra một AIR đơn giản sẽ an toàn hơn so với kiểm tra nhiều AIR dành riêng cho ứng dụng phức tạp. Với Cairo, chúng tôi có thể dựa vào một hợp đồng thông minh Trình xác minh duy nhất; không còn cần thiết phải triển khai trình xác minh cho từng ứng dụng được sử dụng.
tiêu đề phụ
đi đến vấn đề thị trường
Mô hình ZK Rollup giành được thị trường gần giống với cái gọi là chuỗi công khai "Ethereum Killer". StarkWare hiện đang tập trung, họ đang thúc đẩy phân quyền, zkSync là mã nguồn mở và phi tập trung (nhưng không ở mức độ lớn), cả hai đều không có mã thông báo. Tương tự, Optimism và Arbitrum, hai người chơi chính trong đội hình khác của Rollup Technology, cũng không có mã thông báo nào.
zkSync sẽ phát hành mã thông báo, mã này có thể được xác nhận từ mã nguồn của họ, trong khi Starkware và Arbitrum chưa tuyên bố công khai vị trí của họ và Optimism gần đây đã gợi ý về việc phát hành mã thông báo.
Tuy nhiên, để các L2 thúc đẩy phân cấp và giành thị trường, việc phát hành mã thông báo là điều bắt buộc, mã thông báo không chỉ là một công cụ khuyến khích tốt mà còn giúp quản lý cộng đồng tốt hơn. Trở ngại chính đối với việc phát hành tiền hiện tại là sự non nớt của cầu nối chuỗi chéo L2 và khả năng tương thích EVM chưa được giải quyết tốt.
Mô tả hình ảnh
Mô tả hình ảnh
Nguồn: a16z
Họ tin rằng mô hình Go to Market (GTM) của Web3 rất khác so với Web2 và phần sáng tạo nhất là giới thiệu mã thông báo và sự xuất hiện của hình thức tổ chức mới DAO. Mỗi góc phần tư tiếp cận thị trường theo cách khác nhau và có thể bao gồm mọi thứ, từ các chiến lược kiểu web2 truyền thống đến các chiến lược thử nghiệm và mới nổi.
Mô tả hình ảnh
Mô tả hình ảnh
Nguồn: a16z
Tại thời điểm này, vì StarkWare không phải là mã nguồn mở nên không có sự so sánh nào. Từ dữ liệu của tháng 3 năm 2022, tình hình của zkSync, Optimism và Arbitrum như sau:
Đánh giá từ số lượng yêu thích trên Github, zkSync có nhiều nhất. zkSync là 1,3K, cao hơn một chút so với 0,9K của Optimism và 0,7K của Arbitrum;
Đánh giá từ số lượng nhà phát triển giao thức trên Github, Chủ nghĩa lạc quan có nhiều nhất. 43 cho zkSync, 66 cho Lạc quan và 36 cho Arbitrum;
Đánh giá từ số lượng nhánh giao thức trên Github, Arbitrum cao hơn một chút với 355 lần. zkSync và Optimism tương đương nhau, lần lượt là 292 và 303 lần;
Từ quan điểm của TVL, Arbitrum hiện vượt xa ở mức 3,41 tỷ đô la, trong khi zkSync và Optimism lần lượt là 148 triệu đô la và 562 triệu đô la;
So với Solana "chuỗi thay thế" Ethereum thành công hơn, số lượng bộ sưu tập Github của Solana là 7,7 nghìn, số nhánh là 1,8 nghìn, số lượng người đóng góp là 305 và TVL là 7,46 tỷ đô la.
tiêu đề phụ
Hướng tới các vấn đề cộng đồng
Người ta đã lập luận rằng sự khác biệt chính giữa các khuyến khích trong chiến lược tiếp cận thị trường so với tiếp cận cộng đồng có thể được tóm tắt là sự khác biệt giữa nắm bắt giá trị và tạo ra giá trị. Đối với một sản phẩm, chính người dùng của nó tạo nên cộng đồng và đối với một chuỗi hoặc giao thức công khai, chính các ứng dụng sử dụng nó sẽ tạo nên cộng đồng. Do đó, có thể thay Community bằng Ecosystem ở đây sẽ chính xác hơn.
Mô tả hình ảnh
StarkWare Landscape
Mô tả hình ảnh
StarkWare Landscape
Nguồn: ZK_Daily
Mức độ thịnh vượng sinh thái của cả hai là tương đương nhau, có thể thấy rằngzkSync đã nhận được nhiều hỗ trợ hơn cho các ứng dụng chuỗi chéo, DeFi và ví, trong khi StarkWare có hệ sinh thái Trò chơi & NFT thịnh vượng hơn.
Đối với hệ sinh thái L1s/L2s, tính thanh khoản tương đương với băng thông, kết nối các kịch bản ứng dụng khác nhau để tạo thành một mạng lớn hơn, có tên là Internet of Value. Định nghĩa về tính thanh khoản ở đây là sự trao đổi giá trị giữa các ứng dụng khác nhau, khi tính thanh khoản tốt thì tổn thất giá trị nhỏ và khi thanh khoản kém thì tổn thất giá trị cao. Trong một trường hợp khác, nếu việc trao đổi giá trị không thể thực hiện được giữa các ứng dụng khác nhau thì sẽ không có tính thanh khoản. Trong một hệ sinh thái, nếu tính thanh khoản có thể chạy qua toàn bộ hệ sinh thái, như hệ sinh thái Ethereum, thì bất kỳ ứng dụng nào dựa trên Ethereum đều có thể được định giá và trao đổi thông qua Ethereum, và hệ sinh thái này là một hệ sinh thái hoạt động bình thường.
Mô tả hình ảnh
Bản đồ dòng giá trị sinh thái L2
Mô tả hình ảnh
Mô tả hình ảnh
Nguồn: ZK_Daily
Để hướng tới cộng đồng (sinh thái), trước hết cần mở ra khả năng di động dọc trong nội bộ, cần hỗ trợ khả năng kết hợp, để có một tiêu chuẩn thống nhất trong hệ sinh thái, cho phép tích hợp các giao thức ứng dụng khác nhau mà không được phép, chẳng hạn như các khối xây dựng Lego Like. Thật dễ dàng để làm điều này trên Ethereum, nhưng cả StarkWare và zkSync đã nỗ lực rất nhiều để giải quyết vấn đề này do vấn đề về bằng chứng không có kiến thức đang được giải quyết.
Điều kiện tiên quyết cho sức sống của cộng đồng (hệ sinh thái) là phải có tính di động bên tốt, cần có sự hỗ trợ của một cây cầu hữu ích, có thể kết nối tính thanh khoản của Ethereum với chi phí thấp và quan trọng hơn, nó có thể tạo điều kiện giao tiếp với các giải pháp L2 khác và thậm chí cả các giải pháp L1. Cho dù đối với ứng dụng hay người dùng, một chuỗi khối an toàn nhanh (TPS cao) chi phí thấp (phí xử lý thấp) sẽ hấp dẫn một cách tự nhiên.Khi chi phí di chuyển thấp hơn, hệ sinh thái sẽ hấp dẫn hơn đối với các ứng dụng và người dùng mạnh mẽ hơn.
Điều kiện cần để cộng đồng (hệ sinh thái) cất cánh là sự xuất hiện của các ứng dụng sát thủ, thu hút một lượng lớn người dùng và vốn.tiêu đề cấp đầu tiên
Làm thế nào để đầu tư vào hệ sinh thái mở rộng
Chuỗi khối là Internet giá trị và Internet truyền thống là Internet thông tin. Dữ liệu thông tin được truyền bằng băng thông và việc trao đổi giá trị được thực hiện bằng tính thanh khoản. Hệ sinh thái chuỗi công khai trước tiên phải nhận ra dòng giá trị, tiếp theo là dòng giá trị hiệu quả, sau đó xây dựng các ứng dụng đáp ứng nhu cầu của người dùng dựa trên dòng giá trị hiệu quả, thực sự cải thiện hiệu quả sản xuất và cuối cùng là thiết lập một giấy phép hiệu quả. -miễn phí, Một thế giới blockchain chịu sự kiểm duyệt, nền dân chủ ngăn chặn cái ác, cởi mở và toàn diện, đồng thời cởi mở và minh bạch.
Nhờ các hợp đồng thông minh, ứng dụng của chuỗi khối không chỉ giới hạn ở việc trở thành sổ cái phi tập trung, nó còn tạo ra các mã thông báo không đồng nhất để định nghĩa quyền sở hữu trong thế giới kỹ thuật số và các mã thông báo đồng nhất làm nền tảng quản trị DAO với tư cách là một tổ chức quản trị mới cấu trúc và những thứ mới khác. Những đổi mới này kết hợp với các ứng dụng Internet hiện có để tiếp tục tạo ra nhiều kịch bản ứng dụng hơn.Tuy nhiên, cơ sở hạ tầng chuỗi khối hiện tại không thể đảm nhận tốt việc triển khai các kịch bản ứng dụng này.
Đầu tiên là vấn đề mở rộng.Cho dù đó là TPS hay tính khả dụng của dữ liệu, việc mở rộng dung lượng là bắt buộc. ZK Rollup và Validium đã có những khám phá hiệu quả về điểm này và có các giải pháp Lớp 2/Lớp 1 khác, chẳng hạn như Optimistic Rollup, Plasma, Solana, Celestia, v.v. Bản thân công nghệ mở rộng là mục tiêu đầu tư tốt nhất, ở giai đoạn này, chúng ta có thể chú ý nhiều hơn đến công nghệ lưu trữ trên chuỗi. Sau khi mở rộng, TPS cao và tính khả dụng của dữ liệu đáng tin cậy sẽ cải thiện đáng kể hiệu suất của chuỗi khối, điều này sẽ cho phép xây dựng các ứng dụng phức tạp hơn trên chuỗi khối.
Cải cách chuỗi Internet:Rõ ràng nhất là trong lĩnh vực GameFi, chẳng hạn như giải quyết trận chiến thời gian thực trên chuỗi GameFi, giao tiếp thời gian thực trên chuỗi và thanh toán quy mô lớn đều có thể được thực hiện;
Chuỗi khối gốc:Cơ sở hạ tầng chuỗi khối hiệu suất cao cho phép các hành vi trao đổi giá trị thường xuyên và chuyên sâu hơn trước đây, điều này sẽ thúc đẩy đáng kể việc giảm chi phí của các luồng giá trị và các ứng dụng đổi mới phải là những ứng dụng thực sự có thể cải thiện hiệu quả sử dụng vốn và do đó tăng năng suất. Ngoài ra, chuỗi khối hiệu suất cao giúp nhận ra tính thanh khoản của thị trường vốn dữ liệu, đây là một sự đổi mới mang tính lật đổ.Là một yếu tố sản xuất trong thời đại thông tin, dữ liệu có thể được luân chuyển và áp dụng đầy đủ, đồng thời có thể mang lại lợi ích được phân phối hợp lý và công bằng;
Tiếp theo là vấn đề về tính di động, được chia thành tính di động theo chiều ngang và tính di động theo chiều dọc.
di động bênNó đề cập đến việc chuyển giao giá trị giữa các chuỗi công khai/hệ sinh thái L2 khác nhau. Khi một hệ sinh thái chuỗi công khai/L2 mới được hình thành, người dùng cần phải có một công cụ trao đổi giá trị hữu ích nếu họ muốn di chuyển khỏi hệ sinh thái ban đầu, công cụ này đôi khi được gọi là cầu nối. Hiện tại, các công cụ cầu nối truyền thống có một số vấn đề về bảo mật, có thể dẫn đến việc người dùng mất tiền và đôi khi còn gây ra hiệu ứng dây chuyền. May mắn thay, có một số công nghệ cầu nối mới đang nổi lên, chẳng hạn như LayerZero. Người ta tin rằng các công nghệ ngày càng tốt hơn sẽ xuất hiện, chẳng hạn như cầu zk đang được nghiên cứu thích hợp, có thể giải quyết nhiều vấn đề tồn tại trên các cây cầu hiện tại. Là một lối vào thanh khoản cho giá trị sinh thái, các cây cầu có thể tạo ra nhiều ứng dụng DeFi hơn, do đó thu được nhiều giá trị hơn;
di chuyển theo chiều dọcNó đề cập đến việc chuyển giao giá trị trong cùng một chuỗi công khai/hệ sinh thái L2. Việc tối ưu hóa thanh khoản theo chiều dọc đóng góp nhiều hơn vào dòng giá trị hiệu quả, nhờ các ứng dụng DeFi đổi mới khác nhau, chẳng hạn như AMM, Yield Farm, Lending, v.v. Ứng dụng hiệu quả sẽ ít gây thất thoát giá trị trong quá trình trao đổi này. Giá trị thu được trong liên kết này chắc chắn là rất lớn, nhưng các giải pháp hiện tại không đủ tốt, hầu hết các giải pháp cung cấp thanh khoản bằng cách khóa thanh khoản và hiệu quả sử dụng vốn không cao. Các giải pháp mới trong lĩnh vực này bao gồm Tokemak và dAMM, v.v. Về vấn đề này, chúng ta có thể chú ý đến nhiều ứng dụng L2 hơn;
Sau đó là vấn đề bảo mật dữ liệu.Không công ty nào muốn tiết lộ tất cả dữ liệu tài chính của mình để toàn bộ mạng có thể xem xét mọi giao dịch tài chính. Dữ liệu trên chuỗi chuỗi khối đang ở trong kỷ nguyên HTTP của Internet và tất cả thông tin được "truyền" ở dạng văn bản thuần túy và sự xuất hiện của công nghệ ZK có thể mở ra kỷ nguyên HTTPS cho chuỗi khối. Người ta tin rằng hầu hết mọi giao dịch trên chuỗi khối trong tương lai đều có thể được bảo vệ bằng công nghệ không kiến thức. Khi đó, công nghệ chuỗi khối sẽ có thể thâm nhập vào mọi ngóc ngách của xã hội, mang lại sự riêng tư trong giao dịch đồng thời đảm bảo giao dịch không tin cậy, chống giả mạo, công khai, bảo mật và minh bạch. Cách tốt nhất để mở tính năng bảo vệ quyền riêng tư phải ở dạng giao thức, dưới dạng phần bổ trợ, được xây dựng cùng với các giao thức khác như khối Lego, để có thể định cấu hình, sở hữu và chống kiểm duyệt. Trong tương lai gần, giao thức riêng tư sẽ được gọi là giao thức mà mọi ứng dụng phải tích hợp.
Cuối cùng nói về ví, là lối vào thế giới blockchain, ví đóng một vai trò quan trọng. Nếu bạn muốn sử dụng phép loại suy Internet, ví giống như trình duyệt trong thời đại Internet, thông tin tương tác với mọi người thông qua trình duyệt và giá trị tương tác với mọi người thông qua ví. Người ta nói rằng đây là thời đại chuỗi khối Netscape, và con cáo nhỏ có thể là Netscape hưng thịnh hồi đó, mặc dù kết cục của chúng có thể khác nhau, nhưng tôi nghĩ chiếc ví hiện tại còn lâu mới dễ sử dụng. Điều quan trọng nhất trong số này là giá trị không lưu chuyển hiệu quả giữa các ví khác nhau. Mặc dù một số vấn đề về tính tương thích có thể ảnh hưởng đến khả năng tương tác ở đây, nhưng chắc chắn rằng chúng ta cần một bộ tiêu chuẩn chung để xác định giao diện giá trị này.
Trên đây là cơ sở hạ tầng, là lĩnh vực tạo ra và nắm bắt giá trị, chỉ khi những vấn đề này được cải thiện (có thể không đầy đủ), công nghệ chuỗi khối mới có thể mở ra một sự bùng nổ thực sự và Internet giá trị mới có thể kết nối tất cả mọi người.
Trong hệ sinh thái chuỗi công khai trước đây, giá trị chủ yếu được nắm bắt bởi thỏa thuận, đầu tiên là chính chuỗi công khai, tiếp theo là lĩnh vực DeFi, đặc biệt là các sàn giao dịch và nền tảng trao đổi. Ở đây bạn có thể tham khảo lý thuyết giao thức chất béo nổi tiếng. Luôn có tranh cãi về lý thuyết giao thức chất béo, nhưng hiện tại, lý thuyết giao thức chất béo nói chung là đúng. Theo tôi, điều này là do kỷ nguyên của cơ sở hạ tầng blockchain còn lâu mới kết thúc.
Xây dựng cơ sở hạ tầng lâu dài, khó khăn và tốn nhiều công sức, nhưng đây là lĩnh vực mang lại nhiều hiệu quả nhất.Ngoài cơ sở hạ tầng, các ứng dụng có thể mang lại lợi ích to lớn được gọi là ứng dụng động năng và những ứng dụng tạo ra hiệu ứng giá trị nhất phải là ứng dụng động năng. Cơ sở hạ tầng vẫn là động năng, không phải là lớp cố định, giống như Taobao từng là động năng của Internet, nhưng giờ đây, Taobao với tư cách là một nền tảng đang dần trở thành cơ sở hạ tầng của Ant Financial. Mục đích cốt lõi của cơ sở hạ tầng là mở đường cho các ứng dụng động năng và giảm chi phí áp dụng các ứng dụng động năng.
Kỷ nguyên động năng của chuỗi khối vẫn chưa đến và với sự xuất hiện của kỷ nguyên động năng, chắc chắn rằng lý thuyết giao thức chất béo sẽ trở nên vô hiệu (mặc dù đã có một số vấn đề). Tại thời điểm hiện tại, đặt cược vào cơ sở hạ tầng có thể giảm chi phí áp dụng ứng dụng là một lựa chọn sáng suốt. Về chi phí áp dụng của các ứng dụng, điều này không chỉ bao gồm chi phí kinh tế mà còn cả hiệu quả, rào cản kỹ thuật và thậm chí cả chi phí niềm tin (được phản ánh trong chủ nghĩa cơ bản của blockchain như phân cấp, không tin cậy và chống kiểm duyệt).
Với việc áp dụng dần dần ZK Rollup trong kỷ nguyên L2 và thậm chí là sự xuất hiện của kỷ nguyên L3 và L4, kỷ nguyên động năng của chuỗi khối chắc chắn sẽ trở nên có thể dự đoán được, vậy ai là nhân vật chính của kỷ nguyên động năng? Điều đó phải đến từ các lĩnh vực có thể trở thành ứng dụng sát thủ, chẳng hạn như trò chơi, giải trí, mạng xã hội và thực tế ảo.Đặt cược sớm vào các lĩnh vực này cũng là một phương pháp đầu tư đáng mơ ước, nhưng xét về độ khó và tỷ lệ hoàn vốn, nó không hiệu quả về chi phí ở giai đoạn hiện tại. Khi đầu tư vào các lĩnh vực này, bạn hoàn toàn có thể cân nhắc liệu chúng có tận dụng hết cơ sở hạ tầng mới hay giữ nguyên khả năng mở rộng hoàn toàn cho cơ sở hạ tầng mới, điều này có thể giúp chúng đủ nhanh và cao trong thời đại cơ sở hạ tầng chuỗi khối đang phát triển nhanh chóng. và cải thiện hiệu quả, do đó cải thiện đáng kể khả năng cạnh tranh của họ.
tiêu đề phụ
đọc tham khảo
Zero Knowledge Cryptography & the Next Digital Revolution
A rollup-centric ethereum roadmap
Bài viết này hiểu được việc so sánh chi phí giao dịch của bốn giải pháp Lớp 2 chính
Ethereum’s Ultimate Scaling Explanation and Directory
Trận chiến giành zk-rollup: zkSync so với StarkWare
Treo Rollup lạc quan? Bản nhạc L2 của StarkWare được tiết lộ | Unitimes AMAes AMAs
Cuộc gặp gỡ nhà phát triển Trung Quốc của StarkNet (phiên bản văn bản)
Khám phá con đường mở rộng Ethereum: giải pháp nào cho tương lai?
Go-to-Market in Web3: New Mindsets, Tactics, Metrics
Community ≠ Marketing: Why We Need Go-to-Community, Not Just Go-to-Market
Analyst Notes: Cracks in the Fat Protocol Theory
Fractal Scaling: From L2 to L3
Geometry presents: Slush, a proposal for Fractal scaling
đề nghị đọc
A Look Under the Hood Into Ethereum Technology and Scaling Solutions
Understanding rollup economics from first principles
The ultimate guide to L2s on Ethereum
The best ways to invest in Layer 2
Blockchain Bridges: Building Networks of Cryptonetworks
Giới thiệu về đầu tư liên kết Zhongfu
Được thành lập vào năm 2016, Zonff Partners là một nhóm cổ phần đầu tư đạt được sự phát triển kinh doanh đa dạng thông qua đầu tư và sáp nhập và mua lại. Nó tiếp tục tập trung vào Web3, công nghệ tiên tiến, sức khỏe y tế, tiêu dùng mới, dịch vụ doanh nghiệp và các lĩnh vực khác, đồng thời tuân thủ Liên kết sinh thái chính và phụ, tập trung vào chiến lược đầu tư theo chu kỳ cơ cấu công nghiệp, thực hành triết lý đầu tư nghiên cứu chuyên sâu, định hướng công nghệ và trao quyền sau đầu tư có cấu trúc, cam kết sử dụng lợi thế vốn và tài nguyên để giúp các công ty phát huy tối đa tiềm năng , và cùng thúc đẩy đổi mới kinh doanh toàn cầu và thay đổi công nghệ .
