
ভিটালিক ঠিক বলেছেন যে এআই এবং ফর্মাল ভেরিফিকেশন একটি সবচেয়ে গুরুত্বপূর্ণ সফটওয়্যার ডেভেলপমেন্ট প্যাটার্ন হয়ে উঠতে পারে। ব্লকচেইন শিল্পে নিরাপত্তা উল্লেখযোগ্যভাবে উন্নত করা যেতে পারে। কিন্তু না, এটি এতটাই সহজ নয় যে “এআই কোড লিখবে, প্রুফগুলি এটি যাচাই করবে, তাই ইথেরিয়াম বাগ-মুক্ত হয়ে যাবে।” একটি আরও বাস্তবসম্মত সংস্করণ হলো এটি। এআই উচ্চ-নির্ভরযোগ্য ইঞ্জিনিয়ারিংকে সস্তা এবং বেশি স্কেলযোগ্য করে তোলে। দলগুলিকে এখনও সিদ্ধান্ত নিতে হবে যে কীটি সত্য হতে হবে, সিস্টেমটি সঠিকভাবে মডেল করতে হবে, প্রুফগুলির রক্ষণাবেক্ষণ করতে হবে, এবং বাস্তবিকভাবে যাচাইযোগ্য সিস্টেমগুলির ডিজাইন করতে হবে।
