SNARKs बनाम STARKs, रहस्यवाद के बिना। एक SNARK को एक विश्वसनीय सेटअप की आवश्यकता होती है: एक बार की समारोह जो "विषैला अपशिष्ट" नामक गुप्त यादृच्छिकता उत्पन्न करती है, जिसे फिर नष्ट कर देना चाहिए। अगर एक प्रति बच जाए, तो साबिती झूठी हो सकती है। पहली पीढ़ी के बड़े ZK rollups, zkSync Era, Scroll, Polygon zkEVM, सभी SNARK-आधारित साबिती प्रणाली के साथ लॉन्च हुए। उनमें से प्रत्येक ने एक सेटअप समारोह चलाया जिस पर आपको भरोसा करना पड़ा। बहु-पक्षीय अनुष्ठान जोखिम को कम करते हैं ("जब तक एक प्रतिभागी सच्चा रहा, तब तक सुरक्षित")। कभी भी यह मान्यता समाप्त नहीं होती। STARK को किसी समारोह की आवश्यकता नहीं होती। कोई विषैला अपशिष्ट नहीं, कुछ भी नष्ट करने की आवश्यकता नहीं, कुछ भी विश्वास करने की आवश्यकता नहीं। सुरक्षा संघट्ट-प्रतिरोधी हैश फ़ंक्शन पर सीमित हो जाती है, वही प्राथमिक तत्व जिसपर आपका वॉलेट पहले से ही निर्भर है। और कोई दीर्घवृत्त-वक्र युग्मन शामिल नहीं होने के कारण, STARKs संभवतः क्वांटम-प्रतिरोधी हैं। SNARKs के पहली पीढ़ी में जीतने का सच्चा कारण: छोटे साबिती, Ethereum पर सत्यापन में सस्ते। Miden का अनुमान: सत्यापन फिर भी आपके उपकरण पर होगा, जहाँ साबिती का आकार मायने नहीं रखता, लेकिन विश्वास की मान्यता महत्वपूर्ण है। किसी BZK प्रणाली के लिए पूछने के लिए एक प्रश्न: साबिती के लिए मुझे किस पर भरोसा करना होगा? अगर उत्तर में कोई समारोह शामिल है, तो आप मनुष्यों पर, गणित पर नहीं, भरोसा कर रहे हैं। @0xMiden VM STARK-आधारित है। आप हैश फ़ंक्शन पर भरोसा करते हैं। यही पूरी सूची है।