OH: beknopte bewijs systemen zijn geen cryptografie, het zijn systeemontwerpen