En el episodio 335 del Podcast ZK, Anna entrevista a Jens Groth y Daniel Marin de Nexus, discutiendo Groth16, verificación formal en ZKPs, arquitectura de Nexus y las complejidades de construir un sistema desde cero. También exploran los beneficios y desafíos del plegado y IVC en un contexto de zkVM.

En el episodio de esta semana, Anna conversa con Jens Groth y Daniel Marin de Nexus. Se ponen al día con todo lo relacionado con Groth16 con el propio autor antes de adentrarse en una variedad de temas, como la verificación formal en el contexto de ZKPs, la arquitectura de Nexus, los beneficios y desafíos de construir un sistema desde cero, el folding y IVC, además de las propiedades que ofrecen en un contexto de zkVM y mucho más. La publicación del episodio 335: Groth16, IVC y Verificación Formal con Nexus apareció primero en ZK Podcast.

Episodio 335 del Podcast ZK: Explorando Groth16, IVC y Verificación Formal con Nexus