NexusのzkVMエンジニア、@duveZKをご紹介します。

彼は論理学とCSを学び、現在は形式検証、ゼロ知識証明、および検証可能なAIを強化するインフラストラクチャに取り組んでいます。https://t.co/sdOUZLKfVP