Крипто Devs | Gnezdo Hub – Telegram
Крипто Devs | Gnezdo Hub
431 subscribers
993 photos
61 videos
20 files
2.23K links
Агрегатор с крипто dev'ами

🦧 Основной канал: https://news.1rj.ru/str/cryptomokakke

☯️ Все каналы: https://news.1rj.ru/str/cryptomokakke/742

🗂 Все агрегаторы: https://news.1rj.ru/str/addlist/dNb2TYSUysU3Nzgy
Download Telegram
После прогона вашей фермы не забудьте мелочь с кошельков собрать: https://ct.app/batchCollection/bsc
Там остаются копейки нативом

📟 Прилетело из @n4z4v0d
GROK, Илон Маск и Pelican

Я думаю все видели/слышали о пампе GROK из-за очередного мува Илона Маска в твиттере. На этой новости можно было подобрать GROK в лонг на фьючах и забрать копеечку, что мы и сделали. Но самое главное: КАК мы узнали о новости еще не видев ее? Все просто.

В 20:49:36 по МСК в наш бот Pelican упал алерт о пампе GROK на Huobi и мы не долго думая открыли лонг с 10 плечом на мексе. Решил прошерстить телеграм и поискать где была новость первее/быстрее и нашел только один паблик, который был близок: пост в 20:49:46.

Выводы делайте сами 🤓

Чат | Support | Market
Pelican | HiddenCode [EN]

📟 Прилетело из @hidden_coding
😱 СТЕК WEB3 DEVA 2025

часть 1

🎧 БЛОКЧЕЙНЫ

Ethereum (EVM-сети: Arbitrum, Optimism, Polygon) + Ethereum 2.0 (PoS + шардинг)

Solana (высокая скорость, low-cost транзакции)

Cosmos SDK & Polkadot (модульные блокчейны)

Aptos/Sui (Move-язык, высокая производительность)

Bitcoin L2 (Stacks, Lightning Network)


🙁 ЯЗЫКИ

Solidity (EVM-сети: Ethereum, Polygon, Arbitrum и др.) - Смарт-контракты в Ethereum и EVM-совместимых блокчейнах.

💃 Особенности:

Статически типизированный, похож на JavaScript/C++.

Поддержка наследования, модификаторов, событий (events).

ERC-стандарты (ERC-20, ERC-721, ERC-1155).

🤨 Самый популярный язык для EVM.

Много документации и готовых шаблонов (OpenZeppelin).

Поддержка Hardhat, Foundry, Remix.

😘 Минусы:

Нет null-безопасности (можно допустить ошибки).

Ограниченная стандартная библиотека.

🐷 Rust (Solana, Polkadot, NEAR, Sui, Cosmos) - Высокопроизводительные блокчейны (не-EVM).

Особенности:

Системный язык с акцентом на безопасность памяти.

Использует ownership, borrowing, lifetimes для предотвращения утечек.

Компилируется в WASM (CosmWasm) или нативный код (Solana).

Высокая производительность (нет сборщика мусора).

Лучшая безопасность, чем у Solidity.

Активно развивается (Solana, Polkadot, Sui).

😺 Минусы:

Сложный для новичков (особенно lifetimes).

Меньше готовых решений, чем для Solidity.

😊 Move (Aptos, Sui) - Безопасные DeFi и NFT в Aptos/Sui.

Особенности:

Разработан Facebook (Diem) для безопасных транзакций.

Resource-oriented (активы нельзя скопировать или удалить случайно).

Нет переполнений (overflow protection).

Встроенная безопасность (ресурсы нельзя дублировать).

Проще, чем Rust, но безопаснее Solidity.

😎 Минусы:

Молодой язык (мало библиотек).

Ограниченная экосистема (только Aptos/Sui).

🕺 TypeScript (Frontend + взаимодействие с блокчейном)

😐 Для чего:

dApp фронтенд (React, Next.js).

Скрипты для работы с блокчейном (ethers.js, web3.js).

Удобно для Fullstack-разработчиков.

Большое количество Web3-библиотек.

😃 Минусы:

Не подходит для смарт-контрактов (только для взаимодействия).

Go (Golang) (Ноды, блокчейн-инфраструктура)

😣 Для чего:

Серверная часть (ноды, API).

Блокчейны на Go (Cosmos SDK, Polygon Edge).

Высокая производительность.

Используется в инфраструктурных проектах (Tendermint, Polkadot).

😮 Минусы:

Не для смарт-контрактов

Получаем:

EVM - Solidity + TypeScript.

Solana/Polkadot - Rust.

Aptos/Sui - Move.


инфраструктура - Go


🖐 Фреймворки для смарт-контрактов

Hardhat / Foundry (EVM-разработка)

Anchor (Solana)

CosmWasm (Cosmos)


🥵 Библиотеки

EVM-взаимодействие (JavaScript/TypeScript)

ethers.js

viem (альтернатива ethers.js)

wagmi (React-хуки для Web3)

😊 Rust-библиотеки

solana-program (для Solana)

anchor-lang (фреймворк для Solana)

polkadot.js (для Substrate-блокчейнов)

🗑 Python-библиотеки

web3.py - Взаимодействие с EVM из Python.

starknet.py (для StarkNet)

💰 Децентрализованное хранение

IPFS / Filecoin

Arweave (постоянное хранение)

Ceramic (децентрализованные базы данных)


🤬 Oracles & Off-Chain данные

Chainlink (Oracle-решения)

The Graph (индексация блокчейн-данных)

Pyth (ценовые фиды)

💣 Кошельки и авторизация

MetaMask / WalletConnect

Phantom (Solana)

Web3Auth (SSO для web3)

Safe - мультиподпись-кошелёк

SIWE (Sign-In with Ethereum)


🥩 Безопасность

Slither / MythX (аудит Solidity)

Certora (формальная верификация)

Tenderly (мониторинг и дебаг транзакций)


💎 DevOps и инфраструктура

Alchemy / Infura (нод-провайдеры)

QuickNode (мультичейн API)

Kubernetes (оркестрация нод)

Subsquid (индексация данных)


100 реакций и дропаю следующую часть

ЧЕГО НЕ ХВАТАЕТ, ВАШИ ПРЕДЛОЖЕНИЯ


📟 Прилетело из @code_vartcall
Please open Telegram to view this post
VIEW IN TELEGRAM
👍1
Как мы зарейзили $2.8M после твита живя на матрасе в СФ

Rork (я и @levanchan) зарейзили $2.8M pre-seed раунд от a16z, ChapterOne, Founders, Inc и других крутых ангелов и контрибьюторов Expo и React Native после 1 твита

Продукт был настолько классный что мы стали самой быстрорастущей компанией в text to mobile app: выросли от 0 до $700K ARR за 7 недель без платного маркетинга

Оказалось, что Твиттер и Founders, Inc.– отличный способ зарейзить в Долине если вы русский фаундер без особого нетворка. Спали по классике на матрасе в Сан Франциско, и до победного платили за AI со своей карты

Хочу сказать спасибо всем членам нашего deYC, которые были с нами с самого начала

Особенно хочу поблагодарить кофаундера @levanchan, который придумал пивот в мобильный апп и затащил продукт, а также @rebryk, @serafimeth, Леше Быхуну (@caffeinum), Кириллу, Сергею и Антону из Lovon, Пете (@neafiol), Леше (@mister_sosister) и Максу (@max_grock), Саше (@alexmfood) – без вас мы бы сюда не пришли!

🔗 TechCrunch
🔗 Twitter

📟 Прилетело из @max_grock
😕 ПАЛЬЧИКИ УСТАЛИ

сегодня стал обладателем клавиатуры razer huntsman mini

⌨️ разумеется руки не сразу привыкают, поэтому нашел для себя несколько способов ускорения этого процесса

Keybr.com - тренажёр, генерирует "слова", приближённые к реальным, фокусируется на слабых пальцах.

