Падписчикиииии, всем привет! Я надеюсь вы успели уже прочитать статью по стейблам, если еще не успели - жду ваших оправланий в комментариях. Ну а пока время тизера некст статьи...

Эволюция токеномики
Резил скоро

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

Погружение в Core Solidity. Часть 5

SAIL, десахаризация и стандартная библиотека

Помимо расширения поверхностного языка, переход на Core Solidity также введёт новый промежуточный язык среднего уровня, доступный пользователям: SAIL (Solidity Algebraic Intermediate Language — Алгебраический промежуточный язык Solidity). Это и есть «ядро» Core Solidity. SAIL представляет собой максимально упрощённый язык, на котором можно выразить всё разнообразие высокоуровневых конструкций, присутствующих в классической Solidity. Он состоит из следующих примитивных конструкций:

- Функции
- Контракты
- Блоки ассемблера (Yul)
- Объявление и присваивание переменных SAIL
- Выражение условного ветвления с коротким замыканием (if-then-else)
- Алгебраические типы данных и сопоставление с образцом
- Классы типов (type classes)
- Обобщения (generics)

Переменная SAIL концептуально похожа на переменную Yul: компилятор связывает её с ячейкой в стеке EVM. В SAIL существует единственный встроенный тип (word), диапазон значений которого совпадает с типами bytes32 или uint256 в классической Solidity и который семантически можно рассматривать как тип, соответствующий одному слоту стека EVM. Контракты в SAIL крайне низкоуровневы — по сути, это просто точки входа времени выполнения и инициализационного кода (initcode).

Хотя в текущей реализации SAIL используется Yul в качестве языка ассемблера, с теоретической точки зрения этот выбор в значительной степени произволен, и вместо него можно было бы использовать, например, ассемблер на основе RISC-V.

Мы уверены, что SAIL достаточно выразителен, чтобы реализовать все высокоуровневые функции и типы языка как комбинацию определений из стандартной библиотеки и проходов десахаризации — то есть синтаксических преобразований времени компиляции в примитивы SAIL. Core Solidity, таким образом, представляет собой SAIL, дополненный дополнительным «синтаксическим сахаром» и библиотеками. Он схож с Yul в своей двойной роли как промежуточного представления компилятора и низкоуровневого языка, доступного пользователю, и все примитивы SAIL будут непосредственно доступны при написании кода на Core Solidity. Подобный подход к построению языков широко применяется в других областях, требующих высокой надёжности (например, в системах автоматического доказательства теорем), и, по нашему мнению, он приносит существенные преимущества как для пользователей языка, так и для безопасности и корректности его реализации.

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

Авторы библиотек получат практически ту же выразительную мощность, что и разработчики языка, и смогут создавать абстракции, ощущающиеся как встроенные в сам язык («язык на основе библиотек»). Появится возможность определять и использовать альтернативные реализации стандартной библиотеки или полностью отключать стандартную библиотеку. При отключённой стандартной библиотеке можно будет писать код на Core Solidity с почти таким же уровнем контроля, как при использовании низкоуровневых ассемблерных языков вроде Yul или Huff, но при этом с современной и выразительной системой типов, основанной на математически строгих принципах.

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

Кроме того, мы ожидаем, что появление SAIL существенно упростит расширение и улучшение языка. Во многих случаях достаточно будет внести глубокие улучшения простым пул-реквестом в стандартную библиотеку. Когда же потребуется новая синтаксическая конструкция или новый проход десахаризации, мы рассчитываем, что их будет значительно проще прототипировать и специфицировать на SAIL без необходимости глубокого понимания внутренностей компилятора. Мы надеемся, что SAIL и Core Solidity позволят нам перейти к процессу разработки изменений в высокоуровневый язык и стандартную библиотеку, основанному на сообществе и использующему RFC-подобную модель.

#core

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

melee: рынки предсказаний на Solana с несколькими вариантами и преимуществом для первых участников.

Пока Alpha версия.
Мне понравилось, что там можно выбирать не просто "Да-Нет", а интересные варианты.
Например, в рынке, котором участвовал 12 ноября, были варианты ASTER, SOL, ETH, HYPE.
Я выбрал ASTER.
Единственный недостаток - долгое ожидание. Придётся ждать 16 ноября для определения результатов.

Итог:

