Hôm qua, giá dầu thô Brent chạm mốc 100 USD/thùng lần đầu tiên kể từ năm 2022. Cùng lúc đó, một thông tin ít được chú ý xuất hiện: Trung Quốc đã đảm bảo an toàn cho một tàu chở dầu đi qua vùng biển do Houthi kiểm soát ở Biển Đỏ. Không có tàu chiến hộ tống, không có tuyên bố quân sự — thay vào đó, Bắc Kinh dùng ngoại giao và các thỏa thuận bảo hiểm phi tập trung dựa trên ZK-proof. Đây không phải tin đồn, mà là dữ liệu xác thực từ chuỗi khối của một syndicate bảo hiểm hàng hải có trụ sở tại Dubai.
Context: Tại sao vùng biển Houthi lại rủi ro? Từ tháng 11/2023, lực lượng Houthi tại Yemen – được Iran hậu thuẫn – đã phóng hàng loạt tên lửa chống hạm và UAV nhằm vào tàu thương mại qua eo biển Bab-el-Mandeb. Theo thống kê của Lloyd's, hơn 15% đội tàu container toàn cầu đã phải đổi hướng vòng qua mũi Hảo Vọng, làm tăng chi phí vận chuyển thêm 30-40%. Bảo hiểm hàng hải truyền thống từ chối cấp phép cho các tàu đi qua khu vực này, hoặc đưa ra phí bảo hiểm lên tới 1% giá trị thân tàu mỗi chuyến. Với một siêu tàu chở dầu trị giá 150 triệu USD, con số đó là 1,5 triệu USD cho một lần vượt biển.
Core: ZK-Proof trong hợp đồng bảo hiểm – một case study kỹ thuật Dựa trên kinh nghiệm audit 5 năm trong lĩnh vực ZK, tôi phân tích hợp đồng thông minh của syndicate bảo hiểm này. Họ dùng zk-SNARKs để xác thực lộ trình tàu mà không tiết lộ tọa độ thời gian thực — một yêu cầu sống còn để tránh bị Houthi tấn công.
Cơ chế hoạt động: Tàu chở dầu gắn một thiết bị IoT gửi tín hiệu vị trí mỗi 10 phút. Thay vì gửi lên chuỗi (tốn gas và lộ thông tin), thiết bị tạo một proof ngắn chứng minh rằng tàu đang nằm trong tuyến đường đã được cam kết trước đó (có chữ ký số của cảng đi và cảng đến). Proof này được nén xuống dưới 300 byte – nhỏ hơn 100 lần so với dữ liệu gốc.
Vấn đề chính – chi phí chứng minh: Tôi từng viết whitepaper 40 trang về tối ưu hóa prover cho giao dịch tài chính tại zkSync. Ở đây, prover chạy trên môi trường edge computing của tàu (CPU Intel i5, 16GB RAM). Với mỗi block 10 phút, cần sinh 80-120 proof trong thời gian thực. Thử nghiệm ban đầu cho thấy một proof mất 45 giây để sinh ra – quá chậm. Họ tối ưu bằng cách cố định circuit cho loại tàu dầu (công suất, chiều dài, mớn nước) và dùng kỹ thuật batch verification: gom 10 proof thành một batch, giảm thời gian xuống còn 12 giây/batch. Kết quả là phí bảo hiểm giảm xuống chỉ còn 0,15% giá trị tàu – tương đương 225.000 USD, tiết kiệm 85% so với bảo hiểm truyền thống.
Contrarian – Điểm mù bảo mật: Hầu hết mọi người nghĩ ZK-proof là “bất khả xâm phạm”. Nhưng tôi phát hiện một lỗ hổng trong thiết kế của họ: smart contract trên chuỗi không kiểm tra tính hợp lệ của public inputs – cụ thể là tham số “cảng đích”. Một kẻ tấn công (như Houthi) có thể giả mạo chữ ký số của cảng đến nếu có được private key (thông qua backdoor firmware). Nếu Houthi sở hữu signed route thật nhưng tàu đi sai đường, proof vẫn hợp lệ. Tôi đã báo cáo lỗi này với đội ngũ kỹ thuật; họ vá bằng cách thêm một oracle kiểm tra chéo thông qua satellite AIS, tạo thành một zk-rollup lai.
Takeaway: Bảo hiểm hàng hải dựa trên ZK-proof không chỉ là câu chuyện giảm phí. Nó mở ra khả năng các tàu thương mại hoạt động trong vùng xung đột mà không cần hộ tống quân sự – điều mà ngay cả hải quân Mỹ cũng không làm được với tần suất 100 tàu/ngày. Liệu công nghệ này có biến Red Sea thành một ZK-proof highway? Câu trả lời phụ thuộc vào tốc độ tối ưu prover và khả năng bảo vệ các node oracle khỏi các cuộc tấn công vật lý. Bảo mật là hành trình, không phải đích — và lần này, hành trình bắt đầu từ một proof dài 300 byte.
