Riflettendo sul fantastico workshop PQ Cambridge. Molto da elaborare sul futuro degli SNARK post-quantum e su Lean Ethereum. Condividerò presto un resoconto delle mie principali conclusioni. Per ora, si passa al ritiro del layer di Consensus!