Conheça @duveZK, engenheiro de zkVM na Nexus.

Ele estudou lógica e CS e agora trabalha com verificação formal, provas de conhecimento zero e a infraestrutura que alimenta a IA verificável. https://t.co/sdOUZLKfVP