Citrea đang xây dựng rollup đầu tiên cho Bitcoin. Mã nguồn độc đáo của chúng tôi đã trải qua các cuộc kiểm toán. Cuộc kiểm toán riêng tư về hạ tầng rollup của Citrea đã được Sigma Prime (@sigp_io) hoàn thành. Không phát hiện lỗ hổng nghiêm trọng nào. Dưới đây là báo cáo đầy đủ 🧵

Sigma Prime đã tiến hành kiểm toán riêng cho Citrea: • Bitcoin DA: Một bộ chuyển đổi DA đặc biệt cho Bitcoin, xây dựng và theo dõi các cam kết và chứng cứ của Citrea • Citrea STF: Logic chuyển trạng thái quan trọng cho sự đồng thuận mà mọi nút và người chứng phải tái tạo từng bit.

Sigma Prime đã tiến hành kiểm toán riêng tư cho Citrea: • EVM: Engine thực thi của Citrea được sử dụng bởi STF và các mạch. • Mạch Prover Client Nhẹ: Tạo ra SNARK đệ quy nén các tiêu đề, cam kết và chứng minh lô thành một chứng minh client nhẹ.

Tổng cộng có 24 vấn đề đã được xác định trong quá trình đánh giá bảo mật của Sigma Prime: - 5 Cao - 6 Trung bình - 4 Thấp - 9 Thông tin Tất cả các vấn đề đã được đội ngũ Citrea giải quyết thành công.

Tìm báo cáo kiểm toán đầy đủ tại đây:

Cơ sở hạ tầng rollup của Citrea hiện đang trải qua một cuộc thi kiểm toán công khai với @cantinaxyz! Hơn $80,000 trong phần thưởng đang chờ đợi, diễn ra cho đến ngày 15 tháng 8: