#链上应用与预测市场 看到Vitalik这个 dự đoán，我的 đầu tiên phản ứng là vừa quen vừa lạ. Quen vì vì những luận điệu kiểu "công nghệ cuối cùng sẽ giải quyết tất cả" đã nghe quá nhiều trong giới này; lạ vì lần này nói có trọng lượng đặc biệt.

Nhớ lại đợt bùng nổ ICO năm 2017, biết bao dự án hô hào "hợp đồng thông minh sẽ thay đổi thế giới" để huy động hàng chục triệu đô la, kết quả ra sao? Sự kiện The DAO, lỗ hổng ví Parity, vô số "lỗ hổng hợp đồng triệu đô" đã giúp chúng ta nhận ra một sự thật — tính dễ tổn thương của mã không phải do bug, mà là số phận. Những dự án thất bại trong những năm đó, nhiều dự án đã chết vì chính số phận này.

Nhưng lời của Vitalik về mã không bug, về bản chất là đề cập đến xác thực hình thức và tính đúng đắn có thể chứng minh được. Điều này không phải là ảo tưởng. Trong vài năm qua, từ mô hình tài nguyên của ngôn ngữ Move, đến cơ chế an toàn bộ nhớ của Rust, rồi đến tiến trình ứng dụng chứng minh không kiến thức trên chuỗi — chúng ta thực sự đang từng bước tiến gần hơn tới hướng này. Chỉ có điều, cái giá phải trả là chu kỳ phát triển kéo dài, hiệu năng bị hy sinh trong một số trường hợp.

Vấn đề then chốt là: Đến những năm 2030, bộ công cụ này có thể thực sự trở thành xu hướng chính thống không? Hay chỉ tồn tại trong những ứng dụng yêu cầu an toàn tuyệt đối nhất? Tôi nghiêng về phía sau. Nhìn vào lịch sử của thị trường dự đoán, ta thấy rằng, giữa đột phá công nghệ và ứng dụng thực tế thường cách nhau một rào cản gọi là "khuyến khích kinh tế". Mã không bug có thể trở thành khả thi, nhưng chi phí để sử dụng nó có thể được thị trường chấp nhận hay không, đó lại là chuyện khác.

Trong chu kỳ này, tôi quan tâm hơn ai có thể sống sót trong quá trình chuyển đổi này.