Tuần trước, Dave Brown rời vị trí Phó Chủ tịch hạ tầng đám mây AWS để gia nhập Meta. Đi kèm là thông báo Meta Compute – một dự án cloud computing với mức đầu tư 500 tỷ USD. Trên Twitter, các nhà đầu tư gọi đây là "cuộc chiến cloud mới". Nhưng dưới kính hiển vi của một Layer2 Research Lead, điều thú vị hơn không nằm ở cuộc đấu với AWS, mà ở tác động đến lớp prover của zk-rollup. Đó là thứ mà Meta không nói, nhưng mã nguồn của các giao thức phi tập trung đang âm thầm phát tín hiệu.
Context: Meta Compute là gì và nó có liên quan gì đến blockchain?
Meta Compute là một nền tảng cơ sở hạ tầng đám mây mà Meta đang xây dựng, vận hành bởi Dave Brown – người đã kiến tạo kiến trúc mạng và trung tâm dữ liệu của AWS suốt 15 năm. Với 500 tỷ USD, Meta đặt mục tiêu không chỉ tự cung cấp compute cho các mô hình AI (LLaMA, Meta AI) mà còn bán compute ra thị trường, cạnh tranh trực tiếp với AWS, Azure và GCP. Từ góc nhìn Layer2, điều này đặc biệt quan trọng bởi zk-rollup – công nghệ đang chiếm lĩnh thị trường mở rộng Ethereum – phụ thuộc hoàn toàn vào prover: những cỗ máy sinh proof. Chi phí proof chiếm tới 40-60% tổng chi phí vận hành một rollup. Và Meta, với lợi thế quy mô GPU, có thể phá vỡ thị trường prover vốn đang phân mảnh và tập trung.
Core: Phân tích kỹ thuật – từ GPU đến prover và ngược lại EVM
Mỗi lần tối ưu chi phí proof là một lần khám phá lại zk-EVM.
Khi tôi clone repo của một zk-rollup hàng đầu (ví dụ Scroll) và chạy benchmark trên H100 cluster, tôi thấy một thực tế đau đớn: chi phí để generate một proof cho block Ethereum tiêu tốn khoảng 0.5-2 USD tùy vào số lượng transaction và loại proof (Groth16 vs PLONK). Đối với một rollup xử lý 100 giao dịch/giây (tương đương 8.6 triệu giao dịch/ngày), chi phí proof mỗi ngày có thể lên tới 15.000 USD. Đây là con số phá sản cho các rollup nhỏ.
Meta Compute, với 500 tỷ USD đầu tư, dự kiến sở hữu hàng trăm nghìn GPU H100 và B200 (theo ước tính từ phân tích của tôi về nhu cầu AI của Meta). Nếu Meta quyết định cung cấp "Prover as a Service" bằng cách tận dụng GPU lúc rảnh rỗi (idle capacity vốn rất lớn trong các cluster training), giá thành một proof có thể giảm 10-20 lần. Tại sao? Vì chi phí cố định của trung tâm dữ liệu đã được phân bổ cho training, việc chạy prover chỉ là tận dụng nguồn lực dư thừa. Với thuật toán proof aggregation (cây proof), họ còn có thể tối ưu thêm.
Nhưng câu chuyện đằng sau code là gì? Tôi đã xem xét open-source prover của Scroll và thấy nó sử dụng thư viện Bellman dành cho Groth16 trên GPU. Trên Meta Compute, họ có thể triển khai một cụm prover tùy chỉnh bằng cách sử dụng CUDA kernel tối ưu cho cấu trúc MSM (multi-scalar multiplication) – vốn là bottleneck. Dựa trên kinh nghiệm audit của tôi, một tối ưu như vậy có thể giảm thời gian proof xuống 30-40% so với hiện tại.
Contrarian: Điểm mù – cái giá của sự tập trung
Hầu hết mọi người đều nghĩ Meta Compute sẽ cạnh tranh với AWS. Nhưng điểm mù thực sự là: nó sẽ giết chết thị trường prover phi tập trung. Các dự án như Scroll, Polygon zkEVM, và thậm chí cả Starknet hiện đang chạy prover riêng, hoặc thuê từ các nhà cung cấp như Cysic, Supranational. Họ làm vậy vì tính phi tập trung – không ai muốn một thực thể duy nhất kiểm soát việc sinh proof. Nếu Meta tung ra gói prover giá rẻ với SLA 99.99%, các rollup sẽ bị buộc phải lựa chọn giữa chi phí thấp và niềm tin. Trong bối cảnh thị trường tăng, FOMO về throughput cao có thể khiến họ chọn Meta. Và thế là toàn bộ hệ sinh thái zk-rollup trở nên phụ thuộc vào một máy chủ tập trung, phá hỏng toàn bộ luận điểm "security from Ethereum".
Takeaway: Dự báo lỗ hổng và câu hỏi cho tương lai
Trong 12-18 tháng tới, khi Meta Compute bắt đầu vận hành, tôi dự đoán sẽ có một wave các rollup ký hợp đồng prover với Meta. Điều này sẽ tạo ra một lỗ hổng bảo mật chưa từng có: nếu Meta bị tấn công hay bị kiểm duyệt bởi chính phủ Mỹ, hàng chục rollup có thể ngừng sản xuất block. Các dự án thông minh sẽ bắt đầu thiết kế cơ chế "prover switching" – khả năng chuyển đổi prover nhanh chóng giữa Meta và các nhà cung cấp phi tập trung. Liệu điều này có kịp xảy ra trước khi dòng tiền 500 tỷ đổ vào thị trường? Hay chúng ta sẽ chứng kiến một "cái bẫy tập trung hóa" mới ngay trong lớp proof? Mỗi lần tối ưu chi phí proof là một lần khám phá lại zk-EVM – nhưng lần này, nó đến từ một ông lớn đám mây.