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
SP1 Hypercube hiện đã hoạt động trên mainnet!
SP1 Hypercube là một trong những zkVM tiên tiến, an toàn và đáng tin cậy nhất đang được sản xuất.
Được xây dựng bởi đội ngũ đầu tiên chứng minh Ethereum theo thời gian thực.
Cơ sở hạ tầng cho lộ trình của @ethereum cuối cùng đã có mặt.
Nhóm Xác minh Chính thức của chúng tôi đang bắt đầu công việc trên @brevis_zk Pico RISC-V zkVM, dựa trên công việc của chúng tôi về SP1 và OpenVM.
Chúng tôi rất biết ơn @EthereumFndn đã hỗ trợ nỗ lực này.