¿Qué crees que fortalece más la seguridad de Redbelly? - responsabilidad - consenso determinista - verificación formal - finalización cuasi instantánea