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

A Sigma Prime realizou auditorias privadas de Clementine: • Implementação do signatário: entidades que aplicam as regras de gastos do BitVM. • Implementação do operador: entidades com fins lucrativos que facilitam saques. • Musig2: Construção de carteiras multisig em Bitcoin.

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

Um total de 36 problemas foram identificados durante a auditoria privada: - 2 Alto - 13 Médio - 13 Baixo - 8 Informativo Todas as questões foram abordadas com sucesso pela equipe da Citrea.

Encontre o relatório completo aqui:

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