इस प्रोजेक्ट के बारे में

copia एक शुद्ध-Rust टूल है जो फाइल सिंक्रनाइज़ेशन के लिए एक लाइब्रेरी और कमांड-लाइन इंटरफ़ेस दोनों प्रदान करता है। यह rsync का एक आधुनिक, निर्भरता-मुक्त विकल्प के रूप में कार्य करता है, जो C निर्भरताओं या असुरक्षित कोड के बिना एक रोलिंग-चेकसम और BLAKE3 डेल्टा-ट्रांसफर इंजन को लागू करता है। टूल को विश्वसनीयता के लिए डिज़ाइन किया गया है, जो फाइल परिवर्तनों और संघर्षों के लिए एकमात्र सत्य स्रोत के रूप में सामग्री हैश का उपयोग करता है। यह सिंक्रनाइज़ेशन के तीन मुख्य स्तरों का समर्थन करता है: L1 वृद्धिशील एक-तरफ़ा मिररिंग (स्थानीय या SSH के माध्यम से दूरस्थ) के लिए, L2 द्विदिशीय द्विदिशीय सिंक्रनाइज़ेशन के लिए सुरक्षित संघर्ष समाधान के साथ जो विचलनशील फाइलों के दोनों संस्करणों को संरक्षित रखता है, और L3 एक हब-एंड-स्पोक मॉडल के लिए जहां कई क्लाइंट एक केंद्रीय हब में समानांतर रूप से पुश कर सकते हैं। सभी लेखन परमाणु हैं, और परियोजना में मशीन-सिद्ध सुरक्षा अपरिवर्तनीयता शामिल है जो Kani और Lean 4 जैसे औपचारिक सत्यापन विधियों का उपयोग करके यह गारंटी देता है कि डेटा कभी भी खो नहीं जाता है और समवर्ती अपडेट सुरक्षित रूप से संभाले जाते हैं।