Emocionado de compartir que @alexanderlhicks, investigador de @ethereumfndn, hablará 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. Véalo a él y a otros investigadores destacados en Buenos Aires 👇