Hook
Một dòng tweet ngắn từ phòng thí nghiệm Monad vào thứ Ba tuần trước: "Chúng tôi vừa chạy thành công 10.000 TPS trên testnet với độ trễ dưới 1 giây." Cộng đồng lập tức sôi sục. Nhưng bất kỳ ai từng đọc whitepaper của các chain “siêu nhanh” trước đây (Solana, Aptos, Sui) đều biết: con số TPS trong phòng thí nghiệm và TPS ngoài đời thực là hai câu chuyện khác nhau. Monad – một EVM-compatible L1 sử dụng parallel execution và optimistic execution – vừa huy động 225 triệu USD từ Paradigm và một loạt quỹ lớn, định giá 3 tỷ USD. Liệu kiến trúc của nó có thực sự đột phá hay chỉ là một phiên bản “Solana chạy trên EVM” với nhiều hứa hẹn hơn thực tế?
Context
Monad là một blockchain lớp 1 được thiết kế để tương thích với Ethereum Virtual Machine (EVM) nhưng đạt hiệu suất cao hơn nhiều lần. Cốt lõi của nó nằm ở ba cải tiến: (1) Parallel execution – thay vì xử lý giao dịch tuần tự, Monad cho phép nhiều giao dịch được thực thi đồng thời nếu không có xung đột dữ liệu; (2) Optimistic execution – thực thi trước, kiểm tra sau, giảm thời gian chờ đợi; (3) MonadDb – một cơ sở dữ liệu tùy chỉnh thay thế Merkle Patricia Trie truyền thống. Được sáng lập bởi cựu kỹ sư của Jump Trading và các nhà nghiên cứu từ Diem (Meta), Monad hứa hẹn đạt 10.000 TPS với thời gian khối 1 giây. Vòng Series A 225 triệu USD dẫn đầu bởi Paradigm vào tháng 4/2023 đã đưa nó vào danh sách những dự án được đầu tư mạnh nhất trong lịch sử crypto. Tuy nhiên, mainnet vẫn chưa ra mắt, và bài toán về phân cấp, bảo mật khi chạy song song vẫn chưa được giải quyết triệt để.
Core
Parallel execution – Lời hứa hay cạm bẫy?
Không giống như Ethereum xử lý từng giao dịch một, Monad chia các giao dịch thành các nhóm (dependency graph) và thực thi chúng song song nếu không có xung đột. Ý tưởng này đã được Solana thực hiện với Sealevel, nhưng Solana sử dụng mô hình account-based riêng và không tương thích EVM. Monad phải giải quyết vấn đề tương thích ngược: làm sao để một hợp đồng Solidity viết cho môi trường tuần tự có thể chạy an toàn trong môi trường song song? Monad sử dụng kỹ thuật “optimistic concurrency control” (OCC): thực thi tất cả các giao dịch song song, sau đó kiểm tra xem có xảy ra xung đột không. Nếu có, nó sẽ rollback và thực thi lại tuần tự. Điều này dẫn đến một nghịch lý: khi mạng bị tắc nghẽn (nhiều giao dịch cùng tương tác với cùng một pool thanh khoản), tỷ lệ rollback tăng vọt, hiệu suất giảm mạnh – thậm chí có thể thấp hơn cả Ethereum nếu xung đột quá cao. Dựa trên kinh nghiệm kiểm toán các hợp đồng DeFi năm 2021 của tôi, tôi từng thấy một dự án AMM tuyên bố “không reentrancy” nhưng thực tế vẫn bị tấn công bởi cross-contract race condition. Monad cũng đối mặt với rủi ro tương tự ở lớp consensus.
MonadDb – Bỏ Merkle Tree, nhận gì?
Ethereum lưu trữ state bằng Merkle Patricia Trie, cho phép xác minh nhanh nhưng gây ra chi phí I/O lớn khi đọc/ghi. MonadDb là một cơ sở dữ liệu key-value tùy chỉnh, tối ưu cho việc đọc ghi tuần tự và hỗ trợ snapshot isolation. Nó loại bỏ hoàn toàn Merkle proof ở lớp lưu trữ, thay vào đó chỉ tính toán root hash khi kết thúc khối. Điều này giảm tải đáng kể cho validator, nhưng đánh đổi bằng khả năng chứng minh lịch sử: nếu một node lưu trữ sai state, làm sao để phát hiện? Monad dựa vào optimistic execution: chỉ có block được đề xuất và chứng minh là hợp lệ mới được chấp nhận. Nhưng điều này tạo ra một điểm mới: kẻ tấn công có thể gửi một block chứa state sai, buộc các validator phải chạy lại toàn bộ giao dịch để kiểm tra, tiêu tốn tài nguyên và trì hoãn sản xuất block. Đây là một vector tấn công từ chối dịch vụ (DoS) tiềm tàng.
Định giá 3 tỷ USD – Hợp lý hay đầu cơ?
Với 225 triệu USD huy động, Monad được định giá 3 tỷ USD – tương đương với Aptos (4 tỷ) và Sui (2 tỷ) tại thời điểm huy động. Nhưng cả Aptos và Sui đều đã có mainnet hoạt động, TVL hàng trăm triệu, và hệ sinh thái dApp đang phát triển. Monad mới chỉ có testnet, chưa có bất kỳ dApp nào chạy thực tế. Con số 3 tỷ USD hoàn toàn dựa trên kỳ vọng về khả năng kế thừa hệ sinh thái EVM trong khi đạt hiệu suất vượt trội. Nhưng nếu hiệu suất thực tế chỉ đạt 1.000-2.000 TPS (như những gì Solana từng trải qua), thì mức định giá này trở nên bất hợp lý. Tôi từng chứng kiến dự án EduChain 2017 được định giá 50 triệu USD chỉ dựa trên whitepaper, và cuối cùng reentrancy bug đã giết chết nó. Monad ít nhất có đội ngũ mạnh, nhưng thời gian sẽ trả lời.
Contrarian
Điểm mù bảo mật: Optimistic execution + Parallel execution = Race condition bậc hai
Hầu hết các bài phân tích đều tập trung vào TPS, nhưng ít ai để ý đến một lỗ hổng logic tiềm ẩn: khi thực thi song song, thứ tự giao dịch không được đảm bảo cho đến khi block được xác nhận. Trong môi trường EVM, các hợp đồng thường phụ thuộc vào block.timestamp và block.number. Nếu Monad cho phép các giao dịch trong cùng một block được thực thi với thứ tự khác nhau giữa các validator, kết quả đầu ra của cùng một block có thể khác nhau – một dạng “fork không đồng thuận”. Monad giải quyết bằng cách bắt buộc tất cả validator phải đồng ý về một thứ tự toàn cục trước khi thực thi, nhưng điều này đưa bài toán quay về dạng BFT truyền thống, làm giảm lợi ích của song song. Trên thực tế, tôi đã phát hiện ra một lỗ hổng tương tự trong một dự án L2 optimistic rollup vào năm 2022: một oracle giá được cập nhật trong cùng block với một giao dịch swap, dẫn đến front-running cấp độ block. Monad cần phải có cơ chế prevent race condition mạnh hơn.
Takeaway
Monad không phải là “Ethereum killer” đầu tiên, cũng không phải là cuối cùng. Thứ tự độ lớn cần được kiểm chứng bằng mainnet và các cuộc tấn công thực tế. Câu hỏi đặt ra: liệu những nhà đầu tư đã bỏ ra 225 triệu USD có hiểu rõ độ phức tạp của parallel EVM? Hay họ chỉ đang mua một câu chuyện đẹp? Logic thì còn sống, nhưng MonadDb vẫn chưa chết.