Vitalik Buterin: Mã nguồn không lỗi có thể trở thành hiện thực vào thập niên 2030

Updated: 25/12/2025 at 10:04

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.

Được đề cập trong bài viết

Trong bài có dùng tiện ích single ticker trích dữ liệu realtime từ Tradingview cho các đồng tiền số như Ethereum

Mới cập nhật

Bitcoin (BTC) lùi về sát ngưỡng 69.500 USD, phản ánh áp lực bán vẫn chiếm ưu thế khi phe gấu liên tục tận dụng các nhịp hồi kỹ thuật để thoát hàng. Nhiều nhà phân tích nhận định thị trường vẫn chưa xác lập đáy rõ ràng. Trader BitBull chia... ...

Nhà phân tích tiền điện tử Alex Krüger nhận định rằng phần lớn các token thất bại ngay từ khâu thiết kế, đồng thời chỉ ra rằng các quy định lỗi thời đã buộc các dự án phải phát hành những tài sản bị tước bỏ các quyền có thể... ...

Solana (SOL) đã trải qua một đợt giảm giá mạnh mẽ, mất 38% giá trị trong 30 ngày qua và chạm mức thấp nhất trong hai năm là 67 đô la vào ngày thứ Sáu. Theo đánh giá của nhiều chuyên gia phân tích, đà giảm này chưa kết thúc... ...

Khối lượng tìm kiếm toàn cầu trên Google cho từ khóa “crypto” hiện đang dao động gần mức thấp nhất trong vòng một năm qua, phản ánh tâm lý nhà đầu tư suy yếu trong bối cảnh thị trường chung lao dốc. Tổng vốn hóa thị trường tiền điện tử... ...

Thị trường tiền điện tử dự kiến sẽ đón nhận nguồn token trị giá hơn 278 triệu USD trong tuần thứ hai của tháng 2 năm 2025. Các dự án hàng đầu như Connex (CONX), Avalanche (AVAX) và Aptos (APT) sẽ phát hành một lượng lớn token mới ra thị... ...

Thị trường tài chính toàn cầu có thể đang bước vào một giai đoạn biến động mới sau khi Goldman Sachs đưa ra cảnh báo rằng các quỹ đầu tư có tính hệ thống (systematic funds) có khả năng bán tháo hàng chục tỷ USD cổ phiếu trong những tuần... ...

Giá Dogecoin (DOGE) đã giảm xuống mức thấp nhất trong nhiều tháng qua, tạo nên một bước ngoặt quan trọng trong cấu trúc rủi ro – lợi nhuận đối với nhiều nhà đầu tư. Việc giá giảm đã khiến DOGE trở nên hấp dẫn hơn để tích lũy ở mức... ...

Tòa án Hàn Quốc đã tuyên phạt Jong-hwan Lee, CEO của một công ty quản lý tài sản crypto trong nước, 3 năm tù vì thao túng giá tài sản số nhằm thu lợi bất chính. Tòa án Quận Nam Seoul ra phán quyết vào thứ Tư rằng Lee đã... ...

Solana (SOL) tiếp tục dao động dưới ngưỡng 90 USD tại thời điểm bài viết được đăng vào thứ Hai, đánh dấu phiên đi ngang thứ ba liên tiếp sau cú phục hồi 11% vào thứ Sáu. Nhờ nhịp hồi này, mức sụt giảm của tuần trước đã được thu... ...

Trong suốt nhiều năm, Ethereum (ETH) luôn đặt ưu tiên hàng đầu vào việc đảm bảo tính bảo mật trên mạng chính (mainnet), trong khi vai trò tăng cường tốc độ và khả năng mở rộng được giao phó cho các giải pháp Layer 2 (L2). Hệ sinh thái Ethereum... ...

Xem thêm bài viết

Chọn chế độ hiển thị:
Bình thường Bảo vệ mắt Dark Mode