zkSync Era’s - Нова високоефективна система за доказателства (Proof System) подготваща бъдещата децентрализация! 😵💫
В съответствие с тази мисия, алфа версията на zkSync Era беше отворена за обществеността преди малко повече от три месеца и приемът беше невероятен. През този период видяхме значителна активност в мрежата ⬇️⬇️⬇️
$577M TVL (източник: L2Beat);
23,750,000 транзакции през последните 30 дни—(източник: L2Beat);
9,735 верифицирани умни договори;
Какво е Boojum?
Аритметизация в стил PLONK: В контекста на протоколите с нулево знание, аритметизацията е процесът, който трансформира общо изчисление в математическа форма. Както при настоящата система за доказателство, надстроената система продължава да използва аритметизация в стил PLONK. С този подход ZK схемите са по-лесни за писане в сравнение с някои алтернативни формалности, което прави системата по-лесна за разработване, одит, поддръжка и надграждане.
Мощна схема за обвързване: В сърцето на Boojum лежи схемата за обвързване FRI, ключов компонент, който ни позволява да се обвържем с полином с ограничена степен и по-късно ефективно да докажем, че заявеното отваряне (на полинома) наистина принадлежи на полином с ниска степен.
Лесно разширяване: Абстракцията на системата за базово ограничение е много тънка, но позволява на потребителите да добавят свои потребителски типове врати по различни начини, напр. добавяне на няколко специализирани полинома за тях или повторно използване на това, което се нарича „колони с общо предназначение“.
След като потребителят е дефинирал проста геометрия за своята схема, интерфейсът за разширение му предоставя възможността автоматично да генерира доказател, верификатор и рекурсивен верификатор. Това позволява много ефективен процес на разработка; ако потребителят промени структурата на веригата и избере различни типове “порти” за използване, той може просто да извика интерфейса отново, той ще регенерира ключовете и ще гарантира, че използва правилния доказващ и верификатор.Единичен стек: С Boojum всичко изброено по-горе може да бъде изразено само със стандартен, идиоматичен Rust, използвайки изразителността на своята типова система.
Тъй като по-горе споменатите неща не са ясни на много хора(включително и на мен), то нека да видим какви ще са ползите от този ъпдейт/продукт ⬇️
🔰Ползи от Boojum
За да измерим времето за генериране на доказателство (и други ключови показатели, свързани с производителността) на мрежата, ние си партнирахме с Celer Network, екип с богат опит в сравнителния анализ и профилирането на множество системи за доказване.
Резултатите говорят сами за себе си: нашето внедряване демонстрира производителност на доказване от световна класа и доколкото ни е известно, това е най-бързата система за доказване, използвана в производството.
Намалени хардуерни изисквания за децентрализация
Целта е да бъде постигнато увеличаване производителността на системата, като същевременно се намалят хардуерните изисквания за нейното изпълнение! 🆒
За съпоставка в момента за да поддържат Prover-a на системата са необходими ⬇️
🔴A100 GPU всеки с 80 GB RAM
GPU проверите, които се използват за Boojum, изискват само 🟢16 GB RAM и тази ниска бариера за навлизане е значителна стъпка към бъдещето.
(zKsync team) → “След като завършим миграцията към новата система за доказателство, ще публикуваме повече информация за нашите планове за нейната децентрализация”
Повишаване на броя на транзакции на секунда (TPS)
И накрая, базираният на zkSync Era Rust sequencer вече може да обработва над 100 транзакции в секунда (TPS). Въвеждането на новата система за доказване не само подобрява производителността, но също така намалява хардуерните изисквания, което я прави идеално допълнение към sequencer-a.
Повишената производителност от Boojum също така означава, че системата може да доказва транзакции по-бързо, а намалените хардуерни изисквания подобряват достъпа на мрежата до по-евтини машини за увеличена хоризонтална мащабируемост.
Кога да очакваме системата в пълно производство?
𓀃 Екипът работи върху разработването на тази надстройка вече месеци и са развълнувани да стигнем до точката, в която сега поставяме системата през нейните стъпки в Mainnet.
Това ни води до днес и следващата стъпка в нашето поетапно внедряване: режим на сянка на основната мрежа! Вече се генерират и проверяват „доказателства в сянка“ за блокове на Mainnet.
Доказателствата в сянка не са необходими за основната версия на zkSync Era – това ще продължи да се захранва от съществуващата система за доказателство. Просто се проверяват тези доказателства в сянка, за да тестваме допълнително и оптимизираме системата, но с реални производствени данни от потребителската активност на zkSync Era.
Boojum е съчетан с ангажимент за иновации и дизайн, ориентиран към потребителя, е следващата стъпка напред към по-сигурен, мащабируем и ефективен zkEVM. Разбира се, тази работа ще бъде достъпна и за всеки, който строи със ZK Stack!
Пълната статия с повече детайли може да намерите → ТУК
Подготовката за децентрализация е огромна и ще има надпревара за първият zkEVM токен в индустрията между - zkSync и Polygon zkEVM.
Разцъкайте ги и участвайте активно в мрежите им!