OH: "succincte bewijs systemen zijn geen cryptografie, het zijn systeemontwerpen"