Các mạch ZK của Citrea được thiết kế đặc biệt cho Bitcoin để cho phép: - Các ứng dụng Bitcoin góp phần vào nền kinh tế thợ mỏ - Cầu Bitcoin được xác minh bởi mạng lưới của nó 🧵

Mạch của Citrea chứng minh hai điều đồng thời: • Chứng minh thực thi (chứng minh tính chính xác của các giao dịch Citrea) • Chứng minh không gian khối Bitcoin (sản xuất một chứng minh ngắn gọn về Citrea cho cầu xác thực, Clementine).

Chứng minh thực thi: Đối với mỗi lô khối Citrea, mạch sẽ xác minh tất cả việc thực thi giao dịch và chuyển trạng thái. Nó xuất ra: • Căn rễ trạng thái ban đầu & cuối cùng • Sự khác biệt trạng thái • Hash khối Bitcoin cuối cùng được biết đến bởi Citrea Chứng minh sau đó được gửi đến Bitcoin.

Chứng minh không gian khối: Mạch quét các khối Bitcoin để xác minh tất cả các chứng minh thực thi Citrea trước đó và các cam kết của bộ sắp xếp. Chức năng của nó là: • Cung cấp một chứng minh duy nhất cho toàn bộ lịch sử Citrea

Kết quả: Một lớp ứng dụng hoàn toàn phù hợp với Bitcoin.