Chủ đề thịnh hành
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Cải tiến cực kỳ lớn cho Halmos. Những cải tiến đáng kinh ngạc về khả năng phát triển và tìm kiếm lỗ hổng.
Thực sự mong chờ được tham gia vào dự án này.
Cảm ơn lớn đến @0xkarmacoma!
07:38 15 thg 7
những điểm nổi bật của phiên bản halmos v0.3.0!
(lời nhắc nhanh: halmos là một công cụ kiểm tra biểu tượng cho mã bytecode EVM, tương tác tốt với các dự án foundry và hỗ trợ nhiều bộ giải SMT)
1. chúng tôi (cuối cùng) đã thêm hỗ trợ cho việc kiểm tra bất biến có trạng thái
1,25K
Hàng đầu
Thứ hạng
Yêu thích