🔥 Prosto Exchange - последние обновления
За последние недели ProstoEx сделали сразу несколько крупных обновлений, которые реально выводят сервис на новый уровень. Коротко - теперь это полноценная экосистема для покупки/продажи USDT легально, быстро и без серых схем.
🏛 Поддержка всех основных банков РФ
По просьбам клиентов добавили новые способы оплаты:
• СБП - до 100k за транзакцию / до 500k в месяц
• Т-Банк - до 1 млн в сутки / до 5 млн в месяц
• ВТБ - до 300k за транзакцию / до 1 млн в сутки
• Сбербанк - до 48k за транзакцию / до 300k в сутки / 1,5 млн в месяц
👥 Уникальная 3-уровневая реферальная система (до 33%)
Уровень 1 - Новичок
• 1-5 рефералов
• 25% бонус с каждой сделки
Уровень 2 — Опытный трейдер
• 6-25 рефералов
• 5,000$+ объём сделок
• +5% бонус
Уровень 3 — Платиновый партнёр
• 26-50 рефералов
• 6,000$+ объём
• +3% бонус
🤝 Партнёрство с xRocket
Теперь кошелёк xRocket можно пополнять через офисы ProstoEx в любых валютах.
Быстро, без ограничений, с проверенной ликвидностью.
⏰ Сервис работает 24/7
Реально круглосуточно:
- ночью нужны деньги?
- ночью хотите купить USDT?
- нужна консультация?
- оплата крупной покупки?
🛡 Безопасность и соответствие законам
ProstoEx подчёркивают:
• вся крипта проходит AML-чек
• никаких дропов, третьих лиц или подозрительных контрагентов
• поддержка отвечает всем и быстро
👤 Мой личный опыт
Недавно менял 10,000 USDT через @prostoexbot.
Всё прошло без задержек, курс отличный, - чистая сделка напрямую в офисе.
Сервис реально стал удобнее и надёжнее.
🧾 Контакты:
@Prosto_Exchange — поддержка
@Prosto_Reviews — отзывы
@ProstoEx_News — обновления
@ProstoExBot — обменник
Я не беру деньги за этот пост. Это не реклама.
Просто делюсь тем, чем сам пользуюсь.
Я не несу ответственности за действия сервиса, но на данный момент ProstoEx — единственный вариант, который я использую для покупки/продажи USDT без «серых» схем и заморозок карт.
📟 Прилетело из @n4z4v0d
За последние недели ProstoEx сделали сразу несколько крупных обновлений, которые реально выводят сервис на новый уровень. Коротко - теперь это полноценная экосистема для покупки/продажи USDT легально, быстро и без серых схем.
🏛 Поддержка всех основных банков РФ
По просьбам клиентов добавили новые способы оплаты:
• СБП - до 100k за транзакцию / до 500k в месяц
• Т-Банк - до 1 млн в сутки / до 5 млн в месяц
• ВТБ - до 300k за транзакцию / до 1 млн в сутки
• Сбербанк - до 48k за транзакцию / до 300k в сутки / 1,5 млн в месяц
Теперь можно работать не только через СБП, но и через крупные банки напрямую.
👥 Уникальная 3-уровневая реферальная система (до 33%)
Уровень 1 - Новичок
• 1-5 рефералов
• 25% бонус с каждой сделки
Уровень 2 — Опытный трейдер
• 6-25 рефералов
• 5,000$+ объём сделок
• +5% бонус
Уровень 3 — Платиновый партнёр
• 26-50 рефералов
• 6,000$+ объём
• +3% бонус
Итого до 33% со всех сделок, включая:
наличные, безнал, оплату услуг, квартиры, авто - всё.
🤝 Партнёрство с xRocket
Теперь кошелёк xRocket можно пополнять через офисы ProstoEx в любых валютах.
Быстро, без ограничений, с проверенной ликвидностью.
⏰ Сервис работает 24/7
Реально круглосуточно:
- ночью нужны деньги?
- ночью хотите купить USDT?
- нужна консультация?
- оплата крупной покупки?
Саппорт работает в режиме always online, сделки проходят в любое время.
🛡 Безопасность и соответствие законам
ProstoEx подчёркивают:
• вся крипта проходит AML-чек
• никаких дропов, третьих лиц или подозрительных контрагентов
• поддержка отвечает всем и быстро
👤 Мой личный опыт
Недавно менял 10,000 USDT через @prostoexbot.
Всё прошло без задержек, курс отличный, - чистая сделка напрямую в офисе.
Сервис реально стал удобнее и надёжнее.
🧾 Контакты:
@Prosto_Exchange — поддержка
@Prosto_Reviews — отзывы
@ProstoEx_News — обновления
@ProstoExBot — обменник
🎁 @prostoexbot — лучшие условия.
Я не беру деньги за этот пост. Это не реклама.
Просто делюсь тем, чем сам пользуюсь.
Я не несу ответственности за действия сервиса, но на данный момент ProstoEx — единственный вариант, который я использую для покупки/продажи USDT без «серых» схем и заморозок карт.
📟 Прилетело из @n4z4v0d
Что за циферки?
Мы уже разобрались с тем как запускать модели локально (способ 1 и способ 2). Теперь надо понять как выбрать модель под свои нужды и как прочитать "паспорт модели", который выглядит примерно так:
Всё это очень подробно разобрал в конспекте:
Читать: Как выбрать AI модель
SemolinaCode | Chat | YouTube | HowToCode | Prop
📟 Прилетело из @semolina_code_python
Мы уже разобрались с тем как запускать модели локально (способ 1 и способ 2). Теперь надо понять как выбрать модель под свои нужды и как прочитать "паспорт модели", который выглядит примерно так:
Model
architecture gemma3
parameters 4.3B
context length 131072
embedding length 2560
quantization Q4_K_M
Capabilities
completion
vision
Parameters
temperature 1
top_k 64
top_p 0.95
stop "<end_of_turn>"
License
Gemma Terms of Use
Last modified: Feb 21, 2024
Всё это очень подробно разобрал в конспекте:
Читать: Как выбрать AI модель
SemolinaCode | Chat | YouTube | HowToCode | Prop
📟 Прилетело из @semolina_code_python
В Steam можно получить "Значок отборочного комитета премии Steam"
Для того, чтобы получить значок 4-го уровня и 100 единиц опыта, нужно выполнить 4 задания:
1. Номинируйте хотя бы одну игру
2. Сыграйте в игру, которую вы номинировали
3. Номинируйте по игре в каждой категории
4. Напишите (или обновите) обзор номинированной игры
Страница премии тут
📟 Прилетело из @steamner
Для того, чтобы получить значок 4-го уровня и 100 единиц опыта, нужно выполнить 4 задания:
1. Номинируйте хотя бы одну игру
2. Сыграйте в игру, которую вы номинировали
3. Номинируйте по игре в каждой категории
4. Напишите (или обновите) обзор номинированной игры
Страница премии тут
📟 Прилетело из @steamner
пацаны я могу сказать честно - 0 идей как выруливать это, похуй на наш минус -250к, похуй на девсел, но ключевая проблема здесь именно утечка ВСЕХ кошельков которые использовались в проекте
и это ТОЧНО не произошло на стороне моей команды, напомню что 2 года назад мы этой же командой держали combine где в пике было 700к активных кошей, это блять 20-30-50млн$ на баликах и ни 1 кошелек не пострадал
с того времени мы пользуемся теми же механизмами шифрования и приватности, а здесь мы впервые с кем-то пошейрили коши - и это был мм
мы сначала раздали дропа на 100к, потом влили в откуп токена 250к для того чтобы рагнуть блять проект на 70к$ по девселлу? (потому что остальной удар это клейм физов с пула, физы никаким образом не повлияли на чарт)
поэтому мы пока честно без понятия как вырулить конкретно этот токен, бабки от продажи паков/боксов (это 886 сол = 122к) у нас на другом коше, который не передавался никуда и с ним все ок, мы их фул будем рефандить
поэтому пока сценарий такой, что мы сделаем фул рефанд абсолютно всем, кто что-либо купил на платформе а саплай, который мы откупили - мы сожгли
я чуть позже распишу большой степ-бай-степ пост у себя как только закончатся все коллы
📟 Прилетело из @n4z4v0d
и это ТОЧНО не произошло на стороне моей команды, напомню что 2 года назад мы этой же командой держали combine где в пике было 700к активных кошей, это блять 20-30-50млн$ на баликах и ни 1 кошелек не пострадал
с того времени мы пользуемся теми же механизмами шифрования и приватности, а здесь мы впервые с кем-то пошейрили коши - и это был мм
мы сначала раздали дропа на 100к, потом влили в откуп токена 250к для того чтобы рагнуть блять проект на 70к$ по девселлу? (потому что остальной удар это клейм физов с пула, физы никаким образом не повлияли на чарт)
поэтому мы пока честно без понятия как вырулить конкретно этот токен, бабки от продажи паков/боксов (это 886 сол = 122к) у нас на другом коше, который не передавался никуда и с ним все ок, мы их фул будем рефандить
поэтому пока сценарий такой, что мы сделаем фул рефанд абсолютно всем, кто что-либо купил на платформе а саплай, который мы откупили - мы сожгли
я чуть позже распишу большой степ-бай-степ пост у себя как только закончатся все коллы
📟 Прилетело из @n4z4v0d
Лео красавчик брат тигр
Жаль его, но не меньше и не больше, чем свои 3 тыщи
Обещаю фулл рефанд за боксы и паки, плюс за активацию уже вернули все в токенах, но из-за курса, я покупал улучшений на 1.1к$, а получил 70$. То есть сумму в токенах вернули всю, но из-за дампа курса - можно сказать не вернули ничего
📟 Прилетело из @n4z4v0d
Жаль его, но не меньше и не больше, чем свои 3 тыщи
Обещаю фулл рефанд за боксы и паки, плюс за активацию уже вернули все в токенах, но из-за курса, я покупал улучшений на 1.1к$, а получил 70$. То есть сумму в токенах вернули всю, но из-за дампа курса - можно сказать не вернули ничего
📟 Прилетело из @n4z4v0d
SteamAwards2025.rar
12.5 MB
Проявили актив и софт вышел буквально за 3 часа , так же благодарность за 500 подписчиков .
logpass от софта - SteamAwards2025
📟 Прилетело из @steamner
logpass от софта - SteamAwards2025
📟 Прилетело из @steamner
Результаты прошлой недели по байбит:
🟡 Заведено 360 акков.
🟡 Байбит подбривает достаточно сильно, особенно ТСы.
🟡 Результаты:
- Доход: 9718$
- Расход: 3458$
- Лежит в наградах на ре-фейс: еще ~ 3.3 к профита и 0.8 к в затратах
Чистыми: уже 4.3 к. + ~2к ожидаю с оставшихся рефейсов.
🟡 % повторных фейс сканов: ~ 80%
- Сложно считать % так как фейс сканы растянуты по времени.
- Постоянные селлеры реверифают почти все. Общий % портят тесты новых кусеров. Потратили на поиски всю неделю, нашли аж 2. Если б тратили время на генерацию ссылок и оплаты - думаю на тесты времени бы не осталось.
🟡 Создали табличку "Список гандонов" куда вносим недобросовестных кусеров.
Итог:
В целом нормальная неделя, постепенно увеличиваем объемы.
Сложнее фармить чем раньше, но конкуренция теперь около нулевая😋
📟 Прилетело из @cum_insider
- Доход: 9718$
- Расход: 3458$
- Лежит в наградах на ре-фейс: еще ~ 3.3 к профита и 0.8 к в затратах
Чистыми: уже 4.3 к. + ~2к ожидаю с оставшихся рефейсов.
- Сложно считать % так как фейс сканы растянуты по времени.
- Постоянные селлеры реверифают почти все. Общий % портят тесты новых кусеров. Потратили на поиски всю неделю, нашли аж 2. Если б тратили время на генерацию ссылок и оплаты - думаю на тесты времени бы не осталось.
Итог:
В целом нормальная неделя, постепенно увеличиваем объемы.
Сложнее фармить чем раньше, но конкуренция теперь около нулевая
📟 Прилетело из @cum_insider
Please open Telegram to view this post
VIEW IN TELEGRAM
#MegaETH #полезное
MegaETH открывают Pre-Deposit под будущий USDm. Суть простая: вносишь USDC сейчас, а в день запуска мейннета получаешь USDm 1:1 на тот же адрес, плюс участие в их rewards кампании.
Это опция для тех, кто уже проходил KYC и регался на Sonar под $MEGA сейл. Один верифицированный кошелек = один участник.
😀 Условия
— Старт в 15:00 (авторизация через Sonar, сами депозиты стартуют в 16:00 по Киеву)
— Собирают $250М (формат FCFS, без лимита на аккаунт)
— Держать деньги до середины-конца декабря, вывести депозит до запуска мейннета нельзя
— Актив: только USDC в сети Ethereum
😎 Что нужно делать
1. Зайти на сайт пре-депозита в 15:00,
2. Залогиниться через Sonar тем же кошельком, что был на сейле
3. Подготовить USDC + ETH на газ, скорее всего будет большая конкуренция, возможно стоит ожидать газвар
4. В 16:00 быть готовым нажать депозит
🤑 Доходность
На всю фарминг кампанию выделено 2.5%, но на данный момент нет информации будет ли этот % только для pre-deposit или еще и для будущих наград.
Если они выделят 0.5% на pre-deposit, то с текущей ценой премаркета (0.37$) мы получим 55% APR с условием, что мейннет через 45 дней.
Из рисков тут только взлом самого протокола, таймлайн понятен и над проектом работает хорошая команда.
📟 Прилетело из @oxygen_tools
Please open Telegram to view this post
VIEW IN TELEGRAM
Вторая волна атаки Шаи-Хулуд, будьте аккуратны https://www.bleepingcomputer.com/news/security/shai-hulud-malware-infects-500-npm-packages-leaks-secrets-on-github/
📟 Прилетело из @dev_in_ruby_colors
📟 Прилетело из @dev_in_ruby_colors
BleepingComputer
Shai-Hulud malware infects 500 npm packages, leaks secrets on GitHub
Hundreds of trojanized versions of well-known packages such as Zapier, ENS Domains, PostHog, and Postman have been planted in the npm registry in a new Shai-Hulud supply-chain campaign.
Насколько хорош токен $LMTS от Limitless? Изучаем токеномику.
Limitless - это платформа рынков предсказаний подобно Polymarket, только менее известная.
Удивительно, что несмотря на тренд рынков предсказаний токен проекта падал на 53.33% 13 ноября. Это уже показатель плохой токеномики.
Но может у них есть шансы на восстановление - изучим.
По данным Tokenomist, разблокировано 13%, в локе 64.95%, TBD (в неизвестном состоянии) - 21.92% (многовато).
Всего - 1 МЛРД.
22 октября был TGE, а следующий разлок 22 апреля 2026 на 85.37 МЛН токенов (64,99% от текущего количества), что невероятно много!
Распределение:
1. Investors - 25%.
0% разблокируется на TGE, 6-месячный клифф, 24-месячный линейная разблокировка.
Инвесторам выделили много (> 10%).
Получается, что выпускаться будет по 1.04% каждый месяц от общего количества, что немало.
2. Team - 25%.
Тоже много (> 10%).
0% разблокировано на TGE; 12-месячный жёсткий клифф (плюс мягкий 24-месячный клифф, установленный фондом разработки — вестинг начинается только после 2 лет полноценной работы); 33% разблокируются через 12 месяцев; оставшиеся токены разблокируются линейно в течение 24 месяцев (минимальный общий срок — 36 месяцев).
Через год выпускается сразу 8.25% от общего предложения - это очень много.
Остальные 16.75% в течение двух лет.
16.75 / 24 = 0.6979%
Округляя: около 0.7% в месяц от общего количества токенов, что немало.
3. Ecosystem rewards (Airdrops & Incentives) - 24.37%.
Из этой аллокации часть разблокирована сразу: 2% ушли на Season 1 Airdrop, 0.25% распределили в рамках кампании Wallchain, а ещё 0.2% получили пользователи Atlantis World и ранние участники, которым токены отправили напрямую на кошельки.
Доля существенная, но на TGE уж очень мало распределили. Большое количество после него будет в рынке, да ещё и без конкретных вестингов - риск больших выплесков на рынок.
4. Treasury - 13%.
Как понимаю, это на развитие (разработка, маркетинг и пр.).
0% разблокируется на TGE, 6-месячный клифф, 24-месячный линейный вестинг.
Это примерно 0.55% в месяц.
Отдельно - норм. Суммарно - многовато.
Хотя, как я уже писал выше, зависит от того, кому и за что будут выделять эти суммы.
5. Liquidity - 10%.
Всё на TGE.
Сумма нормальная, но неизвестно, как используется. Если добавили в пулы ликвидности - одно. Если маркетмейкеру - другое (зависит от его профессионализма и процента прибыли в токенах).
6. Kaito pre-sale - 1.37%.
Количество за маркетинг вполне нормальное.
Максимум стоило бы выделять 2-3%.
7. Echo Round - 1.26%.
0% разблокируется на TGE, 6-месячный клифф, 24-месячный линейный вестинг.
Раунд экосистемы. Непонятно, что он означает, но в любом случае доля выделяемая тут небольшая.
Итог:
С апреля 2026 года будет слишком много выливаться на рынок или просто планироваться для будущего распределения (казначейство).
На данном же этапе основная доля - ликвидность. На втором месте - дропы, на третьем - Kaito.
Тут или управление ликвидностью плохое, или просто из этой доли продают.
А Причина: при таком соотношении вряд ли наградные активы могли бы сильно понизить цену.
Только если бы все 100% продали, а такого никогда не бывает.
Учитывая будущие разлоки, перспектив не вижу. Он будет укатываться и дальше.
А учитывая отсутствие утилит, создающих спрос (или я их не нашёл), шансов нет.
Благодарю за внимание.
Буду рад реакциям, репостам и комментам.
😎 Незрячий web3 программист (подписаться)
Чат | бот
📟 Прилетело из @blind_dev
Limitless - это платформа рынков предсказаний подобно Polymarket, только менее известная.
Удивительно, что несмотря на тренд рынков предсказаний токен проекта падал на 53.33% 13 ноября. Это уже показатель плохой токеномики.
Но может у них есть шансы на восстановление - изучим.
По данным Tokenomist, разблокировано 13%, в локе 64.95%, TBD (в неизвестном состоянии) - 21.92% (многовато).
Всего - 1 МЛРД.
22 октября был TGE, а следующий разлок 22 апреля 2026 на 85.37 МЛН токенов (64,99% от текущего количества), что невероятно много!
Распределение:
1. Investors - 25%.
0% разблокируется на TGE, 6-месячный клифф, 24-месячный линейная разблокировка.
Инвесторам выделили много (> 10%).
Получается, что выпускаться будет по 1.04% каждый месяц от общего количества, что немало.
2. Team - 25%.
Тоже много (> 10%).
0% разблокировано на TGE; 12-месячный жёсткий клифф (плюс мягкий 24-месячный клифф, установленный фондом разработки — вестинг начинается только после 2 лет полноценной работы); 33% разблокируются через 12 месяцев; оставшиеся токены разблокируются линейно в течение 24 месяцев (минимальный общий срок — 36 месяцев).
Через год выпускается сразу 8.25% от общего предложения - это очень много.
Остальные 16.75% в течение двух лет.
16.75 / 24 = 0.6979%
Округляя: около 0.7% в месяц от общего количества токенов, что немало.
3. Ecosystem rewards (Airdrops & Incentives) - 24.37%.
Из этой аллокации часть разблокирована сразу: 2% ушли на Season 1 Airdrop, 0.25% распределили в рамках кампании Wallchain, а ещё 0.2% получили пользователи Atlantis World и ранние участники, которым токены отправили напрямую на кошельки.
Доля существенная, но на TGE уж очень мало распределили. Большое количество после него будет в рынке, да ещё и без конкретных вестингов - риск больших выплесков на рынок.
4. Treasury - 13%.
Как понимаю, это на развитие (разработка, маркетинг и пр.).
0% разблокируется на TGE, 6-месячный клифф, 24-месячный линейный вестинг.
Это примерно 0.55% в месяц.
Отдельно - норм. Суммарно - многовато.
Хотя, как я уже писал выше, зависит от того, кому и за что будут выделять эти суммы.
5. Liquidity - 10%.
Всё на TGE.
Сумма нормальная, но неизвестно, как используется. Если добавили в пулы ликвидности - одно. Если маркетмейкеру - другое (зависит от его профессионализма и процента прибыли в токенах).
6. Kaito pre-sale - 1.37%.
Количество за маркетинг вполне нормальное.
Максимум стоило бы выделять 2-3%.
7. Echo Round - 1.26%.
0% разблокируется на TGE, 6-месячный клифф, 24-месячный линейный вестинг.
Раунд экосистемы. Непонятно, что он означает, но в любом случае доля выделяемая тут небольшая.
Итог:
С апреля 2026 года будет слишком много выливаться на рынок или просто планироваться для будущего распределения (казначейство).
На данном же этапе основная доля - ликвидность. На втором месте - дропы, на третьем - Kaito.
Тут или управление ликвидностью плохое, или просто из этой доли продают.
А Причина: при таком соотношении вряд ли наградные активы могли бы сильно понизить цену.
Только если бы все 100% продали, а такого никогда не бывает.
Учитывая будущие разлоки, перспектив не вижу. Он будет укатываться и дальше.
А учитывая отсутствие утилит, создающих спрос (или я их не нашёл), шансов нет.
Благодарю за внимание.
Буду рад реакциям, репостам и комментам.
😎 Незрячий web3 программист (подписаться)
Чат | бот
📟 Прилетело из @blind_dev
120k$ рефанд за купленные паки/боксы в draftedfun стартовал.
Сори пришлось потратить больше времени на все даблчеки перед запуском.
Рассылка идет с этого адреса:
https://solscan.io/account/GuXv9sqZVhnRmjueZbszsrHHgpXmRwp5kKpxQ6FtxudY?exclude_amount_zero=true&flow=out&remove_spam=true#transfers
В течение 10-15мин вся соль будет у вас на кошельках. Тотал рефанд ~897 $SOL = ~120k$
А по самой ситуации мы продолжаем общаться и искать концы, как будет больше инфы я обязательно дропну апдейт.
📟 Прилетело из @n4z4v0d
Сори пришлось потратить больше времени на все даблчеки перед запуском.
Рассылка идет с этого адреса:
https://solscan.io/account/GuXv9sqZVhnRmjueZbszsrHHgpXmRwp5kKpxQ6FtxudY?exclude_amount_zero=true&flow=out&remove_spam=true#transfers
В течение 10-15мин вся соль будет у вас на кошельках. Тотал рефанд ~897 $SOL = ~120k$
А по самой ситуации мы продолжаем общаться и искать концы, как будет больше инфы я обязательно дропну апдейт.
📟 Прилетело из @n4z4v0d
Крипто Devs | Gnezdo Hub
🏛How stablecoins work Привет подписчики! Сегодня я поделюсь с вами своими познаниями о стейблкоинах. Как работают известные вам проекты и как крутится ДеФи маховик. Если вам эти слова уже начинают быть непонятными - спросите их значение у чатгпт. Ну а для…
Падписчикиииии, всем привет! Я надеюсь вы успели уже прочитать статью по стейблам, если еще не успели - жду ваших оправланий в комментариях. Ну а пока время тизера некст статьи...
Эволюция токеномики
Резил скоро
📟 Прилетело из @ortomich_main
Эволюция токеномики
Резил скоро
📟 Прилетело из @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, десахаризация и стандартная библиотека
Помимо расширения поверхностного языка, переход на 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
#core
📟 Прилетело из @solidityset
#PerpLand #EdgeX #полезное
У EdgeX в документации наконец-то появилась токеномика, и для нас там самое важное доля на airdrop.
😎 Цифры
Всего токенов: 1 млрд $EDGE
— 25% airdrop, полная разблокировка сразу на TGE
— 25% core contributors + инвесторы, лок на 2 года
— 10% команда, тоже лок на 2 года
— 40% долгосрочный пул на экосистему и комьюнити, заблокирован под дальнейшее развитие
Ликвидными в рынке будут только токены пользователей, что является очень хорошей новостью.
Если вы успели в последний вагон по EdgeX с нашим софтом, то теперь есть точная математика. Осталось только дождаться дропа. Проект точно обгонит Lighter с датой выхода.
Следим дальше за анонсами TGE и условиями участия.
📟 Прилетело из @oxygen_tools
Please open Telegram to view this post
VIEW IN TELEGRAM