Formal verification of SP1 is underway. We’re excited to share early results of our collaboration with @VeridiseInc, a leader in ZK security auditing.

Twitter

Xác minh chính thức SP1 đang được tiến hành. Chúng tôi rất vui mừng được chia sẻ những kết quả ban đầu của sự hợp tác với @VeridiseInc, một công ty hàng đầu trong lĩnh vực kiểm toán bảo mật ZK.

Mạng lưới Litecoin đã trải qua quá trình tái cấu trúc blockchain vào ngày 25 do một lỗ hổng trong quá trình xác thực đầu vào MWEB, dẫn đến sự cố GẦN [...]
Bài viết "Lỗ hổng bảo mật Zero-Day của Litecoin! 13 blockchain được tổ chức lại, NEAR dự định huy động 600.000 USD trong khủng hoảng, bản vá v0.21.5.4 được phát hành ra mắt" ban đầu được đăng trên BlockTempo , trang tin tức blockchain có ảnh hưởng nhất.

Litecoin hứng chịu lỗ hổng bảo mật zero-day! 13 blockchain được tái cấu trúc, NEAR Intents đối mặt với khoản thiếu hụt 600.000 đô la, bản vá v0.21.5.4 ra mắt.

Công ty quản lý tài sản tiền điện tử VanEck đã chia sẻ những phát hiện đáng chú ý về động thái thị trường trong báo cáo nghiên cứu mới nhất về Bitcoin.
Báo cáo này do Patrick Bush và Matthew Sigel của công ty biên soạn...

VanEck, công ty quản lý tài sản tỷ đô, tuyên bố đã chuyển sang quan điểm lạc quan về Bitcoin.

Ghi chú của biên tập viên: Nếu năm 2025 là năm của "cuộc đua năng lực mô hình lớn", thì đến đầu năm 2026, trọng tâm của cuộc cạnh tranh rõ ràng đã chuyển sang một hướng đi cụ thể và thực tế hơn—làm thế nào để thực sự triển khai các tác nhân AI cá nhân.

Bài viết này so sánh một cách có hệ thống hai dự án được theo dõi nhiều nhất trong lĩnh vực tác nhân AI hiện nay—OpenClaw và Hermes Agent. Dự án đầu tiên đã tích lũy được một cộng đồng và hệ sinh thái nhà phát triển đáng kinh ngạc trong một thời gian ngắn, trở thành một dự án AI phi thường trên GitHub; tuy nhiên, dự án thứ hai tập trung vào "nhiều hơn..."

OpenClaw hay Hermes thì phù hợp với bạn hơn?

5/ Determinism checking adds another layer to SP1’s multi-pronged security strategy, alongside third-party audits, expert reviews, and features like SP1-2FA we launched last month.

5/ Kiểm tra tính tất định bổ sung thêm một lớp nữa vào chiến lược bảo mật đa hướng của SP1, cùng với các cuộc kiểm toán của bên thứ ba, đánh giá của chuyên gia và các tính năng như SP1-2FA mà chúng tôi đã ra mắt vào tháng trước.

6/ We’re extending this work to every SP1 circuit, and we have more exciting formal verification updates (including correctness proofs in another collaboration) coming soon.
Read more:

6/ Chúng tôi đang mở rộng công việc này cho mọi mạch SP1 và chúng tôi sẽ sớm có nhiều bản cập nhật Xác minh chính thức thú vị hơn (bao gồm cả bằng chứng về tính chính xác trong một dự án hợp tác khác).
Đọc thêm: