
Trước thềm nâng cấp Cancun, nhìn lại thế giới zkEVM trên Ethereum
Tuyển chọn TechFlowTuyển chọn TechFlow

Trước thềm nâng cấp Cancun, nhìn lại thế giới zkEVM trên Ethereum
Khi các giải pháp khác nhau đang khám phá về zkEVM, thậm chí là những cải tiến của chính Ethereum, có khả năng tất cả các giải pháp cuối cùng đều có thể đạt được hiệu quả "hoàn toàn tương đương với Ethereum".
Tác giả: 0xRJ.eth
Giới thiệu
Dự kiến sẽ được triển khai vào mùa thu và mùa đông năm 2023, bản nâng cấp lớn của Ethereum mang tên nâng cấp Cancun-Deneb nhằm mục tiêu chính là cải thiện khả năng mở rộng, bảo mật và tính khả dụng của mạng Ethereum, đồng thời giảm đáng kể phí gas trên các mạng lớp hai (Layer-2). Do đó, nếu thành công, nó sẽ trực tiếp tạo lợi thế cho hệ sinh thái mở rộng lớp hai (L2 Rollups) của Ethereum, thậm chí có thể thúc đẩy sự bùng nổ toàn bộ lĩnh vực L2.
Trong lĩnh vực mở rộng lớp hai (L2), các giải pháp mở rộng sử dụng bằng chứng không kiến thức (Zero-Knowledge Proof) – ZK Rollups – với hiệu suất nén dữ liệu vượt trội đã được coi là giải pháp cốt lõi dài hạn cho Ethereum. Vào năm 2022, Vitalik Buterin, người sáng lập Ethereum, đã phân loại các dự án ZK Rollups dựa trên mức độ tương thích với máy ảo Ethereum (EVM - Ethereum Virtual Machine) thành 4 loại khác nhau, từ đó thiết lập tiêu chuẩn cơ bản cho loại zkEVM.
Bài viết này chịu ảnh hưởng sâu sắc từ phân loại tiên phong của Vitalik. Sau một năm phát triển, lĩnh vực này đã đạt được những tiến triển đáng kể. Mục tiêu của bài viết là cung cấp bản cập nhật rõ ràng về lĩnh vực này cùng lời giải thích chi tiết hơn (dễ hiểu đối với người mới), dựa trên quan điểm của Vitalik, bằng ngôn ngữ súc tích và logic mạch lạc.
Máy ảo Ethereum (EVM) là gì?
EVM (Ethereum Virtual Machine) – Máy ảo Ethereum – là máy ảo blockchain đầu tiên hoàn chỉnh Turing. Có thể hiểu đây là môi trường chạy mã code trên Ethereum, chuyên dùng để thực thi các hợp đồng thông minh được triển khai trên mạng Ethereum. Nhờ EVM, các hợp đồng thông minh có thể tự động hóa chức năng trên mạng phi tập trung.
Là máy ảo blockchain đã được kiểm chứng lâu đời nhất kể từ khi ra mắt vào năm 2015, EVM chắc chắn là cơ sở hạ tầng rất quan trọng của Ethereum. Thậm chí khi đánh giá các blockchain khác, việc có tương thích với EVM hay không đã trở thành một yếu tố cân nhắc quan trọng, bởi vì đằng sau sự tương thích EVM không chỉ là môi trường thực thi hợp đồng thông minh và bộ công cụ Ethereum sẵn có, mà còn đại diện cho hiệu ứng mạng khổng lồ và hệ sinh thái trưởng thành, phức tạp.
Tuy nhiên, ngay từ đầu, EVM không hề được thiết kế với viễn cảnh rằng ZK Rollup L2 sẽ trở thành giải pháp mở rộng cốt lõi cho Ethereum, do đó thiết kế của EVM không xem xét đến việc thân thiện với bằng chứng không kiến thức (zero-knowledge proof). Điều này khiến việc xây dựng một EVM thân thiện với bằng chứng không kiến thức (zkEVM) trở nên cực kỳ khó khăn.
zkEVM là gì?
Chính vì độ khó cao trong việc kết hợp bằng chứng không kiến thức (Zero Knowledge Proof) và tương thích với Máy ảo Ethereum (EVM), nên ban đầu các ZK Rollup không hỗ trợ EVM. Chúng thường thiếu khả năng thực thi hợp đồng thông minh (hoặc chỉ hỗ trợ một máy ảo đặc biệt), do đó bị giới hạn trong các trường hợp đơn giản như trao đổi token (swap) và thanh toán (payment).
Để giải quyết vấn đề này, nhiều tổ chức và nhà nghiên cứu tập trung phát triển zkEVM (Zero Knowledge Ethereum Virtual Machine), như tên gọi, đây là máy ảo tạo ra bằng chứng không kiến thức cho quá trình và kết quả thực thi hợp đồng thông minh trong EVM.
Với sự chắc chắn ngày càng tăng của các giải pháp mở rộng ZK Rollup và tiến bộ công nghệ, các dự án mở rộng sử dụng ZK đã theo đuổi các phương pháp khác nhau để kết hợp việc thực thi EVM với tính toán bằng chứng không kiến thức, tùy theo sự cân bằng giữa tính tương thích (Compatibility) và hiệu suất (Performance – thời gian tạo bằng chứng Proving Time).
Các loại zkEVM khác nhau:

