很高兴欢迎 @CertoraInc 成为 SVM Summit 的 Platinum Sponsor。
Certora 通过智能合约审计、形式验证和协议设计审查，保护 DeFi 生态系统。
📍 5 月 21 日，加入我们在纽约市的活动：https://t.co/bZvPfyEt3W https://t.co/VQf27tzdvb