Tin tức

Theo tin tức ChainCatcher, Giám đốc Điều hành Strategy, Phong Le, cho biết các thị trường toàn cầu và các ngành công nghiệp đang trải qua sự bất ổn, trong thời gian này Strategy đã tích lũy nắm giữ 4% Bitcoin toàn cầu.

Theo tin tức từ Foresight News, nhóm phát triển Monad thuộc Category Labs đã đăng bài chia sẻ kinh nghiệm sử dụng phương pháp xác minh hình thức (Formal Verification) để phát hiện lỗ hổng trong các mô-đun quan trọng của chuỗi khối Monad, công bố nhiều lỗ hổng mà các mô hình lớn tiên tiến như Claude Opus 4.8, Codex... không phát hiện ra trong quá trình kiểm tra mã, nhưng đã bị phát hiện thành công bằng phương pháp chứng minh hình thức. Các vấn đề này liên quan đến thiết kế “Reserve Balance (Số dư dự trữ)” trong cơ chế thực thi bất đồng bộ của Monad và hành vi không xác định của C++ trong tối ưu hóa lưu trữ MIP-8. Nhóm nghiên cứu cho rằng so với việc yêu cầu mô hình “kiểm tra mã” trực tiếp, việc viết ra các định đề về tính chính xác một cách chính xác rồi yêu cầu mô hình tìm phản ví dụ sẽ dễ dàng phát hiện các lỗ hổng tiềm ẩn hơn. Xác minh hình thức hiện đã có thể được hỗ trợ đáng kể bởi AI.

Theo nguồn tin thân cận, trong các giao dịch kín tại thị trường phi tập trung, một nhà giao dịch lớn đã báo giá trái phiếu SpaceX đáo hạn vào năm 2056 với mức chênh lệch so với trái phiếu chính phủ Mỹ cao hơn 1,75 điểm phần trăm khi phát hành, hiện đã tăng lên đến 0,28 điểm phần trăm. Kể từ khi bắt đầu giao dịch, khoản lỗ trên sổ sách của trái phiếu SpaceX trị giá 25 tỷ USD này liên tục gia tăng. Tính theo mức chênh lệch với trái phiếu chính phủ Mỹ, đến tối thứ Năm, tổng khoản lỗ này vào khoảng 305 triệu USD.