RecodeX 重构消息，Input Output Global（IOG）将于周五08:00 UTC举行开发者办公时间活动，Romain Soulat与Jean-Frédéric Etienne将现场演示Blaster工具。该工具可证明Cardano智能合约符合其规格，或返回使其失效的具体反例。活动需提前注册。