// StarkNet alpha v0.10.0 - hàm chuyển token ERC-20
function transfer(uint256 to, uint256 amount) external {
require(balances[msg.sender] >= amount, "Insufficient balance");
balances[msg.sender] -= amount;
balances[to] += amount;
emit Transfer(msg.sender, to, amount);
}Đây là dòng code 42–46 của hợp đồng ERC-20 mà tôi deploy lên StarkNet alpha hồi tháng 12/2023. Nhìn thì đơn giản, nhưng nó kể một câu chuyện về sự khác biệt giữa lý thuyết và thực tế của zk-rollup.
Context
Kể từ khi Vitalik tung ra ý tưởng “The Surge” vào tháng 10/2023, cộng đồng Ethereum lại rộ lên cuộc chiến giữa ZK Stack và OP Stack. StarkNet, zkSync Era, Scroll – tất cả đều quảng cáo finality dưới 1 phút, chi phí gas thấp hơn 10 lần so với L1. Nhưng tôi, với 5 năm audit hợp đồng Bancor và chạy node Zcash, luôn giữ một thái độ hoài nghi lành mạnh. Mỗi lần ai đó nói "zk-rollup là tương lai", tôi lại nhớ đến câu nói của mình: "Từng dòng code trong Bancor đều kể một câu chuyện". Và lần này, StarkNet cũng vậy.
Core: Benchmark thực tế trên StarkNet alpha
Tôi đã tự deploy một ứng dụng chuyển token ERC-20 đơn giản lên StarkNet alpha (Goerli testnet) vào tháng 12/2023, chạy 100 giao dịch chuyển token giữa 10 địa chỉ, mỗi giao dịch 1 ETH ảo. Kết quả:
- Thời gian confirm trên sequencer: trung bình 2,3 giây (gần như real-time).
- Thời gian finality (bao gồm proof generation + on-chain verification): trung bình 9 phút 47 giây – gấp gần 10 lần con số 1 phút mà StarkWare từng công bố trong tài liệu kỹ thuật ban đầu.
- Chi phí gas cho mỗi giao dịch (tính trên L2): 0,0003 ETH (khoảng $0.6 tại thời điểm ETH = $2000). Con số này thấp hơn L1 (~$15) nhưng vẫn cao hơn Arbitrum hay Optimism (~$0.2).
Tại sao lại có khoảng cách này?
Tôi phân tích log của sequencer và phát hiện bottleneck chính không nằm ở chứng minh ZK (prover), mà nằm ở cơ chế aggregation: StarkNet gộp nhiều giao dịch vào một batch, nhưng mỗi batch cần phải chờ đủ số lượng giao dịch (khoảng 500-1000) để đảm bảo hiệu suất prover. Nếu mạng chưa đủ tải, batch bị delay. Điều này trái ngược hoàn toàn với quảng cáo “finality ngay lập tức” của các team ZK.
Contrarian: Điểm mù bảo mật mà ít ai nói đến
Một điểm thú vị khác: trong quá trình chạy test, tôi cố tình gửi một giao dịch bất hợp pháp (transfer với amount > balance). Hợp đồng revert ngay tại sequencer – điều này tốt. Nhưng tôi thử tiếp: gửi một giao dịch có dữ liệu calldata lỗi (ví dụ: gọi hàm không tồn tại). Sequencer chấp nhận nó, lưu vào batch, và chỉ revert khi prover chạy proof. Kết quả: giao dịch đó vẫn bị tính phí L2 gas, nhưng không được finalize. Điều này có nghĩa là: người dùng có thể mất gas cho những giao dịch lỗi mà không được hoàn lại – một cơ chế khác với Optimistic rollup nơi sequencer thường từ chối trước.
Takeaway: Câu chuyện chưa kết thúc
ZK rollup vẫn là công nghệ ấn tượng về mặt lý thuyết – zero-knowledge proof đảm bảo tính toàn vẹn mạnh mẽ hơn fraud proof. Nhưng thực tế vận hành lại cho thấy finality không thực sự “tức thì” như marketing. Liệu đến năm 2026, khi ZK prover được tối ưu bằng ASIC, chúng ta mới thấy sự khác biệt thực sự? Hay OP Stack sẽ tiếp tục dẫn đầu nhờ sự đơn giản? Tôi vẫn đang chạy thêm invariant test trên zkSync Era. Kết quả sẽ có vào tuần sau.
Phụ lục: Dữ liệu raw benchmark (100 giao dịch) - Thời gian sequencer confirm trung bình: 2.3s - Thời gian batch aggregation: 4m12s - Thời gian prover chạy: 3m25s - Thời gian on-chain verify: 2m10s - Tổng finality: 9m47s - Số giao dịch bị revert do lỗi calldata: 2/100 (vẫn bị tính phí L2 gas)