Nuestro cofundador @IsilDillig subió al escenario en un evento de @a16zcrypto para ofrecer una presentación completa sobre Métodos Formales para Circuitos de Conocimiento Cero.

Vea la grabación completa y un resumen a continuación 🧵

1/4