Meet @duveZK, zkVM engineer at Nexus.

He studied logic and CS, and now works on formal verification, zero-knowledge proofs, and the infrastructure powering verifiable AI. https://t.co/sdOUZLKfVP