Tổng quan các giải pháp zkEVM: Phân tích ngắn gọn zkSync, StarkNet, Polygon zkEVM, Scroll
Tuyển chọn TechFlowTuyển chọn TechFlow
Tổng quan các giải pháp zkEVM: Phân tích ngắn gọn zkSync, StarkNet, Polygon zkEVM, Scroll
Sự tiến bộ đạt được trong thiết kế zkEVM là đáng chú ý, và năm 2023 có thể là năm mang tính quyết định đối với công nghệ này.
Chuyên sâu báo cáo Web3
Viết bởi: Filippo Armani
Dịch: TechFlow
ZK Rollups, còn được gọi là Rollups hiệu lực, là một phương pháp mở rộng Ethereum mang tính cách mạng, cho phép xử lý giao dịch bên ngoài chuỗi và sau đó hợp nhất thành một giao dịch nén duy nhất trên chuỗi chính. Quá trình này làm tăng thông lượng giao dịch, giảm chi phí, đồng thời vẫn giữ nguyên tính bảo mật và phi tập trung của chuỗi chính.
Một đặc điểm nổi bật của ZK Rollups là sử dụng bằng chứng kiến thức không (ZKP) — một dạng bằng chứng mật mã cho phép người chứng minh chứng tỏ cho người xác minh rằng một khẳng định là đúng mà không tiết lộ bất kỳ thông tin bổ sung nào.
Đối với ZK Rollups, ZKP đảm bảo tính toàn vẹn của các giao dịch diễn ra ngoài chuỗi, giúp người tạo bằng chứng có thể chứng minh tính hợp lệ của một lô giao dịch mà không cần tiết lộ chi tiết cụ thể của từng giao dịch, cũng không yêu cầu người xác minh phải kiểm tra tất cả các giao dịch trước khi chấp nhận trạng thái mới.
So với Optimistic Rollups, ZK Rollups cung cấp mức độ an toàn cao hơn vì chúng không thêm bất kỳ giả định tin cậy bổ sung nào lên Ethereum, mà dựa vào Ethereum và toán học để đảm bảo an toàn. Optimistic Rollups phụ thuộc vào lý thuyết trò chơi và giả định 1/n nút trung thực, nghĩa là đối với mỗi lô giao dịch, luôn tồn tại ít nhất một nút trung thực có thể thách thức các giao dịch độc hại.
Ngược lại, các nhà vận hành ZK Rollups, còn gọi là bộ sắp xếp (sequencer) và người tạo bằng chứng (prover), hoàn toàn không có cơ hội gây hại đến tiền của người dùng, vì vai trò của họ "chỉ đơn thuần" là thu thập các lô giao dịch và tạo ra bằng chứng ZK, trong khi tiền của người dùng vẫn được lưu trữ trên Ethereum L1, và Ethereum cuối cùng chịu trách nhiệm xác minh bằng chứng ZK do L2 gửi lên và hoàn tất các giao dịch nền tảng.
Bằng chứng hiệu lực được tạo ra thông qua các phép toán đa thức phức tạp trên dữ liệu trạng thái. Nếu dữ liệu trạng thái không hợp lệ, thì không thể tạo ra bằng chứng hiệu lực. Người xác minh trên L1 sẽ sử dụng dữ liệu trạng thái đầu vào để xác minh bằng chứng hiệu lực, do đó nếu người tạo bằng chứng thay đổi dữ liệu trạng thái, người xác minh sẽ từ chối bằng chứng đó.
So với Optimistic Rollups, ZK Rollups còn có hai lợi thế: tốc độ hoàn tất nhanh hơn và khả năng sẵn sàng dữ liệu hiệu quả hơn.
Thứ nhất, chúng giúp hoàn tất giao dịch nhanh hơn. Bởi vì chỉ cần cung cấp bằng chứng hiệu lực, giao dịch đã được xác nhận trên Ethereum; trong khi Optimistic Rollups cần chờ một tuần để đảm bảo không có thách thức nào, giao dịch mới được coi là hợp lệ và hoàn tất.
Thứ hai, liên quan đến khả năng sẵn sàng dữ liệu, ZK Rollups hiệu quả hơn. Vì chỉ cần công bố sự khác biệt trạng thái, do không cần tái tạo lại toàn bộ giao dịch để xác minh; ngược lại, Optimistic Rollups cần công bố toàn bộ dữ liệu để bất kỳ ai cũng có thể tái tạo giao dịch và cuối cùng đưa ra thách thức.
Do đó, ZK Rollups tiêu tốn ít băng thông dữ liệu hơn trên Ethereum (tài nguyên khan hiếm mà tất cả Rollups đều phải chia sẻ, bất kể sử dụng hệ thống nào để thực thi giao dịch, bao gồm cả mạch ZK), giúp người dùng thậm chí có thể đạt được chi phí rẻ hơn (hoặc thậm chí miễn phí).
Zk-rollups được xem là giải pháp tối hậu cho khả năng mở rộng Ethereum, nhưng do Máy ảo Ethereum (EVM) không được thiết kế để hỗ trợ mạch ZK, việc triển khai chúng rất khó khăn. Để giải quyết vấn đề này, nhiều tổ chức và nhà nghiên cứu đã cố gắng tạo ra một máy ảo hỗ trợ Rollup tên là zkEVM, có thể chạy các hợp đồng thông minh theo cách tương thích với phép tính bằng chứng kiến thức không.
Bốn loại zkEVM do Vitalik đề xuất
Trong bài blog của mình, Vitalik đã phác thảo bốn loại zkEVM dựa trên mức độ tương thích với Ethereum.
Cần lưu ý rằng:
zkEVM càng gần với chức năng của Ethereum thì tốc độ tạo bằng chứng Zk càng chậm và chi phí càng cao.
Ngược lại, nếu một blockchain hoặc Rollup tuân thủ chặt chẽ các quy chuẩn và tiêu chuẩn của Ethereum, thì các nhà phát triển sẽ dễ dàng xây dựng ứng dụng và tích hợp vào hệ sinh thái Ethereum hơn.
Tóm lại, các blockchain có mức độ tương thích cao với Ethereum có thể có lợi thế cạnh tranh.
Loại 1: zk rollups hoàn toàn tương đương Ethereum, sao chép chính xác Ethereum ở mọi phần (bao gồm băm, cây trạng thái, cây giao dịch, các chương trình tiền biên dịch hay bất kỳ logic đồng thuận nào khác). Cho đến nay, chưa có zkEVM nào đạt được sự tương đương tuyệt đối với Ethereum.
Loại 2: Zk rollups hoàn toàn tương đương EVM hướng tới mục tiêu tương thích với EVM, nhưng không hoàn toàn tương đương với Ethereum. Chúng hoàn toàn tương thích với các ứng dụng hiện có, nhưng có một số điều chỉnh nhỏ đối với Ethereum nhằm giúp phát triển dễ dàng hơn và tạo bằng chứng nhanh hơn. Scroll và zkEVM Polygon về lý thuyết thuộc nhóm này; trên thực tế, hiện tại chúng thuộc nhóm thứ ba.
Loại 3: Gần như tương đương EVM, đánh đổi nhiều yếu tố và mức độ tương đương để tăng tốc độ tạo bằng chứng. Polygon zkEVM và Scroll hiện đang thuộc nhóm này. Nhóm này thường là bước đệm để tiến tới nhóm thứ hai.
Loại 4: Tương đương ngôn ngữ cấp cao, nghĩa là chúng đều chấp nhận các hợp đồng thông minh viết bằng Solidity, sau đó chuyển đổi sang một ngôn ngữ tùy chỉnh phù hợp với zk. zkSync và StarkNet thuộc nhóm này, mặc dù zkSync có thể sẽ bổ sung khả năng tương thích với bytecode EVM theo thời gian và cuối cùng chuyển sang loại cao hơn.
Mặc dù phân loại của Vitalik hiện là phổ biến và công bằng nhất, vẫn tồn tại những cách phân loại khác.
Bốn loại phân loại do Immutable đề xuất
Immutable, một lớp L2 dựa trên StarkWare chuyên về NFT, trong một bài blog đã cung cấp phân loại hữu ích sau đây:
Các nhóm này so với phân loại của Vitalik rõ ràng hơn khi dựa trên mức độ hiện tại mà các zkEVM đạt được sự tương thích hoặc tương đương với Ethereum ở một cấp độ cụ thể trong ngăn xếp (ngôn ngữ cấp cao, bytecode hoặc môi trường runtime).
Tương thích Solidity. Sự tương thích với Ethereum được thực hiện ở cấp độ ngôn ngữ cấp cao Solidity, nghĩa là các nhà phát triển có thể tiếp tục sử dụng ngôn ngữ mà họ quen thuộc trên Ethereum để viết hợp đồng thông minh. Tuy nhiên, các Rollup này ngay lập tức chuyển đổi Solidity thành dạng biểu diễn trung gian riêng, sau đó biên dịch thành bytecode của riêng chúng và thực thi trong môi trường tùy chỉnh. Cụ thể, các L2 này sử dụng công cụ chuyển đổi (transpiler) để chuyển mã Solidity thành mã có thể đọc được bởi VM tùy chỉnh (Cairo của StarkWare, LLVM-IR của zkSync). Các công cụ chuyển đổi này không hỗ trợ một số chức năng Solidity, do đó các nhà phát triển có thể cần điều chỉnh hợp đồng thông minh của mình. Ví dụ: zkSync và StarkNet.
Tương thích EVM. Về mặt ngôn ngữ, các Rollup này tương thích với EVM, nhưng chúng có bytecode riêng, nghĩa là Solidity có thể biên dịch trực tiếp thành opcode/EVM bytecode, sau đó được chuyển đổi sang bytecode tùy chỉnh trước khi chạy trên VM tùy chỉnh. Trên thực tế, các Rollup này tương thích với hầu hết các chương trình Ethereum, nhưng một số ứng dụng có thể cần viết lại. Ngoài ra, một số chức năng bytecode (ví dụ như các chương trình tiền biên dịch) không được hỗ trợ. Ví dụ: Polygon zkEVM.
Tương đương EVM. Các Rollup này tạo ra một mạch xác minh zk có thể đọc trực tiếp opcode và bytecode EVM, mặc dù bản thân VM khác với EVM. Các Rollup này hoàn toàn tương thích với các ứng dụng hiện có, nhưng có thể có một vài điều chỉnh nhỏ đối với Ethereum nhằm giúp phát triển dễ dàng hơn và tạo bằng chứng nhanh hơn. Ví dụ: Scroll.
Tương đương Ethereum. Nghĩa là sao chép Ethereum ở mọi thành phần, tương tự cách Polygon thực hiện. Cho đến nay, chưa có zk Rollup nào thuộc nhóm này.
Kết hợp khung này với khung do Immutable đề xuất, đồng thời bổ sung một số thông tin khác, ta có thể phác họa biểu đồ dưới đây, nhấn mạnh một số điểm khác biệt và tương đồng trong thiết kế cần cân nhắc khi so sánh các triển khai zkEVM khác nhau, trước khi có bất kỳ dữ liệu hiệu suất nào:
zkSync 2.0
zkSync 2.0 (vừa đổi tên thành zkSync Era trước khi ra mắt chính thức) là giải pháp mở rộng mạng Ethereum, tương thích hoàn toàn với ngôn ngữ lập trình Solidity. Với zkSync, người dùng có thể chọn giữa hai loại sẵn sàng dữ liệu: zkSync Rollup và zkSync Porter. Loại đầu tiên công bố dữ liệu trực tiếp trên Ethereum, khiến nó an toàn như L1 Ethereum, trong khi loại thứ hai lưu trữ dữ liệu ngoài chuỗi, dẫn đến tốc độ giao dịch nhanh hơn và chi phí thấp hơn, nhưng mức độ an toàn thấp hơn.
zkSync tương thích EVM vì nó có thể chuyển đổi mã hợp đồng thông minh viết bằng Solidity thành Yul, sau đó chuyển Yul thành LLVM-IR, rồi biên dịch lại thành tập bytecode tùy chỉnh tương thích với mạch zk dành riêng cho zkSync. Mặc dù cần bước trung gian, điều này cũng cho phép bổ sung các chức năng không thuộc EVM như Trừu tượng tài khoản (Account Abstraction). Ngoài ra, Matter Labs – công ty đứng sau zkSync – có kế hoạch từng bước nâng cao khả năng tương thích với bộ công cụ Ethereum, đồng thời chuẩn bị ra mắt nguyên mẫu lớp ba đầu tiên trong lĩnh vực mở rộng và tương tác chéo là zkSync Opportunity, như một phần trong tham vọng của họ trên mạng thử nghiệm.
Tại thời điểm viết bài, zkSync Era vừa mới ra mắt, do đó vẫn còn quá sớm để đưa ra nhận xét về hiệu suất. zkSync 1.0 chỉ hỗ trợ giao dịch đơn giản (hiện được gọi là zkSync Lite) là một trong những zk rollup lớn nhất, theo thống kê TVL, đã khóa hơn 83 triệu USD, với tổng khối lượng giao dịch vượt quá 19 triệu giao dịch, trong khi TVL của StarkNet chỉ hơn 19 triệu USD, với tổng khối lượng giao dịch là 4 triệu giao dịch.
StarkNet
StarkNet là một zk-rollup loại 4 / tương thích Solidity, sử dụng một dạng bằng chứng kiến thức không khác gọi là STARKs (Scalable Transparent ARgument of Knowledge) để đảm bảo tính toàn vẹn của các giao dịch ngoài chuỗi. STARKs được cho là hiệu quả và mở rộng tốt hơn SNARK, nhưng có thể đòi hỏi thiết lập kỹ thuật phức tạp hơn.
Mặc dù StarkNet cũng hỗ trợ hợp đồng thông minh, nhưng do sử dụng STARKs và các hợp đồng StarkNet cũng như hệ điều hành StarkNet được viết bằng ngôn ngữ Cairo nên khả năng bị hạn chế hơn. Để giúp phát triển dễ dàng hơn, StarkWare gần đây đã nâng cấp lên Cairo 1.0, mô phỏng Rust. Giống như zkSync Era, StarkNet có thể được phân loại là “tương thích Solidity” vì nó không thực thi chương trình trong EVM, mà tạo ra một VM hoàn toàn mới, được thiết kế riêng và sử dụng bytecode tùy chỉnh. StarkWare sử dụng công cụ chuyển đổi Warp để chuyển đổi mã Solidity thành bytecode VM Cairo.
Tuy nhiên, khác với zkSync Era và các triển khai zkEVM khác, nhóm StarkNet không đặt mục tiêu tương thích với EVM hay các thành phần Ethereum khác, mà hướng tới việc làm cho VM của StarkNet hiệu quả nhất có thể thông qua việc phát triển API khách hàng tùy chỉnh, thư viện JavaScript và hệ thống ví, điều này buộc các công cụ tương thích Ethereum phải thêm hỗ trợ StarkNet một cách thủ công. Mặc dù Cairo 1.0 cũng giới thiệu Sierra – biểu diễn trung gian an toàn – như một lớp trung gian mới giữa Cairo 1.0 và bytecode Cairo, nhưng công cụ chuyển đổi Warp không hỗ trợ một số chức năng Solidity và vẫn còn dài đường để bắt kịp mức độ tương thích EVM của zkSync Era.
Polygon zkEVM
Polygon zkEVM là một zk-rollup sử dụng ngôn ngữ tùy chỉnh zkASM để diễn giải mã zkEVM và xác minh việc thực thi hợp đồng thông minh trong môi trường runtime không phải EVM. Dự án này khởi đầu năm 2021, bắt đầu phát triển một hệ thống tương đương EVM kết hợp tính an toàn và hiệu quả của cả STARK và SNARK thông qua việc mua lại Hermez Network với giá 250 triệu USD. Trong khi STARK được dùng để tạo bằng chứng hiệu lực cho trạng thái giao dịch, thì SNARK được dùng để đánh giá tính đúng đắn của bằng chứng STARK. Việc kết hợp các giải pháp này cho phép đạt được an toàn, tốc độ và phí giao dịch thấp.
Tháng 7 năm 2022, Polygon thông báo đổi tên Polygon Hermez thành Polygon zkEVM, hiện vừa mới ra mắt tại thời điểm viết bài. Phiên bản testnet mới nhất của Polygon zkEVM giới thiệu chức năng đệ quy, cho phép sử dụng một bằng chứng ZK hiệu lực để xác minh các lô bằng chứng ZK khác, trong đó mỗi bằng chứng có thể xác minh nhiều giao dịch. Chức năng này nhờ vào Plonky2, một SNARK đệ quy nhanh hơn 100 lần so với các lựa chọn thay thế hiện tại và tương thích gốc với chính Ethereum.
Ngoài Polygon zkEVM, Polygon còn phát triển Polygon Avail, một blockchain chỉ tối ưu cho khả năng sẵn sàng dữ liệu. Mạng này sẽ không cần giấy phép, cho phép bất kỳ ai tham gia làm bộ xác minh, khác với các DAC (Ủy ban sẵn sàng dữ liệu) hiện tại, nó sẽ có hàng trăm nút cộng tác để đảm bảo an toàn mạng. Avail sẽ hoạt động phối hợp với Polygon Hermez (Rollup), tải dữ liệu trạng thái từ Hermez thay vì đăng lên Ethereum, cung cấp giải pháp nằm giữa Validium và Rollup.
Mặc dù một số chuyên gia chỉ ra rằng đặc tả do Polygon cung cấp phù hợp hơn để mô tả là tương thích EVM, nhóm này đang nỗ lực tạo ra giải pháp hoàn toàn tương đương EVM đầu tiên.
Scroll
Scroll là một zk-rollup tương đương EVM do đội Scroll hợp tác cùng nhóm PSE (Privacy and Scaling Explorations) thuộc Ethereum Foundation phát triển, hiện đang ở giai đoạn testnet Pre-Alpha, hướng tới mục tiêu tương thích hoàn toàn với Máy ảo Ethereum (EVM) ở cấp độ bytecode. Điều này có nghĩa là các nhà phát triển có thể sử dụng bất kỳ ngôn ngữ nào tương thích EVM để tạo hợp đồng thông minh và triển khai lên Scroll. Mặc dù hiện tại Scroll chưa hỗ trợ opcode EVM, nhưng có kế hoạch thực hiện thông qua việc xây dựng ánh xạ opcode 1:1 và chấp nhận trực tiếp opcode EVM mà không cần trình biên dịch.
Kiến trúc của Scroll bao gồm một nút sắp xếp tập trung và một mạng lưới tạo bằng chứng phân tán. Nút sắp xếp tập trung chịu trách nhiệm sắp xếp giao dịch, tạo khối và gửi dữ liệu giao dịch dưới dạng calldata đến hợp đồng Rollup trên Ethereum để đảm bảo sẵn sàng dữ liệu. Scroll có kế hoạch từng bước phi tập trung hóa nút sắp xếp. Mặt khác, một bộ tạo bằng chứng phân tán tên là Roller sẽ tạo ra bằng chứng và đăng lên mạng L1, tận dụng khả năng tính toán phân tán. Các Roller được chọn ngẫu nhiên và có thể tạo đồng thời nhiều bằng chứng cho các khối khác nhau trên các Roller khác nhau để tăng tốc độ.
*Ghi chú: Mặc dù hiện tại chỉ hỗ trợ sẵn sàng dữ liệu trên chuỗi, thiết kế ban đầu của Scroll cũng bao gồm chế độ Validium.
Thực tế, cả Scroll và Polygon đều áp dụng cách tiếp cận ở cấp độ bytecode để xây dựng zkEVM của họ. Phương pháp này loại bỏ hoàn toàn bước chuyển đổi, nghĩa là trước khi biên dịch và diễn giải, các zkEVM này không chuyển đổi mã Solidity sang ngôn ngữ khác. Tuy nhiên, trong khi Scroll chỉ khác Ethereum ở môi trường runtime, thì Polygon tạo ra một VM tùy chỉnh và tối ưu hóa, sau đó chuyển bytecode EVM sang bytecode của VM đó. Khác với Scroll, runtime của Polygon ("zkExecutor") chạy các opcode "zkASM" tùy chỉnh (micro-opcode trong hình) thay vì opcode EVM, nhằm tối ưu việc diễn giải EVM (giảm số lượng ràng buộc thay vì chứng minh trực tiếp EVM). Polygon zkEVM có thể không tương thích 100% với mã Solidity, công cụ và ứng dụng, mặc dù phần lớn là tương thích.
Mặc dù đây là những dự án nổi bật tập trung vào việc ra mắt triển khai zkEVM phổ quát, các dự án ứng dụng riêng biệt khác cũng đang sử dụng công nghệ zk trong thực tiễn.
Loopring là một zk-rollup ứng dụng riêng biệt, dùng để hỗ trợ các giao thức sàn giao dịch phi tập trung (DEX). Loopring cũng là một nền tảng cho phép bất kỳ ai xây dựng DEX bằng cách sử dụng bằng chứng zk. Immutable X là một zk-rollup ứng dụng riêng biệt khác được xây dựng trên StarkWare, dùng cho giao dịch NFT và trò chơi. Aztec là một zk-rollup dựa trên Ethereum lấy quyền riêng tư làm trọng tâm, giữ dữ liệu minh bạch và sẵn có đối với giao thức thông qua mã hóa, đồng thời bảo vệ quyền riêng tư của người dùng. Ngoài ra, Aztec còn sáng tạo ra hệ thống bằng chứng PLONK, cũng được zkSync và các dự án khác sử dụng.
Nhiều giao thức như Immutable X, Sorare, rhino.fi, ApeX, dYdX đều được xây dựng trên StarkEx. Trong các dự án sử dụng StarkEx ZK-Rollup, dữ liệu được gửi đến Ethereum dưới dạng calldata và công bố trên chuỗi. Trong chế độ Validium, dữ liệu được lưu trữ ngoài chuỗi, chỉ có hash được lưu trên chuỗi. Mặc dù chế độ Rollup đảm bảo an toàn cao hơn (người dùng chỉ cần tương tác với blockchain Ethereum để tái tạo trạng thái sổ cái), chế độ Validium đảm bảo chi phí thấp hơn và quyền riêng tư cao hơn.
Nhìn chung, mặc dù zkSync Lite là zk rollup lớn nhất, StarkWare sở hữu hệ sinh thái lớn nhất bao gồm các dự án xây dựng trên StarkEx, đồng thời cũng có TVL và thị phần lớn nhất.
Tổng kết
Tóm lại, zk-rollup là một giải pháp đầy hứa hẹn để mở rộng mạng blockchain, cung cấp nhiều triển khai khác nhau nhằm đáp ứng nhu cầu và yêu cầu đa dạng. Mặc dù tồn tại một số cách phân loại, cần lưu ý rằng chúng chỉ là những mô tả sơ lược, thiếu sự đồng thuận về định nghĩa và khác biệt kỹ thuật.
Như Sandy Peng, đồng sáng lập Scroll thừa nhận: “Không có định nghĩa nào có thể đạt được sự đồng thuận rõ ràng. Toàn bộ nhóm nghiên cứu của Scroll thiên về một cách mô tả hoặc góc nhìn nhất định, nhưng điều này không rõ ràng. Ngay cả nhóm nghiên cứu của chúng tôi cũng chưa đạt được sự đồng thuận về ý nghĩa của mọi thứ.”
Dù vậy, một số xu hướng chung đã xuất hiện trong các triển khai zk rollup:
Thứ nhất, dường như tất cả đều áp dụng phương pháp lai để xử lý sẵn sàng dữ liệu, cung cấp phiên bản rollup truyền thống với lưu trữ dữ liệu trên chuỗi và phiên bản validium với lưu trữ dữ liệu ngoài chuỗi. CEO của Avail, Anurag Arjun, nói với Blockworks: “Theo tôi, bạn sẽ thấy mọi rollup đều có một phiên bản rollup và một phiên bản validium.”
Thứ hai, phần lớn tránh sử dụng mã nguồn mở hoàn toàn cho đến khi triển khai thực tế, điều này cũng liên quan đến sự cạnh tranh khốc liệt từ các optimistic rollup như Arbitrum và Optimism. Zk-rollups hứa hẹn hiệu quả hơn, nhưng về mặt kỹ thuật lại khó thực hiện hơn.
Thêm nữa, như bảng trên cho thấy rõ, các optimistic rollup, đặc biệt là Arbitrum, đang hưởng lợi từ lợi thế đi trước và dẫn đầu thị trường về ứng dụng, khối lượng giao dịch và thị phần. Nếu được chứng minh thành công, các optimistic rollup có thể kết hợp mô hình bằng chứng hiệu lực với cơ sở người dùng đã xây dựng sẵn (ví dụ, bản nâng cấp Bedrock của Optimism có thể giới thiệu bằng chứng hiệu lực).
Ngoài ra, mặc dù tất cả các triển khai ban đầu đều sử dụng bộ sắp xếp tập trung để tăng hiệu quả, nhưng đều hướng tới việc từng bước phi tập trung hóa nhằm giải quyết lo ngại về tập quyền. Thú vị là, bộ sắp xếp phi tập trung có thể cần một cơ chế khuyến khích kinh tế thông qua token gốc, do đó tất cả các dự án được nhắc đến đều nên thực hiện bước này.
Cuối cùng, những thành tựu đáng kinh ngạc của các triển khai zkEVM trong năm qua đã thu hút làn sóng quan tâm mới đến công nghệ zk nói chung, với các công ty tập trung phát triển nhiều khía cạnh, bao gồm cả việc phát triển phần cứng zk mới để tăng tốc độ tạo bằng chứng.
Mặc dù vẫn còn một số thách thức cần giải quyết, nhưng tiến bộ trong thiết kế zkEVM trong hơn một năm qua là rất ấn tượng, và năm 2023 có thể là năm mang tính quyết định cho công nghệ này.
Chào mừng tham gia cộng đồng chính thức TechFlow
Nhóm Telegram:https://t.me/TechFlowDaily
Tài khoản Twitter chính thức:https://x.com/TechFlowPost
Tài khoản Twitter tiếng Anh:https://x.com/BlockFlow_News
