بہترین اجماع کی اطلاع: پہلا بڑا ذکی معاہدہ ناکامی کا طریقہ کوڈ کا استعمال نہیں کر سکتا۔ یہ اتفاق خود کو استعمال کر سکتا ہے۔ جب کوئی خلاف ورز ماحول کو متاثر کرتا ہے، جس سے ایماندار تصدیق کرنے والے نوڈس ایک جیسے صارف کے ارادے کے بارے میں ناممکن نتائج پر پہنچ جاتے ہیں، جبکہ بنیادی حالت مشین مکمل رہتی ہے، تو ایک معنائی تقسیم پیدا ہوتی ہے۔ یہ ایک نئی کمزوری کی سطح کو ظاہر کرتا ہے: معنائی تبدیلی۔ قدیم بلاک چینز نے ایک قاعدہ کے ذریعے یقینی اتفاق حاصل کیا: ایک جیسے ہدایات، ایک جیسی اجراء، ایک جیسی حالت۔ ذکی اجماع ایک مشکل چیلنج پیدا کرتا ہے: مستقل دلائل کے نظام ایک جیسا ماحول پر عمل کر سکتے ہیں، درست راستوں کا پابند رہ سکتے ہیں، اور پھر بھی مختلف تشریحات پر پہنچ سکتے ہیں۔ @RallyOnChain اس نئے دور کا بنیادی سوال ظاہر کرتا ہے: جب ذکاوت اجماع کا حصہ بن جائے، تو ہم کس طرح یقینی بنائیں کہ مستقل تصدیق کرنے والے فرضیات کو چیلنج کر سکیں، ماحول کو تشریح کر سکیں، اور پھر بھی ایک قابل تصدیق نتیجہ پیدا کر سکیں؟ اگلے تحفظ کا سامنا نہ تو مشینوں کو غلط طریقے سے اجراء سے روکنا ہے۔ بلکہ ذکی نظاموں کو ناممکن حقائق پر پہنچنے سے روکنا ہے۔ صرف تعمیراتی تھیسز۔ انہیں نीچے درج کریں۔