Conoce a @duveZK, ingeniero de zkVM en Nexus.

Estudió lógica e informática, y ahora trabaja en verificación formal, pruebas de conocimiento cero y la infraestructura que impulsa la IA verificable. https://t.co/sdOUZLKfVP