Validity Rollups: Lựa chọn tốt nhất cho việc mở rộng Ethereum
Validity Rollups (còn được gọi là zk-rollups) được coi là giải pháp hứa hẹn nhất hiện nay để nâng cao khả năng xử lý của Ethereum một cách an toàn và phi tập trung. Giải pháp mở rộng này tập trung vào việc sử dụng chứng minh tính hợp lệ để thực hiện tính toán có thể xác minh. Nguyên lý hoạt động của nó như sau:
Nhà điều hành sẽ chuyển việc thực hiện giao dịch sang môi trường ngoài chuỗi (tức là lớp 2) để xử lý. Sau khi xử lý một lượng lớn giao dịch, nhà điều hành lớp 2 sẽ trả kết quả về mạng chính Ethereum, kèm theo chứng minh tính hợp lệ của việc thực hiện ngoài chuỗi. Chứng minh này có thể đảm bảo rằng tất cả các giao dịch trong lô đều hợp lệ và được hợp đồng xác thực trên chuỗi tự động xác nhận. Điều này cho phép Ethereum áp dụng kết quả vào trạng thái của nó.
Điều đáng chú ý là Validity Rollups thường bị gọi nhầm là tổng hợp không kiến thức, nhưng điều này không chính xác. Hầu hết các Validity Rollup thực tế không sử dụng chứng minh không kiến thức và cũng không được sử dụng cho mục đích bảo vệ quyền riêng tư. Do đó, việc sử dụng thuật ngữ "Validity Rollup" là hợp lý hơn.
Máy ảo ngoài chuỗi
Trước khi thảo luận, chúng ta cần hiểu rõ máy ảo là gì (VM). Nói ngắn gọn, VM là một môi trường có thể chạy chương trình, giống như chạy hệ điều hành Windows trên Mac. Nó chuyển đổi giữa các trạng thái khác nhau sau khi thực hiện các phép tính của một số đầu vào. Máy ảo Ethereum (EVM) là VM được sử dụng để chạy hợp đồng thông minh trên Ethereum.
Zero Knowledge Virtual Machine ( zkVM ) là một môi trường thực thi chương trình đặc biệt, nó không chỉ có thể thực thi chương trình mà còn có thể tạo ra các chứng nhận tính hợp lệ dễ dàng xác minh, để chứng minh rằng chương trình đã được thực thi đúng. Thuật ngữ "zkEVM" thường chỉ các hệ thống rollup có thể tận dụng Ethereum Virtual Machine ( EVM ) và chứng minh việc thực thi EVM. Thuật ngữ này có thể gây hiểu nhầm, bởi vì EVM bản thân nó không tạo ra các chứng nhận này; ngược lại, chứng nhận được tạo ra bởi một cơ chế chứng nhận độc lập, cơ chế này dựa trên kết quả thực thi EVM. Hơn nữa, các chứng nhận này chủ yếu tập trung vào tính hợp lệ chứ không phải tính riêng tư, vì vậy không hoàn toàn là chứng nhận không kiến thức. Tuy nhiên, để duy trì tính nhất quán, chúng tôi vẫn sẽ sử dụng thuật ngữ "zkEVM" truyền thống trong bài viết này.
Mặc dù tất cả các Validity Rollups đều nhằm mục đích sử dụng chứng minh tính hợp lệ để mở rộng Ethereum, nhưng chúng có sự khác biệt trong việc chọn VM để thực hiện giao dịch ngoài chuỗi. Nhiều Validity Rollups chọn sao chép thiết kế EVM (do đó được gọi là "zkEVM rollups"), cố gắng sao chép các chức năng của Ethereum trên L2 rollup. Trong khi đó, Starknet sử dụng một VM mới - Cairo VM(CVM), được thiết kế đặc biệt để tối ưu hóa hiệu quả của chứng minh tính hợp lệ.
Hai phương pháp này đều có ưu và nhược điểm. zkEVM đánh đổi hiệu suất để đạt được tính tương thích với Ethereum, trong khi Cairo VM đặt hiệu suất lên trên tính tương thích, ưu tiên khả năng mở rộng.
Phương pháp zkEVM
zkEVM là một Validity Rollup, với mục tiêu mang lại trải nghiệm Ethereum đầy đủ lên các blockchain Layer-2. Nó được thiết kế để sao chép môi trường phát triển của Ethereum cho rollup. Với zkEVM, các nhà phát triển không cần phải thay đổi mã hoặc từ bỏ các công cụ EVM (và hợp đồng thông minh) của họ khi viết hợp đồng thông minh hoặc di chuyển hợp đồng thông minh sang các giải pháp có khả năng mở rộng hơn.
Một trong những nhược điểm chính của phương pháp này là nó làm giảm tiềm năng mở rộng của chứng minh hiệu quả. Do zkEVM cam kết tương thích với Ethereum, nên tốc độ chậm hơn và tiêu thụ tài nguyên nhiều hơn. Khác với CVM, EVM không được thiết kế với sự chú ý đến hiệu quả chứng minh. Điều này hạn chế việc sử dụng các tối ưu hóa có thể cải thiện hiệu quả và khả năng mở rộng, cuối cùng ảnh hưởng đến hiệu suất tổng thể của hệ thống.
Tính có thể chứng minh của EVM
Những thách thức cốt lõi của phương pháp zkEVM bắt nguồn từ thiết kế ban đầu của EVM - nó không được thiết kế để hoạt động trong môi trường chứng minh tính hợp lệ. Do đó, những nỗ lực phản ánh chức năng của nó không thể phát huy đầy đủ tiềm năng của chứng minh tính hợp lệ, dẫn đến hiệu quả không như mong đợi. Sự kém hiệu quả này cuối cùng sẽ kéo theo hiệu suất tổng thể của hệ thống. Sự tương thích giữa EVM và chứng minh tính hợp lệ bị cản trở bởi các yếu tố sau:
EVM sử dụng mô hình dựa trên ngăn xếp, trong khi chứng minh hiệu lực phù hợp hơn với mô hình dựa trên thanh ghi. Đặc điểm dựa trên ngăn xếp của EVM khiến việc chứng minh tính đúng đắn của việc thực thi và cung cấp hỗ trợ trực tiếp cho chuỗi công cụ gốc của nó trở nên khó khăn hơn.
Bố cục lưu trữ Ethereum phụ thuộc nghiêm trọng vào Keccak và cây Merkle Patricia lớn, cả hai đều không có lợi cho việc chứng minh hiệu quả và làm tăng gánh nặng chứng minh. Ví dụ, Keccak chạy rất nhanh trên kiến trúc x86, nhưng cần 90k bước để chứng minh. Ngược lại, hàm băm Pedersen thân thiện với zk chỉ cần 32 bước. Ngay cả khi sử dụng nén đệ quy, việc sử dụng Keccak trong zkEVM cũng có nghĩa là người dùng cần phải chịu đựng một chi phí lớn về tài nguyên của người chứng minh.
Do đó, các triển khai zkEVM khác nhau cung cấp mức độ hỗ trợ khác nhau cho công cụ Ethereum - độ tương thích của zkEVM với Ethereum càng cao, hiệu suất càng kém.
Phương pháp Cairo-VM
Khác với giải pháp zkEVM, Starknet đã áp dụng một phương pháp khác: sử dụng máy ảo chuyên dụng hoàn toàn mới và thêm hỗ trợ cho các công cụ Ethereum như một lớp bổ sung. Starknet được ra mắt vào tháng 11 năm 2021, là Validity Rollup đầu tiên cung cấp nền tảng hợp đồng thông minh tổng quát trên một mạng lưới hoàn toàn có thể kết hợp.
Starknet sử dụng Cairo-VM(CVM), đây là một ngôn ngữ cấp cao cùng tên. Cairo-VM được thiết kế đặc biệt để tạo ra các chứng minh tính hiệu quả cho việc thực thi chương trình một cách hiệu quả.
Sử dụng Cairo (máy ảo và ngôn ngữ), chúng ta có thể đạt được:
Chứng minh hiệu quả tối ưu - mỗi lệnh đều có một biểu diễn đại số hợp lệ.
Ngôn ngữ kiểu Rust được sử dụng để viết các chương trình có thể chứng minh.
Biểu diễn trung gian giữa Cairo nâng cao và hợp ngữ Cairo (chỉ thị VM) (Sierra), cho phép thực thi hiệu quả mã Cairo.
Phát triển một ngôn ngữ mới có thể cho phép mọi người tùy chỉnh nó theo nhu cầu cụ thể và trang bị cho nó những chức năng có thể đáp ứng những nhu cầu trước đây chưa được đáp ứng.
Cairo và sự đa dạng mã hóa
Ngôn ngữ Cairo ban đầu được thiết kế để đơn giản hóa quy trình tạo ra các chứng minh tính hiệu quả tính toán, và làm cho việc thêm chức năng và logic kinh doanh phức tạp vào StarkEx trở nên dễ dàng hơn. Các chương trình Cairo được biên dịch thành mã máy đại số - một chuỗi số - được thực thi bởi một VM cố định. Với Cairo, độ phức tạp của việc tạo ra các ràng buộc toán học mô tả tính toán được trừu tượng hóa và được nắm bắt bởi một tập hợp ràng buộc cố định (tổng cộng ít hơn 50 ràng buộc). Do đó, các nhà phát triển có thể tận dụng chứng minh tính hiệu quả để mở rộng ứng dụng của họ mà không cần hiểu biết về toán học và cơ sở hạ tầng dưới lớp, chỉ cần sử dụng cú pháp mà họ quen thuộc để viết mã.
Starknet chú trọng vào đổi mới, điều này thể hiện trong phương pháp mã hóa đa dạng của nó. Cairo sử dụng STARKs để có khả năng mở rộng tốt nhất không chỉ giới hạn cho những người viết hợp đồng trên Cairo. Các nhà phát triển có thể chọn phương pháp phù hợp nhất với họ:
Viết mã cục bộ trên Cairo: Với sự ra mắt của Cairo 1.0, các nhà phát triển hiện có thể sử dụng ngôn ngữ Rust an toàn và thân thiện với người dùng, điều này giúp việc viết logic chương trình trở nên dễ dàng hơn và ít lỗi hơn.
Tính tương thích với Solidity: Các nhà phát triển Solidity có thể viết mã để sử dụng trên Cairo VM. Phương pháp này cung cấp trải nghiệm phát triển tương tự như Ethereum và cho phép các hợp đồng thông minh Solidity di động đến Starknet. Có hai cách để thực hiện điều này:
Biên dịch: Nhóm Nethermind đã tạo ra trình biên dịch Warp, để chuyển đổi mã Solidity sang Cairo. Warp giúp các hợp đồng thông minh Solidity có thể chuyển nhượng sang Starknet, hiệu quả biến nó thành Type 4 zkEVM. Nó đã được sử dụng để biên dịch và triển khai các hợp đồng Uniswap chỉ với những thay đổi rất nhỏ.
zkEVM trên Starknet: Cairo VM có thể được sử dụng để chứng minh việc thực thi của một VM khác. Kakarot là một zkEVM được viết bằng Cairo, có thể được sử dụng để chạy hợp đồng thông minh Ethereum trên Starknet.
Mặc dù thời gian tồn tại chưa lâu, nhưng Cairo đã trở thành ngôn ngữ hợp đồng thông minh phổ biến thứ tư theo xếp hạng TVL và đã nhận được hơn 350 triệu đô la hỗ trợ tài chính.
Tóm tắt
zkEVM nhằm sao chép môi trường Ethereum thành rollup và cho phép các nhà phát triển sử dụng các công cụ Ethereum quen thuộc. Tuy nhiên, phương pháp này hạn chế toàn bộ tiềm năng của chứng minh tính hiệu quả và có thể tiêu tốn nhiều tài nguyên.
Cairo VM được thiết kế đặc biệt cho hệ thống chứng minh tính hiệu lực, không bị ràng buộc bởi EVM. Nó được hỗ trợ bởi một ngôn ngữ lập trình mới, an toàn và phù hợp với công thái học mang tên Cairo 1.0, tạo thành một công cụ mạnh mẽ nhằm đạt được hiệu quả tối đa thông qua việc sử dụng chứng minh STARK để mở rộng Ethereum.
Với những tiến bộ không ngừng của Cairo và sự gia tăng các lựa chọn phát triển khác nhau như Kakarot zkEVM và Warp, sự phát triển trong tương lai rất đáng mong đợi. Khi Starknet dApp bước vào giai đoạn sản xuất, thể hiện sức mạnh của Cairo, chúng tôi tin rằng nó sẽ được sử dụng cho các dự án tham vọng hơn trong tương lai.
Nhờ vào nhiều cách mở rộng STARK và các giải pháp khác có thể xuất hiện trong vài tháng tới, các nhà phát triển hiện nay có quyền kiểm soát chưa từng có đối với việc mở rộng blockchain.
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.
Validity Rollups: Khám phá xu hướng mở rộng mới của Ethereum
Validity Rollups: Lựa chọn tốt nhất cho việc mở rộng Ethereum
Validity Rollups (còn được gọi là zk-rollups) được coi là giải pháp hứa hẹn nhất hiện nay để nâng cao khả năng xử lý của Ethereum một cách an toàn và phi tập trung. Giải pháp mở rộng này tập trung vào việc sử dụng chứng minh tính hợp lệ để thực hiện tính toán có thể xác minh. Nguyên lý hoạt động của nó như sau:
Nhà điều hành sẽ chuyển việc thực hiện giao dịch sang môi trường ngoài chuỗi (tức là lớp 2) để xử lý. Sau khi xử lý một lượng lớn giao dịch, nhà điều hành lớp 2 sẽ trả kết quả về mạng chính Ethereum, kèm theo chứng minh tính hợp lệ của việc thực hiện ngoài chuỗi. Chứng minh này có thể đảm bảo rằng tất cả các giao dịch trong lô đều hợp lệ và được hợp đồng xác thực trên chuỗi tự động xác nhận. Điều này cho phép Ethereum áp dụng kết quả vào trạng thái của nó.
Điều đáng chú ý là Validity Rollups thường bị gọi nhầm là tổng hợp không kiến thức, nhưng điều này không chính xác. Hầu hết các Validity Rollup thực tế không sử dụng chứng minh không kiến thức và cũng không được sử dụng cho mục đích bảo vệ quyền riêng tư. Do đó, việc sử dụng thuật ngữ "Validity Rollup" là hợp lý hơn.
Máy ảo ngoài chuỗi
Trước khi thảo luận, chúng ta cần hiểu rõ máy ảo là gì (VM). Nói ngắn gọn, VM là một môi trường có thể chạy chương trình, giống như chạy hệ điều hành Windows trên Mac. Nó chuyển đổi giữa các trạng thái khác nhau sau khi thực hiện các phép tính của một số đầu vào. Máy ảo Ethereum (EVM) là VM được sử dụng để chạy hợp đồng thông minh trên Ethereum.
Zero Knowledge Virtual Machine ( zkVM ) là một môi trường thực thi chương trình đặc biệt, nó không chỉ có thể thực thi chương trình mà còn có thể tạo ra các chứng nhận tính hợp lệ dễ dàng xác minh, để chứng minh rằng chương trình đã được thực thi đúng. Thuật ngữ "zkEVM" thường chỉ các hệ thống rollup có thể tận dụng Ethereum Virtual Machine ( EVM ) và chứng minh việc thực thi EVM. Thuật ngữ này có thể gây hiểu nhầm, bởi vì EVM bản thân nó không tạo ra các chứng nhận này; ngược lại, chứng nhận được tạo ra bởi một cơ chế chứng nhận độc lập, cơ chế này dựa trên kết quả thực thi EVM. Hơn nữa, các chứng nhận này chủ yếu tập trung vào tính hợp lệ chứ không phải tính riêng tư, vì vậy không hoàn toàn là chứng nhận không kiến thức. Tuy nhiên, để duy trì tính nhất quán, chúng tôi vẫn sẽ sử dụng thuật ngữ "zkEVM" truyền thống trong bài viết này.
Mặc dù tất cả các Validity Rollups đều nhằm mục đích sử dụng chứng minh tính hợp lệ để mở rộng Ethereum, nhưng chúng có sự khác biệt trong việc chọn VM để thực hiện giao dịch ngoài chuỗi. Nhiều Validity Rollups chọn sao chép thiết kế EVM (do đó được gọi là "zkEVM rollups"), cố gắng sao chép các chức năng của Ethereum trên L2 rollup. Trong khi đó, Starknet sử dụng một VM mới - Cairo VM(CVM), được thiết kế đặc biệt để tối ưu hóa hiệu quả của chứng minh tính hợp lệ.
Hai phương pháp này đều có ưu và nhược điểm. zkEVM đánh đổi hiệu suất để đạt được tính tương thích với Ethereum, trong khi Cairo VM đặt hiệu suất lên trên tính tương thích, ưu tiên khả năng mở rộng.
Phương pháp zkEVM
zkEVM là một Validity Rollup, với mục tiêu mang lại trải nghiệm Ethereum đầy đủ lên các blockchain Layer-2. Nó được thiết kế để sao chép môi trường phát triển của Ethereum cho rollup. Với zkEVM, các nhà phát triển không cần phải thay đổi mã hoặc từ bỏ các công cụ EVM (và hợp đồng thông minh) của họ khi viết hợp đồng thông minh hoặc di chuyển hợp đồng thông minh sang các giải pháp có khả năng mở rộng hơn.
Một trong những nhược điểm chính của phương pháp này là nó làm giảm tiềm năng mở rộng của chứng minh hiệu quả. Do zkEVM cam kết tương thích với Ethereum, nên tốc độ chậm hơn và tiêu thụ tài nguyên nhiều hơn. Khác với CVM, EVM không được thiết kế với sự chú ý đến hiệu quả chứng minh. Điều này hạn chế việc sử dụng các tối ưu hóa có thể cải thiện hiệu quả và khả năng mở rộng, cuối cùng ảnh hưởng đến hiệu suất tổng thể của hệ thống.
Tính có thể chứng minh của EVM
Những thách thức cốt lõi của phương pháp zkEVM bắt nguồn từ thiết kế ban đầu của EVM - nó không được thiết kế để hoạt động trong môi trường chứng minh tính hợp lệ. Do đó, những nỗ lực phản ánh chức năng của nó không thể phát huy đầy đủ tiềm năng của chứng minh tính hợp lệ, dẫn đến hiệu quả không như mong đợi. Sự kém hiệu quả này cuối cùng sẽ kéo theo hiệu suất tổng thể của hệ thống. Sự tương thích giữa EVM và chứng minh tính hợp lệ bị cản trở bởi các yếu tố sau:
EVM sử dụng mô hình dựa trên ngăn xếp, trong khi chứng minh hiệu lực phù hợp hơn với mô hình dựa trên thanh ghi. Đặc điểm dựa trên ngăn xếp của EVM khiến việc chứng minh tính đúng đắn của việc thực thi và cung cấp hỗ trợ trực tiếp cho chuỗi công cụ gốc của nó trở nên khó khăn hơn.
Bố cục lưu trữ Ethereum phụ thuộc nghiêm trọng vào Keccak và cây Merkle Patricia lớn, cả hai đều không có lợi cho việc chứng minh hiệu quả và làm tăng gánh nặng chứng minh. Ví dụ, Keccak chạy rất nhanh trên kiến trúc x86, nhưng cần 90k bước để chứng minh. Ngược lại, hàm băm Pedersen thân thiện với zk chỉ cần 32 bước. Ngay cả khi sử dụng nén đệ quy, việc sử dụng Keccak trong zkEVM cũng có nghĩa là người dùng cần phải chịu đựng một chi phí lớn về tài nguyên của người chứng minh.
Do đó, các triển khai zkEVM khác nhau cung cấp mức độ hỗ trợ khác nhau cho công cụ Ethereum - độ tương thích của zkEVM với Ethereum càng cao, hiệu suất càng kém.
Phương pháp Cairo-VM
Khác với giải pháp zkEVM, Starknet đã áp dụng một phương pháp khác: sử dụng máy ảo chuyên dụng hoàn toàn mới và thêm hỗ trợ cho các công cụ Ethereum như một lớp bổ sung. Starknet được ra mắt vào tháng 11 năm 2021, là Validity Rollup đầu tiên cung cấp nền tảng hợp đồng thông minh tổng quát trên một mạng lưới hoàn toàn có thể kết hợp.
Starknet sử dụng Cairo-VM(CVM), đây là một ngôn ngữ cấp cao cùng tên. Cairo-VM được thiết kế đặc biệt để tạo ra các chứng minh tính hiệu quả cho việc thực thi chương trình một cách hiệu quả.
Sử dụng Cairo (máy ảo và ngôn ngữ), chúng ta có thể đạt được:
Phát triển một ngôn ngữ mới có thể cho phép mọi người tùy chỉnh nó theo nhu cầu cụ thể và trang bị cho nó những chức năng có thể đáp ứng những nhu cầu trước đây chưa được đáp ứng.
Cairo và sự đa dạng mã hóa
Ngôn ngữ Cairo ban đầu được thiết kế để đơn giản hóa quy trình tạo ra các chứng minh tính hiệu quả tính toán, và làm cho việc thêm chức năng và logic kinh doanh phức tạp vào StarkEx trở nên dễ dàng hơn. Các chương trình Cairo được biên dịch thành mã máy đại số - một chuỗi số - được thực thi bởi một VM cố định. Với Cairo, độ phức tạp của việc tạo ra các ràng buộc toán học mô tả tính toán được trừu tượng hóa và được nắm bắt bởi một tập hợp ràng buộc cố định (tổng cộng ít hơn 50 ràng buộc). Do đó, các nhà phát triển có thể tận dụng chứng minh tính hiệu quả để mở rộng ứng dụng của họ mà không cần hiểu biết về toán học và cơ sở hạ tầng dưới lớp, chỉ cần sử dụng cú pháp mà họ quen thuộc để viết mã.
Starknet chú trọng vào đổi mới, điều này thể hiện trong phương pháp mã hóa đa dạng của nó. Cairo sử dụng STARKs để có khả năng mở rộng tốt nhất không chỉ giới hạn cho những người viết hợp đồng trên Cairo. Các nhà phát triển có thể chọn phương pháp phù hợp nhất với họ:
Viết mã cục bộ trên Cairo: Với sự ra mắt của Cairo 1.0, các nhà phát triển hiện có thể sử dụng ngôn ngữ Rust an toàn và thân thiện với người dùng, điều này giúp việc viết logic chương trình trở nên dễ dàng hơn và ít lỗi hơn.
Tính tương thích với Solidity: Các nhà phát triển Solidity có thể viết mã để sử dụng trên Cairo VM. Phương pháp này cung cấp trải nghiệm phát triển tương tự như Ethereum và cho phép các hợp đồng thông minh Solidity di động đến Starknet. Có hai cách để thực hiện điều này:
Biên dịch: Nhóm Nethermind đã tạo ra trình biên dịch Warp, để chuyển đổi mã Solidity sang Cairo. Warp giúp các hợp đồng thông minh Solidity có thể chuyển nhượng sang Starknet, hiệu quả biến nó thành Type 4 zkEVM. Nó đã được sử dụng để biên dịch và triển khai các hợp đồng Uniswap chỉ với những thay đổi rất nhỏ.
zkEVM trên Starknet: Cairo VM có thể được sử dụng để chứng minh việc thực thi của một VM khác. Kakarot là một zkEVM được viết bằng Cairo, có thể được sử dụng để chạy hợp đồng thông minh Ethereum trên Starknet.
Mặc dù thời gian tồn tại chưa lâu, nhưng Cairo đã trở thành ngôn ngữ hợp đồng thông minh phổ biến thứ tư theo xếp hạng TVL và đã nhận được hơn 350 triệu đô la hỗ trợ tài chính.
Tóm tắt
zkEVM nhằm sao chép môi trường Ethereum thành rollup và cho phép các nhà phát triển sử dụng các công cụ Ethereum quen thuộc. Tuy nhiên, phương pháp này hạn chế toàn bộ tiềm năng của chứng minh tính hiệu quả và có thể tiêu tốn nhiều tài nguyên.
Cairo VM được thiết kế đặc biệt cho hệ thống chứng minh tính hiệu lực, không bị ràng buộc bởi EVM. Nó được hỗ trợ bởi một ngôn ngữ lập trình mới, an toàn và phù hợp với công thái học mang tên Cairo 1.0, tạo thành một công cụ mạnh mẽ nhằm đạt được hiệu quả tối đa thông qua việc sử dụng chứng minh STARK để mở rộng Ethereum.
Với những tiến bộ không ngừng của Cairo và sự gia tăng các lựa chọn phát triển khác nhau như Kakarot zkEVM và Warp, sự phát triển trong tương lai rất đáng mong đợi. Khi Starknet dApp bước vào giai đoạn sản xuất, thể hiện sức mạnh của Cairo, chúng tôi tin rằng nó sẽ được sử dụng cho các dự án tham vọng hơn trong tương lai.
Nhờ vào nhiều cách mở rộng STARK và các giải pháp khác có thể xuất hiện trong vài tháng tới, các nhà phát triển hiện nay có quyền kiểm soát chưa từng có đối với việc mở rộng blockchain.