“在加密领域偷钱要容易得多。” @SagivMooly ，@Certora 的首席科学家兼联合创始人，解释了为什么在 DeFi 中风险更高，以及形式化验证如何改变游戏规则，对抗像朝鲜这样的高级攻击者。 完整采访