RecodeX 重构消息，Cardano开发者办公时间活动将邀请Romain Soulat与Jean-Frédéric Etienne，介绍自动化形式化验证工具Blaster。该工具可依据规则检查Cardano智能合约，并定位到合约出现问题的具体代码行。活动方同时公布了后续开发者办公时间的安排。