Christoph Sprenger

Analyser la sécurité du protocole de sumcheck à travers des méthodes de vérification formelle.

Apprends comment les transactions de base de données garantissent la cohérence et l'efficacité des données.