OH : les systèmes de preuve succincts ne sont pas de la cryptographie, ce sont des conceptions de systèmes.