Vitalik Buterin cho rằng mã nguồn thực sự không lỗi có thể trở nên khả thi vào thập niên 2030, ít nhất đối với những nhà phát triển đặt bảo mật lên hàng đầu. Nhận định này được ông đưa ra sau hard fork gây tranh cãi của Gnosis Chain vào tháng 12/2024 nhằm thu hồi 9,4 triệu USD bị mất trong vụ tấn công Balancer.
Trước các chỉ trích liên quan đến tính bất biến của blockchain và cách xây dựng smart contract, Buterin nhấn mạnh rằng “xác minh hình thức” không đồng nghĩa với “chứng minh không có lỗi”. Ông cho rằng mã hoàn toàn không lỗi có thể là điều bất khả thi, bởi lỗi xuất phát từ khoảng cách giữa ý định con người và cách mã được thực thi—trong khi ý định vốn rất phức tạp và khó nắm bắt.
Dù vậy, Buterin tin rằng có thể giảm thiểu lỗi đáng kể bằng cách áp dụng nhiều lớp bảo vệ như hệ thống kiểu dữ liệu mạnh, xác minh hình thức có chọn lọc, cơ chế dự phòng và kiểm thử nghiêm ngặt. Với các nhà phát triển ưu tiên bảo mật, tương lai “gần như không lỗi” là hoàn toàn trong tầm tay.
Tuyên bố miễn trừ: Bài viết này chỉ nhằm mục đích cung cấp thông tin dưới dạng blog cá nhân, không phải là khuyến nghị đầu tư. Nhà đầu tư cần tự nghiên cứu kỹ lưỡng trước khi đưa ra quyết định và chúng tôi không chịu trách nhiệm đối với bất kỳ quyết định đầu tư nào của bạn.
Theo Nghị quyết số 05/2025/NQ-CP ngày 09/09/2025 của Chính phủ về việc thí điểm triển khai thị trường tài sản số tại Việt Nam, CoinPhoton.com hiện chỉ cung cấp thông tin cho độc giả quốc tế và không phục vụ người dùng tại Việt Nam cho đến khi có hướng dẫn chính thức từ cơ quan chức năng.
- Thẻ đính kèm:
- ETH
- Vitalik Buterin

Bitcoin
Ethereum
Tether
XRP
USDC
Solana
TRON
Lido Staked Ether
Dogecoin
Figure Heloc
Cardano
WhiteBIT Coin
Bitcoin Cash
Wrapped stETH
Wrapped Bitcoin
USDS
Wrapped eETH 




