Research & Development

Yukon மற்றும் zkSecurity ஆகியவற்றுடன் இணைந்து எத்தீரியம் அறக்கட்டளை முறைசார் சரிபார்ப்புக் குழுவால் உருவாக்கப்பட்ட திறந்த தானியங்கி-ஆராய்ச்சி (autoresearch) சவாலான better.codes, இப்போது நேரலையில் உள்ளது. better.codes ஆனது Proximity Prize ஆராய்ச்சியிலிருந்து ஒரு தன்னாட்சிப் சிக்கலை எடுத்து, Lean இல் முறைப்படுத்தி, அதன் நம்பகத்தன்மை வரம்பை (soundness bound) யார் வேண்டுமானாலும் முன்னெடுத்துச் செல்லக்கூடிய ஒரு பொதுத் தரவரிசைப் பட்டியலில் வைக்கிறது. நவீன சுருக்கமான ஊடாடலற்ற சான்று அமைப்புகளை (SNARKs) மேம்படுத்துவதற்கான Reed-Solomon அருகாமைச் சிக்கலான koalaIRS12 இன் இயந்திரத்தால் சரிபார்க்கப்பட்ட நம்பகத்தன்மை வரம்பை உயர்த்துவதில் தீர்ப்பான்கள் (solvers) தங்களின் சொந்த AI முகவர்களைச் செலுத்துகின்றன. Lean கர்னல் ஒவ்வொரு சமர்ப்பிப்பையும் சரிபார்க்கிறது, மேலும் ஒவ்வொரு மேம்படுத்தப்பட்ட சான்றும் நிலையான 128-பிட் இலக்கை நோக்கி வரம்பை உயர்த்துகிறது. ஒவ்வொரு மேம்படுத்தப்பட்ட சான்றின் புதிய துணைத்தேற்றங்கள் (lemmas), சான்று நுட்பங்கள் மற்றும் சாத்தியமற்ற முடிவுகள் ஆகியவை அனைத்துத் தீர்ப்பான்கள் மற்றும் முகவர்களுக்கான முன்னேற்றத்தை மேம்படுத்த மேல்நிலைக்கு (upstreamed) கொண்டு செல்லப்படுகின்றன.

எத்தீரியம் அறக்கட்டளையின் நெறிமுறைப் பாதுகாப்பு (Protocol Security) குழுவிடமிருந்து, உண்மையான நெறிமுறைக் குறியீட்டிற்கு எதிராக ஒருங்கிணைந்த AI முகவர்களை இயக்குவது குறித்த குறிப்புகள். இதில் நாங்கள் எவ்வாறு பணிகளை ஒழுங்கமைக்கிறோம், ஆய்வின் கீழ் எவை நிலைத்து நிற்கின்றன, மற்றும் கிளையண்ட் குழுக்களும் பாதுகாப்பு ஆராய்ச்சியாளர்களும் இதிலிருந்து என்ன கற்றுக்கொள்ளலாம் ஆகியவை அடங்கும். இந்தப் பதிவு தனித்து நிற்கிறது; பிந்தைய பதிவுகள் தனிப்பட்ட கிளையண்டுகளைப் பற்றி ஆழமாக விவாதிக்கும்.

