Ora cerchiamo di adattare una verifica Honk proof al limite di 1,4 milioni di cu per transazione. Questo è il mio tentativo di confutare Toly sul fatto che ci siano solo 6 smart contract.