Génération de Certificats

Le mécanisme de production d'un artefact vérifiable (certificat) — tel qu'un objet de preuve, une trace de preuve, un témoin, un interpolant ou une trace rejouable — qui atteste de la correction d'une assertion d'un solveur et peut être contrôlé de manière indépendante par un vérificateur.