Tôi đã từng audit ICO EOS vào năm 2017. Sau ba tuần đọc từng dòng code Dawn 2.0, tôi tìm thấy một lỗi signature malleability trong thư viện secp256k1. Lỗi đó không làm sập toàn bộ hệ thống, nhưng nó cho phép kẻ tấn công sử dụng lại chữ ký đã chỉnh sửa – một lỗ hổng tưởng chừng nhỏ nhưng lại đủ để phá vỡ tính toàn vẹn của giao dịch. Hôm nay, khi đọc tuyên bố của Iran về việc “kiểm soát thời điểm hòa bình và chiến tranh” được đăng tải trên Crypto Briefing, tôi cảm thấy một sự quen thuộc kỳ lạ. Bề ngoài, đó là một tuyên bố chính trị mạnh mẽ, làm rung chuyển thị trường dầu mỏ và vàng. Nhưng khi nhìn vào “chữ ký” của nó – nguồn gốc, tính xác thực và khả năng bị thao túng – tôi thấy một lỗi “signature malleability” khác: thị trường crypto đã phản ứng như thể đây là một sự thật được xác thực, trong khi thực tế, nó chỉ là một tín hiệu “chưa được xác minh” được khuếch đại bởi FOMO và sự thiếu hiểu biết về kiến trúc thông tin phi tập trung.
Bối cảnh: Tuyên bố từ một “oracle” không có private key? Ngày 20 tháng 5 năm 2024, Crypto Briefing đưa tin: một quan chức Iran (không được nêu tên) tuyên bố nước này kiểm soát hoàn toàn thời điểm của hòa bình và chiến tranh trong quan hệ Mỹ-Iran. Ngay lập tức, giá dầu Brent tăng 3%, vàng chạm mức cao kỷ lục, trong khi Bitcoin và Ethereum giảm 2-4% trong vài giờ. Các nhà phân tích địa chính trị truyền thống vội vã đưa ra những phân tích về “asymmetric deterrence”, “proxy war”, và “energy security”. Nhưng với tư cách là một kỹ sư blockchain đã từng gỡ code StarkNet và xây dựng mô hình Python cho Uniswap v2, tôi chỉ có một câu hỏi: Ai đã ký tuyên bố đó? Làm thế nào để thị trường phi tập trung của chúng ta xác minh rằng một quan chức Iran thực sự nói điều đó? Nếu đây là một smart contract, chúng ta sẽ audit nó như thế nào?
Core: Phân tích técníque – “Audit” tuyên bố của Iran như một thông điệp on-chain Hãy tưởng tượng tuyên bố này là một giao dịch trên blockchain. Để nó có hiệu lực, cần có: (1) một địa chỉ nguồn đáng tin cậy (ví dụ: tài khoản Twitter chính thức của Bộ Ngoại giao Iran, hoặc hãng thông tấn IRNA), (2) một chữ ký điện tử tương ứng (xác thực bằng private key), và (3) một cơ chế đồng thuận (consensus) từ các bên tham gia. Trong thế giới thực, Crypto Briefing là một “validator” duy nhất. Họ nhận được thông tin từ đâu? Một nguồn tin giấu tên? Một cuộc phỏng vấn? Không có bằng chứng mật mã nào. Trong quá trình audit EOS, tôi phát hiện rằng thư viện secp256k1 không kiểm tra tính duy nhất của chữ ký (low-s vs high-s). Điều này cho phép kẻ tấn công tạo ra một chữ ký hợp lệ khác từ cùng một giao dịch, dẫn đến khả năng phát lại (replay attack). Tương tự, tuyên bố “kiểm soát chiến tranh” có thể được tái tạo, bóp méo hoặc trích dẫn sai bởi bất kỳ ai có quyền truy cập vào nguồn gốc mơ hồ. Thị trường không kiểm tra “low-s signature” – nó chỉ nhìn vào nội dung thô và phản ứng.
Tôi đã từng xây dựng mô hình kinh doanh từ mã nguồn Uniswap v2, mô phỏng động lực thanh khoản bằng Python. Nếu áp dụng cùng một phương pháp vào thị trường thông tin, tôi sẽ mô hình hóa tuyên bố này như một “token” với tính thanh khoản thấp và độ biến động cao. Khi không có xác thực on-chain, giá trị của tuyên bố phụ thuộc hoàn toàn vào niềm tin vào validator (Crypto Briefing). Nhưng validator đó có stakes gì? Nếu họ sai, họ không bị slash. Đây là một hệ thống bằng chứng không có sự đồng thuận – giống như một blockchain với một validator duy nhất có thể sản xuất block bất kỳ lúc nào. Trong quá trình nghiên cứu StarkNet (Cairo 0.10), tôi đã xây dựng mô hình phân tích chi phí chứng minh. Một bài học: zk-proof cần phải được xác minh công khai để có độ tin cậy. Ở đây, không có zk-proof cho tuyên bố này.
Hơn nữa, hãy nhìn vào động lực của người đưa tin. Tôi từng tham gia phát triển ArtBlocks-style generative art, thiết kế cơ chế hash-based compression để tiết kiệm gas. Tôi học được rằng người ta có thể nén thông tin để tiết kiệm chi phí, nhưng cũng có thể nén sự thật để tạo hiệu ứng. Một tuyên bố gây sốc từ một nguồn không rõ ràng có thể là một “compression attack” – nó nén toàn bộ sự phức tạp của địa chính trị thành một meme 140 ký tự, dễ lan truyền nhưng khó kiểm chứng. Khi tôi audit ICO EOS, tôi đã gửi lỗi lên GitHub và không nhận được phản hồi. Điều đó không làm tôi nản; nó chỉ khiến tôi hiểu sâu hơn về cấu trúc chữ ký. Tương tự, tuyên bố này có thể không nhận được phản hồi từ Tehran (phủ nhận hoặc xác nhận), nhưng điều đó không ngăn thị trường phản ứng.
Contrarian: Điểm mù bảo mật – Sự thao túng thông tin như một vector tấn công DeFi Hầu hết các bài phân tích đều cho rằng tuyên bố này làm tăng rủi ro địa chính trị, do đó đẩy giá dầu và vàng lên, còn crypto xuống. Nhưng góc nhìn contrarian của tôi là: rủi ro thực sự không nằm ở Iran, mà nằm ở cách thị trường crypto xử lý thông tin thiếu xác thực. Tôi đã chứng kiến nhiều dự án DeFi bị tấn công vì oracle manipulation. Nếu một oracle địa chính trị (như một tweet từ tài khoản giả mạo) có thể thao túng giá cả, thì đó là một lỗ hổng tương tự. Hãy tưởng tượng một kịch bản: một kẻ tấn công mua quyền chọn mua dầu với đòn bẩy cao, sau đó tung ra một tuyên bố giả mạo Iran về việc phong tỏa eo biển Hormuz. Giá dầu tăng, họ kiếm lời. Thị trường crypto cũng vậy – một tuyên bố về chiến tranh có thể làm sập giá Bitcoin nếu nó được xem là risk-off. Nhưng nếu tuyên bố đó là giả, thị trường sẽ điều chỉnh lại, và kẻ tấn công có thể tận dụng sự biến động hai chiều.
Trong audit EOS, tôi phát hiện lỗi signature malleability cho phép kẻ tấn công tạo ra một giao dịch trùng lặp. Ở đây, tuyên bố của Iran có thể dễ dàng bị “malleate” (biến dạng) bởi các phương tiện truyền thông khác nhau. Một bản dịch sai, một trích dẫn thiếu ngữ cảnh, hoặc một tiêu đề giật tít cũng có thể tạo ra hiệu ứng tương đương. Tôi từng thất vọng vì báo cáo StarkNet dài 80 trang không ai đọc, nhưng nếu tôi chỉ đăng một câu “StarkNet hiệu quả hơn zkSync 30%”, mọi người sẽ tin ngay. Điều đó cho thấy sức mạnh của việc nén thông tin – và sự nguy hiểm của nó.
Takeaway: Dự báo lỗ hổng và câu hỏi để lại Lần tới khi một tuyên bố chính trị làm rung chuyển thị trường crypto, hãy tự hỏi: chữ ký của nó ở đâu? Ai là validator? Làm thế nào để chain của tôi xác minh thông tin này? Cho đến khi các giao thức phi tập trung tích hợp oracle xác thực nguồn tin (ví dụ: sử dụng zk-proof cho các tuyên bố chính thức), chúng ta sẽ tiếp tục bị tổn thương bởi “signature malleability” của thông tin. Và giống như lỗi EOS năm 2017, không ai sửa nó cho đến khi một vụ hack xảy ra. Câu hỏi đặt ra: liệu thị trường crypto sẽ đợi đến khi một “replay attack” thông tin thực sự xảy ra mới bắt đầu xây dựng lớp xác thực, hay chúng ta sẽ học từ bài học của Iran ngay hôm nay?