TypingClub.com - полноценный курс печати с прогрессией, видео и ачивками.

ZTy.pe - побеждаешь врагов, печатая слова как можно быстрее.

Monkeytype.com - тренажёр с минималистичным интерфейсом. Тренируемся на цитатах, коде, случайных словах даже с любимым шрифтом.

NitroType.com - гонки на машинках, побеждает тот, кто быстрее печатает.

thetypingcat.com - сайт с курсами для разных уровней: от новичков до разработчиков (есть даже тренажёр для HTML/CSS/JS)

Практикуемся и привыкаем к обновкам

⌨️ КАКАЯ У ВАС КЛАВА?? Расскажите ваш опыт!!

📟 Прилетело из @code_vartcall
Please open Telegram to view this post
VIEW IN TELEGRAM
ЗАРАБАТЫВАЕМ В WEB3 без работы в компании

💃 web3 фриланс

questbook.xyz - гранты, задания.

cryptojobslist.com - площадка с вакансиями и фриланс-заказами в крипто.

ethlance.qa.district0x.io - децентрализованная фриланс-биржа на Ethereum.

laborx.com - платформа с крипто-оплатами в USDT, ETH etc.

crypto.jobs - одна из самых популярных досок вакансий в криптосфере.

remote3.co - платформа для удаленной работы в Web3 и DAO

dework.xyz - организации работы в Web3

web3.career - ищем заказы / работу

zealy.io - геймифицированные задания для сообществ.


🥥 участие в баунти-программах

BountyHunter, Earnifi, Layer3 - платят за нахождение багов, выполнение простых заданий, переводы.

«Найди баг или предложи улучшение - получи токены».


🐷 Участие в хакатонах и грантовых программах

ethglobal.com/events/hackathons
grants.gitcoin.co
solana.com/news/tag/hackathon

ETH Global, Gitcoin Grants, Solana Hackathons


😊 Участие в DAO

Многие DAO платят за участие в голосовании, модерации, переводах, организации митапов.

bankless.community
gitcoin.co


😐 Автоматизация Web3-процессов (боты, скрипты)

Создание кастомных скриптов: арбитраж, автоклеймы, мониторинг токенов, отработка активностей, торговля

💰 Можно продавать как продукт или делать по заказу.


💵Создание и продажа NFT-коллекций

Даже без рисования: генерируемые коллекции, мем-NFT, утилитарные токены.

zora.co
opensea.io

Платформы: Zora, Foundation, OpenSea.


😕 Микро-задачи

rabbithole.gg/quests - платят за обучение и взаимодействие с dApps.

Layer3.xyz - квесты за крипто-награды.


😐 А что вы делаете на таком рынке?

📟 Прилетело из @code_vartcall
Please open Telegram to view this post
VIEW IN TELEGRAM
https://ct.app/batchCollection/bsc

напоминаю: не забывайте ваши копейки с кошельков клеймить, ибо когда вы с донора трансферите бнб на элиг адрес - остается часть бнб лишних - этой утилитой можно собрать

📟 Прилетело из @n4z4v0d
крипта vse? 😕

на рынке все меньше проектов, позитива и лайфченджей

будто это что-то меняет?

Создал форму, хочу понимать какой контент будет самым лучшим и полезным в это время

ФОРМА 👈
ФОРМА 👈
ФОРМА 👈


🐷 в подарок, всем кто заполнит, получит гайд - КАК НАЧАТЬ В WEB3

📟 Прилетело из @code_vartcall
Please open Telegram to view this post
VIEW IN TELEGRAM
🐾 ДЕВОЧКИ 14 ЛЕТ НЕДОРОГО

Внимание 90% аудитории получено, теперь можно и поговорить. В этом посте вы узнаете об боте-архиве, для чего он нужен и что в нем будет, а также решите его судьбму

⚠️ О чем речь

Представьте единый источник, где собрана вся информация о крипте: статьи, инструменты, аналитика и софты. Вместо часов поиска по TG-каналам или твиттеру — мгновенный доступ к структурированным данным через удобный поиск