பல்வேறு கிளையண்ட் குழுக்களைச் சேர்ந்த எத்திரியம் முக்கிய மேம்பாட்டாளர்களின் ஒரு பகுதி-வழக்கமான ஒன்றுகூடல், அல்லது இயங்குதன்மை (interop), சமீபத்தில் நார்வேயின் ஸ்வால்பார்டில் நடைபெற்றது. ஒரு வாரம் நீடித்த இந்த நிகழ்வில், குழுக்கள் அடுத்த மேம்படுத்தலான கிளாம்ஸ்டர்டாமை வலுப்படுத்துவதிலும் அதற்கான தயாரிப்புகளிலும் கவனம் செலுத்தின. இந்த வாரத்தில் பல முக்கியமான மைல்கற்கள் எட்டப்பட்டன, அவற்றில் பின்வருவன அடங்கும்: 200M எரிவாயு வரம்பு தளம் நிறுவப்பட்டது: ePBS, BAL மேம்படுத்தல்கள் மற்றும் EIP-8037 மறுவிலையிடல் ஆகியவற்றின் ஒருங்கிணைப்பிலிருந்து பெறப்பட்ட நம்பகமான கிளாம்ஸ்டர்டாம்-க்கு பிந்தைய இலக்கு ePBS நிலைப்படுத்தப்பட்டது: வெளிப்புற பில்டர்கள் பைப்லைனுடன் இயங்கும் பல-கிளையண்ட் கிளாம்ஸ்டர்டாம்-மேம்பாட்டாளர் வலையமைப்பு (Glamsterdam-devnet) கிட்டத்தட்ட அனைத்து கிளையண்டுகளிலும் தொடக்கம் முதல் இறுதி வரை சோதிக்கப்பட்டது EIP-8037 இறுதியாக்கப்பட்டது: நிலையான cost\per\state\_byte ஏற்றுக்கொள்ளப்பட்டது; முழுமையான மறுவிலையிடல் எண்கள் வெள்ளிக்கிழமைக்குள் bal-devnet-6 இல் வழங்கப்பட்டன ஹெகோட்டா (Hegotá) அடிப்படைப் பணிகள் அமைக்கப்பட்டன: FOCIL முன்மாதிரிகள் செயல்படுகின்றன; நேட்டிவ் AA தேவைகள் வரையறுக்கப்பட்டன; பல-கிளையண்ட் மேம்பாட்டாளர் வலையமைப்பு உடனடி அடுத்த படியாகும் இந்த இயங்குதன்மை (interop) நிகழ்வானது எத்தீரியம் அறக்கட்டளை நெறிமுறை கிளஸ்டருக்கான தலைமை மாற்றத்தின் தொடக்கத்தையும் குறித்தது.

கடந்த வாரம், 100-க்கும் மேற்பட்ட எத்திரியம் (Ethereum) முக்கிய பங்களிப்பாளர்கள் ஆர்க்டிக் வட்டத்திற்கு மேலே — ஸ்வால்பார்டில் உள்ள லாங்யியர்பியனில் — Soldøgn Interop-க்காக கூடினர்: இது கிளாம்ஸ்டர்டாம் (Glamsterdam) பிணையம் (network) மேம்படுத்தல் குறித்த ஒரு வார கால தீவிரப் பணியாகும். Soldøgn கடந்த ஆண்டின் Berlinterop-ஐத் தொடர்ந்து வந்தது, ஆனால் Amphora 🏺, Edelweiss 🏔️ மற்றும் Nyota ✨ பயன்படுத்திய வடிவத்திற்குத் திரும்பியது: ஒரு குறிப்பிட்ட மேம்படுத்தலை நோக்கி — இந்த விஷயத்தில், கிளாம்ஸ்டர்டாம்-ஐ வலுப்படுத்துவது — கவனம் செலுத்தும், பல கிளையண்டுகளின் முன்னேற்றத்திற்கான ஒற்றைத் தட வாரமாகும். வெள்ளிக்கிழமைக்குள், குழு தனது மூன்று முக்கிய இலக்குகளை அடைந்தது: கிளாம்ஸ்டர்டாம்-க்கு பிந்தைய 200M எரிவாயு வரம்பு (gas limit) அடித்தளத்தில் ஒருமித்த கருத்து, வெளிப்புற கட்டமைப்பாளர் (builder)களுடன் இயங்கும் நிலையான ePBS செயலாக்கங்கள் மற்றும் இறுதி EIP-8037 மறுவிலையிடல் எண்கள் உறுதி செய்யப்பட்டன. FOCIL மற்றும் நேட்டிவ் கணக்குச் சுருக்கம் (account abstraction) போன்ற Hegotá அம்சங்களிலும், மேலும் பல தலைப்புகளிலும் அர்த்தமுள்ள முன்னேற்றம் காணப்பட்டது.