OH: "Menschen werden kryptografische Beweise nur über fehlgeschlagene Toolaufrufe verifizieren"