Citrea construit le premier rollup pour Bitcoin. Notre code source unique a été soumis à des audits. L'audit privé de l'infrastructure de rollup de Citrea a maintenant été complété par Sigma Prime (@sigp_io). Aucune vulnérabilité critique n'a été trouvée. Voici le rapport complet 🧵

Sigma Prime a réalisé des audits privés de Citrea : • Bitcoin DA : Un adaptateur DA spécial pour Bitcoin qui construit et suit les engagements et preuves de Citrea. • Citrea STF : La logique de transition d'état critique pour le consensus que chaque nœud et prouveur doit reproduire bit à bit.

Sigma Prime a réalisé des audits privés de Citrea : • EVM : le moteur d'exécution de Citrea utilisé par le STF et les circuits. • Circuit de preuve de client léger : génère le SNARK récursif qui compresse les en-têtes, les engagements et les preuves de lot en une seule preuve de client léger.

Un total de 24 problèmes ont été identifiés lors de l'évaluation de sécurité de Sigma Prime : - 5 Élevés - 6 Moyens - 4 Faibles - 9 Informatiques Tous les problèmes ont été résolus avec succès par l'équipe de Citrea.

Trouvez le rapport d'audit complet ici :

L'infrastructure de rollup de Citrea est actuellement soumise à une compétition d'audit public avec @cantinaxyz ! Plus de 80 000 $ de récompenses à gagner, jusqu'au 15 août :