Это ли не сон? Также помимо получения информации вы сможете её добавлять: любой может разместить в боте свою статью, взамен получив народное признание и несколько подписчиков

⚠️ Наполнение

В боте будет храниться очень много полезной инфы, поиск по которой будет реализован разными способами: по словам, по тегам, по авторам, регулярками и так далее

Все данные будут структурированы и разделены по категориям. Идеи для разделов написал ниже, это лишь малая часть из того, что я запланировал

Статьи и треды: две разные, но похожие категории, тут будет разделение по тематикам, краткое содержание, теги и ссылки на оригинал

Софты: репозитории, снипеты кода и готовые решения для проектов, со всеми нужными ссылками на чаты для решения проблем и задавания тупых вопросов

Инструменты: в этом разделе будут SOL-/EVM-инструменты, разные дашборды, трекеры, тулзы для анализа; также по категориям и тегам

Расходники: прокси, аккаунты, VPS/VDS сервера, антидетект браузеры и все подобное

Каналы: разделенные по тематикам каналы, чаты и форумы; от ретродропов, до щитпостов

Криптаны: списки инфлов, умных криптанов, а также черный список с рагерами и хуесосами

Приватки: описание наполнения и направления разных DAO/приваток/куков/хуюков

⚠️ Главные плюсы

За всю кодерскую деятельность я сделал овердохуя TG ботов и могу создать действительно приятного бота, как визуально, так и тактильно, пройдемся по главным фичам

+ Умный поиск — фильтрация по тегам, авторам, ключевым словам и тп

+ Удобство — реализация в пределах одного бота, все всегда под рукой

+ Контент от сообщества — все админы могут добавлять свои материалы

+ Модерация — ИИ поможет с тегами и сгенерирует краткое описание

+ Подписки — будет подписка на нужные теги и по ключевым словам

+ Бесплатный доступ — открытый ресурс для всех криптанов

Проект требует времени на реализацию, поэтому проголосуйте, нужен ли такой бот вам? Если идея понравится, то бот-архив станет вашим основным инструментом для работы с криптовалютами, гарантирую

🔗 Ссылка на голосование
🔗 Голосуй если хочешь жить
🔗 Тут можно кликать да или нет

Если дочитал до сюда, то не забывай, что можно оплатить иностранные сервисы через SolCard при помощи любимой криптовалюты. Связь 🤙🙂


😵‍💫 щитпост | все мои ссылки | плати соланой

📟 Прилетело из @in_crypto_info
Please open Telegram to view this post
VIEW IN TELEGRAM
👍1💩1
👨‍💻 DeSpeed Bot 👨‍💻

Бот для полной автоматизации Depin проект DeSpeed Network


🕺 Доступные модули:

🟢Register accounts
🟢Verify accounts
🟢Login accounts
🟢Farm accounts
🟢Export accounts statistics
🟢Clean accounts proxies

📚 Инструкция:

🔜🔜🔜 CLICK CLICK CLICK 🔙🔙🔙
🔜🔜🔜 CLICK CLICK CLICK 🔙🔙🔙

❗️Проект использует hCaptcha для защиты, которую не решают 99% капча солверов, единственный сервис, который может ее решать — Solvium. Если вам известны другие, напишите мне в ЛС, я добавлю

❗️Из за этого аккаунты будут регистрироваться достаточно долго, это нормально. Кроме этого, ближе к ночи нагрузка на сервис возвростает, поэтому может плохо решать, имейте виду



💎 Цена: БЕСПЛАТНО
🙃 Скачать: 🔜 CLICK 🔙


📱 Channel | 💬 Chat | 🐙 Github | 💎 Proxy

📟 Прилетело из @JamBitPY
Please open Telegram to view this post
VIEW IN TELEGRAM
Некоторые соображения о системе PerimeterX, которая пытается отделить ботов от людей при обращении к сайтам. К сожалению, простого и 100% надёжного способа нет https://www.scrapingbee.com/blog/how-to-bypass-perimeterx-anti-bot-system/

