copia

copia는 파일 동기화를 위한 라이브러리와 명령줄 인터페이스를 모두 제공하는 순수 Rust 도구입니다. C 의존성이나 불안전한 코드가 없는 롤링 체크섬 및 BLAKE3 델타 전송 엔진을 구현하여 rsync의 현대적이고 의존성 없는 대안으로 자리잡고 있습니다. 이 도구는 파일 변경 및 충돌의 유일한 진실 원으로 콘텐츠 해시를 사용하여 신뢰성을 위해 설계되었습니다. 세 가지 주요 동기화 레이어를 지원합니다: L1은 증분 단방향 미러링(로컬 또는 SSH를 통한 원격), L2는 양방향 동기화로 발산된 파일의 두 버전 모두 보존하는 안전한 충돌 해결, 그리고 L3는 여러 클라이언트가 중앙 허브에 동시에 푸시할 수 있는 허브-스포크 모델입니다. 모든 쓰기는 원자적이며, 프로젝트는 데이터 손실이 없고 동시 업데이트가 안전하게 처리되도록 보장하기 위해 Kani 및 Lean 4와 같은 형식 검증 방법을 사용하여 기계적으로 증명된 안전성 불변식을 포함합니다.