Tác giả: HaoTian, nhà phân tích tiền điện tử Nguồn: X (Twitter gốc) @tmel0211
Nhấp để đọc: Vai trò cốt lõi của Tính khả dụng của Dữ liệu trong Lớp 2
Sau khi phổ biến Tính khả dụng của Dữ liệu, bạn hẳn đang thắc mắc về mối quan hệ giữa Tính sẵn có của Dữ liệu và Tương thích EVM. Trước tiên hãy để tôi nói rõ một điều: Khả năng tương thích của EVM càng cao thì mức độ tích hợp Tính khả dụng của Dữ liệu với Ethereum càng cao. **
Tại sao? Những người bạn cẩn thận nên lưu ý rằng zkSync, cả hai giải pháp ZK-Rollup, chỉ có thể tải chứng chỉ chuyển trạng thái khác lên Ethereum, trong khi Linea có thể tải tất cả dữ liệu lên mạng chính. Câu trả lời có thể nằm ở khả năng tương thích EVM.
Trước đây @VitalikButerin đã viết một bài báo về "các loại ZK-EVM khác nhau" mà tôi muốn cùng bạn xem xét. Như được hiển thị trong hình bên dưới, Vitalik chia khả năng tương thích của các giải pháp ZK khác nhau với Ethereum thành 5 cấp độ:
Cấp độ đầu tiên hoàn toàn tương đương với Ethereum và sẽ không thay đổi bất kỳ thành phần nào của hệ thống Ethereum. Logic băm, cây trạng thái, biên dịch trước và logic khác gần như giống nhau, ví dụ Taiko và Scroll đều nhắm đến mục tiêu này;
Cấp độ thứ hai tương đương với hệ thống máy ảo EVM, chỉ có một số khác biệt về cấu trúc dữ liệu như cấu trúc khối và cây trạng thái như Polygono zkEVM;
Cấp độ thứ 3 gần như tương đương với máy ảo EVM và có thể tương thích với hầu hết các ứng dụng, nhằm rút ngắn thời gian Prove chỉ hy sinh một số tính năng như: Scroll, Polygon zkEVM;
Cấp độ thứ tư, sử dụng ngôn ngữ cấp cao hơn để lập trình, sau đó trải qua một lớp chuyển đổi trình biên dịch, chỉ để có thời gian Chứng minh nhanh, chẳng hạn như: zkSync và Starknet.
Làm thế nào để hiểu sự khác biệt giữa một số ZK-EVM một cách phổ biến? Là một hệ thống chuỗi công cộng trưởng thành, máy ảo EVM của Ethereum, ngôn ngữ lập trình Solidity và các cấu trúc dữ liệu khác được coi là tiêu chuẩn, nếu nhà phát triển xây dựng ZK-EVM thì khả năng tương thích của việc tái sử dụng các thành phần hệ thống Ethereum càng cao và càng gần cấp 1.
Hiểu ngược lại, tại sao zkSync và Starknet cần phát triển ngôn ngữ và trình biên dịch riêng để chuyển đổi nó, không phải vì tốc độ dựa vào các thành phần của chính Ethereum để tạo ra các bằng chứng Prove quá thấp và không thể đáp ứng được nhu cầu. Nếu một ngày nào đó, lớp dưới cùng của Ethereum hỗ trợ bằng chứng SNARK thì Lớp 2 này chỉ cần nhận hàng loạt giao dịch, đóng gói và gửi đến Ethereum.Tại sao phải bận tâm đến việc tự mình vận hành lớp thực thi tương đương EVM?
Bây giờ bạn đã hiểu về cấp độ Tương thích EVM, hãy nghĩ về mối quan hệ của nó với Tính khả dụng của Dữ liệu? Bạn sẽ tìm thấy một quy tắc, khả năng tương thích của Etherum hoặc EVM càng cao thì mức độ sẵn sàng dữ liệu có thể đạt được càng cao. Hiểu một cách đơn giản, nếu bạn muốn Ethereum làm DA cho bạn thì bạn phải có khả năng tương thích cao với nó.
Tôi đã tóm tắt sơ bộ các phương pháp triển khai Tính sẵn có của Dữ liệu Lớp 2 chính thống, có thể được chia đại khái thành năm loại:
Tất cả dữ liệu cốt lõi được tải lên Ethereum và Ethereum được sử dụng làm lớp DA, ví dụ: Arbitrum, Optimism, Base, Linea
Chỉ bằng chứng chuyển đổi trạng thái khác biệt trạng thái mới được tải lên Ethereum và tất cả dữ liệu lịch sử được cung cấp bởi chính Lớp 2, ví dụ: zkSync, Starknet
Các dịch vụ DA được cung cấp bởi mạng đồng thuận mạnh mẽ Lớp 1 độc quyền của Lớp 2, chẳng hạn như Polygon zkEVM
DA được cung cấp bởi mạng lưu trữ phân tán với sự đồng thuận mạnh mẽ của bên thứ ba, chẳng hạn như IPFS, ví dụ: Metis
DA được cung cấp bởi nhà cung cấp dịch vụ chuỗi công cộng bên thứ ba chuyên xây dựng DA mô-đun, ví dụ: Mantle
Lớp 2 cung cấp các dịch vụ DA độc lập, ví dụ: Abitrum Nova, Apex, ImmutableX
Phân loại trên đề cập đến phân tích dữ liệu của L2BEAT. Tính khả dụng của dữ liệu được đánh dấu trên nền tảng phân tích dữ liệu là (On-chain, On-chain (SD), Bên ngoài, Bên ngoài (DAC), Lạc quan (MEMO), v.v.)
Để phân loại chúng dựa trên Data Availability, từ 1 đến 6 và sự phụ thuộc vào Ethereum giảm dần, sự đồng thuận về bảo mật cũng dần yếu đi. Bởi vì sự đồng thuận về bảo mật là một khái niệm tương đối mơ hồ, nên chỉ sử dụng mức độ tích hợp của sự tham gia của Ethereum vào DA làm tiêu chí cho sức mạnh của sự đồng thuận không có nghĩa là Lớp 2 nhất thiết phải dựa vào DA của bên thứ ba để cung cấp sự đồng thuận là không an toàn. hoặc để vận hành lớp DA một cách độc lập.
Tóm tắt
Chúng tôi thấy rằng các OP-Rollup như Arbitrum và Optimism có mức độ ứng dụng cao trong Ethereum DA. Lý do rất đơn giản. OP-Rollup và EVM có khả năng tương thích cao một cách tự nhiên. Chúng chỉ cần chạy tốt Sequencer và xử lý giao dịch được chạy cục bộ. , xác minh khóa và sau đó là Thử thách đều dựa vào hệ thống Ethereum.
Linea, một phần của dòng ZK-Rollup, có thể tải tất cả dữ liệu cốt lõi lên Ethereum. Tôi chưa thấy lời giải thích chính thức, nhưng tôi đoán là do EVM của Linea có khả năng tương thích cao nên Linea có thể tái sử dụng bộ lưu trữ và thực hiện hợp đồng của Ethereum , v.v. Để hỗ trợ quá trình chứng nhận Chứng minh? Tuy nhiên, zkSync chỉ có thể dựa vào hệ thống Prove của riêng mình để tạo bằng chứng. Nếu zkSync cũng cắm tất cả dữ liệu vào Ethereum, các hợp đồng Rollup tiếp theo sẽ không thể xác minh tính hợp lệ của bằng chứng.
Cuối cùng, bạn có để ý rằng Polygon ZK-EVM sử dụng mạng Polygon Validium L1 của riêng mình làm lớp đồng thuận không?Là một đối thủ cạnh tranh của Ethereum, hệ thống đồng thuận xác minh L1 của Polygon cũng rất chắc chắn và giới hạn dung lượng lưu trữ của nó tốt hơn nhiều so với Ethereum. Tất nhiên không có vấn đề gì khi sử dụng L1 của riêng bạn làm DA. Tuy nhiên, Polygon zkEVM cuối cùng đã đồng bộ hóa bằng chứng chuyển đổi trạng thái sang Ethereum. Trên thực tế, điều đó là hoàn toàn không cần thiết, nhưng việc đánh thuế Ethereum để có được sự đồng thuận về an ninh và sinh thái mạnh mẽ hơn cũng không có hại gì.
Đã nói điều này, bạn nên hiểu tại sao Scroll và Taiko lại đang nỗ lực nghiên cứu ái lực EVM, bởi vì chỉ có ái lực EVM càng cao thì DA sẽ càng thuận tiện khi sử dụng Ethereum và nó cũng sẽ phù hợp với Lớp Ethereum hẹp hơn. 2 định nghĩa. Hãy tưởng tượng, nếu giải pháp Ethereum Lớp 2, Thu thập giao dịch, Tính sẵn có của Dữ liệu, Khả năng tương tác, v.v. đều dựa vào Lớp 2 và các giải pháp mô-đun của bên thứ ba khác và nó chỉ đồng bộ hóa dữ liệu với Ethereum để ghi lại, điều đó có cần thiết không?
Xem bản gốc
Trang này có thể chứa nội dung của bên thứ ba, được cung cấp chỉ nhằm mục đích thông tin (không phải là tuyên bố/bảo đảm) và không được coi là sự chứng thực cho quan điểm của Gate hoặc là lời khuyên về tài chính hoặc chuyên môn. Xem Tuyên bố từ chối trách nhiệm để biết chi tiết.
Khả năng tương thích EVM và tính sẵn có của dữ liệu: Tại sao chúng có liên quan?
Tác giả: HaoTian, nhà phân tích tiền điện tử Nguồn: X (Twitter gốc) @tmel0211
Nhấp để đọc: Vai trò cốt lõi của Tính khả dụng của Dữ liệu trong Lớp 2
Sau khi phổ biến Tính khả dụng của Dữ liệu, bạn hẳn đang thắc mắc về mối quan hệ giữa Tính sẵn có của Dữ liệu và Tương thích EVM. Trước tiên hãy để tôi nói rõ một điều: Khả năng tương thích của EVM càng cao thì mức độ tích hợp Tính khả dụng của Dữ liệu với Ethereum càng cao. **
Tại sao? Những người bạn cẩn thận nên lưu ý rằng zkSync, cả hai giải pháp ZK-Rollup, chỉ có thể tải chứng chỉ chuyển trạng thái khác lên Ethereum, trong khi Linea có thể tải tất cả dữ liệu lên mạng chính. Câu trả lời có thể nằm ở khả năng tương thích EVM.
Trước đây @VitalikButerin đã viết một bài báo về "các loại ZK-EVM khác nhau" mà tôi muốn cùng bạn xem xét. Như được hiển thị trong hình bên dưới, Vitalik chia khả năng tương thích của các giải pháp ZK khác nhau với Ethereum thành 5 cấp độ:
Cấp độ đầu tiên hoàn toàn tương đương với Ethereum và sẽ không thay đổi bất kỳ thành phần nào của hệ thống Ethereum. Logic băm, cây trạng thái, biên dịch trước và logic khác gần như giống nhau, ví dụ Taiko và Scroll đều nhắm đến mục tiêu này;
Cấp độ thứ hai tương đương với hệ thống máy ảo EVM, chỉ có một số khác biệt về cấu trúc dữ liệu như cấu trúc khối và cây trạng thái như Polygono zkEVM;
Cấp độ thứ 3 gần như tương đương với máy ảo EVM và có thể tương thích với hầu hết các ứng dụng, nhằm rút ngắn thời gian Prove chỉ hy sinh một số tính năng như: Scroll, Polygon zkEVM;
Cấp độ thứ tư, sử dụng ngôn ngữ cấp cao hơn để lập trình, sau đó trải qua một lớp chuyển đổi trình biên dịch, chỉ để có thời gian Chứng minh nhanh, chẳng hạn như: zkSync và Starknet.
Làm thế nào để hiểu sự khác biệt giữa một số ZK-EVM một cách phổ biến? Là một hệ thống chuỗi công cộng trưởng thành, máy ảo EVM của Ethereum, ngôn ngữ lập trình Solidity và các cấu trúc dữ liệu khác được coi là tiêu chuẩn, nếu nhà phát triển xây dựng ZK-EVM thì khả năng tương thích của việc tái sử dụng các thành phần hệ thống Ethereum càng cao và càng gần cấp 1.
Hiểu ngược lại, tại sao zkSync và Starknet cần phát triển ngôn ngữ và trình biên dịch riêng để chuyển đổi nó, không phải vì tốc độ dựa vào các thành phần của chính Ethereum để tạo ra các bằng chứng Prove quá thấp và không thể đáp ứng được nhu cầu. Nếu một ngày nào đó, lớp dưới cùng của Ethereum hỗ trợ bằng chứng SNARK thì Lớp 2 này chỉ cần nhận hàng loạt giao dịch, đóng gói và gửi đến Ethereum.Tại sao phải bận tâm đến việc tự mình vận hành lớp thực thi tương đương EVM?
Bây giờ bạn đã hiểu về cấp độ Tương thích EVM, hãy nghĩ về mối quan hệ của nó với Tính khả dụng của Dữ liệu? Bạn sẽ tìm thấy một quy tắc, khả năng tương thích của Etherum hoặc EVM càng cao thì mức độ sẵn sàng dữ liệu có thể đạt được càng cao. Hiểu một cách đơn giản, nếu bạn muốn Ethereum làm DA cho bạn thì bạn phải có khả năng tương thích cao với nó.
Tôi đã tóm tắt sơ bộ các phương pháp triển khai Tính sẵn có của Dữ liệu Lớp 2 chính thống, có thể được chia đại khái thành năm loại:
Tất cả dữ liệu cốt lõi được tải lên Ethereum và Ethereum được sử dụng làm lớp DA, ví dụ: Arbitrum, Optimism, Base, Linea
Chỉ bằng chứng chuyển đổi trạng thái khác biệt trạng thái mới được tải lên Ethereum và tất cả dữ liệu lịch sử được cung cấp bởi chính Lớp 2, ví dụ: zkSync, Starknet
Các dịch vụ DA được cung cấp bởi mạng đồng thuận mạnh mẽ Lớp 1 độc quyền của Lớp 2, chẳng hạn như Polygon zkEVM
DA được cung cấp bởi mạng lưu trữ phân tán với sự đồng thuận mạnh mẽ của bên thứ ba, chẳng hạn như IPFS, ví dụ: Metis
DA được cung cấp bởi nhà cung cấp dịch vụ chuỗi công cộng bên thứ ba chuyên xây dựng DA mô-đun, ví dụ: Mantle
Lớp 2 cung cấp các dịch vụ DA độc lập, ví dụ: Abitrum Nova, Apex, ImmutableX
Phân loại trên đề cập đến phân tích dữ liệu của L2BEAT. Tính khả dụng của dữ liệu được đánh dấu trên nền tảng phân tích dữ liệu là (On-chain, On-chain (SD), Bên ngoài, Bên ngoài (DAC), Lạc quan (MEMO), v.v.)
Để phân loại chúng dựa trên Data Availability, từ 1 đến 6 và sự phụ thuộc vào Ethereum giảm dần, sự đồng thuận về bảo mật cũng dần yếu đi. Bởi vì sự đồng thuận về bảo mật là một khái niệm tương đối mơ hồ, nên chỉ sử dụng mức độ tích hợp của sự tham gia của Ethereum vào DA làm tiêu chí cho sức mạnh của sự đồng thuận không có nghĩa là Lớp 2 nhất thiết phải dựa vào DA của bên thứ ba để cung cấp sự đồng thuận là không an toàn. hoặc để vận hành lớp DA một cách độc lập.
Tóm tắt
Chúng tôi thấy rằng các OP-Rollup như Arbitrum và Optimism có mức độ ứng dụng cao trong Ethereum DA. Lý do rất đơn giản. OP-Rollup và EVM có khả năng tương thích cao một cách tự nhiên. Chúng chỉ cần chạy tốt Sequencer và xử lý giao dịch được chạy cục bộ. , xác minh khóa và sau đó là Thử thách đều dựa vào hệ thống Ethereum.
Linea, một phần của dòng ZK-Rollup, có thể tải tất cả dữ liệu cốt lõi lên Ethereum. Tôi chưa thấy lời giải thích chính thức, nhưng tôi đoán là do EVM của Linea có khả năng tương thích cao nên Linea có thể tái sử dụng bộ lưu trữ và thực hiện hợp đồng của Ethereum , v.v. Để hỗ trợ quá trình chứng nhận Chứng minh? Tuy nhiên, zkSync chỉ có thể dựa vào hệ thống Prove của riêng mình để tạo bằng chứng. Nếu zkSync cũng cắm tất cả dữ liệu vào Ethereum, các hợp đồng Rollup tiếp theo sẽ không thể xác minh tính hợp lệ của bằng chứng.
Cuối cùng, bạn có để ý rằng Polygon ZK-EVM sử dụng mạng Polygon Validium L1 của riêng mình làm lớp đồng thuận không?Là một đối thủ cạnh tranh của Ethereum, hệ thống đồng thuận xác minh L1 của Polygon cũng rất chắc chắn và giới hạn dung lượng lưu trữ của nó tốt hơn nhiều so với Ethereum. Tất nhiên không có vấn đề gì khi sử dụng L1 của riêng bạn làm DA. Tuy nhiên, Polygon zkEVM cuối cùng đã đồng bộ hóa bằng chứng chuyển đổi trạng thái sang Ethereum. Trên thực tế, điều đó là hoàn toàn không cần thiết, nhưng việc đánh thuế Ethereum để có được sự đồng thuận về an ninh và sinh thái mạnh mẽ hơn cũng không có hại gì.
Đã nói điều này, bạn nên hiểu tại sao Scroll và Taiko lại đang nỗ lực nghiên cứu ái lực EVM, bởi vì chỉ có ái lực EVM càng cao thì DA sẽ càng thuận tiện khi sử dụng Ethereum và nó cũng sẽ phù hợp với Lớp Ethereum hẹp hơn. 2 định nghĩa. Hãy tưởng tượng, nếu giải pháp Ethereum Lớp 2, Thu thập giao dịch, Tính sẵn có của Dữ liệu, Khả năng tương tác, v.v. đều dựa vào Lớp 2 và các giải pháp mô-đun của bên thứ ba khác và nó chỉ đồng bộ hóa dữ liệu với Ethereum để ghi lại, điều đó có cần thiết không?