মার্স ক্যাপিটালের সংবাদ অনুযায়ী, ইথেরিয়াম ইনস্টিটিউশনাল প্রাইভেসি টেকনোলজি প্রতিষ্ঠান EthSystems ঘোষণা করেছে যে এটি তার শিল্ডেড পুলের জন্য ফর্মাল ভেরিফিকেশন সম্পন্ন করেছে, যা লিখিত স্পেসিফিকেশন থেকে শুরু করে Sepolia টেস্টনেটে চলমান বাইটকোড পর্যন্ত বিস্তৃত। ভেরিফিকেশনটি স্তরভিত্তিকভাবে বিভিন্ন টুলস ব্যবহার করে করা হয়েছে: মডেল, সার্কিট এবং হ্যাশের জন্য Lean, কনট্রাক্টের জন্য Halmos এবং Kontrol, ওয়ালেটের জন্য Aeneas এবং Verus, এবং ভেরিফায়ার এবং ডিপ্লয়মেন্টকে বাইট-বাই-বাইট পুনর্গঠনের মাধ্যমে যাচাই করা হয়েছে। ডবল-স্পেন্ডিং এবং ভ্যালু-কনজারভেশন Lean থিওরেম মেশিন দ্বারা যাচাইকৃত। ভেরিফিকেশনের সময় 6টি সমস্যা আবিষ্কৃত হয়, যার 3টি ভেরিফিকেশন টুলসেরই মধ্যে। দলটি একইসঙ্গে এখনও নির্ভরশীলতা রাখা হচ্ছে এমন ধারণাগুলিরও তালিকা দিয়েছে: হ্যাশ-কলিশন-ফ্রি, ভেরিফায়ারগুলি মিথ্যাপ্রমাণগুলি অস্বীকার করবে, এবং কনট্রাক্টের আচরণটি মডেলের সঙ্গে সঙ্গতিপূর্ণ।
EthSystems প্রাইভেসি পুলের ফর্মাল ভেরিফিকেশন সম্পন্ন করেছে
MarsBitশেয়ার
সারাংশ
EthSystems, একটি ইথেরিয়াম প্রাইভেসি টেক ফার্ম, তাদের প্রাইভেসি পুলের ফর্মাল ভেরিফিকেশন সম্পন্ন করেছে, যা Sepolia টেস্টনেট-এ স্পেসিফিকেশন থেকে বাইটকোড পর্যন্ত কভার করে। এই প্রক্রিয়ায় মডেল, সার্কিট এবং হ্যাশের জন্য Lean; কনট্রাক্টের জন্য Halmos এবং Kontrol; ওয়ালেটের জন্য Aeneas এবং Verus; এবং বাইট-বাই-বাইট চেকের মাধ্যমে ভ্যালিডেটরদের ব্যবহার করা হয়েছিল। Lean থিওরেম মেশিনগুলি ডবল-স্পেন্ডিং এবং ভ্যালু কনজারভেশন যাচাই করেছে। ছয়টি সমস্যা আবিষ্কৃত হয়েছে, যার তিনটি টুলগুলিতে। বাকি ধারণাগুলির মধ্যে রয়েছে হ্যাশ কলিশন রেজিস্ট্যান্স এবং মডেলগুলির সাথে কনট্রাক্টের সামঞ্জস্যতা। এই প্রচেষ্টাটি Proof of Work (PoW) এবং Proof of Stake (PoS) সিকিউরিটি মডেলগুলির মধ্যে চলমান বিতর্কগুলির সাথে সঙ্গতিপূর্ণ।
উৎস:আসল দেখান
দাবিত্যাগ: এই পৃষ্ঠার তথ্য তৃতীয় পক্ষের কাছ থেকে প্রাপ্ত হতে পারে এবং অগত্যা KuCoin এর মতামত বা মতামত প্রতিফলিত করে না। এই বিষয়বস্তু শুধুমাত্র সাধারণ তথ্যগত উদ্দেশ্যে প্রদান করা হয়, কোন ধরনের প্রতিনিধিত্ব বা ওয়ারেন্টি ছাড়াই, বা এটিকে আর্থিক বা বিনিয়োগ পরামর্শ হিসাবে বোঝানো হবে না। KuCoin কোনো ত্রুটি বা বাদ পড়ার জন্য বা এই তথ্য ব্যবহারের ফলে যে কোনো ফলাফলের জন্য দায়ী থাকবে না।
ডিজিটাল সম্পদে বিনিয়োগ ঝুঁকিপূর্ণ হতে পারে। আপনার নিজের আর্থিক পরিস্থিতির উপর ভিত্তি করে একটি পণ্যের ঝুঁকি এবং আপনার ঝুঁকি সহনশীলতা সাবধানে মূল্যায়ন করুন। আরও তথ্যের জন্য, অনুগ্রহ করে আমাদের ব্যবহারের শর্তাবলী এবং ঝুঁকি প্রকাশ পড়ুন।