Yatima
Una plataforma informática verificable.
Yatima es una cadena de bloques de sustrato que utiliza verificación formal en cadena y pruebas de conocimiento cero para mejorar radicalmente la seguridad y la escalabilidad de los contratos inteligentes y otros cálculos deterministas.
