Citrea bygger den första rollupen för Bitcoin. Vår unika kodbas har genomgått revisioner. Den privata revisionen av Citreas rollup-infrastruktur har nu slutförts av Sigma Prime (@sigp_io). Inga kritiska sårbarheter hittades. Här är hela rapporten 🧵
Sigma Prime genomförde privata revisioner av Citreas: • Bitcoin DA: En speciell DA-adapter för Bitcoin som bygger och spårar Citreas åtaganden och bevis • Citrea STF: Den konsensuskritiska tillståndsövergångslogiken att varje nod och provare måste reproducera bit-för-bit.
Sigma Prime genomförde privata revisioner av Citreas: • EVM: Citreas exekveringsmotor som används av STF och kretsarna. • Light Client Prover Circuit: Genererar den rekursiva SNARK som komprimerar headers, åtaganden och batchkorrektur till ett light-client proof.
Totalt identifierades 24 problem under Sigma Primes säkerhetsbedömning: - 5 Hög - 6 Medel - 4 Låg - 9 Informativ Alla problem åtgärdades framgångsrikt av Citrea-teamet.
Du hittar hela revisionsrapporten här:
Citreas infrastruktur för rollup-verksamhet genomgår nu en offentlig revisionstävling med @cantinaxyz! $80,000+ i belöningar att vinna, som pågår fram till den 15 augusti:
12,32K