PUMP на двухмесячном максимуме: Ансем раскрыл позицию — и рынок побежал следом
Токен Pump.fun прибавил более 23% в понедельник и стал лучшим по росту среди 100 крупнейших активов на CoinGecko: интрадей-максимум $0.00207 — сильнейший уровень с 12 мая. Триггер персональный: трейдер Ансем раскрыл покупку PUMP по цене около $0.001675 и изложил бычий кейс по лончпаду — то есть уже сидит в плюсе на собственном сигнале.
Ралли началось ещё до его поста: в воскресенье PUMP прыгнул с ~$0.0016 до ~$0.0019 на волне мемкоин-хайпа вокруг Jimothy The Raccoon — токен по вирусному мему про енота из Сиэтла сделал +186% за сутки до капитализации ~$11 млн. Классическая для Pump.fun механика: горячий мем гонит объём через платформу, объём конвертируется в выручку, выручка через байбеки давит на предложение PUMP.
Контекст, почему именно Ансем двигает этот тикер: последний месяц он — главный публичный лоббист интересов холдеров. Требовал от платформы аирдроп на $250–300 млн для активных трейдеров вместо чистых сжиганий, а токен ANSEM, запущенный комьюнити на его имени, сделал ~20 000% за неделю после его обещания раздавать креаторские комиссии. Фоном — работающая машина выкупа: кумулятивные байбеки превысили $400 млн, полная выручка платформы с середины 2025-го — порядка $459 млн.
Оговорки для трезвости. Навес предложения никуда не делся: 15 июля стартовал трёхлетний вестинг — 57,28 млрд PUMP на $86,5 млн разошлись по 121 кошельку команды и инвесторов, и это только начало графика разлоков. Сам Ансем ранее признавал пределы модели: одних байбеков недостаточно для удержания оценки — он указывал на разрыв между HYPE и PUMP при сильной выручке обеих компаний. Ну и движение, рождённое твитом одного инфлюенсера и мемом про енота, живёт ровно столько, сколько живёт внимание.
Источник:
https://beincrypto.com/pump-fun-token-two-month-high-ansem/
————————————————————
BredoStrategy Vault
Hyperliquid рефка
BredoStrategySubs
Токен Pump.fun прибавил более 23% в понедельник и стал лучшим по росту среди 100 крупнейших активов на CoinGecko: интрадей-максимум $0.00207 — сильнейший уровень с 12 мая. Триггер персональный: трейдер Ансем раскрыл покупку PUMP по цене около $0.001675 и изложил бычий кейс по лончпаду — то есть уже сидит в плюсе на собственном сигнале.
Ралли началось ещё до его поста: в воскресенье PUMP прыгнул с ~$0.0016 до ~$0.0019 на волне мемкоин-хайпа вокруг Jimothy The Raccoon — токен по вирусному мему про енота из Сиэтла сделал +186% за сутки до капитализации ~$11 млн. Классическая для Pump.fun механика: горячий мем гонит объём через платформу, объём конвертируется в выручку, выручка через байбеки давит на предложение PUMP.
Контекст, почему именно Ансем двигает этот тикер: последний месяц он — главный публичный лоббист интересов холдеров. Требовал от платформы аирдроп на $250–300 млн для активных трейдеров вместо чистых сжиганий, а токен ANSEM, запущенный комьюнити на его имени, сделал ~20 000% за неделю после его обещания раздавать креаторские комиссии. Фоном — работающая машина выкупа: кумулятивные байбеки превысили $400 млн, полная выручка платформы с середины 2025-го — порядка $459 млн.
Оговорки для трезвости. Навес предложения никуда не делся: 15 июля стартовал трёхлетний вестинг — 57,28 млрд PUMP на $86,5 млн разошлись по 121 кошельку команды и инвесторов, и это только начало графика разлоков. Сам Ансем ранее признавал пределы модели: одних байбеков недостаточно для удержания оценки — он указывал на разрыв между HYPE и PUMP при сильной выручке обеих компаний. Ну и движение, рождённое твитом одного инфлюенсера и мемом про енота, живёт ровно столько, сколько живёт внимание.
Источник:
https://beincrypto.com/pump-fun-token-two-month-high-ansem/
————————————————————
BredoStrategy Vault
Hyperliquid рефка
BredoStrategySubs
Strategy пятую неделю не покупает биткоин: привлечённые $263,5 млн ушли в кэш
Strategy раскрыла в 8-K за неделю 13–19 июля: продано 2,73 млн акций MSTR через ATM на $263,5 млн чистыми, биткоин не покупался и не продавался. Средства направлены в долларовый резерв — он вырос на $225 млн до $3,2 млрд и предназначен под дивиденды по префам и проценты по долгу.
Покупок нет с 22 июня — пятая неделя подряд. Привилегированные бумаги (STRC, STRF, STRK, STRD) на этой неделе не размещались, байбеков акций тоже не было. Позиция без изменений: 843 775 BTC по средней $75 476.
Источник:
https://www.strategy.com/press/strategy-increases-usd-reserve-by-225-million-now-holds-btc-reserve-of-843775-and-usd-reserve-of-3-2-billion_07-20-2026
————————————————————
BredoStrategy Vault
Hyperliquid рефка
BredoStrategySubs
Strategy раскрыла в 8-K за неделю 13–19 июля: продано 2,73 млн акций MSTR через ATM на $263,5 млн чистыми, биткоин не покупался и не продавался. Средства направлены в долларовый резерв — он вырос на $225 млн до $3,2 млрд и предназначен под дивиденды по префам и проценты по долгу.
Покупок нет с 22 июня — пятая неделя подряд. Привилегированные бумаги (STRC, STRF, STRK, STRD) на этой неделе не размещались, байбеков акций тоже не было. Позиция без изменений: 843 775 BTC по средней $75 476.
Источник:
https://www.strategy.com/press/strategy-increases-usd-reserve-by-225-million-now-holds-btc-reserve-of-843775-and-usd-reserve-of-3-2-billion_07-20-2026
————————————————————
BredoStrategy Vault
Hyperliquid рефка
BredoStrategySubs
Кит на Hyperliquid закрыл 40x-лонг по BTC на $122 млн, не дожидаясь ликвидации
Публичный кошелёк на Hyperliquid полностью вышел из 40x лонг-позиции по биткоину. На 19 июля позиция оценивалась примерно в $107 млн (1 660 BTC с ценой ликвидации ~$63 123), рано утром 20 июля трейдер сначала нарастил её ещё на 235 BTC — до 1 897 BTC и ~$122 млн.
Затем последовал выход двумя частями: 903 BTC проданы по средней ~$64 666, оставшиеся 994 BTC закрыты в 06:33 UTC по средней ~$63 931. Суммарно закрыто сделок на $63,56 млн, позиция обнулена.
С карты ликвидаций исчез уровень ~$61 605 — самый заметный ориентир по конкретному кошельку, за которым следил рынок. Совокупный открытый интерес по BTC на площадках при этом остаётся крупным, так что при движении вниз давление ликвидаций будет исходить из других открытых позиций.
Источник:
https://cryptoslate.com/bitcoin-whale-dumps-122-million-40x-long-before-liquidation-can-strike/
————————————————————
BredoStrategy Vault
Hyperliquid рефка
BredoStrategySubs
Публичный кошелёк на Hyperliquid полностью вышел из 40x лонг-позиции по биткоину. На 19 июля позиция оценивалась примерно в $107 млн (1 660 BTC с ценой ликвидации ~$63 123), рано утром 20 июля трейдер сначала нарастил её ещё на 235 BTC — до 1 897 BTC и ~$122 млн.
Затем последовал выход двумя частями: 903 BTC проданы по средней ~$64 666, оставшиеся 994 BTC закрыты в 06:33 UTC по средней ~$63 931. Суммарно закрыто сделок на $63,56 млн, позиция обнулена.
С карты ликвидаций исчез уровень ~$61 605 — самый заметный ориентир по конкретному кошельку, за которым следил рынок. Совокупный открытый интерес по BTC на площадках при этом остаётся крупным, так что при движении вниз давление ликвидаций будет исходить из других открытых позиций.
Источник:
https://cryptoslate.com/bitcoin-whale-dumps-122-million-40x-long-before-liquidation-can-strike/
————————————————————
BredoStrategy Vault
Hyperliquid рефка
BredoStrategySubs
Сооснователь NEAR: AI-хакинг уже обгоняет классические аудиты кода
Илья Полосухин, сооснователь NEAR Protocol, заявил в подкасте The Block, что AI-assisted хакинг начался с эксплойта Balancer в октябре 2025-го, и модель безопасности «умные люди ревьюят код и надеются, что более умный ничего не найдёт» больше не работает: каждая следующая, более сильная модель находит то, что пропустила предыдущая.
Его решение — формальная верификация: математическое доказательство, что код делает ровно то, что заявлено. Исторически это было дорого и медленно, но AI переворачивает экономику процесса: модель генерирует доказательство, человеку остаётся только проверить его корректность. Доверять самому AI при этом не требуется.
Рабочий пример уже есть — Project Tachyon у Zcash: AI-assisted верификация выдала математическое доказательство, что шилдед-пул Ironwood не может содержать баг с необнаружимой подделкой монет, аналогичный найденному в пуле Orchard месяцем ранее. По оценке проекта, работа, занимавшая годы, сократилась до недель.
Параллельно NEAR в тот же день выкатила апгрейд сети: пользователи могут переключиться на квантово-устойчивые ключи аккаунтов, а сеть — автоматически расширять пропускную способность при росте активности.
Источник:
https://www.theblock.co/post/408943/ai-assisted-hacking-outpacing-traditional-code-reviews-near-co-founder-says
————————————————————
BredoStrategy Vault
Hyperliquid рефка
BredoStrategySubs
Илья Полосухин, сооснователь NEAR Protocol, заявил в подкасте The Block, что AI-assisted хакинг начался с эксплойта Balancer в октябре 2025-го, и модель безопасности «умные люди ревьюят код и надеются, что более умный ничего не найдёт» больше не работает: каждая следующая, более сильная модель находит то, что пропустила предыдущая.
Его решение — формальная верификация: математическое доказательство, что код делает ровно то, что заявлено. Исторически это было дорого и медленно, но AI переворачивает экономику процесса: модель генерирует доказательство, человеку остаётся только проверить его корректность. Доверять самому AI при этом не требуется.
Рабочий пример уже есть — Project Tachyon у Zcash: AI-assisted верификация выдала математическое доказательство, что шилдед-пул Ironwood не может содержать баг с необнаружимой подделкой монет, аналогичный найденному в пуле Orchard месяцем ранее. По оценке проекта, работа, занимавшая годы, сократилась до недель.
Параллельно NEAR в тот же день выкатила апгрейд сети: пользователи могут переключиться на квантово-устойчивые ключи аккаунтов, а сеть — автоматически расширять пропускную способность при росте активности.
Источник:
https://www.theblock.co/post/408943/ai-assisted-hacking-outpacing-traditional-code-reviews-near-co-founder-says
————————————————————
BredoStrategy Vault
Hyperliquid рефка
BredoStrategySubs
Эндрю Куомо вошёл в совет директоров OKX и продвигает круглосуточную торговлю токенизированными акциями
Бывший губернатор Нью-Йорка Эндрю Куомо вошёл в совет директоров OKX, о чём биржа объявила в понедельник. Связь не новая: месяцем ранее OKX и Intercontinental Exchange (материнская компания NYSE) создали совместное предприятие 50/50 по токенизированным акциям, которое Куомо возглавляет как сопредседатель.
В эфире Fox Business он изложил тезисы: крипта — это финансовая инфраструктура будущего, а не токены; круглосуточная международная торговля акциями способна привести триллионы долларов иностранного капитала на американские площадки; токенизация даёт дробное владение и мгновенные расчёты.
Контекст: OKX, исторически сфокусированная на международных рынках, расширяется в США, где доминирует Coinbase. Ончейн-акции — общий вектор индустрии: Robinhood уже предлагает европейцам токены на сотни американских акций и ETF, Backpack недавно запустил торговлю токенизированными бумагами 24/7.
Источник:
https://www.theblock.co/post/408938/former-ny-governor-cuomo-joins-okx-board-touts-24-7-tokenized-trading
————————————————————
BredoStrategy Vault
Hyperliquid рефка
BredoStrategySubs
Бывший губернатор Нью-Йорка Эндрю Куомо вошёл в совет директоров OKX, о чём биржа объявила в понедельник. Связь не новая: месяцем ранее OKX и Intercontinental Exchange (материнская компания NYSE) создали совместное предприятие 50/50 по токенизированным акциям, которое Куомо возглавляет как сопредседатель.
В эфире Fox Business он изложил тезисы: крипта — это финансовая инфраструктура будущего, а не токены; круглосуточная международная торговля акциями способна привести триллионы долларов иностранного капитала на американские площадки; токенизация даёт дробное владение и мгновенные расчёты.
Контекст: OKX, исторически сфокусированная на международных рынках, расширяется в США, где доминирует Coinbase. Ончейн-акции — общий вектор индустрии: Robinhood уже предлагает европейцам токены на сотни американских акций и ETF, Backpack недавно запустил торговлю токенизированными бумагами 24/7.
Источник:
https://www.theblock.co/post/408938/former-ny-governor-cuomo-joins-okx-board-touts-24-7-tokenized-trading
————————————————————
BredoStrategy Vault
Hyperliquid рефка
BredoStrategySubs
Приватный AI-роутинг на инфраструктуре Venice: OpenSoftware запустила авто-выбор моделей в June
OpenSoftware добавила в June — открытый AI-воркспейс для Mac (чат, диктовка, заметки со встреч, локальный агент) — автоматический приватный роутинг моделей. Пользователь выбирает один из трёх режимов (Low, Balanced, High), приложение само подбирает модель под каждый запрос. По умолчанию — нулевое хранение данных и приватные модели.
Инференс идёт через Venice AI — крипто-нативную платформу приватного доступа к моделям с zero-retention архитектурой: промпты не сохраняются на серверах, история живёт только локально у пользователя. У Venice своя токеномика (VVV на Base, стейкинг даёт доступ к инференсу), а в этом месяце компания достигла оценки в $1 млрд.
Продукт бесплатный для пробы, полностью open source под MIT, бэкенд работает в TEE — заявления о приватности можно проверить по коду, а не принимать на веру. Для Venice это ещё один канал дистрибуции после интеграции с OpenRouter: приватный инференс постепенно становится инфраструктурным слоем, который сторонние приложения подключают по умолчанию.
Источник:
https://x.com/OpenSoftwareCo/status/2079285998383444145
————————————————————
BredoStrategy Vault
Hyperliquid рефка
BredoStrategySubs
OpenSoftware добавила в June — открытый AI-воркспейс для Mac (чат, диктовка, заметки со встреч, локальный агент) — автоматический приватный роутинг моделей. Пользователь выбирает один из трёх режимов (Low, Balanced, High), приложение само подбирает модель под каждый запрос. По умолчанию — нулевое хранение данных и приватные модели.
Инференс идёт через Venice AI — крипто-нативную платформу приватного доступа к моделям с zero-retention архитектурой: промпты не сохраняются на серверах, история живёт только локально у пользователя. У Venice своя токеномика (VVV на Base, стейкинг даёт доступ к инференсу), а в этом месяце компания достигла оценки в $1 млрд.
Продукт бесплатный для пробы, полностью open source под MIT, бэкенд работает в TEE — заявления о приватности можно проверить по коду, а не принимать на веру. Для Venice это ещё один канал дистрибуции после интеграции с OpenRouter: приватный инференс постепенно становится инфраструктурным слоем, который сторонние приложения подключают по умолчанию.
Источник:
https://x.com/OpenSoftwareCo/status/2079285998383444145
————————————————————
BredoStrategy Vault
Hyperliquid рефка
BredoStrategySubs
Ончейн-сводка: киты двигают крупные объёмы ETH и BTC
Свежий кошелёк вывел с Gemini 74 000 ETH на ~$136 млн и сразу отправил весь объём в стейкинг Ethereum. Это не похоже на подготовку к продаже: монеты заблокированы в валидаторах, хотя личность владельца и то, покупался ли ETH непосредственно перед выводом, неизвестны.
Параллельно Abraxas Capital вывела из Aave 20 000 ETH (~$38,5 млн). Заметное сокращение депозита в протоколе, но дальнейший маршрут монет не установлен — вывод из лендинга сам по себе о продаже не говорит.
По биткоину активизировался кошелёк с шестилетней историей: перемещено 2 000 BTC на ~$131 млн, из которых 800 BTC (~$52,2 млн) ушли в Cumberland, ещё 1 200 BTC — на новый адрес. Перевод в институциональный OTC-деск повышает вероятность сделки, но состоявшуюся продажу не доказывает.
Общий рисунок утра: старые и крупные держатели перекладывают позиции — ETH уходит в стейкинг, BTC частично двигается в сторону OTC. Направленного сигнала в этом нет, но объёмы достаточные, чтобы держать эти адреса в поле зрения.
————————————————————
BredoStrategy Vault
Hyperliquid рефка
BredoStrategySubs
Свежий кошелёк вывел с Gemini 74 000 ETH на ~$136 млн и сразу отправил весь объём в стейкинг Ethereum. Это не похоже на подготовку к продаже: монеты заблокированы в валидаторах, хотя личность владельца и то, покупался ли ETH непосредственно перед выводом, неизвестны.
Параллельно Abraxas Capital вывела из Aave 20 000 ETH (~$38,5 млн). Заметное сокращение депозита в протоколе, но дальнейший маршрут монет не установлен — вывод из лендинга сам по себе о продаже не говорит.
По биткоину активизировался кошелёк с шестилетней историей: перемещено 2 000 BTC на ~$131 млн, из которых 800 BTC (~$52,2 млн) ушли в Cumberland, ещё 1 200 BTC — на новый адрес. Перевод в институциональный OTC-деск повышает вероятность сделки, но состоявшуюся продажу не доказывает.
Общий рисунок утра: старые и крупные держатели перекладывают позиции — ETH уходит в стейкинг, BTC частично двигается в сторону OTC. Направленного сигнала в этом нет, но объёмы достаточные, чтобы держать эти адреса в поле зрения.
————————————————————
BredoStrategy Vault
Hyperliquid рефка
BredoStrategySubs
2
Tether Gold получил статус Accepted Spot Commodity в финансовом центре Абу-Даби
XAUT признан «принятым спотовым товаром» в Abu Dhabi Global Market — регулируемые компании финцентра теперь могут предлагать услуги с токенизированным золотом Tether при наличии соответствующих разрешений. Это второй регуляторный статус Tether в ADGM: ранее USDT был принят как Accepted Fiat Referenced Token.
Продукт растёт быстро: TVL Tether Gold за год более чем утроился — с ~$826 млн до ~$2,86 млрд по DefiLlama. Расширяются и сценарии использования: в июне Ledn анонсировала приём XAUT в качестве залога по кредитам — занимать против токенизированного золота можно будет без его продажи.
Контекст сегмента: токенизированные товары оцениваются в ~$4,46 млрд — почти 13% всего рынка токенизированных RWA ($34,73 млрд по RWA.xyz). Абу-Даби последовательно собирает у себя регулируемую линейку Tether, укрепляя позицию одного из главных ближневосточных хабов для токенизированных активов.
Источник:
https://cointelegraph.com/news/tether-gold-recognized-as-accepted-spot-commodity-in-abu-dhabi-financial-center
————————————————————
BredoStrategy Vault
Hyperliquid рефка
BredoStrategySubs
XAUT признан «принятым спотовым товаром» в Abu Dhabi Global Market — регулируемые компании финцентра теперь могут предлагать услуги с токенизированным золотом Tether при наличии соответствующих разрешений. Это второй регуляторный статус Tether в ADGM: ранее USDT был принят как Accepted Fiat Referenced Token.
Продукт растёт быстро: TVL Tether Gold за год более чем утроился — с ~$826 млн до ~$2,86 млрд по DefiLlama. Расширяются и сценарии использования: в июне Ledn анонсировала приём XAUT в качестве залога по кредитам — занимать против токенизированного золота можно будет без его продажи.
Контекст сегмента: токенизированные товары оцениваются в ~$4,46 млрд — почти 13% всего рынка токенизированных RWA ($34,73 млрд по RWA.xyz). Абу-Даби последовательно собирает у себя регулируемую линейку Tether, укрепляя позицию одного из главных ближневосточных хабов для токенизированных активов.
Источник:
https://cointelegraph.com/news/tether-gold-recognized-as-accepted-spot-commodity-in-abu-dhabi-financial-center
————————————————————
BredoStrategy Vault
Hyperliquid рефка
BredoStrategySubs
Vault более 600к профита при том что рынок и BTC все еще ниже старта Vault 153 дня назад
————————————————————
BredoStrategy Vault
Hyperliquid рефка
BredoStrategySubs
————————————————————
BredoStrategy Vault
Hyperliquid рефка
BredoStrategySubs
Предложение LINK на биржах упало на 12% за месяц — Santiment
За последний месяц с известных централизованных бирж выведено более 15,7 млн LINK — предложение токена на биржах сократилось со ~132,5 млн до 116,78 млн, минус 12%. Отдельный всплеск в последние дни: 1,04 млн LINK чистого оттока за сутки, второй по величине дневной вывод за месяц.
Устойчивый отток с бирж обычно читается как перекладывание в самостоятельное хранение и снижение доступного для продажи предложения — фактор, работающий на цену при возвращении спроса. Показательно, что вывод шёл непрерывно и на снижении цены: LINK за этот период падал с ~$8,4 к ~$7,2, но держатели продолжали забирать токены, а последние дни цена восстанавливается к ~$8,5.
Фон для оттоков — плотная лента интеграций Chainlink последних недель: Aave Stable Vaults на CCIP, Proof of Reserves для United Stables, партнёрства в стейблкоин-инфраструктуре. Прямую связь ончейн-данные не доказывают, но спрос со стороны долгосрочных держателей с новостным потоком согласуется.
Источник:
https://x.com/santimentfeed
————————————————————
BredoStrategy Vault
Hyperliquid рефка
BredoStrategySubs
За последний месяц с известных централизованных бирж выведено более 15,7 млн LINK — предложение токена на биржах сократилось со ~132,5 млн до 116,78 млн, минус 12%. Отдельный всплеск в последние дни: 1,04 млн LINK чистого оттока за сутки, второй по величине дневной вывод за месяц.
Устойчивый отток с бирж обычно читается как перекладывание в самостоятельное хранение и снижение доступного для продажи предложения — фактор, работающий на цену при возвращении спроса. Показательно, что вывод шёл непрерывно и на снижении цены: LINK за этот период падал с ~$8,4 к ~$7,2, но держатели продолжали забирать токены, а последние дни цена восстанавливается к ~$8,5.
Фон для оттоков — плотная лента интеграций Chainlink последних недель: Aave Stable Vaults на CCIP, Proof of Reserves для United Stables, партнёрства в стейблкоин-инфраструктуре. Прямую связь ончейн-данные не доказывают, но спрос со стороны долгосрочных держателей с новостным потоком согласуется.
Источник:
https://x.com/santimentfeed
————————————————————
BredoStrategy Vault
Hyperliquid рефка
BredoStrategySubs
Южная Корея перезапустила работу над стейблкоин-законом с дедлайном до конца года
Правительство и правящая Демократическая партия возобновили работу над второй фазой Digital Asset Basic Act — законом, который легализует и отрегулирует стейблкоины в вонах. 20 июля партия провела закрытый брифинг с Комиссией по финансовым услугам (FSC) в Национальной ассамблее и договорилась ускорить процесс: профильный подкомитет будет собираться дважды в месяц, цель — внести законопроект к сентябрю и провести до конца года. На следующий день глава FSC на докладе президенту Ли Чжэ Мёну подтвердил курс: институционализация выпуска стейблкоинов и усиление AML — приоритеты второго полугодия.
Повестка обсуждений: правила выпуска, требования к резервам, AML и платёжные сценарии, включая расчёты через AI-агентов. Согласованного текста пока нет — в парламенте лежат десять конкурирующих законопроектов от обеих партий, а дискуссия была на паузе четыре месяца с марта. Главные спорные пункты: обязательные банко-центричные консорциумы для воновых стейблкоинов и ограничение доли мажоритариев в криптобиржах (10–15%), по которому парламентская исследовательская служба дважды указала на возможную неконституционность.
Внешний фактор давит на сроки: с января действует американский GENIUS Act, и без собственной рамки корейский рынок — один из самых активных розничных в мире — рискует уйти в долларовые стейблкоины. Параллельно в правительственном плане на второе полугодие: поправки в Capital Markets Act под первые спотовые крипто-ETF и пилот токенизированных гособлигаций с CBDC в 2027-м.
Источник:
https://www.cryptotimes.io/2026/07/20/south-korea-targets-september-for-won-stablecoin-bill-vows-fortnightly-reviews/
————————————————————
BredoStrategy Vault
Hyperliquid рефка
BredoStrategySubs
Правительство и правящая Демократическая партия возобновили работу над второй фазой Digital Asset Basic Act — законом, который легализует и отрегулирует стейблкоины в вонах. 20 июля партия провела закрытый брифинг с Комиссией по финансовым услугам (FSC) в Национальной ассамблее и договорилась ускорить процесс: профильный подкомитет будет собираться дважды в месяц, цель — внести законопроект к сентябрю и провести до конца года. На следующий день глава FSC на докладе президенту Ли Чжэ Мёну подтвердил курс: институционализация выпуска стейблкоинов и усиление AML — приоритеты второго полугодия.
Повестка обсуждений: правила выпуска, требования к резервам, AML и платёжные сценарии, включая расчёты через AI-агентов. Согласованного текста пока нет — в парламенте лежат десять конкурирующих законопроектов от обеих партий, а дискуссия была на паузе четыре месяца с марта. Главные спорные пункты: обязательные банко-центричные консорциумы для воновых стейблкоинов и ограничение доли мажоритариев в криптобиржах (10–15%), по которому парламентская исследовательская служба дважды указала на возможную неконституционность.
Внешний фактор давит на сроки: с января действует американский GENIUS Act, и без собственной рамки корейский рынок — один из самых активных розничных в мире — рискует уйти в долларовые стейблкоины. Параллельно в правительственном плане на второе полугодие: поправки в Capital Markets Act под первые спотовые крипто-ETF и пилот токенизированных гособлигаций с CBDC в 2027-м.
Источник:
https://www.cryptotimes.io/2026/07/20/south-korea-targets-september-for-won-stablecoin-bill-vows-fortnightly-reviews/
————————————————————
BredoStrategy Vault
Hyperliquid рефка
BredoStrategySubs
CLARITY Act сдвинулся с мёртвой точки: Трамп согласился на этические ограничения, Coinbase поддержала ужесточённый текст
Главное препятствие для крипто-законопроекта снято: Трамп согласился на этическое положение в CLARITY Act, ограничивающее президенту, вице-президенту, конгрессменам и другим федеральным чиновникам возможность зарабатывать на цифровых активах во время пребывания в должности. Обновлённый текст будет опубликован и направлен демократам в ближайшее время; на голосование у Сената есть время до первой недели августа. Шансы подписания закона в 2026-м на Polymarket подскочили с 31% до 44%.
Именно этика блокировала процесс: Белый дом до 20 июля не согласовывал формулировки, переговоры срывались с начала июня, а сенатор Крис Мёрфи публично заявлял, что билль в прежнем виде «фактически легализует» крипто-сделки президента — по последней финансовой декларации крипто-доходы Трампа за 2025 год превысили $1,4 млрд.
Параллельно определилась позиция индустрии. Вице-председатель Coinbase Райан ВанГрэк заявил на CNBC, что демократы в закрытых переговорах добились усиления защиты клиентов и у финального сенатского текста «больше зубов»: потребительские гарантии, закрытие «лазейки FTX», правила против инсайдерских практик. Для Coinbase это разворот — в январе и марте компания дважды формально отклоняла предыдущие версии билля. К поддержке присоединился и CLO Ripple Стюарт Алдероти.
Дальше по процедуре: текст Банковского комитета предстоит объединить с версией Комитета по сельскому хозяйству, финальное голосование в зале потребует 60 голосов — двухпартийная поддержка обязательна.
Источник:
https://coingape.com/clarity-act-president-trump-agrees-to-ethics-provisions-in-crypto-bill/
————————————————————
BredoStrategy Vault
Hyperliquid рефка
BredoStrategySubs
Главное препятствие для крипто-законопроекта снято: Трамп согласился на этическое положение в CLARITY Act, ограничивающее президенту, вице-президенту, конгрессменам и другим федеральным чиновникам возможность зарабатывать на цифровых активах во время пребывания в должности. Обновлённый текст будет опубликован и направлен демократам в ближайшее время; на голосование у Сената есть время до первой недели августа. Шансы подписания закона в 2026-м на Polymarket подскочили с 31% до 44%.
Именно этика блокировала процесс: Белый дом до 20 июля не согласовывал формулировки, переговоры срывались с начала июня, а сенатор Крис Мёрфи публично заявлял, что билль в прежнем виде «фактически легализует» крипто-сделки президента — по последней финансовой декларации крипто-доходы Трампа за 2025 год превысили $1,4 млрд.
Параллельно определилась позиция индустрии. Вице-председатель Coinbase Райан ВанГрэк заявил на CNBC, что демократы в закрытых переговорах добились усиления защиты клиентов и у финального сенатского текста «больше зубов»: потребительские гарантии, закрытие «лазейки FTX», правила против инсайдерских практик. Для Coinbase это разворот — в январе и марте компания дважды формально отклоняла предыдущие версии билля. К поддержке присоединился и CLO Ripple Стюарт Алдероти.
Дальше по процедуре: текст Банковского комитета предстоит объединить с версией Комитета по сельскому хозяйству, финальное голосование в зале потребует 60 голосов — двухпартийная поддержка обязательна.
Источник:
https://coingape.com/clarity-act-president-trump-agrees-to-ethics-provisions-in-crypto-bill/
————————————————————
BredoStrategy Vault
Hyperliquid рефка
BredoStrategySubs
CoinShares запустила UCITS-платформу: крипто-стратегии выходят на рынок фондов объёмом €26,3 трлн
CoinShares (Nasdaq: CSHR) объявила о запуске собственной UCITS-платформы — выходе в европейскую экосистему регулируемых фондов объёмом около €26,3 трлн. Целевая аудитория — пенсионные фонды, страховщики, private banks и управляющие активами, чьи внутренние мандаты часто запрещают покупку обычных крипто-ETP, но допускают UCITS-обёртку.
Первый продукт уже торгуется: CoinShares Bitcoin Mining UCITS ETF, запущенный 16 июля, сегодня начал торги на Deutsche Börse Xetra. У компании есть американский аналог — активно управляемый WGMI на Nasdaq ($204 млн активов, топ-позиции Cipher Mining и IREN), так что стратегия переносится на европейскую площадку в проверенном виде.
Экономика платформы построена на масштабировании: авторизация от ЦБ Ирландии получена, UCITS-структура эксклюзивна для группы, и каждый следующий фонд запускается на той же базе с существенно меньшими издержками и коротким сроком одобрения. CoinShares прямо говорит о конвейере будущих цифровых и тематических стратегий — платформа встаёт рядом с существующим ETP-бизнесом как отдельный источник регулярных комиссий.
Для рынка это ещё один канал, по которому европейские институциональные деньги получают крипто-экспозицию в привычной регуляторной обёртке — вслед за расширением спотовых ETF в США.
Источник:
https://www.manilatimes.net/2026/07/21/tmt-newswire/globenewswire/coinshares-unveils-ucits-platform-expanding-access-to-europes-263-trillion-regulated-fund-ecosystem/2388084
————————————————————
BredoStrategy Vault
Hyperliquid рефка
BredoStrategySubs
CoinShares (Nasdaq: CSHR) объявила о запуске собственной UCITS-платформы — выходе в европейскую экосистему регулируемых фондов объёмом около €26,3 трлн. Целевая аудитория — пенсионные фонды, страховщики, private banks и управляющие активами, чьи внутренние мандаты часто запрещают покупку обычных крипто-ETP, но допускают UCITS-обёртку.
Первый продукт уже торгуется: CoinShares Bitcoin Mining UCITS ETF, запущенный 16 июля, сегодня начал торги на Deutsche Börse Xetra. У компании есть американский аналог — активно управляемый WGMI на Nasdaq ($204 млн активов, топ-позиции Cipher Mining и IREN), так что стратегия переносится на европейскую площадку в проверенном виде.
Экономика платформы построена на масштабировании: авторизация от ЦБ Ирландии получена, UCITS-структура эксклюзивна для группы, и каждый следующий фонд запускается на той же базе с существенно меньшими издержками и коротким сроком одобрения. CoinShares прямо говорит о конвейере будущих цифровых и тематических стратегий — платформа встаёт рядом с существующим ETP-бизнесом как отдельный источник регулярных комиссий.
Для рынка это ещё один канал, по которому европейские институциональные деньги получают крипто-экспозицию в привычной регуляторной обёртке — вслед за расширением спотовых ETF в США.
Источник:
https://www.manilatimes.net/2026/07/21/tmt-newswire/globenewswire/coinshares-unveils-ucits-platform-expanding-access-to-europes-263-trillion-regulated-fund-ecosystem/2388084
————————————————————
BredoStrategy Vault
Hyperliquid рефка
BredoStrategySubs
Morpho запустила Midnight — фиксированные ставки на уровне протокола, а не надстройки
Morpho публично запустила Midnight — лендинг с фиксированной ставкой и фиксированным сроком на Base, анонсированный в мае. Протокол работает параллельно с Morpho Blue (переменные ставки) и нацелен на институциональный кредитный рынок: займы со структурируемыми ставками, сроками и контрагентами, включая финансирование под токенизированные RWA, структурные кредитные продукты и repo-сделки. Условия займа стороны договариваются сами, а не получают из формулы протокола.
Ключевое отличие от Pendle, Term и Notional — архитектурное. По словам CEO Пола Фрамбо, прежние попытки строили фиксированные ставки поверх переменных, что «несовершенно»; правильный порядок обратный — фиксированная ставка как примитив, переменные продукты сверху. Проблему тонкой ликвидности, убивавшей прошлые fixed-rate протоколы, решает механика offered capital: средства кредитора продолжают работать в Morpho Blue под переменную ставку, пока его фиксированное предложение не принято, позиции с одной датой погашения взаимозаменяемы (ранний выход и поздний вход возможны), а ликвидность не дробится по срокам.
Стартовая база нетривиальная: Midnight запускается с существующей сетью из 30+ независимых кураторов Morpho Blue, управляющих миллиардами, а не с нуля. В сети Morpho свыше $11 млрд депозитов; на её инфраструктуре строят кредитные продукты Coinbase, Kraken, Bitwise и SG Forge (регулируемое крипто-подразделение Société Générale). Coinbase на вопрос об интеграции Midnight в свой продукт ончейн-займов пока не отвечает по существу; Фрамбо утверждает, что интерес есть у «многих платформ и институционалов». Первая сеть — Base, расширение на другие блокчейны обещано без сроков.
Источник:
https://www.theblock.co/post/409062/morpho-midnight-fixed-rate-lending-protocol-base-onchain-credit-markets
————————————————————
BredoStrategy Vault
Hyperliquid рефка
BredoStrategySubs
Morpho публично запустила Midnight — лендинг с фиксированной ставкой и фиксированным сроком на Base, анонсированный в мае. Протокол работает параллельно с Morpho Blue (переменные ставки) и нацелен на институциональный кредитный рынок: займы со структурируемыми ставками, сроками и контрагентами, включая финансирование под токенизированные RWA, структурные кредитные продукты и repo-сделки. Условия займа стороны договариваются сами, а не получают из формулы протокола.
Ключевое отличие от Pendle, Term и Notional — архитектурное. По словам CEO Пола Фрамбо, прежние попытки строили фиксированные ставки поверх переменных, что «несовершенно»; правильный порядок обратный — фиксированная ставка как примитив, переменные продукты сверху. Проблему тонкой ликвидности, убивавшей прошлые fixed-rate протоколы, решает механика offered capital: средства кредитора продолжают работать в Morpho Blue под переменную ставку, пока его фиксированное предложение не принято, позиции с одной датой погашения взаимозаменяемы (ранний выход и поздний вход возможны), а ликвидность не дробится по срокам.
Стартовая база нетривиальная: Midnight запускается с существующей сетью из 30+ независимых кураторов Morpho Blue, управляющих миллиардами, а не с нуля. В сети Morpho свыше $11 млрд депозитов; на её инфраструктуре строят кредитные продукты Coinbase, Kraken, Bitwise и SG Forge (регулируемое крипто-подразделение Société Générale). Coinbase на вопрос об интеграции Midnight в свой продукт ончейн-займов пока не отвечает по существу; Фрамбо утверждает, что интерес есть у «многих платформ и институционалов». Первая сеть — Base, расширение на другие блокчейны обещано без сроков.
Источник:
https://www.theblock.co/post/409062/morpho-midnight-fixed-rate-lending-protocol-base-onchain-credit-markets
————————————————————
BredoStrategy Vault
Hyperliquid рефка
BredoStrategySubs
Jito открыла JTX: self-custodial терминал с токенизированными акциями и сжиганием JTO с каждой сделки
JTX — торговый терминал от Jito — запустился на Solana. Спотовая торговля SOL, cbBTC, HYPE, мемкоинами, а также токенизированными акциями и ETF; лимитные и условные ордера, ончейн-расчёты и полный self-custody — ключи остаются у пользователя на каждом этапе. Ранний доступ первая тысяча пользователей из вейтлиста получила 14 июля, теперь платформа открывается шире. В планах — перпетуалы, prediction markets и мобильное приложение.
Главное для холдеров — токеномика, закреплённая голосованием JIP-38 накануне запуска: 80% комиссий JTX уходят Jito DAO, и 100% этой доли направляется на программные выкупы JTO с открытого рынка со сжиганием — минимум до Q4 2027. Оставшиеся 20% зарезервированы исключительно под развитие JTX. Перенаправить эти потоки в течение срока обязательства нельзя — любое изменение требует отдельного голосования.
Для Jito это первый розничный продукт поверх существующей инфраструктуры: JitoSOL (крупнейший ликвидный стейкинг Solana, TVL свыше $1 млрд, используется Coinbase) и Block Assembly Marketplace для ордеринга транзакций. Расчёт очевиден: неделей раньше дневной объём торгов токенизированными акциями на Solana обновил максимум около $644 млн — JTX претендует ровно на этот поток, а каждый доллар комиссий теперь механически конвертируется в сокращение предложения JTO.
Источник:
https://solanacompass.com/news/jtx-goes-live-on-solana-as-jitos-self-custody-trading-platform-opens-to-first-1000-users
————————————————————
BredoStrategy Vault
Hyperliquid рефка
BredoStrategySubs
JTX — торговый терминал от Jito — запустился на Solana. Спотовая торговля SOL, cbBTC, HYPE, мемкоинами, а также токенизированными акциями и ETF; лимитные и условные ордера, ончейн-расчёты и полный self-custody — ключи остаются у пользователя на каждом этапе. Ранний доступ первая тысяча пользователей из вейтлиста получила 14 июля, теперь платформа открывается шире. В планах — перпетуалы, prediction markets и мобильное приложение.
Главное для холдеров — токеномика, закреплённая голосованием JIP-38 накануне запуска: 80% комиссий JTX уходят Jito DAO, и 100% этой доли направляется на программные выкупы JTO с открытого рынка со сжиганием — минимум до Q4 2027. Оставшиеся 20% зарезервированы исключительно под развитие JTX. Перенаправить эти потоки в течение срока обязательства нельзя — любое изменение требует отдельного голосования.
Для Jito это первый розничный продукт поверх существующей инфраструктуры: JitoSOL (крупнейший ликвидный стейкинг Solana, TVL свыше $1 млрд, используется Coinbase) и Block Assembly Marketplace для ордеринга транзакций. Расчёт очевиден: неделей раньше дневной объём торгов токенизированными акциями на Solana обновил максимум около $644 млн — JTX претендует ровно на этот поток, а каждый доллар комиссий теперь механически конвертируется в сокращение предложения JTO.
Источник:
https://solanacompass.com/news/jtx-goes-live-on-solana-as-jitos-self-custody-trading-platform-opens-to-first-1000-users
————————————————————
BredoStrategy Vault
Hyperliquid рефка
BredoStrategySubs
Дуров: нативный некастодиальный кошелёк Gram появится в каждом приложении Telegram
Павел Дуров анонсировал крупнейшее в истории развёртывание некастодиального криптокошелька: этим летом нативный Gram-кошелёк будет встроен в каждое приложение Telegram. Заявленные параметры — мгновенные транзакции с нулевыми комиссиями и охват более миллиарда пользователей.
Это пятый шаг кампании MTONGA, из семи заявленных ранее были раскрыты четыре: апгрейд Catchain с субсекундной финальностью, снижение сетевых комиссий примерно в шесть раз, переход роли главного валидатора и оператора сети от TON Foundation к Telegram и возврат токену исторического имени Gram.
Отличие от текущего положения принципиальное: TON Wallet существует в Telegram с 2024–2025 годов (включая запуск в США и 100+ млн активаций), но живёт как опция в настройках и мини-аппах. Формулировка «native wallet in every Telegram app» означает кошелёк как дефолтный элемент мессенджера — крипто-онбординг миллиардной аудитории без установки чего-либо. Некастодиальная архитектура при этом оставляет ключи у пользователя.
Источник:
https://t.me/durov/533
————————————————————
BredoStrategy Vault
Hyperliquid рефка
BredoStrategySubs
Павел Дуров анонсировал крупнейшее в истории развёртывание некастодиального криптокошелька: этим летом нативный Gram-кошелёк будет встроен в каждое приложение Telegram. Заявленные параметры — мгновенные транзакции с нулевыми комиссиями и охват более миллиарда пользователей.
Это пятый шаг кампании MTONGA, из семи заявленных ранее были раскрыты четыре: апгрейд Catchain с субсекундной финальностью, снижение сетевых комиссий примерно в шесть раз, переход роли главного валидатора и оператора сети от TON Foundation к Telegram и возврат токену исторического имени Gram.
Отличие от текущего положения принципиальное: TON Wallet существует в Telegram с 2024–2025 годов (включая запуск в США и 100+ млн активаций), но живёт как опция в настройках и мини-аппах. Формулировка «native wallet in every Telegram app» означает кошелёк как дефолтный элемент мессенджера — крипто-онбординг миллиардной аудитории без установки чего-либо. Некастодиальная архитектура при этом оставляет ключи у пользователя.
UPD: Про стену снова ничегоИсточник:
https://t.me/durov/533
————————————————————
BredoStrategy Vault
Hyperliquid рефка
BredoStrategySubs
2
Arcus запустила перпы на RWA: акции, ETF, сырьё и крипта в одном cross-margin аккаунте на Robinhood Chain
Arcus — self-custodial DEX от команды dYdX Labs при стратегическом участии Robinhood Crypto — 21 июля открыла торговлю токенизированными акциями и бета-перпетуалов на Robinhood Chain. Спот работал с запуска сети 1 июля, теперь линейка полная: 95+ Stock Tokens (Nvidia, Apple, Microsoft, Tesla, SPY, QQQ и другие) со спотом без комиссий 24/7 и 35 RWA-перпов на акции, ETF, сырьё и крипту с плечом до 50x. Залог и расчёты — в USDG, всё в едином cross-margin аккаунте: токенизированные акции можно использовать как обеспечение под леверидж-позиции.
Ранний трекшн у площадки есть: ~285 тыс. транзакций, $33 млн объёма и $15 млн TVL за первые недели работы спота. Инфраструктурно Stock Tokens выпускаются и погашаются через Robinhood с обеспечением 1:1, но дают контрактную экономическую экспозицию на бумагу, а не прямое владение акцией.
Существенные оговорки: платформа недоступна в США, Канаде и Великобритании, требует KYC, а «нулевая комиссия» на споте компенсируется спредом. Подтверждён будущий токен ARCUS с приоритетной аллокацией для комьюнити dYdX (трейдеры, стейкеры, валидаторы) — без параметров и дат; DYDX на анонсе проекта в начале месяца терял 23% за день.
Контекст: это вторая за сутки крупная заявка в сегменте ончейн-акций после JTX от Jito на Solana — TVL Robinhood Chain уже превысил $430 млн, и токенизированные бумаги становятся главным полем конкуренции сетей.
Источник:
https://cryptobriefing.com/arcus-tokenized-stocks-perpetual-futures-robinhood-chain/
————————————————————
BredoStrategy Vault
Hyperliquid рефка
BredoStrategySubs
Arcus — self-custodial DEX от команды dYdX Labs при стратегическом участии Robinhood Crypto — 21 июля открыла торговлю токенизированными акциями и бета-перпетуалов на Robinhood Chain. Спот работал с запуска сети 1 июля, теперь линейка полная: 95+ Stock Tokens (Nvidia, Apple, Microsoft, Tesla, SPY, QQQ и другие) со спотом без комиссий 24/7 и 35 RWA-перпов на акции, ETF, сырьё и крипту с плечом до 50x. Залог и расчёты — в USDG, всё в едином cross-margin аккаунте: токенизированные акции можно использовать как обеспечение под леверидж-позиции.
Ранний трекшн у площадки есть: ~285 тыс. транзакций, $33 млн объёма и $15 млн TVL за первые недели работы спота. Инфраструктурно Stock Tokens выпускаются и погашаются через Robinhood с обеспечением 1:1, но дают контрактную экономическую экспозицию на бумагу, а не прямое владение акцией.
Существенные оговорки: платформа недоступна в США, Канаде и Великобритании, требует KYC, а «нулевая комиссия» на споте компенсируется спредом. Подтверждён будущий токен ARCUS с приоритетной аллокацией для комьюнити dYdX (трейдеры, стейкеры, валидаторы) — без параметров и дат; DYDX на анонсе проекта в начале месяца терял 23% за день.
Контекст: это вторая за сутки крупная заявка в сегменте ончейн-акций после JTX от Jito на Solana — TVL Robinhood Chain уже превысил $430 млн, и токенизированные бумаги становятся главным полем конкуренции сетей.
Источник:
https://cryptobriefing.com/arcus-tokenized-stocks-perpetual-futures-robinhood-chain/
————————————————————
BredoStrategy Vault
Hyperliquid рефка
BredoStrategySubs
Aztec выпустила Alpha V5: приватные транзакции на Ethereum вдвое быстрее и вдвое дешевле
Aztec — единственный децентрализованный L2 Ethereum с приватностью на уровне протокола — выкатила Alpha V5. Ключевые цифры апгрейда: генерация ZK-доказательств ускорена более чем вдвое, стоимость полностью приватной транзакции снижена примерно на 50% (приватный перевод — менее $0,05), время блока сокращено с 14 до 6 секунд. Закрыта критическая уязвимость в проверочной системе V4, раскрытая в марте — она потенциально позволяла кражу средств, и патч изначально был обещан именно в V5.
Архитектурное отличие от других «приватных» сетей — доказательство каждой приватной транзакции генерируется на устройстве самого пользователя (клиентский proving на системе CHONK, рассчитанной на телефоны и браузеры). Ни приложение, ни секвенсер, ни оператор не видят данные — в отличие от схем, где транзакции проходят через оператора в открытом виде или зависят от viewing key у третьей стороны.
С V5 запускается первая волна приложений. Среди них Nyx — приватный аккаунт, управляемый обычным Ethereum-кошельком: приватные переводы и приватное получение доходности через Aave. Сеть остаётся в статусе alpha (1 TPS, продолжающиеся аудиты, рекомендация не заводить значимые суммы), но команда объявила её готовой для развёртывания приложений. Контракты пишутся на Noir, поддерживается совмещение приватной и публичной логики в одном контракте.
Источник:
https://aztec.network/blog/aztec-network-roadmap-update
————————————————————
BredoStrategy Vault
Hyperliquid рефка
BredoStrategySubs
Aztec — единственный децентрализованный L2 Ethereum с приватностью на уровне протокола — выкатила Alpha V5. Ключевые цифры апгрейда: генерация ZK-доказательств ускорена более чем вдвое, стоимость полностью приватной транзакции снижена примерно на 50% (приватный перевод — менее $0,05), время блока сокращено с 14 до 6 секунд. Закрыта критическая уязвимость в проверочной системе V4, раскрытая в марте — она потенциально позволяла кражу средств, и патч изначально был обещан именно в V5.
Архитектурное отличие от других «приватных» сетей — доказательство каждой приватной транзакции генерируется на устройстве самого пользователя (клиентский proving на системе CHONK, рассчитанной на телефоны и браузеры). Ни приложение, ни секвенсер, ни оператор не видят данные — в отличие от схем, где транзакции проходят через оператора в открытом виде или зависят от viewing key у третьей стороны.
С V5 запускается первая волна приложений. Среди них Nyx — приватный аккаунт, управляемый обычным Ethereum-кошельком: приватные переводы и приватное получение доходности через Aave. Сеть остаётся в статусе alpha (1 TPS, продолжающиеся аудиты, рекомендация не заводить значимые суммы), но команда объявила её готовой для развёртывания приложений. Контракты пишутся на Noir, поддерживается совмещение приватной и публичной логики в одном контракте.
Источник:
https://aztec.network/blog/aztec-network-roadmap-update
————————————————————
BredoStrategy Vault
Hyperliquid рефка
BredoStrategySubs
Виталик предложил новый класс языков программирования — под проверку AI-доказательств человеком
Виталик Бутерин описал концепцию языка, который «действительно стоит попытаться создать»: высокоуровневый язык, компилируемый в Lean или HOL, максимально дружелюбный для чтения человеком — но только в части определений и теорем. Сами доказательства читаемыми быть не обязаны: с ними достаточно машинной проверки корректности.
Сценарий использования прямой: AI выдаёт массив доказательств, а человеку нужно быстро и точно понять, что именно доказано — какие конкретные утверждения стоят за формальной записью. Сегодня это узкое место: Lean-формализации читают единицы специалистов, и между «доказательство верифицировано» и «мы понимаем, что оно означает» остаётся разрыв, который такой язык и должен закрыть.
Это встраивается в главный технический сюжет недели. Сооснователь NEAR Илья Полосухин днём ранее заявил, что AI-хакинг уже обгоняет классические аудиты и индустрии нужен переход к формальной верификации, где AI генерирует доказательства, а человек их проверяет. Zcash в Project Tachyon так уже работает: AI-assisted верификация сжала годы работы до недель. Предложение Виталика закрывает последнее звено этой цепочки — интерфейс между машинными доказательствами и человеческим пониманием того, что именно гарантировано.
Источник:
https://x.com/VitalikButerin/status/2079582483243245850?s=20
Виталик Бутерин описал концепцию языка, который «действительно стоит попытаться создать»: высокоуровневый язык, компилируемый в Lean или HOL, максимально дружелюбный для чтения человеком — но только в части определений и теорем. Сами доказательства читаемыми быть не обязаны: с ними достаточно машинной проверки корректности.
Сценарий использования прямой: AI выдаёт массив доказательств, а человеку нужно быстро и точно понять, что именно доказано — какие конкретные утверждения стоят за формальной записью. Сегодня это узкое место: Lean-формализации читают единицы специалистов, и между «доказательство верифицировано» и «мы понимаем, что оно означает» остаётся разрыв, который такой язык и должен закрыть.
Это встраивается в главный технический сюжет недели. Сооснователь NEAR Илья Полосухин днём ранее заявил, что AI-хакинг уже обгоняет классические аудиты и индустрии нужен переход к формальной верификации, где AI генерирует доказательства, а человек их проверяет. Zcash в Project Tachyon так уже работает: AI-assisted верификация сжала годы работы до недель. Предложение Виталика закрывает последнее звено этой цепочки — интерфейс между машинными доказательствами и человеческим пониманием того, что именно гарантировано.
Источник:
https://x.com/VitalikButerin/status/2079582483243245850?s=20
X (formerly Twitter)
vitalik.eth (@VitalikButerin) on X
A new type of "high-level programming language" that seems really worth trying to make, is a language that gets compiled to Lean (or HOL, or...) that is specifically about making it as friendly as possible for a human to read definitions and theorems.
Not…
Not…