Introdução
Succinct é um protocolo focado em computação verificável, permitindo que desenvolvedores gerem e verifiquem facilmente provas de conhecimento zero (ZK) em várias configurações usando sua zkVM (máquina virtual de conhecimento zero) universal.