Sự ra mắt ZK Rollup đầu tiên của Bitcoin sắp đến! Sigma Prime (@sigp_io) đã hoàn thành việc kiểm toán riêng tư cầu nối BitVM của Citrea, Clementine. Đây sẽ là cầu nối đầu tiên của Bitcoin giảm thiểu sự tin cậy đến một môi trường hoàn toàn có thể lập trình. Không phát hiện lỗ hổng nghiêm trọng nào 🧵

Sigma Prime đã tiến hành kiểm toán riêng tư cho Clementine: • Triển khai Signer: Các thực thể thực thi quy tắc chi tiêu BitVM. • Triển khai Operator: Các thực thể tìm kiếm lợi nhuận giúp thực hiện rút tiền. • Musig2: Xây dựng ví multisig trên Bitcoin.

• Khách hàng nhẹ Bitcoin lạc quan: Gắn một chứng minh chuỗi tiêu đề zk-SNARK ngắn gọn cho thấy một chuỗi nặng hơn. Chứng minh này trở thành đầu vào cho các thách thức.

Tổng cộng có 36 vấn đề đã được xác định trong quá trình kiểm toán riêng: - 2 Cao - 13 Trung bình - 13 Thấp - 8 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 đầy đủ tại đây:

Với Clementine, Bitcoin sẽ có cây cầu đầu tiên, mà các quy tắc được thực thi bởi Mạng Bitcoin với ít nhất một bên trung thực có mặt, đến một nền tảng toàn cầu có thể lập trình. Clementine sẽ sớm bước vào giai đoạn cạnh tranh kiểm toán công khai. Hãy theo dõi 🍊