copia

copia 是一个纯 Rust 工具，提供库和命令行界面用于文件同步。它是 rsync 的现代、无依赖替代品，实现滚动校验和和 BLAKE3 增量传输引擎，不依赖 C 或不安全代码。该工具以可靠性为设计目标，将内容哈希作为文件变更和冲突的唯一真相来源。它支持三种同步层：L1 用于增量单向镜像（本地或通过 SSH 远程），L2 用于双向同步，带有安全冲突解决（保留分歧文件的两个版本），L3 用于 hub-spoke 模型，多个客户端可以并发推送到中心 hub。所有写入都是原子的，项目还包括使用 Kani 和 Lean 4 等形式化验证方法证明的安全性不变式，以确保数据永不丢失，并发更新得到安全处理。