📟 Прилетело из @dev_in_ruby_colors
ДИСКОРД СЕРВЕР RELEASE

заходите, будем знакомиться, созваниваться и встречать бычку

discord.gg/9FSVKGqB
discord.gg/9FSVKGqB
discord.gg/9FSVKGqB

пишите, что добавлять на сервер

приятного нетворкинга ❤️

📟 Прилетело из @code_vartcall
Ныряем в кроссчейн дексы: плавает ли что перспективное?

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

1. 1Inch Fusion $1INCH:
Токен мне не нравится — падал без признаков роста. Но сам проект развивается, недавно добавили Solana. Конечно, конкурировать с Jupiter непросто, но у 1Inch есть свои плюсы.
Минус — не все сети поддерживаются. Хотел обменять ETH из ZkSync — не вышло, хотя сеть была в списке.
Понравилось, что можно подписать заявку на обмен без отправки транзакции (подписью) - исполнится, если найдётся решатель и проскальзывание не изменится. Approve некоторых токенов можно делать тоже через неё (permit), но чаще нужна отдельная транзакция - неудобно при нехватке газа.
Правда сейчас кошельки начинают поддерживать возможность оплаты комиссий в заранее пополненном токене.
После популяризации возможности оплаты Газа таким способом, у 1Inch fusion останется лишь конкурентоспособность по выгодности обмена.
Я так смотрел: получал не намного меньше чем отправлял. Хотя возможно зависит от обмениваемого токена - не знаю. Плюс, не считаю суммы до цента. Но иногда пользуюсь.
Обмен проходит до трёх минут, но чаще быстрее.
Итог: перспектива есть. Если 1Inch будет расширять сети и сохранять выгодные кроссчейн обмены.

2. Meson fi:
Использую для обмена стейблкоинов между сетями.
Выгодно: комиссия чаще всего в районе 5-10 центов, хотя зависит от сетей.
Скорость обмена тоже высокая. Но сетей также немного.
Удобно, что проект запоминает последний обмен, а также выбирает , по видимому, самый популярный в той или иной сети стейбл сразу. Это позволяет чаще всего не изменять токен.
Итог: перспектива есть, но в рамках стейблов. И если появятся ещё более выгодные / быстрые решения, потеряют преимущество.

3. Rubic exchange $RBC:
Удобен тем, что поддерживает где-то 80 сетей.
Но к сожалению последнее время стал разочаровывать: то обмен невозможен или не срабатывает, то интересной сети нет.
Токен упал на 98%, но за год лишь на -54%.
Я помню, что когда были все эти акции с объёмами курс был около 0.014 $. Так что неплохо держится.
Срок обмена бывает от 1 до 30 минут и больше. Но возможность обменять без поиска сервиса, например, Ton USDT на Arbitrum ETH или Cosmos ATOM на BSC USDT - круто.
Итог: перспективы неясны. Кроссчейн dex хорош поддержкой большого количества сетей, но невозможность обмена между некоторыми и непонятные сбои отталкивают... Если исправят ошибки и будут продолжать добавлять новые сети, будут конкурентоспособными хотя-бы по показателю "всё в одном месте".

4. symbiosis $SIS:
Поддерживает где-то 42 сети. Скорость также разная, т. к. это агрегатор.
Использую, когда в Rubic происходит сбой. Почему-то здесь обмен происходит вполне успешно, когда на предыдущем дексе ошибка.
Из минусов: субъективщина, но мне не нравится интерфейс и выбор сети и токена. При перемещении по кнопкам списки сливаются.
Токен рухнул на -99,11%.
Итог: перспективен, если сможет оставаться стабильно работающим при увеличении количества сетей. И если будет добавлять новые интересные. Токен же - бесперспективен.

