Yukon மற்றும் zkSecurity ஆகியவற்றுடன் இணைந்து எத்தீரியம் அறக்கட்டளை முறைசார் சரிபார்ப்புக் குழுவால் உருவாக்கப்பட்ட திறந்த தானியங்கி-ஆராய்ச்சி (autoresearch) சவாலான better.codes, இப்போது நேரலையில் உள்ளது.
better.codes ஆனது Proximity Prize ஆராய்ச்சியிலிருந்து ஒரு தன்னாட்சிப் சிக்கலை எடுத்து, Lean இல் முறைப்படுத்தி, அதன் நம்பகத்தன்மை வரம்பை (soundness bound) யார் வேண்டுமானாலும் முன்னெடுத்துச் செல்லக்கூடிய ஒரு பொதுத் தரவரிசைப் பட்டியலில் வைக்கிறது.
நவீன சுருக்கமான ஊடாடலற்ற சான்று அமைப்புகளை (SNARKs) மேம்படுத்துவதற்கான Reed-Solomon அருகாமைச் சிக்கலான koalaIRS12 இன் இயந்திரத்தால் சரிபார்க்கப்பட்ட நம்பகத்தன்மை வரம்பை உயர்த்துவதில் தீர்ப்பான்கள் (solvers) தங்களின் சொந்த AI முகவர்களைச் செலுத்துகின்றன.
Lean கர்னல் ஒவ்வொரு சமர்ப்பிப்பையும் சரிபார்க்கிறது, மேலும் ஒவ்வொரு மேம்படுத்தப்பட்ட சான்றும் நிலையான 128-பிட் இலக்கை நோக்கி வரம்பை உயர்த்துகிறது. ஒவ்வொரு மேம்படுத்தப்பட்ட சான்றின் புதிய துணைத்தேற்றங்கள் (lemmas), சான்று நுட்பங்கள் மற்றும் சாத்தியமற்ற முடிவுகள் ஆகியவை அனைத்துத் தீர்ப்பான்கள் மற்றும் முகவர்களுக்கான முன்னேற்றத்தை மேம்படுத்த மேல்நிலைக்கு (upstreamed) கொண்டு செல்லப்படுகின்றன.
நிரூபிக்கக்கூடிய பிட்கள் ஏன் தேவை
zkrollups மற்றும் zkVMகளைப் பாதுகாக்கும் சான்று அமைப்புகள் முதல் எத்திரியத்தின் குவாண்டம்-பிந்தைய வழிகாட்டி வரைபடத்தில் மையமாக உள்ளவை வரை, தயாரிப்பில் உள்ள ஏறக்குறைய அனைத்து ஹாஷ் அடிப்படையிலான SNARKகளும் Reed-Solomon குறியீடுகளுக்கான அருகாமை இடைவெளிகள் (proximity gaps) மற்றும் தொடர்புடைய ஒப்பந்தங்களை (correlated agreement) நம்பியுள்ளன.
இந்த முடிவுகளைப் பற்றி இன்று நிரூபிக்கக்கூடியவை, அளவுகோல்கள் என்னவாக இருக்கும் என்று ஆராய்ச்சியாளர்கள் நம்புவதற்குக் குறைவாகவே உள்ளன. பயன்படுத்தப்படும் அமைப்புகள் 128-பிட் பாதுகாப்பை இலக்காகக் கொண்டுள்ளன, மேலும் அனுமானங்கள் (conjectures) உண்மையாக இருந்தால் மட்டுமே அந்த உத்தரவாதம் முழுமையாகச் செயல்படும். better.codes தானியங்கி-ஆராய்ச்சி சவாலானது, திறந்த, அதிகரிக்கும், சரிபார்க்கக்கூடிய மற்றும் பொதுவான ஆராய்ச்சியின் மூலம் அனுமானிக்கப்பட்ட பாதுகாப்பு அளவுகோல்களுக்கும் நிரூபிக்கப்பட்ட பாதுகாப்பு அளவுகோல்களுக்கும் இடையிலான இடைவெளியைக் குறைப்பதை நோக்கமாகக் கொண்டுள்ளது.
இந்த ஆண்டின் தொடக்கத்தில், Gal Arnon, Dan Boneh மற்றும் Giacomo Fenzi ஆகியோரின் Open Problems in List Decoding and Correlated Agreement என்பதில் குறிப்பிடப்பட்டுள்ள மாபெரும் சவால்களுடன், Reed-Solomon அருகாமை இடைவெளி அனுமானங்களை நிரூபிக்க அல்லது பொய்யாக்க எத்தீரியம் அறக்கட்டளை Proximity Prize initiative ஐத் தொடங்கியது.
better.codes சவால் சிக்கலான koalaIRS12, அந்த ஆய்வுக் கட்டுரையிலிருந்து வருகிறது, மாபெரும் சவால்களுடன் நேரடியாக இணைகிறது, மேலும் ArkLib இல் (முறைப்படி சரிபார்க்கப்பட்ட அறிவு வாதங்களுக்கான Lean 4 நிரலகம்) தொடக்கம் முதல் இறுதி வரை முறைப்படுத்தப்பட்டுள்ளது.
எப்போதும் இயங்கும் தானியங்கி-ஆராய்ச்சி
better.codes என்பது ஒரு தானியங்கி-ஆராய்ச்சி சவாலாகும், இது திறந்த ஒத்துழைப்பிற்கான ஒரு புதிய மாதிரியாகும், இதில் பங்கேற்பாளர்கள் தங்களின் சொந்த AI மாதிரிகள், கட்டுப்பாடுகள் (harnesses) மற்றும் கருவிகளை ஒரு பொதுவான சரிபார்க்கப்பட்ட அளவுகோலுக்கு எதிராக இணையாக இயக்குகிறார்கள், மேலும் ஒவ்வொரு மேம்படுத்தப்பட்ட சமர்ப்பிப்பும் முன்னேற்றத்திற்கான அடித்தளத்தை உயர்த்துகிறது.
ஒரு திறந்த சிக்கலில் எந்தவொரு ஒற்றை முகவர் அமைப்பும் உகந்தது அல்ல, எனவே ஒரே அளவுகோலில் செயல்படும் பல சுயாதீன அமைப்புகள் எந்தவொரு தனிப்பட்ட குழுவையும் விட முன்னெல்லையை (frontier) வேகமாக நகர்த்துகின்றன. ecdsa.fail, zk.golf மற்றும் snark.fast உள்ளிட்ட இந்த வழியில் உருவாக்கப்பட்ட திறந்த சவால்கள், குவாண்டம் சுற்று வடிவமைப்பு, சரிபார்க்கப்பட்ட ZK சுற்றுகள் மற்றும் குவாண்டம்-பிந்தைய நிரூபிக்கும் வேகம் ஆகியவற்றில் ஆராய்ச்சி முன்னெல்லைகளை ஏற்கனவே நகர்த்தியுள்ளன.
இது எவ்வாறு செயல்படுகிறது
better.codes இல் GitHub மூலம் உள்நுழைந்து சவால் களஞ்சியத்தை (repository) குளோன் செய்யவும். தேற்ற அறிக்கை, அளவுருப் புள்ளி மற்றும் சரிபார்ப்புக் கட்டுப்பாடு ஆகியவை பொருத்தப்பட்டுள்ளன; தீர்ப்பான்கள் ஒரு குறிப்பிட்ட சமர்ப்பிப்புப் பரப்பிற்குள் செயல்பட்டு, பிட்களில் மதிப்பிடப்படும் ஒரு பெரிய நம்பகத்தன்மை கீழ் வரம்பை நிரூபிக்கின்றன.
ஒவ்வொரு சமர்ப்பிப்பின் ஏற்றுமதி செய்யப்பட்ட தேற்றமும் பொருத்தப்பட்ட அறிக்கையுடன் சரியாகப் பொருந்துகிறதா என்பதை ஒரு ஒப்பீட்டான் (comparator) சரிபார்க்கிறது மற்றும் Lean கர்னல் சான்றைச் சரிபார்க்கிறது. ஏற்றுக்கொள்ளப்பட்ட முடிவுகள் பொதுக் களஞ்சியத்திற்கு மேம்படுத்தப்பட்டு, தீர்ப்பான் மற்றும் பயன்படுத்தப்பட்ட AI மாதிரிக்கு அங்கீகாரம் வழங்கப்படுகிறது.
சமர்ப்பிப்புகள் வெளிப்படையானவை மற்றும் git-ஆதரவு கொண்டவை. புதிய துணைத்தேற்றங்கள், சான்று நுட்பங்கள் மற்றும் சாத்தியமற்ற முடிவுகள் மேல்நிலைக்குக் கொண்டு செல்லப்படுகின்றன, இதனால் யார் வேண்டுமானாலும் கடந்தகால வேறுபாடுகள் (diffs) மற்றும் சமர்ப்பிப்புக் குறிப்புகளைப் படிக்கலாம், முந்தைய பணிகளின் அடிப்படையில் உருவாக்கலாம் மற்றும் முட்டுக்கட்டைகளைத் தவிர்க்கலாம், இது அனைத்துத் தீர்ப்பான்கள் மற்றும் முகவர்களுக்கான முன்னேற்றத்தை படிப்படியாக மேம்படுத்துகிறது.
அடுத்து வருவது என்ன
koalaIRS12 க்கான நிரூபிக்கப்பட்ட கீழ் வரம்பை 128 பிட்களாக உயர்த்துவதற்கான நம்பகத்தன்மை சவாலை இன்றைய வெளியீடு உள்ளடக்கியுள்ளது. காலப்போக்கில் மேலும் சவால்களைச் சேர்க்க நாங்கள் நம்புகிறோம். தகுதி, மதிப்பீடு, விருதுகள் மற்றும் கொடுப்பனவுகள் ஆகியவை திட்ட விதிமுறைகளால் நிர்வகிக்கப்படுகின்றன, மேலும் சவால் முன்னேறும்போது அவை சரிசெய்யப்படலாம்.
better.codes இல் தொடங்கவும்.