ویتالیک بیٹرین: بلاک چینز ایک نئے کمپیوٹنگ دور میں داخل ہو رہے ہیں گلوبل بلاک چین سامٹ (شانگھائی بلاک چین ویک) میں، ویتالیک بیٹرین نے ZK ثبوت، فارمل ویریفیکیشن اور AI کے ذریعے بلاک چین آرکیٹیکچر کو کیسے دوبارہ شکل دیا جا رہا ہے، اس کا خاکہ پیش کیا۔ اس کا مرکزی نقطہ: پرانا ماڈل — جہاں ہر نوڈ ایک ہی کمپوٹیشن دوبارہ انجام دیتا ہے — کو مرحلہ وار ختم کیا جا رہا ہے۔ SNARKs/STARKs کے ساتھ، ایک طرف کمپیوٹ کرتی ہے اور ثبوت پیش کرتی ہے، باقی سب صرف تصدیق کرتے ہیں۔ ریکرسوو STARKs (جو اس کے EIP-8288 پروپوزل سے جڑے ہوئے ہیں) بہت سارے ثبوت کو ایک میں جمع کر سکتے ہیں، جس سے آن-چین ڈیٹا اور لاگت کم ہوتی ہے۔ EIP-8141 (ٹرانزیکشنز کو متوازی ایکشنز میں تقسیم کرنا) اور FOCIL (ڈیسینٹرلائزڈ بلاک بِلڈنگ) کے ساتھ ملا کر، مقصد ایک مکمل کمپوٹ کنگ پائپ لائن ہے — جو مقامی ڈیوائس ایکزیکشن سے لے کر میمپولز، ثبوت اگریگیشن، L2s اور L1 تک پھیلتی ہے — جو ڈیسینٹرلائزیشن کو قربان نہ کرتے ہوئے سکیل ہوتی ہے۔ AI کے بارے میں، بیٹرین اسے اگلے مرحلے کے لیے ضروری انفراسٹرکچر سمجھتے ہیں: کوڈ لکھنا/آڈٹ کرنا، سپس فراہم کرنا، اور فارمل ویریفیکیشن کو اس حد تک جاری رکھنا جس کا انسان باقاعدگی سے مقابلہ نہیں کر سکتا — جسے وہ آج کے L2 سکیورٹی خامیوں کو درست کرنے کے لیے انتہائی ضروری قرار دे�تے ہیں۔ وہ ڈولپرز سے مطالبہ کرتے ہیں کہ وہ اس دنیا کے لیے ڈِزائن نہ کریں جہاں جدید کرپٹو اور آٹومیٹڈ ویریفیکیشن عمل میں نہ تھے — کیونکہ یہ پابندی جلد ختم ہو رہی ہے۔ #Ethereum #Buterin #ZKProofs #Blockchain #Web3 #AI #Crypto