Ravi de partager que @alexanderlhicks, chercheur chez @ethereumfndn, prendra la parole au Open AGI Summit lors de Devconnect. Son travail explore la vérification formelle des systèmes cryptographiques et décentralisés, avec un accent sur les structures d'incitation. Retrouvez-le ainsi que d'autres chercheurs de premier plan à Buenos Aires 👇