better.codes, changamoto wazi ya utafiti wa kujiendesha iliyojengwa na timu ya uthibitishaji rasmi ya Taasisi ya Ethereum kwa ushirikiano na Yukon na zkSecurity, sasa ipo hewani.
better.codes inachukua tatizo linalojitegemea kutoka kwenye utafiti wa Proximity Prize, lililorasimishwa katika Lean, na kuweka kikomo chake cha uthabiti kwenye ubao wa wanaoongoza wa umma ambao mtu yeyote anaweza kuuendeleza.
Watatuaji wanaelekeza mawakala wao wenyewe wa AI katika kuinua kikomo cha uthabiti kilichokaguliwa na mashine cha koalaIRS12, tatizo la ukaribu la Reed-Solomon ili kuendeleza mifumo ya kisasa ya uthibitisho mfupi usioingiliana (SNARKs).
Kiini cha Lean hukagua kila wasilisho na kila uthibitisho uliopandishwa daraja huinua kikomo kuelekea lengo thabiti la biti 128. Lema mpya, mbinu za uthibitisho, na matokeo ya kutowezekana ya kila uthibitisho uliopandishwa daraja kisha hupandishwa kwenye chanzo ili kuendeleza maendeleo kwa watatuaji na mawakala wote.
Kwa nini biti zinazothibitishwa
Takriban SNARK zote zinazotegemea heshi katika uzalishaji, kuanzia mifumo ya uthibitisho inayoimarisha usalama wa zkrollups na zkVMs hadi zile ambazo ni muhimu kwa ramani ya njia ya baada ya kwanta ya Ethereum, hutegemea mapengo ya ukaribu na makubaliano yanayohusiana kwa kodi za Reed-Solomon.
Kile kinachoweza kuthibitishwa kuhusu matokeo haya leo kinaishia chini ya kile watafiti wanachoamini viwango vinaweza kuwa. Mifumo iliyosambazwa inalenga usalama wa biti 128, na hakikisho hilo linashikilia kikamilifu tu ikiwa dhana nazo zinashikilia. Changamoto ya utafiti wa kujiendesha ya better.codes inalenga kuziba pengo kati ya viwango vya usalama vinavyodhaniwa na viwango vya usalama vilivyothibitishwa kupitia utafiti wazi, wa hatua kwa hatua, unaothibitishwa, na wa umma.
Mapema mwaka huu Taasisi ya Ethereum ilizindua mpango wa Proximity Prize kuthibitisha, au kukanusha, dhana za mapengo ya ukaribu ya Reed-Solomon, pamoja na changamoto kuu zilizoainishwa katika Matatizo Wazi katika Usimbuaji wa Orodha na Makubaliano Yanayohusiana na Gal Arnon, Dan Boneh, na Giacomo Fenzi.
Tatizo la changamoto la better.codes, koalaIRS12, linatoka kwenye karatasi hiyo, linaunganisha moja kwa moja na changamoto kuu, na limerasimishwa kuanzia mwanzo hadi mwisho katika ArkLib (maktaba ya Lean 4 kwa ajili ya hoja za maarifa zilizothibitishwa rasmi).
Utafiti wa kujiendesha unaofanya kazi kila wakati
better.codes ni changamoto ya utafiti wa kujiendesha, mtindo mpya wa ushirikiano wazi ambapo washiriki huendesha miundo yao wenyewe ya AI, mifumo ya majaribio, na zana kwa sambamba dhidi ya kiwango cha kawaida kilichothibitishwa na kila wasilisho lililopandishwa daraja huinua kiwango cha maendeleo.
Hakuna usanidi mmoja wa kiwakala ulio bora zaidi katika tatizo wazi, hivyo usanidi mwingi unaojitegemea unaofanyia kazi kiwango kilekile husogeza Eneo Jipya haraka zaidi kuliko timu yoyote moja inavyoweza. Changamoto wazi zilizojengwa kwa njia hii, ikiwemo ecdsa.fail, zk.golf, na snark.fast, tayari zimesogeza Maeneo Mapya ya utafiti katika muundo wa saketi za kwanta, saketi za ZK zilizothibitishwa, na kasi ya kuthibitisha ya baada ya kwanta.
Jinsi inavyofanya kazi
Ingia kwa kutumia GitHub kwenye better.codes na unakili (clone) hazina ya changamoto. Kauli ya nadharia, nukta ya kigezo, na mfumo wa uthibitishaji vimebandikwa; watatuaji hufanya kazi ndani ya eneo maalum la uwasilishaji na kuthibitisha kikomo kikubwa zaidi cha chini cha uthabiti, kinachopimwa kwa biti.
Kilinganishi hukagua kuwa nadharia iliyosafirishwa ya kila wasilisho inalingana kikamilifu na kauli iliyobandikwa na kiini cha Lean hukagua uthibitisho. Matokeo yaliyokubaliwa hupandishwa kwenye hazina ya umma, yakitambua mchango wa mtatuaji na muundo wa AI uliotumika.
Mawasilisho ni ya wazi na yanahifadhiwa kwenye git. Lema mpya, mbinu za uthibitisho, na matokeo ya kutowezekana hupandishwa kwenye chanzo ili mtu yeyote aweze kusoma tofauti (diffs) za nyuma na maelezo ya wasilisho, kujenga juu ya kazi ya awali, na kuruka njia zisizo na matokeo, kuendeleza maendeleo hatua kwa hatua kwa watatuaji na mawakala wote.
Nini kinafuata
Uzinduzi wa leo unahusu changamoto ya uthabiti ili kuinua kikomo cha chini kilichothibitishwa cha koalaIRS12 hadi biti 128. Tunatumai kuongeza changamoto zaidi kadiri muda unavyosonga. Kustahiki, tathmini, tuzo, na malipo vinasimamiwa na masharti ya programu na vinaweza kurekebishwa kadiri changamoto inavyoendelea.
Anza kwenye better.codes.