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