# Recursive StarkNet + Cairo 1.0 #48

By [sunwaves.eth](https://paragraph.com/@sunwaves) · 2022-10-14

---

Повечето хора знаят, че **StarkNet** все още е в **Apha версия**, което означава, че е изключително рискова и нестабилна. За сега използването в тестова мрежа е бавно, нефункционално и често неизпълняващо зададените команди (транзакции). Изпълнението и пускането на по-добра версия от Alpha е на прага и това ще подобри в пъти StarkNet и приложенията към него.

За нуждите на по-добре функционираща система ще бъдат нужни и две големи обновления - [**Recusive STARKs**](https://medium.com/starkware/recursive-starks-78f8dd401025) и [**Cairo 1.0**](https://medium.com/starkware/cairo-1-0-aa96eefb19a0) (програмния език на StarkNet). Това е част от планът им [**StarkNet Regenesis**](https://medium.com/starkware/starknet-regenesis-the-plan-bd0219843ef4)

[**Regenesis**](https://medium.com/starkware/regenesis-starknets-no-sweat-state-reset-e296b12b80ae) ще последва пускането на **Cairo 1.0**, което е планирано да стане до края на 2022 г. През първото тримесечие на 2023 г. **StarkNet** ще бъде актуализиран, за да поддържа **Cairo 1.0** и би трябвало да мигрира към изцяло базирана на **Cairo 1.0** мрежа до края на **Q1 2023**.

**Потребителите и приложенията ще трябва да направят прехода през този период.**

![](https://storage.googleapis.com/papyrus_images/3a90bdb1da2d12019945d7fa82721645d54beaf2189d8ee81142f676d88d5eec.jpg)

**Като потребител** вероятно ще трябва да предприемете няколко действия по време на [**Regenesis**](https://medium.com/starkware/regenesis-starknets-no-sweat-state-reset-e296b12b80ae). Най-малкото ще трябва да надстроите договора за акаунта си. Ако не направите това през (няколкомесечния) преходен период, това ще доведе до загуба на вашия акаунт. В зависимост от пътя за надграждане, избран от разработчиците на приложенията **StarkNet**, които използвате, може да се наложи да предприемете допълнителни стъпки.

[Рекурсивното](https://bg.wikipedia.org/wiki/%D0%A0%D0%B5%D0%BA%D1%83%D1%80%D1%81%D0%B8%D1%8F) доказване е в продукция на **Mainnet**, мащабирайки приложения на **StarkEx (**[DeversiFi](https://twitter.com/deversifi),[Immutable](https://twitter.com/Immutable),[dYdX](https://twitter.com/dydxprotocol) и др), както и **StarkNet**.

За технически детайли, как точно работи може да разгледате тази статия - [Recursive STARKSs](https://medium.com/starkware/recursive-starks-78f8dd401025)

*   _Намалява разходите във веригата_
    

С рекурсията бариерата за изчислителните ресурси (напр. памет), която ограничаваше размера на доказателствата досега, се елиминира, тъй като всяко твърдение за ограничен размер може да бъде доказано отделно.

*   _Намалява забавянето (Latency)_
    

Моделът за рекурсивно доказване намалява закъснението при доказване на големи серии.

**_Това е резултат от два фактора:_**

1.  Паралелно могат да се доказват входящи задания;
    
2.  Няма нужда да чакате, докато пристигне последното задание, за да започнете доказването. По-скоро доказателствата могат да се комбинират с новите пристигащи заявки.
    

*   _Улеснение при внедряването на Layer 3 (L3)_
    

Разработването на задание за рекурсивен верификатор в Cairo ,също така отваря възможността за подаване на доказателства към **StarkNet**, тъй като това изявление може да бъде внедрено в “умен договор” на **StarkNet**. Това подпомага създаването на приложения от Layer 3 към универсалният Layer 2 - **StarkNet**. **Рекурсивният модел** се прилага и за издаването на доказателства от **L3**, които трябва да бъдат проверени чрез едно доказателство на **L2**. Следователно там също се постига хипер-мащабиране.

Ползите от рекурсията ще се реализират постепенно, тъй като продължава да позволява нови подобрения и скоро ще осигури хипермащабиране, намаляване на таксите за транзакции и подобряване на забавянето чрез отключване на потенциала на паралелизиране.

![](https://storage.googleapis.com/papyrus_images/55f69223cd6ad401df0293dce74c258a22aabfa85250d6fc1aae578d166c33c8.jpg)

През лятото на 2020 г. **Cairo** се появи за първи път в **Ethereum Mainnet**. Cairo означава **CPU Algebraic Intermediate Representation (AIR)** и включва един AIR, който проверява набора от инструкции на този „CPU“. Той отваря вратата за кодиране на доказателства за по-сложна бизнес логика, за произволни изчислителни отчети и за по-бърз и по-безопасен начин. **Cairo** може да докаже изпълнението на логиката на едно приложение, но в Cairo може да бъде и операция/процес от сливането на множество такива приложения - **SHARP**.

За \*\*Cairo 1.0 \*\*е създаден изцяло нов компилатор, който ще предостави на разработчиците функции за безопасност и ще им позволи да пишат договори по по-прост и по-изразителен начин.

Основното допълнение в **Cairo 1.0** е **Sierra** (Safe Intermediate Representation). Sierra представлява нов междинен слой за обмен на информация между **Cairo 1.0** и **Cairo**.

*   Cairo 1.0 ще осигури на разработчиците по-безопасен, по-прост и по-използваем език за програмиране;
    
*   Главния фокус на **Cairo 1.0** ще бъде **Sierra**, междинен представителен слой, който осигурява по-голяма дългосрочна стабилност за програмите в Cairo;
    

За по-детайлно техническо обяснение → [Cairo 1.0](https://medium.com/starkware/cairo-1-0-aa96eefb19a0)

[https://zkmurton.substack.com/?utm\_source=substack&utm\_medium=email&utm\_content=share&action=share](https://zkmurton.substack.com/?utm_source=substack&utm_medium=email&utm_content=share&action=share)

В този сайт може да наблюдавате всички проекти върху StarkNet по категории!

[https://www.dappland.com/category/onramps](https://www.dappland.com/category/onramps)

---

*Originally published on [sunwaves.eth](https://paragraph.com/@sunwaves/recursive-starknet-cairo-1-0-48)*