MONEDERO / Código, compilaciones & verificación
Programa de verificación del monedero
Requisitos concretos para futuros distintivos y una versión pública.
Funciones y conservación de datos
Se prueban por separado creación/importación/bloqueo/desbloqueo; copia/restauración con igualdad de direcciones; recepción/QR en dispositivo; construcción y revisión; MAX+comisión; envío/estado; paginación completa; funcionamiento sin conexión, reinicio y recuperación. Cada red requiere su propio conjunto.
Límites de seguridad
Los casos negativos cubren red y destinatario incorrectos, decimales, datos antiguos, sustitución de comisión, fuentes inválidas y funciones ocultas no disponibles. Secretos en registros, almacenamiento, FFI y recuperación requieren pruebas aparte. Es un plan exigido, no una declaración de aprobación.
Distribución
La preparación exige cobertura de plataformas y dispositivos, accesibilidad, código y dependencias fijados, SBOM, revisión de licencias, firma de artefactos e instrucciones públicas de verificación. Una auditoría externa requiere alcance, informe y registro de correcciones propios.