मैं Cosmos IBC के बारे में जांच रहा हूँ कि यह SP1 प्रमाणों का उपयोग करके ईथेरियम पर सहमति की पुष्टि कैसे करता है। ZK प्रमाणों से अधिक मुझे वह बात दिलचस्प लग रही है जो वेरिफायर को नियंत्रित करती है। क्योंकि आपके पास गणितीय रूप से मान्य प्रमाण हो सकते हैं, लेकिन अगर किसी के पास हल्के क्लाइंट को अपग्रेड करने या विश्वसनीय वेरिफिकेशन कुंजियों को बदलने की अनुमति है, तो यह एक पूरी तरह से अलग सुरक्षा प्रश्न है। ईथेरियम डिप्लॉयमेंट में 4-ऑफ-7 मल्टिसिग का उपयोग किया जाता है, जिसमें समय-बंध प्रशासनिक नियंत्रण हैं। अब मैं जानना चाहता हूँ कि उन प्रशासकों के पास वास्तव में क्या बदलाव करने की अनुमति है, क्या एक दुर्भावनापूर्ण वेरिफायर को अपग्रेड के माध्यम से पेश किया जा सकता है, और समय-बंध के दौरान उपयोगकर्ता वास्तव में क्या कर सकते हैं। ZK साबित करता है कि एक विशिष्ट गणना सही ढंग से निष्पादित की गई। यह साबित नहीं करता कि जो लोग यह तय करते हैं कि कौन सी गणना की पुष्टि की जाए, वे उसे बदल नहीं सकते। यही वह हिस्सा है जिसमें मैं गहराई से जाना चाहता हूँ।