1. Команда. Оценка 4 из 5: соцсети активные, отвечают корректно и быстро. Но команда представлена из 5 человек, да и то ссылка не на сайте.
Хотя важно сказать, что все они - профессионалы.

2. Концепт - 3 из 5. Идея с отдельными bonding curve для каждого исхода и сильным бонусом ранним участникам выглядит интересной. Но в доках нет анализа спроса и конкурентов, поэтому невозможно оценить, сможет ли Melee быть более востребованным, чем Polymarket. А ведь там тоже есть крупные объёмы и несколько субрынков по одному событию (например, варианты 2, 2.5 и 3 млрд $ капитализации Monad на TGE с ответами "Да" и "Нет").

3. Коин - 2 из 5: инвестиции есть, но небольшие (3.5 МЛН $ от двух фондов). Токена, токеномики и поинт программы нет.

4. Код - 1 из 5: пока закрыт, как сказали в Discord. Да и ссылок не нашёл..

5. Практика - 4 из 5. Интерфейс удобный, но можно было бы сделать лучше (например, фильтрацию рынков по статусу). Также нет продажи до завершения, что минус по сравнению с Polymarket.

В итоге 14 из 25 баллов.

Для Альфа версии норм, да и есть перспективы судя по команде, но будет ли выше рейтинг непонятно.

Читать в Teletype.

Буду рад изучению и распространению обзора. Это важно для меня.

#обзоры.

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

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

Сделаю небольшой ps

Прошлая статья, как и скорее всего следующие несколько, могут быть очень непонятный для не сильно погруженных в контекст крипты людей. Статьи получаются очень нагруженными и концентрированными, но это необходимо, ибо после долгого застоя и остутсвия статей успело много чего накопиться в плане информации, поэтому не опубликовав ряд тяжеловесных статей - дальше писать будет сложно. Если вам что-то в статьях не до конца понятно - не стесняйтесь писать в чат или спрашивать у чатгпт (он точно подскажет вам)

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

Ну а пока вот вам небольшой бонус в виде сайта, которые трекает доходные стейблы в риал тайме
https://www.stableyields.info/

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

Погружение в Core Solidity. Часть 6

Пользовательский ABI-кодировщик в пользовательском пространстве

Рассмотрим, как SAIL можно использовать для реализации высокоуровневых возможностей Core Solidity. Функция abi.encode — сложная и чрезвычайно обобщённая; в классическом Solidity она предоставляется как встроенная в компилятор. Полноценную реализацию этой функции на самом языке Solidity создать невозможно из-за рекурсивной природы спецификации ABI и, как следствие, бесконечного множества выразимых типов. Представленная здесь реализация сравнительно компактна, однако использует некоторые более продвинутые шаблоны и возможности. Мы хотим подчеркнуть, что обычные пользователи Solidity смогут эффективно работать, опираясь на уже имеющиеся знания, и при этом им не придётся сталкиваться с подобными низкоуровневыми внутренними деталями. В то же время мы надеемся, что продвинутые разработчики и авторы библиотек обрадуются новым возможностям, которые открывают эти возможности.

В целях упрощения изложения ограничимся фрагментом, необходимым для кодирования типа uint256.

uint256

Для начала сконструируем тип uint256. В классическом Solidity определение этого типа и всех связанных с ним операций является встроенной языковой конструкцией. В SAIL же этот тип полностью определяется средствами самого языка как простая обёртка над значением типа word. Мы также определяем для него экземпляр Typedef:

data uint256 = uint256(word);

instance uint256:Typedef(word) {
    function abs(w : word) -> uint256 {
        return uint256(w);
    }

    function rep(x : uint256) -> word {
        match x {
        | uint256(w) => return w;
        }
    }
}

Память и байты

Мы можем создавать типы, представляющие указатели на различные области данных EVM, путём обёртки значения типа word. Обратите внимание, что в приведённом фрагменте параметр типа у указателя memory является фантомным (phantom): он присутствует только в типе, но не упоминается ни в одном конструкторе значений. Такой подход широко используется в языках семейства ML, таких как Haskell или Rust, позволяя обеспечивать ограничения на этапе компиляции без каких-либо накладных расходов во время выполнения.

data memory(T) = memory(word)

