Cardano estrena lenguaje con pruebas de conocimiento cero

El lenguaje propuesto podría facilitar la composición y verificación de aplicaciones de Cardano, pero los desarrolladores aún no tienen nombre, código público ni fecha de lanzamiento.

CoinDesk