La sensazione quando usi il calcolo verificabile #ZK.