Nguồn:Blog Vitalik "The different types of ZK-EVMs"
Năm 2022, Vitalik từng viết bài phân tích “Các loại zkEVM khác nhau”, đồng thời phân loại và so sánh sơ lược các dự án mở rộng sử dụng zk hiện có trên thị trường.
Tiếp theo, chúng ta hãy làm rõ các loại zkEVM, kiến trúc công nghệ và ưu nhược điểm của từng loại bằng ngôn ngữ dễ hiểu và logic rõ ràng.
Loại Type1 zkEVM: Tương đương hoàn toàn với Ethereum
Loại Type2 zkEVM: Tương thích hoàn toàn với EVM (Máy ảo Ethereum) (trước đây từng có loại Type2.5, nhưng hiện tại về cơ bản đã hòa nhập vào loại Type2)
Loại Type3 zkEVM: Gần như tương thích với EVM (Máy ảo Ethereum)
Loại Type4 zkEVM: Tương thích với ngôn ngữ cấp cao

Type1 zkEVM – Tương đương hoàn toàn với Ethereum
Kiến trúc:
-
Hoàn toàn giống với Ethereum và không cần thay đổi bất kỳ phần nào của môi trường hệ thống Ethereum.
-
Không cần thay thế các hàm băm (Hashes), cây trạng thái (State Trie), cây giao dịch (Transactions Trie), các hợp đồng tiền biên dịch (Precompiles), hay bất kỳ logic đồng thuận nào (In-consensus Logic).
-
Mục tiêu là tương thích hoàn toàn với các ứng dụng hiện có, cho phép nhà phát triển di chuyển ứng dụng một cách mượt mà.
Ưu điểm:
-
Là giải pháp có mức độ tương thích cao nhất trong tất cả các loại ZK Rollup. Vì vậy cũng là giải pháp thân thiện nhất với nhà phát triển – cho phép triển khai mã hiện có lên L2 mà không cần sửa đổi, vì mọi logic đồng thuận và môi trường hệ thống đều giống hệt Ethereum.
-
Phù hợp cao với định hướng mở rộng của chính Ethereum, vì khám phá trên Type1 zkEVM có thể được áp dụng không ma sát vào chính Ethereum, giúp nâng cao khả năng mở rộng của L1 Ethereum.
-
Cho phép Rollup sao chép không ma sát hàng loạt cơ sở hạ tầng Ethereum hiện có (ví dụ: các client thực thi Ethereum có thể được dùng để tạo và xử lý khối Rollup như cũ; các công cụ như trình duyệt khối và tạo khối hiện có cũng có thể triển khai mượt mà lên L2).
-
Có thể xác minh khối Ethereum giống như Ethereum hiện tại, hoặc nói chính xác hơn là xác minh lớp thực thi (bao gồm mọi giao dịch, hợp đồng thông minh và logic tài khoản, nhưng hiện chưa bao gồm logic đồng thuận chuỗi beacon).
-
Như đã đề cập trước đó, giá trị lớn nhất của việc tương đương hoàn toàn với Ethereum chính là tận dụng hiệu ứng mạng khổng lồ và hệ sinh thái trưởng thành, phức tạp vốn có.
Nhược điểm:
-
Vấn đề mà Ethereum gặp phải khi tích hợp bằng chứng không kiến thức, thì loại Type1 cũng gặp phải (vì nó tương đương Ethereum, mà Ethereum ban đầu không được thiết kế cho chức năng zk).
-
Vấn đề lớn nhất là thời gian tạo bằng chứng lâu. Hiện tại, giải pháp chủ yếu trong ngành là: song song hóa quy trình chứng minh quy mô lớn thông qua kỹ thuật tinh vi, hoặc tăng tốc bằng tối ưu hóa phần cứng.
Các dự án nổi bật:
-
Đội PSE (Privacy and Scaling Explorations – Khám phá riêng tư và mở rộng) thuộc Quỹ Ethereum
-
Taiko: Đã cập nhật lên mạng thử nghiệm Alpha-4 vào tháng 7 năm nay, dự kiến ra mắt mainnet vào đầu năm 2024. Dự án Taiko từ đầu luôn ưu tiên tính phi tập trung và khả năng tương thích, hiện là ZK Rollup duy nhất và đầu tiên đạt được proposer (người đề xuất khối) phi tập trung.
Type2 zkEVM – Tương thích hoàn toàn với EVM (Máy ảo Ethereum)
Kiến trúc:
-
Hướng tới sự tương thích hoàn toàn với EVM, nhưng không tương đương với Ethereum.
-
So với môi trường vận hành của chính Ethereum, loại zkEVM này thực hiện một số điều chỉnh ở cấu trúc khối, cấu trúc dữ liệu cây trạng thái, định giá phí gas (định giá lại theo mức độ thân thiện với zk) và lưu trữ dữ liệu... nhằm giúp tạo bằng chứng nhanh và rẻ hơn.
-
Mục tiêu là tương thích với phần lớn các ứng dụng hiện có, chỉ một số ít ứng dụng cần điều chỉnh nhỏ.
Ưu điểm:
-
Bằng cách định giá lại phí gas (giá cao hơn cho các opcode không thân thiện với zk, ngược lại thì thấp hơn) và loại bỏ một số thành phần của ngăn xếp Ethereum không thân thiện với zk, loại này cung cấp thời gian xác minh nhanh hơn so với Type1.
-
Type2 có thể tương thích với phần lớn ứng dụng Ethereum hiện có, do đó hầu hết nhà phát triển và người dùng gần như không cảm nhận được sự khác biệt.
-
Mặc dù không thể sử dụng trực tiếp client thực thi Ethereum mà không cần sửa đổi, nhưng vẫn có thể hỗ trợ các công cụ gỡ lỗi EVM và cơ sở hạ tầng phát triển hiện có thông qua một số điều chỉnh kỹ thuật. Vì vậy, nó vẫn tận dụng được đáng kể hệ sinh thái phong phú của Ethereum.
Nhược điểm:
-
Mặc dù phạm vi ảnh hưởng của việc thay đổi môi trường thực thi nhỏ, nhưng về trung và dài hạn vẫn tồn tại những vấn đề tiềm tàng. Ví dụ, việc thay thế hàm băm phổ biến trên Ethereum (Keccak) bằng các hàm băm thân thiện với zk khác (ví dụ Poseidon) có thể khiến các ứng dụng phụ thuộc vào giá trị băm Keccak (liên quan đến dữ liệu lịch sử) gặp vấn đề không tương thích khi di chuyển sang dự án loại Type2 (không thể sử dụng hoặc cho ra kết quả khác). Ví dụ điển hình là cầu nối chéo chuỗi (cross-chain bridge): cầu nối không giao tiếp thời gian thực, thường là bạn thực hiện hành động trên chuỗi A (ví dụ đã đốt token), rồi thực hiện hành động tương ứng trên chuỗi B (phải đúc token...). Về bản chất, bạn cần chứng minh dữ liệu lịch sử trên chuỗi A tại chuỗi B, điều này đòi hỏi sử dụng Keccak để chứng minh dữ liệu lịch sử.
-
Việc thay đổi quy tắc định giá phí gas (mục đích là định giá lại opcode theo mức độ thân thiện với zk để "dẫn dắt" nhà phát triển giảm dùng các opcode không thân thiện với zk) sẽ gây vấn đề cho các hợp đồng đã được tối ưu phí gas trên Ethereum, hoặc các công cụ tối ưu phí gas trên Ethereum.
-
Mặc dù các thay đổi này so với Type1 zkEVM đã nâng cao hiệu quả của bên chứng minh hơn nữa, nhưng so với Type4 zkEVM thì thời gian tạo bằng chứng vẫn là một điểm yếu tương đối.
Các dự án nổi bật:
-
Scroll: Ra mắt mạng thử nghiệm Pre-Alpha vào tháng 9 năm 2022, ra mắt mạng thử nghiệm Alpha vào tháng 2 năm 2023, dự kiến ra mắt mainnet vào tháng 8 năm 2023. Khi ra mắt mạng thử nghiệm thuộc loại Type3 zkEVM, nhưng đang dần tăng cường khả năng tương thích EVM và chuyển đổi sang Type2 zkEVM.
-
Polygon zkEVM (giải pháp ZK Rollup của đội Polygon): Ra mắt phiên bản beta mainnet vào tháng 3 năm 2023. Ban đầu thuộc loại Type3 zkEVM, nhưng hiện đang chuyển dần sang Type2 zkEVM.
Type3 zkEVM – Gần như tương thích với EVM (Máy ảo Ethereum)
Kiến trúc:
-
Vitalik từng viết trong bài blog năm 2022 rằng, Type3 zkEVM giống như một giai đoạn chuyển tiếp (có thể tăng khả năng tương thích để tiến tới Type2/1, hoặc giảm khả năng tương thích, tăng độ thân thiện với zk để tiến tới Type4).
-
Gần như tương thích với EVM. Bằng cách hy sinh thêm về mặt tương thích, zkEVM này dễ phát triển hơn và tạo bằng chứng nhanh hơn.
-
Xóa bỏ nhiều chức năng khó triển khai trong zkEVM (ví dụ chức năng tiền biên dịch).
-
Có sự khác biệt lớn hơn trong xử lý mã hợp đồng (contract code), bộ nhớ (memory) hoặc ngăn xếp (stack).
-
Mục tiêu là tương thích với phần lớn các ứng dụng hiện có.
Ưu điểm:
-
So với Type1 và Type2 zkEVM, loại này thân thiện hơn với zk, thời gian tính toán bằng chứng ngắn hơn.
-
So với Type4 zkEVM, có thể tương thích với nhiều ứng dụng Ethereum hiện có hơn.
Nhược điểm:
-
So với Type1 và Type2 zkEVM, loại này có mức độ không tương thích cao hơn và phải hy sinh nhiều thành phần hơn (ít thân thiện hơn với nhà phát triển Ethereum). Đây cũng là lý do vì sao Type3 giống như một giai đoạn chuyển tiếp, các dự án ở loại này có khả năng cao sẽ tăng độ tương thích để tiến tới Type2 zkEVM.
-
Chậm hơn Type4 zkEVM về tốc độ tạo bằng chứng.
Các dự án nổi bật:
-
Scroll: Ra mắt mạng thử nghiệm Pre-Alpha vào tháng 9 năm 2022, ra mắt mạng thử nghiệm Alpha vào tháng 2 năm 2023, dự kiến ra mắt mainnet vào tháng 8 năm 2023. Một năm trước Scroll thuộc loại này, nhưng hiện tại đang tăng khả năng tương thích Ethereum để phát triển thành Type2 zkEVM.
-
Polygon zkEVM (giải pháp ZK Rollup của đội Polygon): Ra mắt phiên bản beta mainnet vào tháng 3 năm 2023. Ban đầu thuộc loại Type3 zkEVM, nhưng hiện đang chuyển dần sang Type2 zkEVM.
Type4 zkEVM – Tương thích với ngôn ngữ cấp cao
Kiến trúc:
-
Thực tế, loại này thuộc về zkVM (máy ảo bằng chứng không kiến thức), chứ không phải zkEVM (máy ảo bằng chứng không kiến thức Ethereum).
-
Có thể hiểu là tương thích ở cấp độ ngôn ngữ lập trình. Logic tổng thể là: nhà phát triển vẫn có thể dùng ngôn ngữ lập trình quen thuộc trên Ethereum (ví dụ Solidity) để viết hợp đồng thông minh. Các dự án loại này dùng trình biên dịch để chuyển ngôn ngữ đó thành mã đọc được tùy chỉnh (ví dụ Starkware dùng trình biên dịch Warp để chuyển mã Solidity thành mã byte Cairo; zkSync dùng trình biên dịch LLVM để chuyển mã Solidity thành mã LLVM-IR thực thi được trên máy ảo tùy chỉnh của họ), rồi thực thi trong môi trường tùy chỉnh của họ (ví dụ Cairo VM của Starknet hoặc Sync VM của zkSync).
-
Mục tiêu là chi phí thấp, hiệu quả cao, tối đa hóa sự thân thiện với bằng chứng không kiến thức.
Ưu điểm:
-
Thời gian xác minh rất nhanh.
-
Biên dịch trực tiếp từ ngôn ngữ cấp cao có thể giảm đáng kể chi phí (thời gian, tiền bạc và khối lượng tính toán).
-
Giảm门槛 kỹ thuật để trở thành bên chứng minh, nâng cao mức độ phi tập trung.
-
Các zkEVM loại này có thể hỗ trợ gốc túi tài khoản (Account Abstraction) thông qua máy ảo tùy chỉnh của chúng. Vì các chuỗi tương đương EVM không thể hỗ trợ gốc túi tài khoản, mà phải thông qua ERC-4337 của Ethereum.
Nhược điểm:
-
Số lượng lớn ứng dụng Ethereum hiện có không thể sao chép sang loại zkVM này, hoặc gặp sự cố khi sao chép: ví dụ địa chỉ hợp đồng trên hệ thống zkVM loại 4 có thể khác với địa chỉ trên EVM; loại zkEVM này không hỗ trợ mã byte EVM viết tay (hiện nhiều ứng dụng dùng mã byte EVM viết tay để tiết kiệm phí gas); (như đã đề cập, loại này đạt được sự tương thích ở cấp độ ngôn ngữ mã Solidity thông qua trình biên dịch) trình biên dịch của họ không hỗ trợ một số chức năng của Solidity.
-
Nếu nhà phát triển Ethereum muốn triển khai ứng dụng lên các dự án loại này, họ cần điều chỉnh phức tạp hơn. Vì vậy, so với các loại zkEVM trước đó, mức độ thân thiện với nhà phát triển của các dự án loại này tương đối thấp, có thể ảnh hưởng đến tốc độ phát triển hệ sinh thái và đổi mới công nghệ.
-
Rất khó tận dụng hệ sinh thái phong phú, phức tạp và hiệu ứng mạng hiện có của Ethereum.
Các dự án nổi bật:
-
zkSync Era (giải pháp ZK Rollup của đội Matter Labs): Ra mắt zkSync Lite (zkSync 1.0) vào tháng 6 năm 2020, chủ yếu hỗ trợ thanh toán đơn giản (payment) và trao đổi tài sản (swap), không hỗ trợ hợp đồng thông minh tương thích EVM; ra mắt zkSync Era (zkSync 2.0) vào tháng 3 năm 2023, đạt được sự tương thích ở cấp độ ngôn ngữ cao theo kiến trúc nêu trên. Mục tiêu của zkSync vốn không phải là tương thích EVM, mà là tăng tốc độ tạo bằng chứng không kiến thức.
-
Starknet (giải pháp ZK Rollup của đội Starkware): Ra mắt mainnet vào tháng 11 năm 2021, đã cập nhật lên phiên bản v0.12.0 vào tháng 7 năm nay. Bản thân nó thuộc loại Type4 zkEVM, mục tiêu vốn không phải là tương thích EVM. Tuy nhiên hiện nay trên nó cũng có các dự án như Kakarot, nhằm giúp Starknet đạt được mức độ tương thích tương tự Type 2.5-3 zkEVM.
Dựa trên phân loại các zkEVM khác nhau của Vitalik năm 2022, kết hợp với tiến triển của các dự án (tính đến tháng 8 năm 2023), chúng ta có thể tóm tắt đơn giản bằng hình dưới đây:

