El desarrollador de blockchain ZeroSync ha implementado el primer sistema de cliente ZK basado en Stark Proof para la red Bitcoin, lo que permite a los clientes ligeros de Bitcoin (es decir, billeteras) utilizar encabezados de bloque y mecanismos de verificación de pago simple (SPV) para verificar las transacciones. El proyecto tiene como objetivo ayudar a los usuarios de Bitcoin a verificar el estado de la red sin descargar toda la cadena de bloques. (El bloque)