5. Eywa $EYWA:
Я давно писал про этот проект обзор.
Запуск вышел хиленьким (с моей точки зрения), но токены держу.
Вот только как кроссчейн декс использовать Eywa сомнительно.
Да: тут есть основные сети и токены, но их всё же немного.
Комиссии тоже небольшие и скорость хорошая, но с тем же успехом можно пользоваться meson или 1Inch.
Хотя для крупных транзакций, возможно, и очень выгодно. Но для них нужна ликвидность хорошая. По данным DefiLlama их TVL всего 4,98 МЛН $!

Итог: перспектив особо нет. Но смогут выжить после добавления в агрегаторы, и если предложат лучший курс обмена по сравнению с другими проектами.
Но идея с consensus bridge - интересная. В прочем, об этом уже писал в обзоре. Осталось дождаться запуска.

Всё.
А вы какими кроссчейн дексами пользуетесь и почему?
P. S. Сервис для поиска мостов: findmybridge app.

Буду рад распространению, комментариям и реакциям.

😎 Незрячий web3 программист (подписаться)
Чат | бот

📟 Прилетело из @blind_dev
Просьба еще, кто фермы прогонял, можете в ЛС (@thinkingthinkingthinking) отписать сколько чистый профит
Хочу сделать пост-итог по джагеру, вас оставлю анонимными, просто сумма

📟 Прилетело из @n4z4v0d
Pelican - обновление 🔄

Обновили нашего бота, теперь алерты будут намного качественнее!

Что изменилось?

🟢Избавились от лоуликвидных токенов.
🟢Ускорили обработку спредов.
🟢Добавили высчитывание стаканов (показываем максимальную глубину стаканов и спред по его средней цене) объем стакана минимум 500$ хотя бы на одной бирже.
🟢Улучшили формат вывода информации.

👉 Ссылка на Pelican 👈

Чат | Support | Market
Pelican | HiddenCode [EN]

📟 Прилетело из @hidden_coding
Please open Telegram to view this post
VIEW IN TELEGRAM
если у кого-то еще остался не склеймленный элиг без ав - отпишите в лс, нужен для теста кош (@thinkingthinkingthinking)

📟 Прилетело из @n4z4v0d
крипто движ день новый

разберем все новости и что ожидать далее

🇺🇸 ФРС

в 21:00 (UTC+3) глава ФРС выступит с речью, также станет известно решение по процентной ставке.

💸Обновление Ethereum Pectra

Ethereum внедрил обновление Pectra, которое включает:

Умные аккаунты (EIP-7702):

позволяют обычным кошелькам временно функционировать как смарт-контракты.

Оптимизация Layer 2 (EIP-7691, EIP-7742):

снижение комиссий и улучшение масштабируемости.

Гибкий вывод стейкинга (EIP-7002):

упрощает управление средствами для валидаторов и сервисов.


😎 Coinbase запускает протокол x402

Coinbase представила протокол x402, который интегрирует платежи в стейблкоинах по стандарту HTTP, возрождая код ответа HTTP 402 «Payment Required». Партнёрами проекта стали AWS, Circle, Anthropic и Near Protocol.


🇺🇸 Политические дебаты вокруг криптовалют в США

time.com/7283210/congress-crypto-trump-democrats/

В США продолжаются споры вокруг законопроекта GENIUS Act, направленного на регулирование стейблкоинов.

Демократы выражают обеспокоенность возможным конфликтом интересов из-за участия семьи Трампа в криптовалютных проектах.

🇮🇳 🇵🇰 Конфликт между Индией и Пакистаном, начавшийся 7 мая, тажке может сильно повлиять на крипторынок:

📉 Инвесторы избегают риска - возможна коррекция $BTC и $ETH

🇮🇳 Индия - один из крупнейших крипторынков, возможны ограничения

💵 В Пакистане вырастет спрос на стейблкоины ($USDT)

🛢 Если конфликт затронет энергетику, возможна глобальная волатильность

🧠 Если эскалация продолжится, рынок может упасть; при деэскалации - быстро восстановится

Крипта снова на геополитических качелях.


Добавляем рубрику мощных новостей на канале? 🔥

