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