En el Episodio 335 del Podcast ZK, Anna entrevista a Jens Groth y Daniel Marin de Nexus sobre Groth16, un protocolo criptográfico. Discuten el desarrollo del protocolo y su aplicación en la verificación formal dentro de las pruebas de conocimiento cero (ZKPs). La conversación también aborda la arquitectura de Nexus, los desafíos de construir un sistema desde cero y la integración del plegado y la Computación Verificable Incremental (IVC) en una máquina virtual de conocimiento cero (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 charlas sobre verificación formal en el contexto de ZKPs, la arquitectura de Nexus, los beneficios y desafíos de construir un sistema desde cero, folding e IVC, además de las propiedades que ofrecen en un contexto de zkVM y mucho más. La publicación Episodio 335: Groth16, IVC y Verificación Formal con Nexus apareció primero en ZK Podcast.

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