Möt @duveZK, zkVM-ingenjör på Nexus. Han studerade logik och datavetenskap och arbetar nu med formell verifiering, nollkunskapsbevis och infrastrukturen som driver verifierbar AI.
Tanners fokus är formell verifiering för AI. "När AI implementeras i kritiska system kan otillförlitliga resultat vara katastrofala. Bevisbar korrekthet innebär formella och kryptografiska garantier – för säkerhet, integritet och rättvisa."
Han är särskilt entusiastisk över skärningspunkten mellan PL, AI och ZK. "Det finns ett verkligt momentum i att använda AI för att hjälpa till med formell verifiering – att träna LLM:er på Lean-data för att generera verifierad matematik och programvara."
Läs hela intervjun här:
11,38K