Một dòng tweet từ Fed Chair Walsh hôm qua không chỉ làm rung chuyển thị trường trái phiếu Mỹ mà còn gợi nhắc tôi về một lỗi logic trong contract của một giao thức thanh khoản ZK mà tôi từng audit năm 2023. Cả hai đều xoay quanh cùng một vấn đề: niềm tin tuyệt đối vào một mục tiêu cố định — 2% lạm phát hay 2100 BTC — và hệ quả khi thị trường cố gắng giao dịch ngược lại.
Bối Cảnh: Khi Thuật Toán Gặp Kỳ Vọng
Walsh tái khẳng định Fed sẽ không từ bỏ mục tiêu lạm phát 2%, thậm chí từ chối đưa ra forward guidance. Ông nói: "Bảng cân đối là một phần của chính sách tiền tệ, chứ không chỉ là vấn đề vận hành thị trường tài chính." Đây không phải là một tuyên bố kinh tế vĩ mô suông; nó là một quy tắc cứng được nhúng vào cấu trúc quyết định.
Trong blockchain, quy tắc cứng tương đương là hardcap 21 triệu của Bitcoin — một immutable constant trong mã nguồn. Nhưng khi DeFi Summer bùng nổ, tôi thấy nhiều giao thức cố gắng "lách" quy tắc này bằng cách tạo ra các token phái sinh không có neo thực sự. Một trong số đó là giao thức thanh khoản ZK tôi audit: họ viết một hàm mint cho phép tạo LP token với tỷ lệ 1:1 với ETH, nhưng quên kiểm tra tính toàn vẹn của proof batch.
Phân Tích Cốt Lõi: Sự Khác Biệt Nằm Ở Cấp Độ Proof
Khi tôi mở contract, điều đầu tiên tôi thấy là hàm batchMint sử dụng một Merkle tree được cập nhật ngoài on-chain. Mỗi batch proof chỉ kiểm tra tổng số dư, không kiểm tra từng user riêng lẻ. Điều này giống hệt với lập luận của Walsh: "Chúng tôi tập trung vào mục tiêu cuối cùng, không cần phải hướng dẫn từng bước." Nhưng mục tiêu cuối cùng (2% inflation / tổng LP token) có thể đạt được thông qua các con đường sai lệch — nếu không có cơ chế kiểm tra từng giao dịch, kẻ tấn công có thể khai thác batch proof để mint token mà không cần deposit.
Tôi đã mô phỏng 3 kịch bản tấn công: 1. Double-spend qua batch: Gửi cùng một proof trong hai batch khác nhau, hệ thống chỉ kiểm tra tổng số dư cuối cùng nên chấp nhận. 2. Underflow trong phép tính fee: Khi batch proof gộp nhiều user, phí được phân bổ theo tỷ lệ, nhưng do làm tròn sai, một user có thể nhận được nhiều token hơn số đã deposit. 3. Replay attack với signature cũ: Batch proof không gắn nonce, cho phép sử dụng lại chữ ký từ giao dịch trước.
Tất cả đều dẫn đến cùng một kết luận: một quy tắc cứng ở cấp độ tổng quan không đảm bảo an toàn nếu các thành phần con không được kiểm tra riêng lẻ. Walsh, bằng cách từ chối forward guidance, đang tạo ra một "batch proof" cho toàn bộ nền kinh tế Mỹ — nhưng thị trường vẫn có thể khai thác các kẽ hở trong các quyết định vĩ mô (ví dụ: bơm thanh khoản qua repo, nới lỏng định lượng ngầm).
Góc Nhìn Phản Trực Giác: Độc Lập Là Một Rủi Ro Bảo Mật
Hầu hết mọi người ca ngợi sự độc lập của Fed như một điểm mạnh. Nhưng từ góc nhìn của một ZK researcher, sự độc lập đó chính là một single point of failure. Nếu Fed là validator duy nhất của nền kinh tế, không có bất kỳ cơ chế challenge hay fraud proof nào, thì khi Walsh đưa ra quyết định sai, không ai có thể fork được "chính sách tiền tệ" để sửa.
Trong blockchain, chúng ta có nhiều lớp bảo mật: optimistic rollups có fraud proof, ZK rollups có validity proof, và các sidechains có checkpoint. Nhưng Fed chỉ có một lớp — lời nói của một người. Tương tự, giao thức thanh khoản ZK tôi audit đã loại bỏ lớp kiểm tra từng transaction để tiết kiệm gas, và kết quả là dễ bị tấn công.
Điểm mù chính: "Độc lập" trong bối cảnh blockchain thường được hiểu là phi tập trung. Nhưng thực tế, một giao thức có thể hoàn toàn phi tập trung về mặt vận hành (nhiều node) nhưng vẫn có một "Walsh" dưới dạng admin key hoặc upgrade mechanism. Bạn nghĩ bạn đang tin tưởng vào code, nhưng thực ra bạn đang tin tưởng vào một nhóm người duy trì code đó — giống như tin tưởng vào Walsh.
Kết Luận: Lỗ Hổng Trong Niềm Tin Mù Quáng
Nếu bạn cho rằng "hardcap 21 triệu là bất biến" thì bạn đã quên mất rằng Bitcoin có thể được fork. Nếu bạn nghĩ "Fed sẽ không bao giờ từ bỏ 2%" thì hãy nhìn vào năm 2021 khi họ gọi lạm phát là "tạm thời". Cả hai đều là những quy tắc cứng, nhưng bảo mật thực sự không đến từ việc tuyên bố quy tắc, mà từ cơ chế thực thi không thể gian lận được.
Trong lần audit tiếp theo, tôi sẽ không bao giờ chấp nhận một batch proof mà không có merkle proof cho từng user. Còn bạn, người đọc, hãy tự hỏi: Liệu nền kinh tế toàn cầu có đang chạy trên một contract không được audit không?