一站式 Web3 探索中心 | 去中心化应用商店 & Web3 线下活动

热门话题

Bonk 生态迷因币展现强韧势头

有消息称 Pump.fun 计划 40 亿估值发币，引发市场猜测

Solana 新代币发射平台 Boop.Fun 风头正劲

BOOP-0.45%

Boopa+11.83%

PORK-9.49%

Certora

通过智能合约审计、形式验证和协议设计审查来保护 DeFi。受到 Aave、Uniswap、Lido、EigenLayer、Solana 等的信任。

Certora7月22日 06:29

偿付能力不是假设，而是证明。我们刚刚正式验证了 @KaminoFinance 的收益金库，涵盖了存款、取款、费用逻辑和定点舍入。了解更多 👇

Kamino7月21日 22:27

1/ 我们很自豪地与大家分享，Kamino Earn Vaults 已通过 @CertoraInc 的正式验证——这是一个重要的安全里程碑这证实了 Kamino Earn 符合最高安全标准，使其成为 @solana 上最安全的收益产品完全开源。4 倍经审计。正式验证。

9.16K

Certora7月22日 06:20

如果话题是去中心化金融安全，而讨论变得火热，请相信我们 🫡 感谢 @aave 的邀请！

Aave7月22日 02:47

@ethena_labs @EtherFi @build_on_bob @zksync @kernel_dao @chainlink @FireblocksHQ @SkyEcosystem @lifiprotocol 今天以一场关于安全的精彩小组讨论开始，参与者有 @SagivMooly, @zkBri, @Sh4har 和 @Montyly。

3.68K

Certora 已转发

SolanaFloor7月21日 22:43

最新消息：@KaminoFinance 宣布其收益库已获得 @CertoraInc 的正式验证，这是其在 @solana 上的收益产品的重要安全里程碑。

5.03K

Certora 已转发

Uri Kirstein7月9日 20:40

智能合约的漏洞代价高昂且难以发现： 🔍 模糊测试漏掉稀有输入 📜 形式验证难以使用在 @EthCC 上，我展示了我们在 @CertoraInc 如何探索有界模型检查，这是一种实用的折中方案，可以在最小的设置下找到真实且可重现的漏洞。👇

3.34K

Certora 已转发

Code4rena7月9日 03:00

$20,000正式验证组件的Blend V2竞争审计结果已出！感谢所有参与者，特别祝贺@alexzoid_eth在Stellar生态系统首届正式验证比赛中获得第一名！对@blend_capital和@StellarOrg与C4合作以确保Blend V2和Stellar生态系统表示敬意——同时感谢@CertoraInc监督和评审此次合作竞赛的正式验证环节。获奖者完整名单👇