On m’a demandé : comment le mainnet peut-il savoir que les résultats soumis par un Rollup sont corrects ?
En général, je réponds ainsi : chaque lot de résultats d’un ZK Rollup est accompagné d’une preuve de validité. Une fois celle-ci vérifiée par le contrat du mainnet, les résultats sont immédiatement acceptés, sans attendre de période de contestation. Le principe de la preuve de validité, c’est « apporter d’abord la preuve, puis confirmer » ; la correction repose sur la preuve cryptographique elle-même. En contrepartie, générer une preuve exige beaucoup de calculs.
$ARB 0.1646(+0.73%)
Si vous connaissez quelqu’un qui vient de découvrir le secteur, n’hésitez pas à lui envoyer ce texte.