Тип bytes в классическом Solidity представляет собой плотно упакованный массив байтов, размер которого известен только во время выполнения. Классический Solidity всегда требует указания области данных для значений типа bytes, поэтому в Core Solidity мы определяем его как пустой тип без конструкторов значений. Пустые типы могут использоваться только для инстанцирования фантомных параметров типов. Это означает, что, как и в классическом Solidity, экземпляры типа bytes не могут находиться в стеке.

data bytes;

Заметьте, что в этой конструкции указателей и областей данных область данных привязана непосредственно к типу (в отличие от классического Solidity, где она привязана к переменной), что позволяет, например, определять структуры в памяти, содержащие ссылки на хранилище (storage).

#core

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

Всем привет. Сегодня не будет больших постов с новостями.

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

Вопрос:

О чём бы вы хотели читать в моём канале?

1. Обзор токеномики каких токенов вам было бы интересно изучить?

2. Обзор доступности для незрячих веб-интерфейсов каких проектов было бы вам интересно почитать?

3. Другое...

Опросов не создаю, так как хочется узнать ваши мысли в комментариях.

Благодарю. И хороших наступающих выходных!

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

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

katexbt написала жёсткий doom-пост, но это наша реальность

https://x.com/katexbt/status/1994644884930637970

Крипта в жопе:

После токена TRUMP у нас не было нормального PvE раннера в мемах

Стейблкоин-протоколы (Level, Terminal) решили не делать TGE после долгих кампаний

Каждый второй думает, что может привлекать по оценкам 2021 года (INFINEX на $300M, OpenSea скоро на $1.5B)

TGE новых монет — минус 90% в день листинга

NFT мёртвые и неликвидные

NFT на других чейнах кроме Ethereum — ещё мертвее

Каждый AI-проект 2023-2024 просел на 98%, кроме нескольких (которые на минус 80%)

Известные протоколы, которым много лет (Balancer) взламывают, безопасного елда больше нет

Проекты годами не делают TGE, потому что знают — это провал (marginfi и другие)

InfoFi (Kaito) стал намного менее прибыльным, многие проекты после TGE торгуются на минус 50% от цены ICO

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

Сотрудники протоколов с живым TVL воруют изнутри, потому что им плевать на последствия — когда последний раз кого-то посадили за пару сотен тысяч долларов?

Что ещё? Давайте добавим к её твиту👇

Points fatigue — люди устали фармить поинты месяцами ради копеечных дропов, которые всё равно забирают боты

Low float / high FDV — токены выходят с 5% в обращении и FDV на миллиарды, community в минусе, VC в плюсе. Или даже они в минусе, сливают лишь бы что-то вытащить назад

PumpFun кидок. Собрали миллиард комиссиями, ещё столько же пресейлом и хер вам, а не дроп

VC exit pressure — все кто вошёл в 2021-2022 хотят выйти, чтобы перекинуть капитал в ИИ, давят на цену

CT превратился в ИИ-рекламу — каждый второй твит это paid promotion или каито-шилл, сгенерированный нейронками

Ты так и не продал эфир выше 4К, хотя за два года дали 4 шанса

А главное, Hyperliquid не раздал сегодня ещё хотя бы 10 млрд долларов дропом.

Мечта мертва. Пора искать работу.

Или нет?

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

Подписчики, у меня к вам вопрос!!!!🧙‍♂️

Думаю начать писать ресерчи небольшие и в целом больше коротких статей дропать (тк лонгриды долго писать, очевидно, и чтобы эфирное молчание было чем разбавить) и поэтому хочу вас спросить: Какой протокол вы хотели бы чтобы я заресерчил. Пишите в комменты варинаты (можете даже свои наброски и идеи для протоколов писать), прикольные возьмем на вооружение👨‍💻

статью со скрина мб завтра дропну, поглядим

#make_DeFi_great_again

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

Погружение в Core Solidity. Часть 7

Тип Proxy

Последним элементом, необходимым для реализации abi.encode, является тип Proxy:

data Proxy(T) = Proxy;

Как и в определении типа memory, параметр типа здесь является фантомным, однако, в отличие от memory, Proxy не несёт никакой дополнительной информации во время выполнения. Он существует исключительно как маркерный тип, позволяющий передавать информацию на этапе компиляции. Подобные типы полностью «бесплатны» с точки зрения производительности: они полностью элиминируются на этапе компиляции и вовсе не присутствуют в финальной скомпилированной программе.

