Arto, Manuel (2026) ZeroNethermind: Engineering a Stateless Execution Layer for Ethereum using Zero-Knowledge Proofs. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]