Glossaire · Vérification et certification
Solidité
Capacité du résultat annoncé à tenir face aux réponses adverses prévues par le protocole.
Un résultat annoncé est solide lorsqu’il tient face aux réponses adverses prévues par le protocole. Lorsque la solidité repose sur une recherche, le résultat reste dans les bornes déclarées par le protocole. Une recherche non résolue n’est pas traitée comme une réfutation.
édition v3.0 · 2026slug soundnessEN Soundness
Retour au glossaire