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.
Khả năng thanh toán không phải là điều giả định. Nó được chứng minh.
Chúng tôi vừa xác minh chính thức các Vault Kiếm tiền của @KaminoFinance, bao gồm gửi tiền, rút tiền, logic phí và làm tròn số cố định.
Tìm hiểu thêm 👇
22:27 21 thg 7
1/ Chúng tôi tự hào thông báo rằng Kamino Earn Vaults đã được xác minh chính thức bởi @CertoraInc — một cột mốc an ninh quan trọng
Điều này xác nhận rằng Kamino Earn đáp ứng các tiêu chuẩn an toàn cao nhất, biến nó thành sản phẩm sinh lời an toàn nhất trên @solana
Hoàn toàn mã nguồn mở. Đã được kiểm toán 4 lần. Được xác minh chính thức.
9,17K
Nếu chủ đề là An ninh DeFi và cuộc trò chuyện đang trở nên sôi nổi, hãy tin tưởng vào chúng tôi 🫡
Cảm ơn @aave đã mời chúng tôi!
02:47 22 thg 7
@ethena_labs @EtherFi @build_on_bob @zksync @kernel_dao @chainlink @FireblocksHQ @SkyEcosystem @lifiprotocol Ngày hôm nay bắt đầu với một buổi thảo luận hấp dẫn về an ninh với @SagivMooly, @zkBri, @Sh4har, và @Montyly.
3,71K
Certora đã đăng lại
Lỗi hợp đồng thông minh rất tốn kém và khó phát hiện:
🔍 Fuzzing bỏ lỡ các đầu vào hiếm
📜 Xác minh chính thức khó sử dụng
Tại @EthCC, tôi đã trình bày cách mà tại @CertoraInc, chúng tôi khám phá Kiểm tra Mô hình Bị giới hạn, một giải pháp thực tiễn tìm ra các lỗi thực tế, có thể tái tạo với thiết lập tối thiểu. 👇
3,34K
Certora đã đăng lại
Kết quả của thành phần Kiểm định Chính thức $20,000 trong cuộc kiểm toán cạnh tranh Blend V2 đã có!
Xin gửi lời cảm ơn lớn đến tất cả những người đã tham gia, và chúc mừng lớn đến @alexzoid_eth vì đã giành được vị trí đầu tiên trong cuộc thi kiểm định chính thức đầu tiên trong hệ sinh thái Stellar!
Rất tôn trọng @blend_capital và @StellarOrg vì đã hợp tác với C4 để bảo vệ Blend V2 và hệ sinh thái Stellar — và đến @CertoraInc vì đã giám sát và đánh giá phần kiểm định chính thức của cuộc thi hợp tác này.
Danh sách đầy đủ các người chiến thắng👇
8,14K
Cảm ơn rất nhiều đến tất cả mọi người đã tham gia Certora Run tại Cannes nắng đẹp! 🏃🏃🏻♀️
Chúng ta nên bắt đầu ở đâu tiếp theo? 👀
03:52 3 thg 7
Hey @raave’rs 👻
Party tonight, Certora Run tomorrow. Who’s in? 👀
2,06K
Chào các bạn @raave’rs 👻
Tiệc tối nay, Certora Run vào ngày mai. Ai tham gia nào? 👀
25 thg 6, 2025
Attention @EthCC attendees! 🏃♂️🌊
Join us for our signature Certora 5K Run & Walk in beautiful Cannes!
Whether you're a runner or a walker, everyone’s welcome.
📅 July 3rd
🕐 Morning start
💥 Register now
3,25K
Ngày DeFi Summer của @aave sắp đến rồi!
Nếu bạn tham gia, hãy đến trò chuyện về tất cả mọi thứ liên quan đến bảo mật với đội ngũ Certora và tham gia vào buổi thảo luận của chúng tôi để tìm hiểu cách làm cho DeFi trở nên mạnh mẽ và bền bỉ.
Hẹn gặp lại bạn! 👇
30 thg 6, 2025
Mã là Luật. Nếu nó sai thì sao?
Học cách làm cho DeFi bền vững thông qua bảo mật với @SagivMooly, @zkBri, @Sh4har, và @Montyly.
1,7K
Hàng đầu
Thứ hạng
Yêu thích