O desenvolvedor Blockchain ZeroSync implantou o primeiro sistema de cliente ZK baseado na prova Stark para a rede Bitcoin, permitindo que clientes leves Bitcoin (ou seja, carteiras) usem cabeçalhos de bloco e mecanismos de Verificação de Pagamento Simples (SPV) para verificar transações. O projeto visa ajudar os usuários do Bitcoin a verificar o estado da rede sem baixar todo o blockchain. (O bloco)