StarkNet-ը վերանայում է Կահիրեի ծրագրավորման լեզուն՝ ծրագրավորողների ընդունումը խթանելու համար

Ethereum layer-2 scaling պլատֆորմը StarkNet-ը վերանայել է իր ներքին Կահիրեի կոդավորման լեզուն՝ Web3-ի մշակումը հասանելի դարձնելու համար մշակողների համար:

Cointelegraph-ի հետ տարածված հայտարարության մեջ նշվում է Cairo 1.0-ի արդիականացումը, որը կոչված է ընդօրինակելու հանրաճանաչ Rust ծրագրավորման լեզվի բնութագրերը: Կապիտալ վերանորոգումը մտադիր է թույլ տալ կոդավորման ընդհանուր փորձ ունեցող ծրագրավորողներին սկսել StarkNet-ի Ethereum layer-2 ցանցում ապակենտրոնացված հավելվածներ ստեղծել:

StarkWare-ի համահիմնադիր և նախագահ Էլի Բեն-Սասսոնը Cointelegraph-ին ասել է, որ տարբեր ծագում ունեցող ծրագրավորողների համար layer-2-ի մշակումն ավելի մատչելի դարձնելը Կահիրեի վերակառուցման հիմնական պատճառն էր.

«Առաջնային շարժիչները անվտանգությունն ու օգտագործման հեշտությունն էին, և հիմնանորոգումն իրականացնելը հիանալի հնարավորություն տվեց հեռացնելու մուտքը սովորական լեզվական ծագում ունեցող մշակողների համար»:

Հունվարի 5-ի թողարկման մեջ ուրվագծված տեխնիկական բնութագրերը ներառում են Կահիրեի լեզվի մի շարք բարելավումներ, ներառյալ բարելավված շարահյուսություն և լեզվական կառուցվածքներ, ամբողջական տիպային համակարգ, ինտուիտիվ գրադարաններ, օպտիմիզացված կոդ և ուժեղ մուտքագրում՝ պահանջելով տվյալների տեսակների ճշգրտում:

StarkNet-ը ընդգծեց Sierra-ն, որը նշանակում է Անվտանգ միջանկյալ ներկայացուցչություն, որպես Կահիրեի կապիտալ վերանորոգման հիմնական հավելում: Sierra-ն հանդես է գալիս որպես նոր միջանկյալ ներկայացուցչական շերտ Cairo 1.0-ի և Cairo բայթ կոդի միջև:

Ինչպես բացատրեց Բեն-Սասսոնը, Sierra-ն անթույլատրելի ցանց ապահովելու կարևոր ասպեկտ է: Թարմացումը թույլ է տալիս հետադարձ գործարքները ներառել StarkNet բլոկներում՝ օգնելով արձանագրությանը խուսափել բարդ «կրիպտո-տնտեսական մեխանիզմների» ավելացումից:

Բեն-Սասսոնն ասաց, որ Sierra-ն թույլ կտա StarkNet-ին «ժառանգել Ethereum-ի գրաքննության ամբողջական դիմադրությունը» և հիմնականում պաշտպանում է Sequencer-ի հերքման ծառայության հարձակումներից:

As ավելի վաղ հայտնել էր Cointelegraph-ը, Բեն-Սասսոնը ռահվիրա էր zk-STARK գաղտնագրությունը համակարգչային այլ գիտնականների հետ միասին: Zero-Knowledge Scalable Transparent Arguments of Knowledge-ն ապացուցման համակարգ է, որը գաղտնագրում և ստուգում է գործարքների տվյալները՝ ապահովելու անվտանգություն, մասշտաբայնություն և դիմադրություն քվանտային հաշվարկներին:

Ըստ StarkNet-ի՝ Cairo-ն չորրորդ ամենահայտնի խելացի պայմանագրային լեզուն է՝ կողպված ընդհանուր արժեքով: Այն հավելվածների հիմքն է, որոնք մշակել են ավելի քան 300 միլիոն գործարքներ, արտադրել են 90 միլիոն չփոխարինվող թոքեններ և հեշտացրել են 790 միլիոն դոլար արժողությամբ առևտուրը, որոնք հաստատվել են Ethereum-ում: