সিগন্যাল প্রোটোকলের অংশগুলিকে গাণিতিকভাবে প্রমাণ করার জন্য Google ডিপমাইন্ডের আলফাপ্রুফ কোড ব্যবহারকে ক্রিপ্টোগ্রাফি এবং এআই ক্ষেত্রে একটি মাইলফলক হিসাবে বিবেচনা করা হয়। এটি সিগন্যাল, হোয়াটসঅ্যাপ, Facebook মেসেঞ্জার এবং Google বার্তাগুলির মতো প্রধান প্ল্যাটফর্মগুলির মাধ্যমে সারা বিশ্বে আদান-প্রদান করা বার্তা এবং অন্যান্য যোগাযোগের ট্র্যাভগুলিকে রক্ষা করতে ব্যবহৃত ক্রিপ্টোগ্রাফিকে বৈধ করে – যার সবকটিই সিগন্যাল এনক্রিপশন প্রোটোকলকে একীভূত করেছে।
এটি আরও স্পষ্ট করে যে কীভাবে এআই সরঞ্জামগুলি স্বাধীন নিরাপত্তা মূল্যায়নের গতি বাড়াতে পারে, গবেষকদের আরও দক্ষতার সাথে ক্রিপ্টোগ্রাফিক প্রোটোকলের অখণ্ডতা বিশ্লেষণ এবং আনুষ্ঠানিকভাবে যাচাই করতে সহায়তা করে। এটি এমন একটি সময়ে আসে যখন AI-চালিত সাইবার আক্রমণ বাড়ছে, পুরো কোড বেস এবং সফ্টওয়্যার সরবরাহ চেইন হুমকির সম্মুখীন।
"আমরা এই ফলাফলটি দ্বারা খুব উত্তেজিত, কিন্তু বিশ্বের সমস্ত সফ্টওয়্যারগুলিতে এটিকে স্কেল করতে সক্ষম হওয়ার আগে অনেক দূরত্ব অতিক্রম করতে হবে, এবং আমরা এটি করতে চাই," স্বরাত চৌধুরী, একজন ডিপমাইন্ড গবেষণা বিজ্ঞানী, ওয়্যার্ডের দ্বারা উদ্ধৃত করা হয়েছে৷
"যদিও কোডের ছোট অংশগুলিতে পূর্বের আনুষ্ঠানিক যাচাইকরণের উপর দৃষ্টি নিবদ্ধ করা হয়, তখন Google DeepMind-এর পদ্ধতি উল্লেখযোগ্য সম্প্রসারণকে সক্ষম করে। এআই-চালিত নিরাপত্তা হুমকির বৃদ্ধির সাথে সাথে, সিগন্যাল প্রোটোকল বাস্তবায়নকে কঠোরভাবে যাচাই করা আমাদের কোডের গোপনীয়তার গ্যারান্টিতে আমাদেরকে আরও বেশি আস্থা দেয়," সিগন্যালের এক বিবৃতিতে চিফ টেকনোলজি অফিসার ইহরেন ক্রেট বলেছেন।
গল্প এই বিজ্ঞাপনের নিচে চলতে থাকে
সিগন্যাল এনক্রিপশন প্রোটোকল কি?
সুরক্ষিত যোগাযোগগুলি আজ সাধারণত এক জোড়া ক্রিপ্টোগ্রাফিক কীগুলির উপর নির্ভর করে: একটি ব্যক্তিগত কী এবং সর্বজনীন কী এটির সাথে সংমিশ্রণে একটি বার্তা তৈরি করতে ব্যবহৃত হয় যা বাধা দেয় না।
সংকেত এনক্রিপ্ট করা যোগাযোগের অগ্রদূত। সাইবারসিকিউরিটি বিশেষজ্ঞদের মধ্যে এটিকে ব্যাপকভাবে ব্যবহার করা সহজ, এনক্রিপ্ট করা মেসেজিং পরিষেবা হিসেবে বিবেচনা করা হয়, যেহেতু প্ল্যাটফর্মের এন্ড-টু-এন্ড এনক্রিপশন প্রোটোকল ক্র্যাক করে হ্যাকারদের ট্রানজিট-এর মধ্যে ব্যবহারকারীদের মেসেজ আটকানোর কোনো পাবলিক রিপোর্ট নেই।
অ্যাপটি গোপনীয়তা এবং ডিজিটাল অধিকার কর্মীদের কাছেও একটি প্রিয় কারণ এটি ব্যবহারকারীর ন্যূনতম ডেটা সংগ্রহ করে এবং আপনার ফোন নম্বর লুকানোর বিকল্প এবং পরিবর্তে একটি ব্যবহারকারীর নাম প্রদর্শন করার মতো শক্তিশালী গোপনীয়তা বৈশিষ্ট্যগুলি অফার করে৷
টেলিগ্রামের বিপরীতে, সিগন্যালে সমস্ত বার্তা এবং ভয়েস কলের জন্য এন্ড-টু-এন্ড এনক্রিপশন ডিফল্টরূপে সক্রিয় থাকে। অন্তর্নিহিত প্রোটোকলটি ওপেন-সোর্স, যার অর্থ যে কেউ হুডের নিচে দেখে নিতে এবং এর নিরাপত্তা যাচাই করতে পারে। উপরন্তু, এনক্রিপশন প্রোটোকল হোয়াটসঅ্যাপের মতো অন্যান্য মেসেজিং অ্যাপ দ্বারা প্রদত্ত নিরাপত্তার ভিত্তি তৈরি করে।
গল্প এই বিজ্ঞাপনের নিচে চলতে থাকে
2023 সাল থেকে, সিগন্যাল তার এনক্রিপশন প্রযুক্তিকে আপগ্রেড করছে যাতে এটি ভবিষ্যতের, কোয়ান্টাম কম্পিউটারের অনুমানমূলক হুমকির বিরুদ্ধে সুরক্ষিত থাকে।
ডিপমাইন্ড গবেষকরা যখন সিগন্যালের পুরানো সংস্করণগুলি বিশ্লেষণ করতে আলফাপ্রুফ কোড ব্যবহার করেন, তখন এটি নিরাপত্তা ত্রুটিগুলি চিহ্নিত করে এবং দেখায় যে এনক্রিপশন প্রোটোকল আনুষ্ঠানিকভাবে যাচাই করা যায়নি। যাইহোক, এই নিরাপত্তা ত্রুটিগুলি ইতিমধ্যেই জানা ছিল এবং দীর্ঘস্থায়ী হয়েছে৷
ডিপমাইন্ড গবেষকরা আরও বলেছেন যে তারা অন্যান্য আনুষ্ঠানিক যাচাইকরণের কাজে সহায়তা করার জন্য সিগন্যাল প্রোটোকল বিশ্লেষণের জন্য তাদের তৈরি স্পেসিফিকেশন এবং প্রমাণ প্রকাশ করছে। সিগন্যাল প্রোটোকলের ল্যাবের বিশ্লেষণটি সিগন্যালের জন্য কোন খরচ ছাড়াই একটি গবেষণা প্রকল্প হিসাবে করা হয়েছিল।
Google DeepMind ভবিষ্যতে একটি বাণিজ্যিক আনুষ্ঠানিক যাচাইকরণ পণ্য বা পরিষেবা প্রকাশ করার পরিকল্পনা করেছে কিনা তা স্পষ্ট নয়।
গল্প এই বিজ্ঞাপনের নিচে চলতে থাকে
এআই-নেতৃত্বাধীন যাচাইকরণের সুবিধা এবং সীমাবদ্ধতা
ম্যানুয়াল যাচাইকরণ গবেষকদের জন্য কথিত সময়সাপেক্ষ কারণ এতে তারা যে সফ্টওয়্যারগুলি প্রমাণ করতে চান তার বৈশিষ্ট্যগুলি বর্ণনা করা, এই সারসংক্ষেপগুলিকে সূত্রে পরিণত করা এবং তারপর প্রমাণ বিকাশ করা জড়িত৷ আলফাপ্রুফ কোডের মতো এআই এজেন্ট সরঞ্জামগুলি এই জাতীয় প্রকল্পগুলির সময়রেখাকে উল্লেখযোগ্যভাবে হ্রাস করতে সহায়তা করতে পারে।
"আপনি যদি এখন এই বাস্তবায়নের সঠিকতা যাচাই করতে পারেন, তাহলে আপনি সহজে বিশ্রাম নিতে পারেন। আপনি ব্যাঙ্কগুলি কল্পনা করতে পারেন, সেই সমস্ত অন্যান্য সংস্থাগুলিকে কল্পনা করতে পারেন যারা আশ্বাসের উপর নির্ভর করে এবং যারা বাগ নিয়ে উদ্বিগ্ন যারা এখন বলতে পারে, 'আমি এই বৈশিষ্ট্যগুলি প্রমাণ করতে পারি,'" পুষমিত কোহলি, গুগল ক্লাউডের প্রধান বিজ্ঞানী এবং ডিপমাইন্ডের গবেষণার ভাইস প্রেসিডেন্টের উদ্ধৃতি ছিল।
যদিও এআই-সহায়তা আনুষ্ঠানিক যাচাইকরণের অনেক সুবিধা রয়েছে, এটি নির্দিষ্ট সীমাবদ্ধতার সাথেও আসে। উদাহরণস্বরূপ, গুগল ডিপমাইন্ড বলেছে যে তার সিগন্যাল প্রোটোকলের বিশ্লেষণের সুযোগ সীমিত ছিল এবং পুরো সিগন্যাল মোবাইল অ্যাপকে কভার করে না।
গবেষকরা আরও উল্লেখ করেছেন যে তাদের ফলাফলগুলি অ্যাপটির পিছনে অলাভজনক সংস্থা সিগন্যাল ফাউন্ডেশন দ্বারা পরিচালিত কিছু অতীতের আনুষ্ঠানিক যাচাইকরণ কাজের উপর ভিত্তি করেও ছিল। এআই ব্যবহার করে স্কেলে আনুষ্ঠানিক যাচাইকরণ স্বয়ংক্রিয় করা সম্ভব কি না এবং যুক্তিসঙ্গত খরচে এটি করা যায় কিনা সে বিষয়েও প্রশ্ন রয়েছে।
গল্প এই বিজ্ঞাপনের নিচে চলতে থাকে
ভবিষ্যতে, আনুষ্ঠানিক যাচাইকরণ একটি মানব-এআই সহযোগিতার প্রক্রিয়া হতে পারে যেখানে এআই এজেন্টরা অবদান রাখতে পারে এবং স্ব-সঠিক করতে পারে, যখন এখনও প্রক্রিয়াটির মূল পয়েন্টগুলিতে মানব ইনপুট এবং পর্যালোচনা খুঁজতে পারে। "আমরা এই ধরণের ভাইব ওয়ার্ল্ড চাই না যেখানে AI লক্ষ্যগুলি তৈরি করছে এবং AI প্রমাণ তৈরি করছে এবং মূলত স্ব-লিখিত পরীক্ষা নিচ্ছে। একটি মধ্যম স্থল আছে," চৌধুরী বলেছিলেন।
