Zertifikatserzeugung

Der Mechanismus zur Erzeugung eines prüfbaren Artefakts (Zertifikat) — z. B. ein Beweisobjekt, ein Beweis-Trace, ein Zeuge, ein Interpolant oder eine wiederspielbare Spur — das die Korrektheit einer Aussage eines Solvers belegt und von einem unabhängigen Prüfer überprüft werden kann.