Cysic ने अपने वीनस zkVM इंजन को ओपन-सोर्स किया है, जो प्रूफ जनरेशन को एक वैश्विक कंप्यूटेशन ग्राफ के रूप में फिर से परिभाषित करता है और Ethereum के उभरते EIP-8025 प्रूफ मार्केट में ZisK को स्थापित करता है।
Cysic ने वीनस जारी किया है, एक नया ओपन-सोर्स zkVM कंप्यूट इंजन जो प्रूफ जनरेशन को पारंपरिक हार्डवेयर एब्स्ट्रैक्शन लेयर के बजाय एक वैश्विक कंप्यूटेशन ग्राफ के इर्द-गिर्द पुनर्गठित करता है, जिससे कंपनी का ZisK स्टैक Ethereum के उभरते L1 प्रूफ-मार्केट बहस में मजबूती से स्थापित होता है। X पर इस कदम की घोषणा करते हुए, Cysic ने वीनस को “ZisK के ऊपर निर्मित” बताया और कहा कि यह प्रणाली “पारंपरिक HAL मॉडल को छोड़ देती है” और पूरे प्रूफ पाइपलाइन के ग्राफ-आधारित प्रतिनिधित्व को अपनाती है। टीम ने लिखा, “यह प्रतिमान परिवर्तन तीन मुख्य लाभ प्रदान करता है: वैश्विक कंप्यूट अनुकूलन, अप्रभावी डेटा मूवमेंट में कमी, और GPU उपयोग में उल्लेखनीय सुधार।”
हार्डवेयर बैकएंड को अलग-अलग फ़ंक्शन कॉल्स के अनुक्रम के रूप में मानने के बजाय, वीनस ज़ीरो-नॉलेज प्रूफ जनरेशन को एक स्पष्ट कंप्यूटेशन ग्राफ के रूप में एन्कोड करता है जिसे GPUs, FPGAs और भविष्य के ASICs में एंड-टू-एंड शेड्यूल किया जा सकता है। Cysic का कहना है कि यह कंपाइलर को “निर्देशों को फिर से व्यवस्थित करने और कर्नेल सीमाओं पर मेमोरी ऑपरेशंस को फ्यूज करने” की अनुमति देता है, जिससे CPU और एक्सेलेरेटर के बीच मेमोरी थ्रैश कम होता है और MSM तथा NTT ऑपरेशंस की बड़े पैमाने पर समानांतर प्रकृति से बेहतर मेल खाता है। आंतरिक परीक्षणों में, वीनस इंजन ने ZisK 0.16.1 की तुलना में “9% से अधिक एंड-टू-एंड प्रूफ-टाइम सुधार” दिया, मुख्य रूप से कच्चे हार्डवेयर लाभों पर निर्भर रहने के बजाय CPU-GPU सिंक्रोनाइज़ेशन ओवरहेड को कम करके।
वीनस की घोषणा ऐसे समय में हुई है जब Ethereum का EIP-8025 प्रस्ताव, जिसे “वैकल्पिक निष्पादन प्रमाण (Optional Execution Proofs)” कहा जाता है, zkVMs का उपयोग करके L1 ब्लॉक सत्यापन के लिए एक मल्टी-प्रूवर मॉडल को औपचारिक रूप देता है। अपने स्पष्टीकरण में, Cysic बताता है कि ZisK “आधिकारिक सामुदायिक चर्चाओं में स्पष्ट रूप से उम्मीदवारों के रूप में नामित पांच zkVMs में से एक है,” जिसमें RISC Zero और openVM जैसे सिस्टम शामिल हैं, और टीम का कहना है कि वे “24 GPUs का उपयोग करके 7.4 सेकंड में एक Ethereum ब्लॉक के लिए प्रूफ जनरेशन पूरा कर सकते हैं,” जो रियल-टाइम लक्ष्यों को पूरा करता है। यह परियोजना “पहले से ही Ethproofs पर लाइव है, एक सिंगल RTX 4090 का उपयोग करके Ethereum ब्लॉक के लिए रियल-टाइम प्रूफ जमा कर रही है,” और जैसे-जैसे इकोसिस्टम L1 प्रूफ मार्केट की ओर बढ़ रहा है, इसे Ethproofs एकीकरण भागीदार के रूप में सूचीबद्ध किया गया है।eips।
Cysic वीनस को एक बड़े स्टैक के भीतर सॉफ्टवेयर त्वरण कोर के रूप में प्रस्तुत करता है जिसमें प्रोटोकॉल एंट्री पॉइंट पर ZisK zkVM, कम्प्यूटेशनल आधार के रूप में कस्टम ASIC हार्डवेयर और प्रूफर्स में जॉब्स को शेड्यूल करने के लिए एक ComputeFi नेटवर्क शामिल है। टीम का तर्क है कि “वास्तविक समस्या अपर्याप्त कच्ची कंप्यूट नहीं है, बल्कि एक मौलिक वास्तुशिल्प बेमेल है,” यह मानते हुए कि Ethereum के नियोजित zkEVM रोडमैप को हाइपरस्केल करने के लिए एक कसकर एकीकृत zkVM, हार्डवेयर और शेड्यूलिंग स्टैक की आवश्यकता है।university।
