ZKXprotocol_RUЧто такое ZK-Роллапы или Layer 2 простым языком
Добро пожаловать в Первую часть нашей новой серии «Назад к основам», в которой мы рассмотрим основы ZKX. Мы начнем с ZK-Роллапов — базовой технологии, лежащей в основе нашего протокола “без разрешений” (то есть любой может добавить блок транзакций).Говорят, что будущее Ethereum построено на ZK-Роллапах (это сеть второго уровня, созданная для блокчейне Ethereum. Данная технология позволяет снять нагрузку с основной сети Ethereum). Дешевле, быстрее и безопаснее! Многие люди верят в эту точку зр...
ZKXprotocol_RUИтоги 2022 года от команды ZKX
Размышляя о 2022 годе, трудно не вспомнить о проблемах, с которыми мы столкнулись при создании децентрализованной биржи в условиях медвежьего рынка. Но наша цель всегда была больше, чем просто создание биржи — мы хотим улучшить текущий опыт DeFi в отношении текущей модели управления, ликвидности, вознаграждений за распределение доходов для трейдеров и выравнивания области деривативов для развивающихся рынков. Это было нелегко, но оно того стоило. Создание чего-то с нуля требует стойкости, и т...
ZKX - протокол деривативов “без разрешений” с децентрализованной книгой ордеров.
ZKXprotocol_RUЧто такое ZK-Роллапы или Layer 2 простым языком
Добро пожаловать в Первую часть нашей новой серии «Назад к основам», в которой мы рассмотрим основы ZKX. Мы начнем с ZK-Роллапов — базовой технологии, лежащей в основе нашего протокола “без разрешений” (то есть любой может добавить блок транзакций).Говорят, что будущее Ethereum построено на ZK-Роллапах (это сеть второго уровня, созданная для блокчейне Ethereum. Данная технология позволяет снять нагрузку с основной сети Ethereum). Дешевле, быстрее и безопаснее! Многие люди верят в эту точку зр...
ZKXprotocol_RUИтоги 2022 года от команды ZKX
Размышляя о 2022 годе, трудно не вспомнить о проблемах, с которыми мы столкнулись при создании децентрализованной биржи в условиях медвежьего рынка. Но наша цель всегда была больше, чем просто создание биржи — мы хотим улучшить текущий опыт DeFi в отношении текущей модели управления, ликвидности, вознаграждений за распределение доходов для трейдеров и выравнивания области деривативов для развивающихся рынков. Это было нелегко, но оно того стоило. Создание чего-то с нуля требует стойкости, и т...
ZKX - протокол деривативов “без разрешений” с децентрализованной книгой ордеров.
Share Dialog
Share Dialog
Subscribe to ZKXprotocol_RU
Subscribe to ZKXprotocol_RU
<100 subscribers
<100 subscribers
Добро пожаловать в четвертую часть нашей серии “Назад к основам” : “Koselig с Cairo”. Держитесь , дорогие пользователи. Сегодня мы приготовили для вас кое-что интересное.
Прочитав заголовок, вы, должно быть уже начали визуализировать пирамиды, мумии и пустыни. Но сегодня мы не будем исследовать пустыни и жизнь фараонов, а глубоко погрузимся в Cairo — язык программирования , который штурмом взял L2 экосистему.
Cairo — это язык, изобретенный StarkWare, основанной в 2018 году для масштабирования Ethereum с использованием доказательств STARK . Мы также рассказывали об этом в нашем предыдущем блоге State of StarkWare . Вы можете прочитать это здесь .
Хорошо, теперь давайте начнем с Cairo!
Название Cairo происходит от термина “CPU AIR” — AIR, реализующий концепцию CPU. Это эффективная и практичная архитектура фон Neumann, которую можно использовать с системой доказательств STARK для создания доказательств вычислительной целостности.
Программа Cairo создает трассировку , которую затем можно отправить ненадежному доказывающему , который генерирует STARK — доказательство правильности утверждения. Затем доказательство может быть проверено с помощью верификатора (который может быть или не быть ончейн).
Хорошо, теперь у нас есть общее представление о Cairo. Итак, давайте погрузимся глубже и ответим на следующие вопросы один за другим:
Сегодня большинство dApps в основном представляют собой контракт Solidity , реализующий какую-то логику, некоторый интерфейс и, возможно, серверную часть. Эти dApps, в случае успеха, неизбежно сталкиваются с проблемой масштабируемости .
Теперь dApps решают свои проблемы с масштабируемостью, обращаясь к проверенным решениям масштабируемости L2. Компонент вне сети берет на себя некоторые из более сложных частей бизнес-логики и взаимодействует со смарт-контрактами в сети, не отказываясь от безопасности.
До Cairo было сложно создать систему проверки, которая охватывает конкретную бизнес-логику. С Cairo барьеры для использования доказательств для достижения масштабируемости намного ниже. Вы пишете свою сложную логику на Cairo, проверяете ее вне сети, и как только это доказательство проверяется в сети, ваше приложение смарт-контракта может использовать результат без доверия.
В блоге Cairo под названием “Cairo for Blockchain Developers” упоминается следующее:
Роль смарт-контракта dApp меняется — из компонента, отвечающего за выполнение дорогостоящей бизнес-логики, он становится компонентом, отвечающим за устранение недорогих последствий этой бизнес-логики.
Инвестор Marquee Ryan Berckman также поделился своим мнением о StarkNet ниже:
В Cairo возникла новая концепция под названием Shared Prover (или SHARP). Он был выпущен StarkWare еще 16 февраля 2021 года .
SHARP — это связующее звено между кодом Cairo и смарт-контрактом Solidity. Он состоит из трех основных компонентов — доказывающего (вне сети), смарт-контракта верификатора (в сети) и контракта реестра фактов (в сети).
Ниже ZK Daily объясняет SHARP простыми словами:
Теперь давайте посмотрим, как вычисление работает под капотом:
Шаг 1: Доказывающая сторона берет трассировку выполнения Cairo, доказывает, что она действительна, и отправляет это доказательство проверяющей стороне.
Шаг 2: Затем ончейн-верификатор проверяет Proof.
Шаг 3: Затем верификатор записывает факт, подтверждающий действительность доказательства в контракте реестра фактов.
Шаг 4: Наконец, смарт-контракт dApp проверяет, существует ли этот факт, чтобы полагаться на вычисления, выполненные вне сети.
Источник : Cairo для разработчиков блокчейнов.
Давайте попробуем понять эту концепцию на примере 🧐
Представьте себе Wordle на основе блокчейна , где вы будете получать токены за угадывание правильного слова. В современных технологиях вам придется писать всю логику игры в Solidity. Излишне говорить, что это дорогое дело.
Вместо этого вы можете написать эту логику в Каире и выполнить ее вне сети. Вот как:
Сначала программа Cairo проверит слово.
Затем он активирует SHARP, чтобы сгенерировать доказательство и проверить его в сети.
После этого он напишет факт, который является подтверждением того, что это слово было правильным.
Наконец, смарт-контракты Wordle проверят, существует ли этот факт, и выплатят токены победителю.
Cairo WhitePaper дает нам подробное объяснение преимуществ Cairo. Давайте проверим несколько важных ниже:
Эффективность: набор инструкций Cairo был выбран таким образом, чтобы соответствующий AIR был максимально эффективным.
Практичность: Cairo поддерживает условные переходы, память, вызовы функций и рекурсию.
Производственный уровень: Cairo является основой нескольких криптовалютных систем, работающих на блокчейне Ethereum.
Встроенные функции: архитектура Cairo поддерживает реализацию предопределенных операций напрямую, в виде набора уравнений, вместо того, чтобы реализовывать их с помощью кода Cairo.
Эффективная общая память: в реализации памяти Cairo каждая ячейка памяти, которая должна использоваться совместно с верификатором, добавляет стоимость проверки всего в 4 арифметических операции.
Мы думаем, что лучший способ выучить язык программирования — написать код. Мы также добавили комментарии рядом с каждым синтаксисом и логикой, чтобы вы могли легко понять код.
Вход:
Выход :
Cairo полностью функционален и уже показал результаты на производственном уровне для многих приложений!
Взгляните на некоторые достижения Cairo
Источник : Введение в Каирское видео YT.
Недавно StarkWare анонсировала Cairo 1.0 , новую версию Cairo. В обновлении будет:
Sierra ( Безопасное промежуточное представление ), новый промежуточный уровень представления между Cairo 1.0 и байт — кодом Cairo .
Совершенно новый компилятор, который позволит разработчикам делать больше и проще.
Общее улучшение языка программирования (например, улучшенный синтаксис, более интуитивно понятные библиотеки, лучшая интеграция с компилятором и т. д.).
Чтобы узнать больше о Cairo 1.0 , посетите этот блог.
Мастерская Cairo 101
14–15 марта 2022 г.
Соучредитель и президент StarkWare Eli Ben Sasson объясняет технические особенности Каира
Источник : Семинар Cairo 101
Второй слой Амстердам
19–20 апреля 2022 г.
Технический директор ZKX BitPactum рассказал о создании Defi 3.0 с использованием Cairo
22 июля 2022 г.
Соавтор Cairo @PapiniShahar рассказывает о следующих эволюциях Cairo
12–14 августа 2022 г.
Инженер Nethermind Swapni Raj рассказывает о преимуществах Cairo
2 сентября 2022 г.
Мастерская Cairo Software Mansion
StarkCon — это конференция ZKX и StarkWare , организованная сообществом для повышения осведомленности о Cairo и экосистеме StarkNet во всем мире. Мероприятие объединяет ведущие голоса StarkNet, и в нем примут участие лучшие разработчики, строители, основатели, инвесторы и мировые СМИ. Недавно они объявили о гранте в размере 50 тысяч долларов для разработчиков и строителей, чтобы ускорить развитие и внедрение Cairo в Индии.
Теперь вы получили краткую информацию о Cairo и осознали его потенциал!
Но мы предполагаем, что вы не хотите останавливать свое путешествие по изучению Cairo здесь
Итак, мы собрали некоторые из лучших ресурсов, которые помогут вам узнать больше о Cairo:
Официальная документация StarkWare Cairo
Изучайте Cairo, играя в игры
Репозиторий Cairo на GitHub
Страница CairoLang в Твиттере
HackerNoon Cairo Repo
Заметки Perama’s
Учебники StarkNet
Cairo своим примером
Твиттер Henri’s, представителя StarkWare’e Dev Advocate
Cairo золотая жила
Итак, ребята, вот и подведение итогов четвертого выпуска нашей серии «Назад к основам». А пока давайте узнаем о Cairo и будем работать над децентрализованным будущим.
ZKX- это первый протокол деривативов “без разрешений” (пользователям не требуется разрешение на использование блокчейна, DeFi или связанной системы), построенный на StarkNet, с децентрализованной книгой ордеров и уникальным способом предлагать сложные финансовые инструменты в качестве свапов. Простыми слова он -Независим, Надежен и Не имеет границ.
ZKX привлекла 4,5 млн $ начального финансирования в июле 2022 года.
Не забудьте заполнить форму, чтобы в числе первых принять участие в запуске ZKX.
Добро пожаловать в четвертую часть нашей серии “Назад к основам” : “Koselig с Cairo”. Держитесь , дорогие пользователи. Сегодня мы приготовили для вас кое-что интересное.
Прочитав заголовок, вы, должно быть уже начали визуализировать пирамиды, мумии и пустыни. Но сегодня мы не будем исследовать пустыни и жизнь фараонов, а глубоко погрузимся в Cairo — язык программирования , который штурмом взял L2 экосистему.
Cairo — это язык, изобретенный StarkWare, основанной в 2018 году для масштабирования Ethereum с использованием доказательств STARK . Мы также рассказывали об этом в нашем предыдущем блоге State of StarkWare . Вы можете прочитать это здесь .
Хорошо, теперь давайте начнем с Cairo!
Название Cairo происходит от термина “CPU AIR” — AIR, реализующий концепцию CPU. Это эффективная и практичная архитектура фон Neumann, которую можно использовать с системой доказательств STARK для создания доказательств вычислительной целостности.
Программа Cairo создает трассировку , которую затем можно отправить ненадежному доказывающему , который генерирует STARK — доказательство правильности утверждения. Затем доказательство может быть проверено с помощью верификатора (который может быть или не быть ончейн).
Хорошо, теперь у нас есть общее представление о Cairo. Итак, давайте погрузимся глубже и ответим на следующие вопросы один за другим:
Сегодня большинство dApps в основном представляют собой контракт Solidity , реализующий какую-то логику, некоторый интерфейс и, возможно, серверную часть. Эти dApps, в случае успеха, неизбежно сталкиваются с проблемой масштабируемости .
Теперь dApps решают свои проблемы с масштабируемостью, обращаясь к проверенным решениям масштабируемости L2. Компонент вне сети берет на себя некоторые из более сложных частей бизнес-логики и взаимодействует со смарт-контрактами в сети, не отказываясь от безопасности.
До Cairo было сложно создать систему проверки, которая охватывает конкретную бизнес-логику. С Cairo барьеры для использования доказательств для достижения масштабируемости намного ниже. Вы пишете свою сложную логику на Cairo, проверяете ее вне сети, и как только это доказательство проверяется в сети, ваше приложение смарт-контракта может использовать результат без доверия.
В блоге Cairo под названием “Cairo for Blockchain Developers” упоминается следующее:
Роль смарт-контракта dApp меняется — из компонента, отвечающего за выполнение дорогостоящей бизнес-логики, он становится компонентом, отвечающим за устранение недорогих последствий этой бизнес-логики.
Инвестор Marquee Ryan Berckman также поделился своим мнением о StarkNet ниже:
В Cairo возникла новая концепция под названием Shared Prover (или SHARP). Он был выпущен StarkWare еще 16 февраля 2021 года .
SHARP — это связующее звено между кодом Cairo и смарт-контрактом Solidity. Он состоит из трех основных компонентов — доказывающего (вне сети), смарт-контракта верификатора (в сети) и контракта реестра фактов (в сети).
Ниже ZK Daily объясняет SHARP простыми словами:
Теперь давайте посмотрим, как вычисление работает под капотом:
Шаг 1: Доказывающая сторона берет трассировку выполнения Cairo, доказывает, что она действительна, и отправляет это доказательство проверяющей стороне.
Шаг 2: Затем ончейн-верификатор проверяет Proof.
Шаг 3: Затем верификатор записывает факт, подтверждающий действительность доказательства в контракте реестра фактов.
Шаг 4: Наконец, смарт-контракт dApp проверяет, существует ли этот факт, чтобы полагаться на вычисления, выполненные вне сети.
Источник : Cairo для разработчиков блокчейнов.
Давайте попробуем понять эту концепцию на примере 🧐
Представьте себе Wordle на основе блокчейна , где вы будете получать токены за угадывание правильного слова. В современных технологиях вам придется писать всю логику игры в Solidity. Излишне говорить, что это дорогое дело.
Вместо этого вы можете написать эту логику в Каире и выполнить ее вне сети. Вот как:
Сначала программа Cairo проверит слово.
Затем он активирует SHARP, чтобы сгенерировать доказательство и проверить его в сети.
После этого он напишет факт, который является подтверждением того, что это слово было правильным.
Наконец, смарт-контракты Wordle проверят, существует ли этот факт, и выплатят токены победителю.
Cairo WhitePaper дает нам подробное объяснение преимуществ Cairo. Давайте проверим несколько важных ниже:
Эффективность: набор инструкций Cairo был выбран таким образом, чтобы соответствующий AIR был максимально эффективным.
Практичность: Cairo поддерживает условные переходы, память, вызовы функций и рекурсию.
Производственный уровень: Cairo является основой нескольких криптовалютных систем, работающих на блокчейне Ethereum.
Встроенные функции: архитектура Cairo поддерживает реализацию предопределенных операций напрямую, в виде набора уравнений, вместо того, чтобы реализовывать их с помощью кода Cairo.
Эффективная общая память: в реализации памяти Cairo каждая ячейка памяти, которая должна использоваться совместно с верификатором, добавляет стоимость проверки всего в 4 арифметических операции.
Мы думаем, что лучший способ выучить язык программирования — написать код. Мы также добавили комментарии рядом с каждым синтаксисом и логикой, чтобы вы могли легко понять код.
Вход:
Выход :
Cairo полностью функционален и уже показал результаты на производственном уровне для многих приложений!
Взгляните на некоторые достижения Cairo
Источник : Введение в Каирское видео YT.
Недавно StarkWare анонсировала Cairo 1.0 , новую версию Cairo. В обновлении будет:
Sierra ( Безопасное промежуточное представление ), новый промежуточный уровень представления между Cairo 1.0 и байт — кодом Cairo .
Совершенно новый компилятор, который позволит разработчикам делать больше и проще.
Общее улучшение языка программирования (например, улучшенный синтаксис, более интуитивно понятные библиотеки, лучшая интеграция с компилятором и т. д.).
Чтобы узнать больше о Cairo 1.0 , посетите этот блог.
Мастерская Cairo 101
14–15 марта 2022 г.
Соучредитель и президент StarkWare Eli Ben Sasson объясняет технические особенности Каира
Источник : Семинар Cairo 101
Второй слой Амстердам
19–20 апреля 2022 г.
Технический директор ZKX BitPactum рассказал о создании Defi 3.0 с использованием Cairo
22 июля 2022 г.
Соавтор Cairo @PapiniShahar рассказывает о следующих эволюциях Cairo
12–14 августа 2022 г.
Инженер Nethermind Swapni Raj рассказывает о преимуществах Cairo
2 сентября 2022 г.
Мастерская Cairo Software Mansion
StarkCon — это конференция ZKX и StarkWare , организованная сообществом для повышения осведомленности о Cairo и экосистеме StarkNet во всем мире. Мероприятие объединяет ведущие голоса StarkNet, и в нем примут участие лучшие разработчики, строители, основатели, инвесторы и мировые СМИ. Недавно они объявили о гранте в размере 50 тысяч долларов для разработчиков и строителей, чтобы ускорить развитие и внедрение Cairo в Индии.
Теперь вы получили краткую информацию о Cairo и осознали его потенциал!
Но мы предполагаем, что вы не хотите останавливать свое путешествие по изучению Cairo здесь
Итак, мы собрали некоторые из лучших ресурсов, которые помогут вам узнать больше о Cairo:
Официальная документация StarkWare Cairo
Изучайте Cairo, играя в игры
Репозиторий Cairo на GitHub
Страница CairoLang в Твиттере
HackerNoon Cairo Repo
Заметки Perama’s
Учебники StarkNet
Cairo своим примером
Твиттер Henri’s, представителя StarkWare’e Dev Advocate
Cairo золотая жила
Итак, ребята, вот и подведение итогов четвертого выпуска нашей серии «Назад к основам». А пока давайте узнаем о Cairo и будем работать над децентрализованным будущим.
ZKX- это первый протокол деривативов “без разрешений” (пользователям не требуется разрешение на использование блокчейна, DeFi или связанной системы), построенный на StarkNet, с децентрализованной книгой ордеров и уникальным способом предлагать сложные финансовые инструменты в качестве свапов. Простыми слова он -Независим, Надежен и Не имеет границ.
ZKX привлекла 4,5 млн $ начального финансирования в июле 2022 года.
Не забудьте заполнить форму, чтобы в числе первых принять участие в запуске ZKX.
No activity yet