Emocionado de compartir que @alexanderlhicks, investigador en @ethereumfndn, estará hablando en la Cumbre Open AGI durante Devconnect. Su trabajo explora la verificación formal de sistemas criptográficos y descentralizados, con un enfoque en las estructuras de incentivos. No te lo pierdas a él y a otros investigadores destacados en Buenos Aires 👇