Yukon మరియు zkSecurity సహకారంతో ఎథీరియం ఫౌండేషన్ నియత ధృవీకరణ బృందం రూపొందించిన ఓపెన్ ఆటోరీసెర్చ్ ఛాలెంజ్ అయిన better.codes, ఇప్పుడు లైవ్లో ఉంది.
better.codes అనేది Leanలో ఫార్మలైజ్ చేయబడిన Proximity Prize పరిశోధన నుండి ఒక స్వయం-సమగ్ర సమస్యను తీసుకుంటుంది మరియు ఎవరైనా ముందుకు తీసుకెళ్లగలిగే పబ్లిక్ లీడర్బోర్డ్లో దాని పటిష్టత పరిమితిని ఉంచుతుంది.
ఆధునిక సంక్షిప్త నాన్-ఇంటరాక్టివ్ ప్రూఫ్ సిస్టమ్లను (SNARKs) అభివృద్ధి చేయడానికి రీడ్-సోలమన్ (Reed–Solomon) ప్రాక్సిమిటీ సమస్య అయిన koalaIRS12 యొక్క మెషిన్-చెక్డ్ పటిష్టత పరిమితిని పెంచడంపై పరిష్కర్తలు తమ స్వంత AI ఏజెంట్లను నిర్దేశిస్తారు.
Lean కెర్నల్ ప్రతి సమర్పణను తనిఖీ చేస్తుంది మరియు ప్రమోట్ చేయబడిన ప్రతి నిరూపణ స్థిరమైన 128-బిట్ లక్ష్యం వైపు పరిమితిని పెంచుతుంది. ప్రమోట్ చేయబడిన ప్రతి నిరూపణ యొక్క కొత్త లెమ్మాలు, నిరూపణ పద్ధతులు మరియు అసాధ్యమైన ఫలితాలు ఆ తర్వాత పరిష్కర్తలు మరియు ఏజెంట్లందరికీ పురోగతిని అందించడానికి అప్స్ట్రీమ్ చేయబడతాయి.
నిరూపించదగిన బిట్లు ఎందుకు
zkrollups మరియు zkVMలను సురక్షితం చేసే ప్రూఫ్ సిస్టమ్ల నుండి ఎథీరియం యొక్క పోస్ట్-క్వాంటం రోడ్మ్యాప్కు కేంద్రంగా ఉన్న వాటి వరకు, దాదాపు అన్ని ప్రొడక్షన్ హాష్-ఆధారిత SNARKలు, రీడ్-సోలమన్ కోడ్ల కోసం ప్రాక్సిమిటీ గ్యాప్లు మరియు కోరిలేటెడ్ అగ్రిమెంట్పై ఆధారపడి ఉంటాయి.
ఈ ఫలితాల గురించి ఈరోజు నిరూపించగలిగేది, పరిశోధకులు విశ్వసించే బెంచ్మార్క్ల కంటే తక్కువగా ఆగిపోతుంది. డిప్లాయ్ చేయబడిన సిస్టమ్లు 128-బిట్ భద్రతను లక్ష్యంగా చేసుకుంటాయి మరియు ఆ అంచనాలు నిజమైతేనే ఆ హామీ పూర్తిగా నిలుస్తుంది. better.codes ఆటోరీసెర్చ్ ఛాలెంజ్ అనేది ఓపెన్, ఇంక్రిమెంటల్, ధృవీకరించదగిన మరియు పబ్లిక్ పరిశోధన ద్వారా అంచనా వేయబడిన భద్రతా బెంచ్మార్క్లు మరియు నిరూపితమైన భద్రతా బెంచ్మార్క్ల మధ్య అంతరాన్ని తగ్గించడం లక్ష్యంగా పెట్టుకుంది.
గాల్ ఆర్నన్, డాన్ బోనెహ్ మరియు గియాకోమో ఫెంజీ రాసిన Open Problems in List Decoding and Correlated Agreementలో వివరించిన గ్రాండ్ ఛాలెంజ్లతో, రీడ్-సోలమన్ ప్రాక్సిమిటీ గ్యాప్ల అంచనాలను నిరూపించడానికి లేదా తప్పు అని నిరూపించడానికి ఈ సంవత్సరం ప్రారంభంలో ఎథీరియం ఫౌండేషన్ Proximity Prize initiativeను ప్రారంభించింది.
better.codes ఛాలెంజ్ సమస్య అయిన koalaIRS12, ఆ పేపర్ నుండి వచ్చింది, ఇది నేరుగా గ్రాండ్ ఛాలెంజ్లకు వారధిగా నిలుస్తుంది మరియు ArkLib (నియత ధృవీకరించబడిన నాలెడ్జ్ ఆర్గ్యుమెంట్ల కోసం Lean 4 లైబ్రరీ)లో ఎండ్-టు-ఎండ్ ఫార్మలైజ్ చేయబడింది.
ఎల్లప్పుడూ ఆన్లో ఉండే ఆటోరీసెర్చ్
better.codes అనేది ఒక ఆటోరీసెర్చ్ ఛాలెంజ్, ఇది ఓపెన్ సహకారం కోసం ఒక కొత్త మోడల్, ఇక్కడ పాల్గొనేవారు తమ స్వంత AI మోడల్లు, హార్నెస్లు మరియు టూల్స్ను ఒక సాధారణ ధృవీకరించబడిన బెంచ్మార్క్కు వ్యతిరేకంగా సమాంతరంగా రన్ చేస్తారు మరియు ప్రమోట్ చేయబడిన ప్రతి సమర్పణ పురోగతికి పునాదిని పెంచుతుంది.
ఓపెన్ సమస్య అంతటా ఏ ఒక్క ఏజెంటిక్ సెటప్ కూడా ఆప్టిమల్గా ఉండదు, కాబట్టి ఒకే బెంచ్మార్క్పై పనిచేసే అనేక స్వతంత్ర సెటప్లు ఏ ఒక్క బృందం చేయగలిగిన దానికంటే వేగంగా ఫ్రాంటియర్ను ముందుకు తీసుకెళ్తాయి. ఈ విధంగా నిర్మించబడిన ఓపెన్ ఛాలెంజ్లు, ecdsa.fail, zk.golf మరియు snark.fastలతో సహా, క్వాంటం సర్క్యూట్ డిజైన్, ధృవీకరించబడిన ZK సర్క్యూట్లు మరియు పోస్ట్-క్వాంటం ప్రూవింగ్ వేగంలో పరిశోధనా ఫ్రాంటియర్లను ఇప్పటికే ముందుకు తీసుకెళ్లాయి.
ఇది ఎలా పనిచేస్తుంది
better.codes వద్ద GitHubతో సైన్ ఇన్ చేయండి మరియు ఛాలెంజ్ రిపోజిటరీని క్లోన్ చేయండి. సిద్ధాంత ప్రకటన, పారామీటర్ పాయింట్ మరియు వెరిఫికేషన్ హార్నెస్ పిన్ చేయబడ్డాయి; పరిష్కర్తలు నిర్దేశించిన సమర్పణ ఉపరితలం లోపల పని చేస్తారు మరియు బిట్లలో స్కోర్ చేయబడిన పెద్ద పటిష్టత దిగువ పరిమితిని నిరూపిస్తారు.
ప్రతి సమర్పణ యొక్క ఎగుమతి చేయబడిన సిద్ధాంతం పిన్ చేయబడిన ప్రకటనతో సరిగ్గా సరిపోలుతుందో లేదో కంపారిటర్ తనిఖీ చేస్తుంది మరియు Lean కెర్నల్ నిరూపణను తనిఖీ చేస్తుంది. ఆమోదించబడిన ఫలితాలు పబ్లిక్ రిపోజిటరీకి ప్రమోట్ చేయబడతాయి, పరిష్కర్తకు మరియు ఉపయోగించిన AI మోడల్కు క్రెడిట్ ఇవ్వబడుతుంది.
సమర్పణలు పారదర్శకంగా మరియు git-ఆధారితంగా ఉంటాయి. కొత్త లెమ్మాలు, నిరూపణ పద్ధతులు మరియు అసాధ్యమైన ఫలితాలు అప్స్ట్రీమ్ చేయబడతాయి, తద్వారా ఎవరైనా గత డిఫ్లు మరియు సమర్పణ గమనికలను చదవగలరు, మునుపటి పనిపై ఆధారపడి నిర్మించగలరు మరియు డెడ్ ఎండ్లను దాటవేయగలరు, పరిష్కర్తలు మరియు ఏజెంట్లందరికీ పురోగతిని క్రమంగా ముందుకు తీసుకెళ్లగలరు.
తర్వాత ఏమి వస్తుంది
koalaIRS12 కోసం నిరూపితమైన దిగువ పరిమితిని 128 బిట్లకు పెంచే పటిష్టత ఛాలెంజ్ను నేటి లాంచ్ కవర్ చేస్తుంది. కాలక్రమేణా మరిన్ని ఛాలెంజ్లను జోడించాలని మేము ఆశిస్తున్నాము. అర్హత, మూల్యాంకనం, అవార్డులు మరియు చెల్లింపులు ప్రోగ్రామ్ నిబంధనల ద్వారా నిర్వహించబడతాయి మరియు ఛాలెంజ్ పురోగమిస్తున్న కొద్దీ సర్దుబాటు చేయబడవచ్చు.
better.codes వద్ద ప్రారంభించండి.