Ontmoet @duveZK, zkVM-engineer bij Nexus. Hij heeft logica en informatica gestudeerd en werkt nu aan formele verificatie, zero-knowledge bewijzen en de infrastructuur die verifieerbare AI aandrijft.

Tanner's focus ligt op formele verificatie voor AI. "Naarmate AI wordt ingezet in kritieke systemen, kan onbetrouwbare output rampzalig zijn. Bewijsbare correctheid betekent formele en cryptografische garanties—voor veiligheid, privacy en eerlijkheid."

Hij is vooral enthousiast over de kruising van PL, AI en ZK. "Er is echte vooruitgang in het gebruik van AI om te helpen bij formele verificatie - het trainen van LLM's op Lean-gegevens om geverifieerde wiskunde en software te genereren."

Lees het volledige interview hier: