Vitalik: Xác minh hình thức hỗ trợ bởi AI hứa hẹn tăng hiệu quả và an toàn cho mã nguồn
Foresight News đưa tin, Vitalik Buterin đã đăng bài thảo luận về triển vọng ứng dụng xác minh hình thức trong lĩnh vực bảo mật blockchain. Bài viết chỉ ra rằng, trong nghiên cứu phát triển tiên tiến của Ethereum đang nổi lên một mô hình mới, sử dụng trực tiếp EVM bytecode, assembly hoặc Lean để viết mã, đồng thời xác minh tính đúng đắn của nó bằng các chứng minh toán học có thể kiểm tra tự động trong Lean. Nhà nghiên cứu Yoichi Hirai gọi mô hình này là “hình thái cuối cùng của phát triển phần mềm”. Vitalik cho rằng, việc xác minh hình thức với sự hỗ trợ của AI hứa hẹn sẽ đồng thời nâng cao hiệu quả và bảo mật của mã, đặc biệt phù hợp với các module lõi về bảo mật như STARK, ZK-EVM, chữ ký chống lượng tử và thuật toán đồng thuận. Bài viết cũng nhấn mạnh rằng xác minh hình thức không phải là vạn năng, vẫn có thể thất bại do phạm vi chứng minh không đầy đủ, sai sót về đặc tả hoặc kênh phụ phần cứng; phần mềm trong tương lai có thể sẽ tách thành “lõi bảo mật” và “vùng biên không bảo mật”, và Ethereum sẽ trở thành một trong những lõi bảo mật quan trọng.
Tuyên bố miễn trừ trách nhiệm: Mọi thông tin trong bài viết đều thể hiện quan điểm của tác giả và không liên quan đến nền tảng. Bài viết này không nhằm mục đích tham khảo để đưa ra quyết định đầu tư.
Bạn cũng có thể thích
Chuẩn bị cho quyết định của Ngân hàng Trung ương Nhật Bản vào thứ Sáu, các chiến lược gia Phố Wall đồng loạt cược đồng yên sẽ suy yếu, dự báo giảm xuống mức 159.
Thị trường hoán đổi đã hoàn toàn phản ánh kỳ vọng tăng lãi suất của Ngân hàng Trung ương Nhật Bản. Các chiến lược gia cảnh báo rằng nếu lập trường "diều hâu" của ngân hàng này không như dự kiến, đồng yên có thể bị bán tháo, tỷ giá hối đoái trong ngắn hạn có thể giảm xuống ngưỡng 159.
Cổ phiếu Lucid (LCID.US) tăng vọt hơn 12%! CEO cho biết hợp tác với cố vấn tái cấu trúc đã hoàn tất, lộ trình chuyển lỗ thành lãi dần hiện rõ
Giám đốc điều hành của Lucid Group Inc. cho biết hãng sản xuất xe điện này đã hoàn thành việc hợp tác với nhóm cố vấn tái cấu trúc, cho thấy công ty đang gặp khó khăn này đã có một lộ trình rõ ràng hơn để xoay chuyển hoạt động.
Lãi suất thế chấp 30 năm của Mỹ tăng vọt lên 7%! Khó khăn của thị trường bất động sản ngày càng trầm trọng
Theo dữ liệu từ Mortgage News Daily, lãi suất trung bình cho khoản vay thế chấp cố định 30 năm c ủa Hoa Kỳ đã tăng lên 7,24% vào ngày 16 tháng 9, tăng mạnh 27 điểm cơ bản so với mức 6,97% một tuần trước đó. Vào ngày 17 tháng 9, lãi suất này giảm nhẹ xuống còn 7,19%, nhưng vẫn cao đáng kể so với mốc 7%. Hiện tại, các chủ nhà tại Hoa Kỳ đang đối mặt với tình trạng "bán nhà là mất khoản vay lãi suất thấp", dẫn đến tâm lý không muốn bán nhà, giá nhà ở mức cao, và thị trường bất động sản càng trở nên khó khăn hơn.
"Vua trái phiếu mới" Gundlach cảnh báo: vòng suy thoái tiếp theo có thể kích hoạt khủng hoảng nợ Mỹ, trái phiếu Mỹ sẽ không còn là nơi trú ẩn an toàn
“Ông vua trái phiếu mới” Jeffrey Gundlach cảnh báo rằng, vòng suy thoái kinh tế tiếp theo của Mỹ có thể kích hoạt một cuộc khủng hoảng nợ, đẩy lợi suất trái phiếu dài hạn của Mỹ tăng mạnh — điều này sẽ phá vỡ nhận thức truyền thống rằng “trái phiếu luôn là nơi trú ẩn an toàn trong thời kỳ bất ổn kinh tế” suốt hàng chục năm qua.
Giá tiền điện tử
Thêm
