Daten, deren Erzeugung einen erheblichen Rechenaufwand erfordert, die aber nur einen minimalen Rechenaufwand benötigen, um als korrekt verifiziert zu werden.