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
Nvidia giảm liên tiếp bảy phiên, lập kỷ lục dài nhất kể từ năm 2022: Tăng trưởng giá cổ phiếu trong năm chỉ đạt 7% ở mức thấp nhất, nhưng các nhà phân tích vẫn tăng dự báo lợi nhuận lên 13% trong ba tháng qua.
Giá cổ phiếu Nvidia đã giảm liên tiếp trong bảy phiên giao dịch, lập kỷ lục chuỗi ngày giảm dài nhất kể từ năm 2022. Tính từ đầu năm đến nay, mức tăng tổng cộng chỉ khoảng 7%, xếp cuối cùng trong Chỉ số bán dẫn Philadelphia. Tỷ lệ P/E dự phóng giảm xuống khoảng 18 lần, mức thấp nhất trong những năm gần đây, nhưng nếu loại trừ lợi nhuận chưa thực hiện, tỷ lệ P/E bình thường hóa lên gần 60 lần. Tuy nhiên, trái ngược với diễn biến này, trong số 82 nhà phân tích tại Wall Street chỉ có bốn người không khuyến nghị mua vào, dự báo lợi nhuận trong ba tháng qua đã được nâng tổng cộng 13%, và giá mục tiêu trung bình ngụ ý tiềm năng tăng hơn 50%.
Citadel Securities cảnh báo: Việc Bộ Tài chính Mỹ mua lại trái phiếu kho bạc tạo thành “sự kìm hãm tài chính”, áp lực có thể chuyển sang tỷ giá và lạm phát.
Castle Securities cho rằng, trong bối cảnh chính sách tài khóa và tiền tệ đều nới lỏng và thị trường lao động gần như đạt mức toàn dụng, việc ép lãi suất dài hạn xuống thấp sẽ dẫn đến một vòng luẩn quẩn tiêu cực. Giải pháp thực sự hiệu quả là thắt chặt tài khóa và Ngân hàng Trung ương chủ động tăng lãi suất, thay vì can thiệp thị trường lặp đi lặp lại.
Biến động cổ phiếu Mỹ | Thua lỗ tăng mạnh trong nửa đầu năm, XPeng Group (XPEV.US) giảm gần 7%
Vào thứ Hai, XPeng Group (XPEV.US) tiếp tục giảm mạnh sau khi mở cửa, tính đến thời điểm phát hành tin tức, cổ phiếu đã giảm khoảng 7%.
Giá tiền điện tử
Thêm
