Dengan senang hati berbagi bahwa @alexanderlhicks, peneliti di @ethereumfndn, akan berbicara di Open AGI Summit selama Devconnect. Karyanya mengeksplorasi verifikasi formal sistem kriptografi dan terdesentralisasi, dengan fokus pada struktur insentif. Tangkap dia dan peneliti terkemuka lainnya di Buenos Aires 👇