Познакомьтесь с @duveZK, инженером zkVM в Nexus.

Он изучал логику и CS, а сейчас работает над формальной верификацией, доказательствами с нулевым разглашением и инфраструктурой, обеспечивающей работу проверяемого ИИ. https://t.co/sdOUZLKfVP