Хотя Proxy может показаться довольно экзотическим инструментом, он чрезвычайно полезен и даёт нам значительный контроль над выводом типов и выбором экземпляров классов типов без необходимости передавать данные во время выполнения там, где они не нужны. Такой подход часто используется как в Haskell (где он тоже называется Proxy), так и в Rust (std::marker::PhantomData).

abi.encode

Теперь мы готовы реализовать функцию abi.encode из классического Solidity на языке SAIL. Начнём с определения класса типов для метаданных, связанных с ABI. Заметим, что поскольку этому классу не нужно знать фактическое значение передаваемого типа, мы используем Proxy, чтобы сделать реализацию максимально лёгкой.

forall T . class T:ABIAttribs {
    // how many bytes should be used for the head portion of the ABI encoding of `T`
    function headSize(ty : Proxy(T)) -> word;
    // whether or not `T` is a fully static type
    function isStatic(ty : Proxy(T)) -> bool;
}

instance uint256:ABIAttribs {
    function headSize(ty : Proxy(uint256)) -> word { return 32; }
    function isStatic(ty : Proxy(uint256)) -> bool { return true; }
}

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

// types that can be abi encoded
forall T . T:ABIAttribs => class T:ABIEncode {
    // abi encodes an instance of T into a memory region starting at basePtr
    // offset gives the offset in memory from basePtr to the first empty byte of the head
    // tail gives the position in memory of the first empty byte of the tail
    function encodeInto(x : T, basePtr : word, offset : word, tail : word) -> word /* newTail */;
}

instance uint256:ABIEncode {
    // a unit256 is written directly into the head
    function encodeInto(x : uint256, basePtr : word, offset : word, tail : word) -> word {
        let repx : word = Typedef.rep(x);
        assembly { mstore(add(basePtr, offset), repx) }
        return tail;
    }
}

Наконец, мы можем определить высокоуровневую функцию abi_encode, которая занимается первоначальным выделением памяти и обновлением указателя на свободную память (реализация вспомогательных низкоуровневых функций get_free_memory и set_free_memory опущена для краткости):

// top level encoding function.
// abi encodes an instance of `T` and returns a pointer to the result
forall T . T:ABIEncode => function abi_encode(val : T) -> memory(bytes) {
    let free = get_free_memory();
    let headSize = ABIAttribs.headSize(Proxy : Proxy(T));
    let tail = ABIEncode.encodeInto(val, free, 0, Add.add(free, headSize));
    set_free_memory(tail);
    return memory(free);
}

#core

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

Всё, что вам нужно знать про HuggingFace
P.S. В этом посте я упомяну "huggingface" 10 раз. Заранее извиняюсь

Тут будет сразу серия статей!!

Обзор huggingface.co

– Что такое huggingface;
– Кто и как использует huggingface;
– Как пользоваться huggingface новичку.

Выбор модели под задачу на huggingface.co

– Какие есть фильтры на huggingface и как ими пользоваться;
– Разберём практические шаблоны для фильтрации.

Обзор карточки модели на huggingface.co

– Разберём все разделы карточки на huggingface;
– Протестируем модель прямо в браузере;
– Узнаем кто и как может подгрузить кастомный код на наше локальное устройство и как этого избежать.

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

Рынок гуляет - мы вместе с ним. А гулять мы будем на призовой фонд онлайн хакатона Мантл на $150,000

Mantle запустили онлайн хакатон, который идёт прямо сейчас и закончится 7 февраля следующего года. Призовой пул составляет $150,000 и разбит на несколько треков. Я бы особо пригляделся к DeFi-направлению - там можно и выстрелить, и покачать скилы

Если вы давно хотели войти в dev-игру или просто ищете повод попробовать что-то новое — welcome.
Хакатоны особенно круто подходят новичкам, поэтому влетайте, тем более Мантл EVM совместимый чейн, поэтому простор для форков протоколов широк как никогда

Также напомню, что Мантл друг Bybit, ровно как например BNB с Binance, а у этих двух дружба вылилась в одну из самых перформящих экосистем. Кто знает, может через пару лет и мантл такие обороты наберет как BNB сейчас

