JUST IN: IOG says #Cardano $ADA's high assurance team has launched fixes and improved solve times for Blaster, Cardano's automated formal verification with mathematical security guarantees for smart contracts.