The Big Talk
TBW - Patrick Azzopardi (Dowsers): "We guarantee asset managers that the DeFi protocols they use are bulletproof"
Tell us about Dowsers. What exactly do you do? We do formal verification for on-chain finance. It's the highest level of software security that exists — and that's not an opinion, it's a scientific fact. To give you a concrete reference: the three automated