NexusのzkVMエンジニアである@duveZKをご紹介します。 彼は論理とCSを学び、現在は形式検証、ゼロ知識証明、および検証可能なAIを強化するインフラストラクチャに取り組んでいます。

Tanner氏は、AIの形式検証に重点を置いています。 「AIが重要なシステムにデプロイされると、信頼性の低い出力が悲惨な結果を招く可能性があります。証明可能な正確性とは、安全性、プライバシー、公平性のための正式な暗号保証を意味します。」

彼は特に、PL、AI、ZKの交差点に興奮しています。 「AIを使用して正式な検証を支援することには、真の勢いがあります。リーンデータに関するLLMのトレーニングを行い、検証済みの数学とソフトウェアを生成することです。」

インタビューの全文はこちらからご覧いただけます。