Phân loại các dự án ZK Rollup nổi bật
Các dự án zkEVM nổi bật theo từng loại

Biểu đồ so sánh các dự án ZK Rollup nổi bật
Vitalik kết luận trong bài viết của mình: “Cá nhân tôi hy vọng rằng theo thời gian, thông qua sự cải tiến của zkEVM và bản thân Ethereum, làm cho nó thân thiện hơn với ZK-SNARK, cuối cùng tất cả sẽ trở thành Type1.”
Trong tương lai như vậy, chúng ta sẽ có nhiều triển khai zkEVM khác nhau, vừa có thể dùng cho ZK Rollup (mở rộng bằng chứng không kiến thức), vừa có thể dùng để xác minh chính chuỗi Ethereum. Về lý thuyết, Ethereum không cần phải đưa ra một tiêu chuẩn zkEVM đơn nhất, chuẩn hóa cho L1; các client khác nhau có thể chọn các phương pháp chứng minh khác nhau, nhờ đó chúng ta vẫn có thể tiếp tục hưởng lợi từ sự dư thừa ở cấp độ mã nguồn.
Tuy nhiên, để đạt được tương lai như vậy còn cần một thời gian khá dài. Trong thời gian chờ đợi, chúng ta sẽ tiếp tục chứng kiến rất nhiều đổi mới trong các con đường khác nhau nhằm mở rộng Ethereum và các ZK Rollup dựa trên Ethereum.
Đồng thời, cần nhấn mạnh rằng, mặc dù cách phân loại zkEVM phổ biến nhất hiện nay là hệ thống do Vitalik đưa ra năm 2022 (được bài viết này trích dẫn), nhưng cũng tồn tại các tiêu chuẩn phân loại khác. Dù phân loại thế nào, các loại zkEVM này cũng không có ưu nhược tuyệt đối. Chúng chỉ khác nhau ở chỗ đánh đổi giữa tương thích và tốc độ: Type1 zkEVM có mức độ tương thích với Ethereum cao nhất, nhưng tốc độ tạo bằng chứng chậm hơn (trong lĩnh vực ZK Rollup); Type4 zkEVM có mức độ tương thích với Ethereum kém hơn, nhưng tốc độ xác minh nhanh hơn.
Tất nhiên, mức độ tương thích và tốc độ của zkEVM thực tế không phải là chỉ số duy nhất mà nhà phát triển dùng để lựa chọn triển khai ứng dụng lên ZK Rollup nào. Còn nhiều yếu tố khác ảnh hưởng đến quyết định của họ, ví dụ:
Mức độ phi tập trung trong việc sắp xếp giao dịch L2: sequencer/proposer có phi tập trung hay không, điều này ảnh hưởng trực tiếp đến mức độ tham gia của các bên và độ an toàn toàn mạng;
Chi phí: dùng token nào để trả phí, mô hình kinh tế token của một chuỗi công cộng ra sao;
Quy tắc tạo bằng chứng: cơ chế khuyến khích cho prover, tiêu chuẩn phần cứng tăng tốc tạo bằng chứng;
Tự quản lý (Self-custody): có cơ chế rõ ràng nào đảm bảo rằng khi xảy ra sự cố ở L2, tài sản người dùng vẫn có thể khôi phục trên L1 hay không;
Khả năng sẵn có dữ liệu (Data availability): chi phí cho khả năng sẵn có dữ liệu đầy đủ tự nhiên cao hơn, liệu có chấp nhận mô hình khả năng sẵn có dữ liệu chi phí thấp mà một số ZK Rollup áp dụng hay không.
Tuy nhiên, do phần lớn các dự án ZK Rollup phổ thông hiện vẫn đang ở giai đoạn mạng thử nghiệm, nên các yếu tố trên chưa thể so sánh ngang hàng.
Cuối cùng, loại zkEVM mà một dự án thuộc về cũng không phải là cố định mãi mãi. Với sự khám phá liên tục của các giải pháp về zkEVM, thậm chí là sự cải tiến của bản thân Ethereum, có thể tất cả các giải pháp cuối cùng đều đạt được hiệu quả như Type1 zkEVM. Khi đó, chúng ta sẽ có nhiều triển khai zkEVM – vừa dùng được cho ZK Rollups, vừa dùng được để xác minh chính chuỗi Ethereum.
Và trước lúc đó, hãy cùng mong chờ những đổi mới liên tục trên các con đường khác nhau nhằm mở rộng Ethereum và ZK Rollup.
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














