Seguridad de Alt Fun: auditorías y señales de confianza — dapp.observer