Research & Development

better.codes, हे Yukon आणि zkSecurity यांच्या सहकार्याने इथेरियम फाउंडेशन औपचारिक पडताळणी टीमने तयार केलेले एक ओपन ऑटोरिसर्च चॅलेंज आता लाईव्ह आहे. better.codes हे Proximity Prize संशोधनातील एक स्वयंपूर्ण समस्या घेते, जी Lean मध्ये औपचारिक केली गेली आहे, आणि तिची साऊंडनेस बाउंड एका सार्वजनिक लीडरबोर्डवर ठेवते ज्याला कोणीही पुढे नेऊ शकते. आधुनिक संक्षिप्त नॉन-इंटरॅक्टिव्ह प्रूफ सिस्टीम्स (SNARKs) प्रगत करण्यासाठी रीड-सोलोमन प्रॉक्सिमिटी समस्या असलेल्या koalaIRS12 ची मशीन-चेक केलेली साऊंडनेस बाउंड वाढवण्यासाठी सॉल्व्हर त्यांचे स्वतःचे AI एजंट्स निर्देशित करतात. Lean कर्नल प्रत्येक सबमिशन तपासते आणि प्रत्येक प्रमोट केलेला पुरावा निश्चित केलेल्या 128-बिट लक्ष्याकडे बाउंड वाढवतो. प्रत्येक प्रमोट केलेल्या पुराव्याचे नवीन लेमा, प्रूफ तंत्र आणि अशक्यता परिणाम (impossibility results) नंतर सर्व सॉल्व्हर आणि एजंट्सच्या प्रगतीसाठी अपस्ट्रीम केले जातात.

इथेरियम फाउंडेशनच्या प्रोटोकॉल सिक्युरिटी टीमकडून वास्तविक प्रोटोकॉल कोडवर समन्वित AI एजंट्स चालवण्याबाबतच्या नोंदी, ज्यामध्ये आम्ही काम कसे आयोजित करतो, बारकाईने तपासणी केल्यावर काय टिकून राहते आणि क्लायंट टीम्स आणि सुरक्षा संशोधक यातून काय घेऊ शकतात याचा समावेश आहे. ही पोस्ट स्वतःच परिपूर्ण आहे; नंतरच्या पोस्ट्स वैयक्तिक क्लायंट्सवर अधिक सखोल माहिती देतील.

विविध क्लायंट टीम्समधील इथेरियम कोर डेव्हलपर्सची एक निम-नियमित बैठक, किंवा इंटरऑप, नुकतीच स्वालबार्ड, नॉर्वे येथे पार पडली. आठवडाभर चाललेल्या या कार्यक्रमात, टीम्सनी पुढील अपग्रेड, ग्लॅमस्टरडॅम, मजबूत करण्यावर आणि त्याच्या तयारीवर लक्ष केंद्रित केले. या आठवड्यातून अनेक महत्त्वाचे टप्पे साध्य झाले, ज्यामध्ये खालील गोष्टींचा समावेश आहे: 200M गॅस मर्यादा तळ स्थापित: ePBS, BAL ऑप्टिमायझेशन्स आणि EIP-8037 रिप्रायसिंगच्या एकत्रीकरणातून प्राप्त झालेले ग्लॅमस्टरडॅमनंतरचे विश्वसनीय लक्ष्य ePBS स्थिर झाले: बाह्य बिल्डर्स पाइपलाइनसह चालणारे मल्टी-क्लायंट ग्लॅमस्टरडॅम-डेव्हनेट जवळजवळ सर्व क्लायंट्सवर एंड-टू-एंड तपासले गेले EIP-8037 अंतिम झाले: निश्चित cost\per\state\_byte स्वीकारले गेले; शुक्रवारपर्यंत bal-devnet-6 वर संपूर्ण रिप्रायसिंग आकडेवारी वितरित केली गेली हेगोटाची पायाभरणी झाली: FOCIL प्रोटोटाइप्स कार्यरत आहेत; नेटिव्ह AA आवश्यकता निश्चित केल्या गेल्या; मल्टी-क्लायंट डेव्हनेट हे पुढील तात्काळ पाऊल आहे या इंटरऑपने इथेरियम फाउंडेशन प्रोटोकॉल

गेल्या आठवड्यात, १०० हून अधिक इथेरियम कोअर योगदानकर्ते आर्क्टिक सर्कलच्या वर — स्वालबार्डमधील लाँगइयरबायन येथे — सोल्डोग्न इंटरऑपसाठी (Soldøgn Interop) एकत्र आले: ग्लॅमस्टरडॅम नेटवर्क अपग्रेडवर सखोल काम करण्याचा एक आठवडा. सोल्डोग्न हे गेल्या वर्षीच्या बर्लिनटरऑप (Berlinterop) नंतर आले, परंतु अॅम्फोरा (Amphora) 🏺, एडेलवाईस (Edelweiss) 🏔️, आणि न्योटा (Nyota) ✨ द्वारे वापरल्या गेलेल्या स्वरूपाकडे परतले: एका विशिष्ट अपग्रेडच्या दिशेने केंद्रित, मल्टी-क्लायंट प्रगतीचा सिंगल-ट्रॅक आठवडा — या प्रकरणात, ग्लॅमस्टरडॅम अधिक मजबूत करणे. शुक्रवारपर्यंत, गटाने त्यांच्या तीन मुख्य उद्दिष्टांची पूर्तता केली होती: ग्लॅमस्टरडॅमनंतरच्या 200M च्या गॅस मर्यादा तळावर एकमत, बाह्य निर्मात्यांसह चालणाऱ्या स्थिर ePBS अंमलबजावणी, आणि अंतिम EIP-8037 रिप्रायसिंग आकडे निश्चित करणे. हेगोटा (Hegotá) वैशिष्ट्यांवर जसे की FOCIL आणि मूळ खाते अमूर्तीकरण, तसेच इतर अनेक विषयांवरही लक्षणीय प्रगती झाली.