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

কোটোবা লিস্প-অনুরূপ সিনট্যাক্স এবং কার্যকারিতা ও ক্ষমতা পরীক্ষার সাথে সংযুক্ত। প্রোগ্রামগুলি একটি টাইপ করা মধ্যবর্তী প্রতিনিধিত্বে (চেক করা KIR) নামানো হয়, যেখানে কার্যকারিতা, সম্পদ এবং ক্ষমতা প্রথমে গৃহীত হওয়া আবশ্যক যেন কোনও আর্টিফ্যাক্ট উৎপন্ন হয়। আর্টিফ্যাক্টগুলি কন্টেন্ট-অ্যাড্রেসড, যার ফলে বাইনারি ঠিকমতো গৃহীত কম্পিউটেশন প্রতিনিধিত্ব করে। স্ট্যাকটি ওয়েবঅ্যাসেম্বলি বা নেটিভ টার্গেটে কম্পাইলেশনের জন্য একটি CLI, একটি ভেরিফায়ার (টেনডার) যা শুধুমাত্র গৃহীত ইমপোর্ট বাঁধে, এবং কোটোবেস সংগ্রহস্থল, মুরাকুমো এক্সিকিউশন এবং ইটোনামি এজেন্ট কাজের জন্য হোস্টেড সার্ভিসগুলি অন্তর্ভুক্ত করে। ক্রিপ্টোগ্রাফিক সীমাবদ্ধতা হাইব্রিড X25519 + ML-KEM-768 এনক্রিপশন এবং ML-DSA-65 স্বাক্ষর প্রয়োগ করে, যেখানে পোস্ট-কোয়ান্টাম অ্যালগরিদমগুলি ডিফল্ট অ্যাডমিশন ফ্লোর হিসাবে কাজ করে। পরিচয় পাসকি/ওয়েবঅথেন কন্ট্রোলারের মাধ্যমে পরিচালিত হয়, এবং ডেলিগেশন শুধুমাত্র ক্ষমতা সীমাবদ্ধ করতে পারে। ভাষাটি অ্যাম্বিয়েন্ট ইন্টারোপ, রানটাইম কোড লোডিং, অসীম মিউটেশন এবং অসীম কনকারেন্সি বাদ দিয়ে গৃহীত ক্ষমতার পরিমাণ ছোট এবং পরীক্ষণযোগ্য রাখে। ডকুমেন্টেশন, কনফরম্যান্স টেস্ট এবং মেশিন-পাঠযোগ্য নিরাপত্তা দাবি রিপোজিটরিতে থাকে, এবং প্রকল্পটি ফেইল-ক্লোজড, ইনক্রিমেন্টাল ডেভেলপমেন্ট উপরে ভিত্তি করে।