এই সপ্তাহে ভিটালিক একটি শক্তিশালী বিষয় উত্থাপন করেছিলেন: সবাই এখন এআইয়ের কারণে সাইবার নিরাপত্তা ভেঙে যাওয়াকে নিয়ে প্যানিকে পড়েছে, কিন্তু এখানে প্রতিরোধের বাহুল্য আছে। তার যুক্তি? যখন আপনি এআইকে ফরমাল ভেরিফিকেশনের সাথে জোড়া দেন, তখন আপনি শুধু বাগগুলোর সাথে হ্যাক-এ-মোল খেলার পরিবর্তে কোডকে গাণিতিকভাবে নিরাপদ প্রমাণ করতে পারেন। ইথেরিয়াম ইতিমধ্যেই এটির দিকে ঝুঁকছে, যাতে প্রোটোকলগুলি প্রথম দিন থেকেই দৃঢ় হয়।