Møt @duveZK, zkVM-ingeniør hos Nexus. Han studerte logikk og CS, og jobber nå med formell verifisering, nullkunnskapsbevis og infrastrukturen som driver verifiserbar AI.

Tanners fokus er formell verifisering for AI. "Når AI blir distribuert i kritiske systemer, kan upålitelige resultater være katastrofale. Beviselig korrekthet betyr formelle og kryptografiske garantier – for sikkerhet, personvern og rettferdighet.»

Han er spesielt begeistret for skjæringspunktet mellom PL, AI og ZK. «Det er et reelt momentum i å bruke AI for å hjelpe til med formell verifisering – opplæring av LLM-er på Lean-data for å generere verifisert matematikk og programvare.»

Les hele intervjuet her: