O primeiro lançamento de ZK Rollup do Bitcoin está próximo! A Sigma Prime (@sigp_io) concluiu a auditoria privada da ponte baseada em BitVM da Citrea, chamada Clementine. Esta será a primeira ponte do Bitcoin minimizada em confiança para um ambiente totalmente programável. Nenhuma vulnerabilidade crítica foi encontrada 🧵

A Sigma Prime realizou auditorias privadas da Clementine: • Implementação do Signer: Entidades que aplicam as regras de gasto do BitVM. • Implementação do Operador: Entidades com fins lucrativos que facilitam os levantamentos. • Musig2: Construção de carteiras multisig no Bitcoin.

• Cliente Leve de Bitcoin Otimista: Anexa uma prova de cadeia de cabeçalho zk-SNARK sucinta mostrando uma cadeia mais pesada. Esta prova torna-se uma entrada para os desafios.

Um total de 36 problemas foram identificados durante a auditoria privada: - 2 Altos - 13 Médios - 13 Baixos - 8 Informativos Todos os problemas foram resolvidos com sucesso pela equipe da Citrea.

Encontre o relatório completo aqui:

Com a Clementine, o Bitcoin terá a primeira ponte, cujas regras são aplicadas pela Rede Bitcoin com pelo menos uma parte honesta presente, para uma plataforma global programável. A Clementine em breve entrará na fase de competição de auditoria pública. Fique atento 🍊