গুগল ডিপমাইন্ডের গবেষকরা এআই এজেন্ট 'আলফাপ্রুফ কোড' ব্যবহার করে সিগন্যাল প্রোটোকলের নিরাপত্তা ব্যবস্থা আনুষ্ঠানিকভাবে যাচাই করেছেন। লিন প্রোগ্রামিং ভাষায় ৬০ লক্ষেরও বেশি লাইন কোডের মাধ্যমে তারা গাণিতিকভাবে প্রমাণ করেছেন যে সিগন্যাল, হোয়াটসঅ্যাপ ও গুগল মেসেজেস অ্যাপের এন্ড-টু-এন্ড এনক্রিপশন নিরাপদ। এই যুগান্তকারী সাফল্যে সাইবার নিরাপত্তা খাতে বড় ধরনের অগ্রগতির পথ উন্মুক্ত হয়েছে।
গুরুত্বপূর্ণ তথ্য পয়েন্ট (Key Takeaways):
- গুগল ডিপমাইন্ডের গবেষকরা 'আলফাপ্রুফ কোড' নামক মাল্টি-এলএলএম এজেন্টিক ফ্রেমওয়ার্ক ব্যবহার করে সিগন্যাল প্রোটোকলের ক্রিপ্টোগ্রাফিক সুরক্ষা গাণিতিকভাবে যাচাই করেছেন।
- জেমিনি কার্বন চালিত এআই এজেন্ট এবং লিন প্রোগ্রামিং ভাষা ব্যবহার করে ৬ লক্ষেরও বেশি লাইনের কোড তৈরি করে নিরাপত্তার শর্ত যাচাই করা হয়েছে।
- সিগন্যালের চিফ টেকনোলজি অফিসার (সিটিও) এহরেন ক্রেট এই গবেষণার ভূয়সী প্রশংসা করে জানিয়েছেন এটি কোড নিরাপত্তার পরিধি বাড়াতে সাহায্য করেছে।
সম্পূর্ণ প্রতিবেদন
জনপ্রিয় মেসেজিং অ্যাপ সিগন্যাল-এর নিরাপত্তা ব্যবস্থার সুরক্ষা আনুষ্ঠানিকভাবে যাচাই করেছে গুগল ডিপমাইন্ডের গবেষক দল। সিগন্যাল প্রোটোকল নামের ওপেন-সোর্স ক্রিপ্টোগ্রাফিক ব্যবহার করে সিগন্যাল, হোয়াটসঅ্যাপ এবং গুগল মেসেজেস-এর মতো অ্যাপে মেসেজ ও ভয়েস কলের জন্য এন্ড-টু-এন্ড এনক্রিপশন (E2EE) প্রদান করা হয়। এবার কৃত্রিম বুদ্ধিমত্তা বা এআই এজেন্টের সাহায্যে এই প্রোটোকলের নিরাপত্তা সংক্রান্ত গুরুত্বপূর্ণ বৈশিষ্ট্যগুলি গাণিতিক প্রমাণের মাধ্যমে নিশ্চিত করেছেন গবেষকরা। এই কাজের জন্য তারা তৈরি করেছেন 'আলফাপ্রুফ কোড' নামক একটি নতুন এজেন্টিক ফ্রেমওয়ার্ক, যা দিয়ে প্রোটোকলের মূল কোড গভীরভাবে পরীক্ষা করা হয়েছে।
কোনো সফটওয়্যার বা কোড প্রত্যাশিত নিয়ম মেনে কাজ করছে কি না এবং তাতে নির্দিষ্ট ধরনের ত্রুটি রয়েছে কি না, তা গাণিতিকভাবে প্রমাণ করার পদ্ধতিকে ফরমাল ভেরিফিকেশন বলা হয়। নিরাপত্তা যাচাইয়ের ক্ষেত্রে এটি অত্যন্ত কঠোর মানদণ্ড হলেও তা বেশ সময়সাপেক্ষ। তাই গুগল ডিপমাইন্ডের গবেষকরা মানব বিশেষজ্ঞদের অভিজ্ঞতার সঙ্গে এআই এজেন্টের ক্ষমতা যুক্ত করেছেন। আলফাপ্রুফ কোড একটি মাল্টি-এলএলএম এজেন্টিক ফ্রেমওয়ার্ক, যেখানে একাধিক এআই মডেল ও এজেন্টের মধ্যে কাজ ভাগ করে প্রক্রিয়াটি সম্পন্ন করা হয়। গবেষকরা লিন নামের একটি প্রোগ্রামিং ভাষায় ৬০ লক্ষেরও বেশি লাইন কোড তৈরি করে প্রমাণ করেছেন যে কোডগুলো নির্দিষ্ট নিয়ম মেনে চলছে।
গবেষকরা শুধু সিগন্যাল প্রোটোকলের নকশার নিরাপত্তা যাচাই করেই ক্ষান্ত হননি, বরং ব্যবহারকারীদের ডিভাইসে চলা কম্পাইল করা কোডও নিরাপত্তার শর্ত পূরণ করছে কি না তা প্রমাণ করেছেন। এমনকি ডিভাইস সাময়িকভাবে হ্যাকার বা অননুমোদিত ব্যক্তির নিয়ন্ত্রণে চলে গেলেও মেসেজের সুরক্ষা বজায় থাকার বিষয়টিও যাচাই করা হয়েছে। সিগন্যালের চিফ টেকনোলজি অফিসার (সিটিও) এহরেন ক্রেট এই সাফল্যের প্রতিক্রিয়ায় জানিয়েছেন, অতীতে ফরমাল ভেরিফিকেশনের কাজ কোডের ছোট অংশের মধ্যে সীমাবদ্ধ থাকলেও এই পদ্ধতি তার পরিধি বহুগুণ বাড়িয়ে দিয়েছে।
গবেষকদের মতে, সিগন্যালের মূল ক্রিপ্টোগ্রাফিক ব্যবস্থার এই সফল যাচাই ভবিষ্যতে চিকিৎসা সরঞ্জামের ফার্মওয়্যার থেকে শুরু করে বিদ্যুৎ সরবরাহ ব্যবস্থার সফটওয়্যারের মতো সংবেদনশীল ক্ষেত্রেও সাইবার নিরাপত্তা নিশ্চিত করার নতুন দিগন্ত উন্মোচন করবে। স্বয়ংক্রিয় নিরাপত্তা এজেন্টের সঙ্গে ফরমাল ভেরিফিকেশনের এই ব্যবহার আধুনিক ডিজিটাল যুগে সাইবার হামলার দ্রুততা ও ব্যাপকতার মোকাবিলায় যুগান্তকারী ভূমিকা রাখবে বলে আশা করা হচ্ছে।
বাংলা নিউজ ২৪ জাতীয় সাংবাদিকতার নীতিমালা অনুসারে বস্তুনিষ্ঠ ও তথ্যনির্ভর সংবাদ প্রকাশ করে। কোনো অসঙ্গতি বা তথ্য সংশোধনের জন্য আমাদের সম্পাদকীয় বিভাগের সাথে যোগাযোগ করার অনুরোধ করা হচ্ছে।