Imagine un professeur qui peut corriger un examen entier en vérifiant seulement quelques réponses aléatoires et en étant quand même certain. C’est à peu près ainsi qu’un proof Stark fonctionne : • Un grand lot de transactions est effectué hors chaîne ; • Une preuve courte est générée pour démontrer que tout a été fait correctement ; • Ethereum vérifie la preuve au lieu de réexécuter chaque transaction, ce qui permet de répartir les coûts sur l’ensemble du lot ; • Plus une preuve nécessite de vérifications, plus elle est petite et peu coûteuse à valider ; • @Starknet vient d’ouvrir un défi pour trouver des mathématiques permettant de conserver la même sécurité avec moins de vérifications, et chaque découverte est récompensée. Des preuves plus petites, des vérifications moins chères, plus de capacité d’évolution.