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

За нуждите на по-добре функционираща система ще бъдат нужни и две големи обновления - Recusive STARKs и Cairo 1.0 (програмния език на StarkNet). Това е част от планът им StarkNet Regenesis

Regenesis ще последва пускането на Cairo 1.0, което е планирано да стане до края на 2022 г. През първото тримесечие на 2023 г. StarkNet ще бъде актуализиран, за да поддържа Cairo 1.0 и би трябвало да мигрира към изцяло базирана на Cairo 1.0 мрежа до края на Q1 2023.

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

Като потребител вероятно ще трябва да предприемете няколко действия по време на Regenesis. Най-малкото ще трябва да надстроите договора за акаунта си. Ако не направите това през (няколкомесечния) преходен период, това ще доведе до загуба на вашия акаунт. В зависимост от пътя за надграждане, избран от разработчиците на приложенията StarkNet, които използвате, може да се наложи да предприемете допълнителни стъпки.

Рекурсивното доказване е в продукция на Mainnet, мащабирайки приложения на StarkEx (DeversiFi,Immutable,dYdX и др), както и StarkNet.

За технически детайли, как точно работи може да разгледате тази статия - Recursive STARKSs

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

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

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

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

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

1. Паралелно могат да се доказват входящи задания;

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

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

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

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

През лятото на 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://zkmurton.substack.com/?utm_source=substack&utm_medium=email&utm_content=share&action=share

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

https://www.dappland.com/category/onramps

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

За нуждите на по-добре функционираща система ще бъдат нужни и две големи обновления - Recusive STARKs и Cairo 1.0 (програмния език на StarkNet). Това е част от планът им StarkNet Regenesis

Regenesis ще последва пускането на Cairo 1.0, което е планирано да стане до края на 2022 г. През първото тримесечие на 2023 г. StarkNet ще бъде актуализиран, за да поддържа Cairo 1.0 и би трябвало да мигрира към изцяло базирана на Cairo 1.0 мрежа до края на Q1 2023.

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

Като потребител вероятно ще трябва да предприемете няколко действия по време на Regenesis. Най-малкото ще трябва да надстроите договора за акаунта си. Ако не направите това през (няколкомесечния) преходен период, това ще доведе до загуба на вашия акаунт. В зависимост от пътя за надграждане, избран от разработчиците на приложенията StarkNet, които използвате, може да се наложи да предприемете допълнителни стъпки.

Рекурсивното доказване е в продукция на Mainnet, мащабирайки приложения на StarkEx (DeversiFi,Immutable,dYdX и др), както и StarkNet.

За технически детайли, как точно работи може да разгледате тази статия - Recursive STARKSs

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

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

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

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

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

1. Паралелно могат да се доказват входящи задания;

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

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

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

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

През лятото на 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://zkmurton.substack.com/?utm_source=substack&utm_medium=email&utm_content=share&action=share

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

https://www.dappland.com/category/onramps