SNARKs اور STARKs، جادو کے بغیر۔ ایک SNARK کو ایک موثق سیٹ اپ کی ضرورت ہوتی ہے: ایک مرتبہ کا تقریب جس میں رازداری کا "زہریلا فضائیہ" تخلیق کیا جاتا ہے جسے پھر تباہ کرنا ضروری ہوتا ہے۔ اگر ایک نسخہ بچ جائے، تو ثبوت جعلی بنائے جا سکتے ہیں۔ پہلے دور کے بڑے ZK رول اپس، zkSync Era، Scroll، Polygon zkEVM، سب نے SNARK بنیادی ثبوت پیش کیے۔ ان میں سے ہر ایک نے ایک ایسا تقریب چلائی جس پر آپ کو بھروسہ کرنا پڑا۔ متعدد طرفین کے رسمی تقریبات خطرہ کو کم کرتی ہیں ("جب تک کہ ایک شرکت کنندہ ایماندار رہا، تو محفوظ ہے")۔ لیکن یہ فرض کبھی ختم نہیں ہوتا۔ STARK کو کوئی تقریب کی ضرورت نہیں۔ کوئی زہریلا فضائیہ نہیں، کچھ تباہ نہیں کرنا، کچھ بھروسہ نہیں کرنا۔ حفاظت صرف تصادم مزاحمت والے ہیش فنکشنز تک محدود ہوتی ہے، وہی بنیادی عنصر جس پر آپ کا والٹ پہلے سے منحصر ہے۔ اور چونکہ الیپٹک کرْو پیرنگز لائن میں شامل نہیں ہوتے، STARKs ممکنہ طور پر کوانٹم مزاحمت والے ہوتے ہیں۔ SNARKs نے پہلے دور میں جیتne کا اصل وجوہ: چھوٹے ثبوت، اور Ethereum پر ان کی تصدیق سستی۔ Miden کا اندازہ: تصدیق آپ کے ڈِوائس پر منتقل ہو جائے گی، جہاں ثبوت کا سائز تقریباً اہم نہیں لیکن بھروسے کا فرض اہم ہے۔ کسی بھی ZK سسٹم کے لیے ایک سوال: ثبوت آپ سے کس چیز پر بھروسہ مانگتا ہے؟ اگر جواب میں تقریب شامل ہو، تو آپ لوگوں پر بھروسہ کر رہے ہیں، ریاضت پر نہیں۔ @0xMiden VM STARK بنیادی ہے۔ آپ ہیش فنکشن پر بھروسہ کرتے ہیں۔ یہ پوری فہرست ہے۔