Nubit y ZeroSync han publicado conjuntamente un estudio pionero de verificación formal sobre BTCBitVM

Noticias de BlockBeats: El 1 de noviembre, según información oficial, Nubit y ZeroSync publicaron conjuntamente un trabajo de investigación innovador sobre BTC BitVM Verificación formal. Se informa que este logro académico está liderado por Nubit, en colaboración con ZeroSync, Alpen Labs, Citrea, Layer 1 Foundation, Stanford University, University of California, Santa Barbara y otras instituciones de primer nivel, y con el apoyo de Fractal Bitcoin y Starkware, estableciendo un nuevo estándar técnico para BitVM, la capa de ejecución en la que confía BTC Descentralización. La solución de "verificación con un solo clic" de Nubit permite a los desarrolladores, investigadores y usuarios garantizar la seguridad del uso de BitVM sin necesidad de conocimientos complejos de encriptación, sentando las bases para la popularidad y el progreso tecnológico del ecosistema BTC.