আমরা Runtime Verification, একটি রিসার্চ এবং ডেভেলপমেন্ট কোম্পানি যা ক্রিটিকাল সিস্টেমের নিরাপত্তা এবং সঠিকতা নিশ্চিত করতে কঠোর টুল তৈরি করে। আমাদের টিম KEVM তৈরি করেছে, যা K Framework-এ লেখা Ethereum Virtual Machine (EVM)-এর সবচেয়ে সম্পূর্ণ এবং ব্যাটল-টেস্টেড ফরমাল সিম্যান্টিকস। KEVM শুধুমাত্র একটি স্পেসিফিকেশন নয়, এটি একটি এক্সিকিউটেবল স্পেসিফিকেশন যা স্মার্ট কন্ট্রাক্ট সম্পর্কে সিম্বলিক্যালি যুক্তি দিতে, কনফরম্যান্স টেস্ট চালাতে, গ্যাস ব্যবহার বিশ্লেষণ করতে, প্রোগ্রাম ডিবাগ করতে এবং সঠিকতার বৈশিষ্ট্যগুলো আনুষ্ঠানিকভাবে যাচাই করতে ব্যবহার করা যেতে পারে। এটি সম্পূর্ণ Ethereum টেস্ট স্যুট পাস করে এবং Solidity ও Vyper উভয় ক্ষেত্রেই ERC-20 টোকেনসহ হাই-ভ্যালু কন্ট্রাক্ট যাচাই করতে ব্যবহৃত হয়। আমরা সম্প্রতি Pectra আপগ্রেড সমর্থন করার জন্য সিম্যান্টিকস আপডেট করেছি। KEVM সক্রিয়ভাবে Kontrol দ্বারা ব্যবহৃত হচ্ছে - যা Soldiity-এর জন্য আমাদের ফরমাল ভেরিফিকেশন টুল, এটি EVM ইকোসিস্টেমের লিডিং টিমগুলো দ্বারা সক্রিয়ভাবে ব্যবহৃত হয়, যার মধ্যে রয়েছে Optimism, Ethereum Foundation, Lido, Uniswap এবং সেইসাথে বৃহত্তর Ethereum কমিউনিটির সিকিউরিটি গবেষক এবং অডিটররা। আমরা সক্রিয়ভাবে এই রিপোজিটরিটি মেইনটেইন করি, Ethereum-এর প্রোটোকল ইভোলিউশনে অবদান রাখি এবং Foundry-এর মতো ডেভেলপার টুলের সাথে ইন্টিগ্রেট করি। KEVM-এর মাধ্যমে, আমরা প্রমাণযোগ্যভাবে সঠিক এবং সুরক্ষিত স্মার্ট কন্ট্রাক্ট ইনফ্রাস্ট্রাকচারে যা সম্ভব তার সীমানা প্রসারিত করছি।
