Rencontrez @duveZK, ingénieur zkVM chez Nexus.

Il a étudié la logique et l'informatique, et travaille maintenant sur la vérification formelle, les preuves zéro connaissance et l'infrastructure alimentant l'IA vérifiable. https://t.co/sdOUZLKfVP