প্রকল্প সম্পর্কে

SafeMesh হল একটি ওপেন-সোর্স লাইব্রেরি যা Conflict-free Replicated Data Types (CRDT) ব্যবহার করে হালকা, এম্বেডেবল স্টেট সিঙ্ক্রোনাইজেশন প্রদান করে। এর প্রাথমিক বৈশিষ্ট্য হল আনুষ্ঠানিক যাচাই-বাছাই: পাঁচটি CRDT ধরনের (G-Set, G-Counter, PN-Counter, OR-Set, এবং RGA/Text) মূল কনভারজেন্স বৈশিষ্ট্যগুলি Lean 4-এ মেশিন-চেকড প্রুফ দ্বারা সমর্থিত। এটি বিকেন্দ্রীত রেপ্লিকাগুলির মধ্যে ডেটা সামঞ্জস্যের জন্য গাণিতিক গ্যারান্টি নিশ্চিত করে। লাইব্রেরিটি no_std Rust-এ বাস্তবায়িত, যা এটিকে সম্পদ-সংকুচিত পরিবেশ এবং এম্বেডেড সিস্টেমগুলির জন্য উপযুক্ত করে তোলে। SafeMesh একটি মূল Rust API এবং C (FFI এর মাধ্যমে), WASM/TypeScript, এবং Python-এর জন্য বাইন্ডিং প্রদান করে। এই বাইন্ডিংগুলি ডেভেলপারদের ওয়েব অ্যাপ্লিকেশন, নেটিভ সফটওয়্যার, এবং স্ক্রিপ্টিং এনভায়রনমেন্টে যাচাই-বাছাই করা CRDT লজিক একীভূত করতে দেয়, মার্জ লজিক পুনরায় বাস্তবায়ন না করে। মূল বৈশিষ্ট্যগুলির মধ্যে রয়েছে: - **আনুষ্ঠানিক যাচাই-বাছাই**: ডেল্টা-CRDT স্যুটটি Lean 4-এ প্রমানিত, কোনো 'sorry' অক্ষিom ছাড়াই, স্টেট-ভিত্তিক কনভারজেন্সের জন্য উচ্চ নির্ভরযোগ্যতা নিশ্চিত করে। - **বহু-ভাষা সমর্থন**: C ABI, WASM, এবং Python ইন্টারফেসের মাধ্যমে একই Rust কোর প্রকাশ করে, ওয়্যার ট্রান্সফারের জন্য ক্যানোনিকাল বাইট এনকোডিং সহ। - **ট্রান্সপোর্ট অজ্ঞেয়**: SafeMesh CRDT স্টেট এবং ইভেন্ট লগ প্লম্বিং (append/merge/since) পরিচালনা করে, কিন্তু ব্যবহারকারীদের নেটওয়ার্ক যোগাযোগের জন্য নিজস্ব ট্রান্সপোর্ট মেকানিজম সরবরাহ করতে হবে। - **পরীক্ষা অবকাঠামো**: Lean-জেনারেটেড ওরাকল কর্পোরার বিরুদ্ধে ডিফারেনশিয়াল টেস্টিং, কাস্টম টাইপের জন্য লস হারনেস, এবং প্রুফ ইন্টিগ্রিটি বজায় রাখার জন্য CI গেট অন্তর্ভুক্ত করে। প্রজেক্টটি স্পষ্টভাবে তার গ্যারান্টিগুলির পরিধি নির্ধারণ করে, প্রমানিত CRDT এবং LWW Register এবং LWW Map-এর মতো পরীক্ষিত-কিন্তু-প্রমানিত-নয় ধরনের মধ্যে পার্থক্য করে। এটি Apache-2.0 লাইসেন্সের অধীনে রয়েছে।