Kirill Balakhanov1 talk by Kirill BalakhanovAutonomous Guardians: The Future of Smart Contract Auditing - DeFi Security Summit 2025