Citrea 使用 ZK-STARK,或稱為 Zero-Knowledge Succinct Non-interactive Arguments of Knowledge,來在輕量級客戶端中遞歸地驗證批處理證明 ...