Mùa hè đó khi tôi làm ở bến bốc xếp, quy tắc rất đơn giản: bất cứ điều gì gã ở đầu bên kia radio báo vào là “đã nhận và đã đếm xong” thì bên tôi cũng sẽ xuất ra đúng như vậy. Không ai ở phía tôi nhìn thấy hàng gì đã được dỡ xuống từ xe tải của hắn.
Một tuần nọ, số liệu không còn khớp nữa. Bên tôi đã cho xuất đi bốn chục thùng. Chỉ có bốn thùng thực sự đến từ bên hắn. Không ai nhận ra cho đến khi kệ hàng bị thiếu hụt.
Điều xảy ra hôm nay có tên gọi: “tin đồn được trả tiền” — một hệ thống phát hành thứ thật ngay khi nó nghe một tuyên bố, không hề được đối chiếu với bất cứ điều gì, chỉ tự dựa vào chính nó. Hầu hết các cầu (bridge) chuyển Bitcoin sang Ethereum đều hoạt động tương tự: một phía nhận được tin nhắn rằng đồng coin đã bị khóa ở nơi khác, rồi chi trả tài sản thật chỉ dựa vào sức mạnh của tuyên bố đó.
Riêng hôm nay, ba giao thức cross-chain đã mất tổng cộng hơn $35M trong vòng sáu giờ. Một cầu từng bị rút một lần vào tháng Năm với số tiền $11.5M thông qua đúng lỗi tương tự, rồi khoản tiền được thu hồi lại được tái nạp vào hợp đồng đó — và tuần này lại bị rút tiếp $7.54M, bao gồm cả bitcoin dạng token hóa. Cả ba cuộc tấn công đều không “phá” bất kỳ mật mã nào; mỗi cuộc chỉ cần “nhận được” đúng cái tin nhắn mà hệ thống tin là đúng.
BABE, một giao thức xác minh bằng chứng mà Babylon Labs giúp thiết kế, bỏ qua người đưa tin (messenger). Thay vì để một cầu tin vào một tuyên bố, chính Bitcoin tự kiểm tra trực tiếp bằng một bằng chứng mật mã — sử dụng mã hóa cho người chứng kiến (witness encryption) cộng với một mạch (garbled circuit) tiết lộ bí mật chỉ khi bằng chứng là KHÔNG hợp lệ. Việc xác minh trên chuỗi trước đây tốn $14,211 phí; BABE đưa xuống còn $37.82 — rẻ hơn 376 lần, đủ rẻ để việc kiểm tra thay thế cho việc “tin”.
Vẫn còn một câu hỏi mở với tôi: quá trình thiết lập cần cả hai bên phải trao đổi trung thực các cam kết kiểu “cut-and-choose” trước khi mọi thứ bị khóa vào trạng thái đó. Hôm nay thì không phải cái đó bị đánh trúng, nhưng tôi cũng chưa thấy nó được đem đi thử nghiệm áp lực theo cách mà các hệ thống messenger của thời điểm hiện tại đã từng.
Cuộc gọi radio đó vẫn ám ảnh tôi — mất bao lâu để ai đó hỏi xem thực tế trên xe tải là gì. Có lẽ bản sửa chữa không phải là radio tốt hơn. Có lẽ nó không cần radio ngay từ đầu.
Hôm nay tôi đã đẩy các giao dịch qua Aave v4 testnet, tự tay kiểm tra nghiệp vụ vay dựa trên Bitcoin gốc (native Bitcoin-backed borrowing). Nếu bạn cũng đang test, tôi muốn so sánh ghi chú.
@BabylonLabs_io $BABY #baby
Một tuần nọ, số liệu không còn khớp nữa. Bên tôi đã cho xuất đi bốn chục thùng. Chỉ có bốn thùng thực sự đến từ bên hắn. Không ai nhận ra cho đến khi kệ hàng bị thiếu hụt.
Điều xảy ra hôm nay có tên gọi: “tin đồn được trả tiền” — một hệ thống phát hành thứ thật ngay khi nó nghe một tuyên bố, không hề được đối chiếu với bất cứ điều gì, chỉ tự dựa vào chính nó. Hầu hết các cầu (bridge) chuyển Bitcoin sang Ethereum đều hoạt động tương tự: một phía nhận được tin nhắn rằng đồng coin đã bị khóa ở nơi khác, rồi chi trả tài sản thật chỉ dựa vào sức mạnh của tuyên bố đó.
Riêng hôm nay, ba giao thức cross-chain đã mất tổng cộng hơn $35M trong vòng sáu giờ. Một cầu từng bị rút một lần vào tháng Năm với số tiền $11.5M thông qua đúng lỗi tương tự, rồi khoản tiền được thu hồi lại được tái nạp vào hợp đồng đó — và tuần này lại bị rút tiếp $7.54M, bao gồm cả bitcoin dạng token hóa. Cả ba cuộc tấn công đều không “phá” bất kỳ mật mã nào; mỗi cuộc chỉ cần “nhận được” đúng cái tin nhắn mà hệ thống tin là đúng.
BABE, một giao thức xác minh bằng chứng mà Babylon Labs giúp thiết kế, bỏ qua người đưa tin (messenger). Thay vì để một cầu tin vào một tuyên bố, chính Bitcoin tự kiểm tra trực tiếp bằng một bằng chứng mật mã — sử dụng mã hóa cho người chứng kiến (witness encryption) cộng với một mạch (garbled circuit) tiết lộ bí mật chỉ khi bằng chứng là KHÔNG hợp lệ. Việc xác minh trên chuỗi trước đây tốn $14,211 phí; BABE đưa xuống còn $37.82 — rẻ hơn 376 lần, đủ rẻ để việc kiểm tra thay thế cho việc “tin”.
Vẫn còn một câu hỏi mở với tôi: quá trình thiết lập cần cả hai bên phải trao đổi trung thực các cam kết kiểu “cut-and-choose” trước khi mọi thứ bị khóa vào trạng thái đó. Hôm nay thì không phải cái đó bị đánh trúng, nhưng tôi cũng chưa thấy nó được đem đi thử nghiệm áp lực theo cách mà các hệ thống messenger của thời điểm hiện tại đã từng.
Cuộc gọi radio đó vẫn ám ảnh tôi — mất bao lâu để ai đó hỏi xem thực tế trên xe tải là gì. Có lẽ bản sửa chữa không phải là radio tốt hơn. Có lẽ nó không cần radio ngay từ đầu.
Hôm nay tôi đã đẩy các giao dịch qua Aave v4 testnet, tự tay kiểm tra nghiệp vụ vay dựa trên Bitcoin gốc (native Bitcoin-backed borrowing). Nếu bạn cũng đang test, tôi muốn so sánh ghi chú.
@BabylonLabs_io $BABY #baby