Nous essayons maintenant d'adapter une vérification Honk proof dans la limite de 1,4 M de cu par transaction. C'est ma tentative de prouver à Toly qu'il n'y a que 6 contrats intelligents.