s/o @tcoratger (chercheur EF) qui m'a énormément aidé à apprendre sur la cryptographie et la philosophie de conception derrière leanVM et d'autres éléments de lean Ethereum !