📟 Прилетело из @code_vartcall
Please open Telegram to view this post
VIEW IN TELEGRAM
Чтобы запустить программу с меньшим количеством опкодов, чем фиксированное число, мы просто вставляем в нее NOP до тех пор, пока программа не достигнет максимального размера. Чтобы знать, когда «прекратить выполнение», пользователь должен предоставить вышеупомянутый аргумент steps, чтобы определить, когда будет возвращено значение в нижней части стека.

Несколько замечаний о нашей архитектуре:

- VM основана на стеке, как EVM, Java Virtual Machine или (для тех, кто знает) калькулятор Reverse Polish notation.

- Инструкций перехода нет, поэтому program counter только увеличивается.

- Все операционные коды принимают один аргумент, но ADD, MUL и NOP игнорируют переданный им аргумент. Это позволяет нам всегда увеличивать program counter на одну и ту же величину - нам не нужно обновлять его на 2 для PUSH, на 1 для ADD и так далее. Мы всегда сдвигаем счетчик на 2.

- Для того, чтобы прочитать аргумент PUSH, мы просто «смотрим вперед» на один индекс от program counter.

- Сложение и умножение выполняются с использованием модульной арифметики (по умолчанию в Circom). В качестве «размера слова» мы используем порядок поля по умолчанию в Circom - мы не пытаемся эмулировать виртуальные машины с традиционными размерами слов, такими как 64 или 256 бит. Эмуляция вычислений с битами фиксированного размера - тема следующей главы.

Вся статья тут - How a ZKVM Works.

#zkvm

📟 Прилетело из @solidityset
Как работает ZKVM. Часть 2

Мы можем внести несколько ключевых изменений в наш стековый код из предыдущего поста, чтобы собрать ZKVM, соответствующий спецификации, описанной выше.

- Мы удалили опкод POP, поскольку он больше не нужен;
- Мы добавили опкоды ADD и MUL;

Вспомните, что предыдущие правила копирования предыдущего стека были следующими:

- A. Если sp равен 1 или больше, а столбец j находится на 1 индекс ниже sp, и текущая инструкция - PUSH или NOP, мы должны скопировать столбец j;

- B. Если sp равно 2 или больше, и столбец j находится на 2 индекса ниже sp, а текущая инструкция - POP, мы должны скопировать столбец j;

Правило A остается неизменным, а вот B нужно обновить следующим образом:

- B. Если sp равно 2 или больше, а столбец j находится на 3 индекса ниже sp, и текущая инструкция - ADD или MUL, мы должны скопировать столбец j;

Причина этого изменения в том, что предыдущая инструкция POP не изменяла второй по счету элемент стека, а только удаляла верхний. Однако ADD дважды открывает стек и выводит сумму. Аналогично, MUL дважды открывает стек и вставляет произведение.

Предыдущая реализация стека только записывала новые значения в указатель стека. Однако новая реализация может записывать сумму или произведение на два индекса ниже указателя стека. Например, 12 в стеке ниже станет 15 после сложения, а это место находится на два индекса ниже указателя стека:

Перед добавлением:
[12 , 3, sp] (sp = 3)


После сложения:
[15, sp] (sp = 2)


Здесь у нас есть 12 в качестве нижней части стека и sp, указывающий на пустое пространство над стеком.

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

Приведенный в оригинальной статье код в значительной степени заимствован из стека предыдущей главы, но в нем реализованы обновления, описанные в этой главе. А именно:

- Мы заменили NOP, PUSH и POP на NOP, PUSH, ADD и MUL. ADD и MUL уменьшают указатель стека на единицу, NOP сохраняет указатель стека неизменным, а PUSH увеличивает указатель стека на единицу и копирует свой аргумент в вершину стека.

Если хотите покопаться в самом коде, то лучше перейти на оригинальную статью, где он представлен в развернутом виде - https://www.rareskills.io/post/zkvm.

Также его можно перенести в редактор кода с нейронными сетями и изучить, разбивая на небольшие сниппеты.

#zkvm

📟 Прилетело из @solidityset