Ba kho lưu trữ EVMBench cách đây hai tuần. Bây giờ có 15, chạy theo thứ tự, không phải chọn lọc. EVMBench đo lường độ hồi tưởng. Nó không đo lường tỷ lệ dương tính giả. Độ hồi tưởng mà không có độ chính xác là một bản demo, không phải là một công cụ. 𝗔𝘂𝗱𝗶𝘁𝗔𝗴𝗲𝗻𝘁 𝗶𝘀 𝗯𝘂𝗶𝗹𝘁 𝘁𝗼 𝗺𝗶𝗻𝗶𝗺𝗶𝘇𝗲 𝗻𝗼𝗶𝘀𝗲, 𝗻𝗼𝘁 𝗷𝘂𝘀𝘁 𝗺𝗮𝘅𝗶𝗺𝗶𝘇𝗲 𝗱𝗲𝘁𝗲𝗰𝘁𝗶𝗼𝗻. Kết quả đầy đủ trên tất cả 40 kho đang được tiến hành.

AuditAgent hiện đã hỗ trợ Solana. Phát hiện lỗ hổng được tăng cường bởi AI, được đào tạo dựa trên các phát hiện kiểm toán thực tế. Bây giờ trên Solidity, Cairo và @Solana. Nâng cao tiêu chuẩn bảo mật sớm trong quá trình phát triển, trước khi bắt đầu xem xét thủ công.

SP1 Hypercube đã bảo đảm hàng tỷ trong TVL. Độ chính xác của các ràng buộc RISC-V của nó không nên chỉ dựa vào việc kiểm tra. Hợp tác với @SuccinctLabs và được hỗ trợ bởi @ethereumfndn, @NethermindSec đã xác minh chính thức tất cả 62 mã lệnh cốt lõi theo thông số kỹ thuật RISC-V Sail chính thức trong Lean. Các phương pháp chính thức cứng, được áp dụng cho cơ sở hạ tầng zk sản xuất. Chúc mừng về mainnet