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.
Certora
Bảo mật DeFi thông qua kiểm tra hợp đồng thông minh, xác minh chính thức và đánh giá thiết kế giao thức. Được tin tưởng bởi Aave, Uniswap, Lido, EigenLayer, Solana và hơn thế nữa.
Việc áp dụng một tư duy độc hại giúp các nhà phát triển suy nghĩ theo những cách phi truyền thống về phần mềm và an ninh. Nó chuẩn bị cho bạn những gì có thể sai, cách mọi thứ có thể bị hỏng, và cách để ngăn chặn điều đó.
Hẹn gặp lại bạn sớm tại Meridian Rio! 🙌
04:24 19 thg 8
Lập trình an toàn. Suy nghĩ độc hại. 🔒
Kỹ năng Rust của bạn sẽ ngăn chặn nhiều lỗi, nhưng chúng sẽ không ngăn được logic khai thác của một kẻ tấn công quyết tâm. Vào ngày 17 tháng 9 tại Meridian Rio, hãy học cách dự đoán các lỗ hổng hợp đồng thông minh trước khi bạn triển khai cùng @CertoraInc và @rv_inc.
1,22K
Thật vinh dự khi hợp tác với @blend_capital và @code4rena để tổ chức cuộc thi Xác minh Chính thức đầu tiên trong hệ sinh thái @BuildOnStellar.
Báo cáo đầy đủ đã sẵn sàng 👇
02:00 14 thg 8
Báo cáo kiểm toán Blend v2 hiện đã được công bố!
Rất tôn trọng @blend_capital, @StellarOrg và @CertoraInc vì đã hợp tác với C4 để bảo vệ Blend V2 và hệ sinh thái Stellar.
Hãy xem Báo cáo Kiểm toán Code4rena và Báo cáo Cuộc thi Certora bên dưới!👇
4,38K
Certora đã đăng lại
Chúng tôi vừa phát hành một bản cập nhật lớn cho @CertoraInc Prover, công cụ xác minh chính thức của chúng tôi để chứng minh hợp đồng thông minh là chính xác hoặc tìm ra lỗi thực sự.
v8.1.0 được trang bị nhiều tính năng mạnh mẽ mới và (vâng) một số thay đổi lớn. Dưới đây là những gì mới 👇
1,87K
Chú ý các nhà phát triển @arbitrum 📣
Chương trình Kiểm toán Arbitrum đã chính thức hoạt động. Chúng tôi sẵn sàng giúp bạn bảo mật mã của mình và triển khai với sự tự tin.
Tìm hiểu thêm 👇
22:47 4 thg 8
Giới thiệu Chương trình Kiểm toán Arbitrum, một trong những khoản tài trợ kiểm toán lớn nhất trong lĩnh vực crypto!
Các dự án giai đoạn đầu đang xây dựng (hoặc có kế hoạch xây dựng) trên Arbitrum giờ đây có thể nộp đơn xin tài trợ kiểm toán từ bên thứ ba.
Nộp đơn ngay hôm nay và tìm hiểu thêm 👇
2,43K
Certora đã đăng lại
AMMs trên nền tảng Soroban của @Stellarorg đòi hỏi sự chính xác: cuộc thi @aqua_token đã diễn ra và kết quả đã có. 🪐
Các nhà nghiên cứu đứng đầu:
🥇 @alkarin_: $18,898.21
🥈 @DzordanTa1567: $10,440.32
🥉 @carrotsmuggler: $9,050.89
Một điểm nổi bật tuyệt vời khác trong bảng xếp hạng bên dưới.
13,82K
Hàng đầu
Thứ hạng
Yêu thích