Nubit e ZeroSync publicam em conjunto um estudo pioneiro de verificação formal BTCBitVM

BlockBeats News, em 1º de novembro, de acordo com notícias oficiais, Nubit e ZeroSync publicaram em conjunto um artigo de pesquisa inovador sobre BTC BitVM Verificação formal. É relatado que esta conquista acadêmica é liderada pela Nubit, em colaboração com ZeroSync, Alpen Labs, Citrea, Layer 1 Foundation, Stanford University, University of California, Santa Barbara e outras instituições de topo, e apoiada pela Fractal Bitcoin e Starkware, estabelecendo um novo padrão técnico para BitVM, a camada de execução confiável pela BTCDescentralização. A solução de "verificação com um clique" da Nubit permite que desenvolvedores, pesquisadores e usuários garantam a segurança do uso do BitVM sem conhecimento complexo de encriptação, estabelecendo as bases para a popularização do ecossistema BTC e o progresso tecnológico.