Больше инфы по ссылке:
https://www.hackquest.io/hackathons/Mantle-Global-Hackathon-2025?utm=ortomich

Учавствуйте и побеждайте!
(Подача заявок закрывается 31 декабря, успевайте)

Статья о PSM MakerDao завтра

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

Токеномика $ZKP проекта ZkPass. Насколько хороша она, и насколько будет перспективен будущий токен?

Он ещё не появился, но токеномику опубликовали в X статье.

zkPass - это технология, которая позволяет доказывать любые данные из Web2 без передачи личной информации. Благодаря zkTLS можно подтвердить факт - например, что у тебя есть аккаунт на бирже с верификацией, что ты совершил определённое количество действий в X или что у тебя есть определённые достижения, - но не раскрывать логин, баланс или другие детали. Всё работает прямо через браузер, без доступов проекта к сайтам.
По сути, zkPass - это приватный оракул, который превращает данные в криптографическое доказательство, чтобы их можно было использовать в Web3 безопасно и анонимно.

Распределение:

Всего: 1 МЛРД.

1. Community - 48.5%
12.5% разблокировано на TGE. 6% начисляется линейно в течение первых 3 месяцев с момента TGE, 30% начисляется ежемесячно в течение 5 лет, начиная с TGE.
Многовато будет выделяться первые полгода. Это 2% в месяц, что может привести к просадке при небольшом спросе.
Плюс, распределяется 0.5% в месяц. - это уже норм.
Но если суммарно с первым будет 6 месяцев, то это вообще будет 2.5% - дофига!

2. Early Investors - 22.5%
0% на TGE, 12-месячный перерыв, за которым следует 18-месячное линейное распределение.
22.5% / 18 = 1.25% в месяц - многовато.
Инвесторам много распределяют (> 10%) - может привести к просадке после разлоков.

3. Core Contributors - 14%
0% на TGE, 24-месячный перерыв, за которым следует 24-месячный линейный вестинг.
14% / 24 = 0.583% в месяц - нормально, но суммарно получится многовато.
Это, как понимаю, команде. Здесь более-менее нормально. Конечно выше допустимого максимума в 10%, но редко когда вижу это значение. А тут укладывается в 15%, которые периодически наблюдаю.

4. DAO Treasury - 10%
Линейный вестинг в течение 5 лет.
10% / 60 = 0.166% в месяц - допустимо.
Смотря на что будут распределять, но в любом случае норм доля выделяется.

5. Liquidity - 5%
100% на TGE.
Зависит от того, как будут использовать, но в целом доля допустимая выделяется.

Итог по вестингу:

В первые 3 месяца разлок составляет примерно 2.16% в месяц.
С 4-го месяца до 12-го он снижается до 0.66%.
Через год после TGE начинается разлок инвесторов - нагрузка повышается до 1.92% в месяц.
А через два года подключаются Core Contributors, и совокупный разлок достигает 2.499% в месяц.
В целом разлоки довольно большие, особенно после первого года - цена может не выдержать такую нагрузку без сильного спроса.

Утилиты $ZKP:

1. Settlement Medium - $ZKP используется как основной расчётный токен внутри zkPass: им оплачивается выполнение доказательств, работа верификаторов и операции zkTLS.
2. Validator Collateral - $ZKP выступает в роли коллатерала для валидаторов, обеспечивая корректность, аптайм и безопасность сети. При нарушениях возможен слэшинг.
3. Network Credits - токен служит сетевыми кредитами для учёта вклада участников, включая вычисления, интеграции и подтверждения данных.
4. Service Access - предприятия и разработчики используют $ZKP для доступа к zk-native verification API и приватной инфраструктуре проверки данных.
5. Governance и координация - $ZKP участвует в управлении через zkPassDAO и служит связующим слоем между проверяемыми системами в экосистеме zkPass.
6. Дефляционная модель - часть комиссий сжигается, а DAO периодически выкупает $ZKP за счёт доходов протокола, что делает модель токена дефляционной.


Общий итог:

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

К сожалению проекты почему-то не понимают, что от токеномики (распределения + ютилити + создания реально рабочего продукта до токена) зависит их же успех.

А как вам проект? Напишите мнение в комментариях.
Я пользовался, и показался удобным: понравилось подтверждать верификацию на CEX без повторной отправки данных кому-то непонятному.

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

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