sejournal.io

Вот перефразированная новость на русском языке:

Виталик Бутерин представил прототип анонимной доски объявлений с модерацией на базе L2-сети Aztec.

Сооснователь Ethereum Виталик Бутерин опубликовал на GitHub демо-версию анонимной доски сообщений с возможностью модерации, работающей на базе решения второго уровня (L2) Aztec.

Прототип основан на идее анонимной площадки с модерацией, которую Бутерин описал еще в 2022 году. Сам разработчик назвал созданную версию «игрушечной», отметив, что она была сделана в режиме вайб-кодинга (когда код генерируется ИИ-агентами на основе описания на естественном языке).

Как это работает: Пользователь вносит ETH через смарт-контракт в основной сети Ethereum (L1), после чего получает возможность публиковать сообщения в сети Aztec. Средства можно вывести обратно в L1.

При этом адрес и сумма депозита остаются публичными. Вывод средств также раскрывает кошелек получателя в Ethereum. Однако сами сообщения не содержат адреса отправителя в открытых данных и никак не связаны с исходным депозитом.

Приватность и лимиты: Группа анонимности состоит из всех пользователей, которые внесли средства, но еще их не вывели. Таким образом, приватность касается только публикаций, а не всех операций. Частота публикаций зависит от размера депозита. При базовой задержке в 3600 секунд (1 час) действуют такие параметры:
* 0,001 ETH — одно сообщение в час;
* 0,005 ETH — пять сообщений в час;
* 0,01 ETH — десять сообщений в час.

Неиспользованный лимит можно частично накапливать и тратить на несколько публикаций подряд. Повторный депозит не обходит ограничение — для него устанавливается новая начальная задержка.

Модерация: При развертывании контракта назначается адрес модератора (в коде — `censor`). Модератор может помечать сообщения как нарушающие политику, после чего они скрываются из основной ленты, но пользователь может открыть их через отдельное предупреждение. Автор получает дополнительную задержку перед следующим сообщением. Размер наказания зависит от коэффициента, установленного при развертывании контракта. Права модератора можно передать другому адресу.

Текст политики хранится в блокчейне (ончейн) и ограничен 1488 байтами. Для автоматической проверки предусмотрен локальный демон с большой языковой моделью (по умолчанию — Qwen3.5-2B, около 1,4 ГБ). Модель запускается локально через llama.cpp и не обращается к внешнему API.

Ограничения: Репозиторий находится на ранней стадии, некоторые браузерные сценарии не протестированы. Есть известная проблема с функцией `update_portal()` — любой пользователь может вызвать ее первым и указать подставной адрес, что заблокирует контракт. Разработчикам также предстоит усилить сквозные доказательства и устранить другие технические ограничения.

Напомним, что в апреле 2025 года Бутерин назвал конфиденциальность фундаментом личной свободы и децентрализации, а позже представил проект Kohaku — модульный стек для разработки защищенных кошельков с усиленной приватностью.

Вот перефразированная новость на русском языке:

Искусственный интеллект опроверг знаменитую математическую гипотезу

20 июля исследователь Anthropic Левент Альпоге заявил, что с помощью модели Claude Fable 5 нашел контрпример к гипотезе Якобиана — одной из ключевых нерешенных задач алгебраической геометрии.

Гипотеза была предложена немецким математиком Отто-Генрихом Келлером в 1939 году. Если упрощенно, она утверждает: если некая формула преобразует один набор чисел в другой и при этом локально (в каждой точке) не теряет информацию, то это преобразование можно обратить глобально, то есть восстановить исходные данные. Однако Claude Fable 5 построил формулу, которая проходит локальную проверку, но три разных набора чисел превращает в один и тот же результат, что делает обратное преобразование невозможным. Таким образом, гипотеза оказалась ложной.

Альпоге рассказал, что вопрос о гипотезе задал его друг, а модель работала над задачей во время финала чемпионата мира по футболу. Исследователь приложил ссылки на Wolfram Alpha, где любой может проверить вычисления.

За 87 лет гипотеза Якобиана стала одной из самых известных нерешенных задач, отчасти благодаря множеству ошибочных доказательств. Математик Цяочу Юань отметил, что это самая знаменитая открытая проблема, решенная языковой моделью. Он также процитировал математика Т. Т. Мо, который в 2008 году разбирал одну из ошибочных работ: Беньямино Сегре опубликовал три неверных доказательства, Клод Шевалле принял ошибочное доказательство за верное, а Игорь Шафаревич использовал гипотезу как уже доказанную теорему.

Математик Джаред Дюкер Лихтман назвал результат «выдающимся» и напомнил, что частный случай гипотезы был темой диссертации Итана Чжана, который позже совершил прорыв в теории простых чисел.

Результат Альпоге пока не прошел рецензирование, но его особенность — проверяемость. В отличие от заявок ИИ-компаний, основанных на бенчмарках, контрпример представляет собой формулу, которую любой может подставить и пересчитать.

Сам Альпоге защитил докторскую в Принстоне под руководством филдсовского лауреата Манджула Бхаргавы, а в 2015 году получил премию Моргана — высшую награду США за студенческие исследования в математике.

ИИ против открытых проблем

Контрпример к гипотезе Якобиана — не первый случай использования языковых моделей в математике. В октябре 2025 года вице-президент OpenAI Кевин Вейл заявил, что GPT-5 решила десять проблем Эрдеша. Однако позже выяснилось, что модель нашла давно известные решения, и Вейл удалил свой пост.

В январе 2026 года GPT-5.2 Pro решила проблему Эрдеша №397 о центральных биномиальных коэффициентах. Корректность подтвердил лауреат Филдсовской премии Теренс Тао, который ранее отмечал, что модель решила и проблему №728, не имеющую аналогов в литературе. В мае модель OpenAI опровергла гипотезу Эрдеша 1946 года о единичных расстояниях на плоскости. Доказательство проверили девять внешних математиков. Вскоре Google DeepMind представила систему AlphaProof Nexus, решившую девять менее крупных проблем Эрдеша, а проект Star Fleet Math — решения 20 проблем, полученные 20 агентами Codex. В феврале Google также представила ИИ-математика Aletheia, который автономно решил четыре задачи из списка Эрдеша.

На крипторынке биткоин-киты наращивают свои запасы, в то время как держатели со средними кошельками активно продают. За последние 60 дней крупные игроки (адреса с балансом от 1000 до 10 000 BTC) накопили около 66 700 BTC, что является рекордным показателем с 17 февраля. В то же время кошельки с 100–1000 BTC избавились от примерно 77 800 BTC.

Аналитик CryptoQuant Амр Таха считает, что такая ситуация указывает на переток предложения от средних держателей к крупным. Он отмечает, что сами по себе эти данные не предсказывают движение цены, но устойчивое накопление китами на фоне активных продаж со стороны мелких групп может быть позитивным сигналом для биткоина в среднесрочной перспективе.

«Исторически устойчивое накопление крупными держателями может сократить объем доступного предложения, особенно в периоды агрессивного распределения», — пояснил Таха.

Тем временем аналитик под псевдонимом Darkfost сообщил, что за последние 30 дней инвесторы вывели с бирж Binance и Bybit стейблкоины на сумму около $2,3 млрд. Он связывает это с падением ликвидности и слабым притоком нового спроса.

«Спрос и ликвидность сокращаются, и инвесторы, похоже, предпочитают выводить стейблкоины с бирж или вовсе покидать рынок. Слишком пессимистичный настрой инвесторов мешает биткоину выбраться из зоны консолидации», — отметил Darkfost.

Основатель MN Trading Михаэль ван де Поппе указал на крайне низкую волатильность биткоина, назвав текущую ситуацию «скучной». Он выделил ключевое сопротивление на уровне $65 000 и поддержку на $61 000. По его мнению, закрепление выше $65 000 может привести к росту, а потеря $61 000 — к падению до $50 000.

На момент написания статьи биткоин торгуется около $64 200, практически не изменившись за сутки. Аналитик CoinNiel также отметил охлаждение биткоин-левериджа и слабое возвращение покупателей.

Вот перефразированная новость на русском языке:

Успех внедрения искусственного интеллекта (ИИ) в компаниях напрямую зависит от того, насколько активно сотрудники участвуют в обучении специализированных моделей. К такому выводу пришла обозреватель Financial Times Сара О’Коннор.

Ключевую роль здесь играет так называемое неявное знание — это практические навыки и методы принятия решений, которые накапливаются с опытом, но редко прописываются в инструкциях и документах компании. В FT отметили, что эта концепция восходит к философу Майклу Поланьи, который говорил: «мы знаем больше, чем можем высказать».

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

Издание проводит параллель с работой американского инженера Фредерика Уинслоу Тейлора, который в начале XX века пытался формализовать опыт заводских рабочих, наблюдая за ними, делая записи и замеряя время.

Bridgewater дообучила модель на экспертных оценках

В качестве примера приводится совместное исследование Bridgewater AIA Labs и Thinking Machines Lab, опубликованное 30 июня. Ученые протестировали ИИ на шести задачах из реальной работы инвестиционной компании: модели анализировали финансовые новости, документы центробанков и другие данные, важные для принятия решений.

При использовании простых инструкций модели Claude Opus 4.6 и 4.8, Gemini 3.1 Pro, GPT-5.4 и GPT-5.5 показывали точность от 45,6% до 50,1%. Однако промпты, составленные экспертами Bridgewater, повысили этот показатель до 74,3–78,2%. Автоматическая оптимизация инструкций не дала дополнительного эффекта.

«Четкий промпт способен передать лишь ту часть интуиции, которую эксперт может выразить словами. Но самые важные суждения часто сложнее всего сформулировать», — пояснили авторы работы.

Затем исследователи дообучили модель Qwen3-235B на данных, размеченных специалистами Bridgewater. В результате средняя точность системы выросла до 84,7%. По расчетам разработчиков, количество ошибок сократилось на 29,8% по сравнению с лучшей универсальной моделью из протестированных.

При этом стоимость обработки задач оказалась в 13,8 раза ниже. Авторы назвали этот метод «дифференцированным интеллектом». Он подразумевает настройку отдельных моделей под конкретные процессы и потребности организации.

Ford расширила команду опытных специалистов

FT также приводит пример компании Ford. За последние три года автопроизводитель нанял, повысил в должности или вернул на работу около 350 опытных технических специалистов. Они проверяют конструкции, выявляют возможные неисправности, обучают молодых инженеров и помогают улучшать автоматизированные системы контроля качества.

Вице-президент Ford по разработке аппаратной части Чарльз Пун заявил, что результат работы ИИ напрямую зависит от качества данных, на которых его обучают. «Искусственный интеллект — отличный инструмент, но он хорош ровно настолько, насколько хороша информация, используемая для его обучения», — подчеркнул он.

По словам Пуна, компания недостаточно системно сохраняла знания опытных инженеров. Некоторые специалисты ушли из Ford до того, как их опыт удалось полностью передать и закрепить во внутренних процессах.

Напомним, в октябре 2025 года ForkLog разбирался, как разработчики адаптируют большие языковые модели для выполнения офисных задач.

Вот перефразированная новость на русском языке:

На сайте ForkLog появился новый раздел под названием «Корпораты». В нём публикуются новости компаний, пресс-релизы, анонсы партнёрств и исследования из мира криптовалют и технологий. Этот раздел работает на основе методологии ForkLog Lab и уже доступен на главной странице портала.

В «Корпоратах» собирают информацию о компаниях, их продуктах и сделках. Пользователи могут просматривать всю ленту целиком или отфильтровать её по категориям: «Пресс-релизы» и «Экспертиза».

Главная особенность раздела — формат «Раунд». Каждую новость обсуждают три персонажа ForkLog, каждый со своей точки зрения:
— Пират — смотрит на событие через призму свободы и децентрализации.
— Корпорат — оценивает с точки зрения структуры и безопасности.
— Бюрократ — представляет интересы регулятора, акцентируя внимание на праве и практической реализации.

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

На момент запуска в разделе уже опубликовано 30 материалов, проведено 23 раунда, а персонажи оставили 64 комментария.

Компании и проекты могут самостоятельно предлагать свои материалы. Для этого на странице есть форма «Отправить материал». ForkLog Lab рассматривает пресс-релизы, новости о партнёрствах, запусках продуктов и исследования, после чего публикует их в разделе «Корпораты».

Напомним, что в июне ForkLog Lab вышла на открытый рынок и начала предлагать свою аналитическую, маркетинговую и медийную экспертизу широкому кругу компаний.

Разработчики перпетуальной DEX Hyperliquid планируют внедрить возможность открытого развертывания рынков предсказаний в рамках обновления HIP-4.

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

Однако сначала решение должно пройти тестирование в среде, где развертыванием занимаются валидаторы. После обновления пользователи HIP-4 смогут запускать рынки на основе утвержденных стандартизированных шаблонов, которые хранятся в блокчейне.

В Hyperliquid отметили, что набор шаблонов должен охватывать события с достаточной ликвидностью и интересом, а формулировки должны быть однозначными.

Для запуска рынков HIP-4 деплойерам потребуется заблокировать 500 000 HYPE. Валидаторы смогут частично или полностью изъять залог в случае некорректного описания рынка или исполнения контракта.

На начальном этапе каждый деплойер получит квоту на 100 исходов (или 200 токенов исходов). Для увеличения лимита команда планирует позже добавить аукционный механизм.

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

HIP-4 был запущен в мае. С тех пор протокол обработал транзакции на сумму около $272 млн.

Источник: loris.tools.

Напомним, что в июне объем открытого интереса на Hyperliquid превысил $10 млрд. Платформа заняла третье место среди крупнейших площадок по торговле бессрочными фьючерсами.

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

За минувшую неделю биткоин вырос до $64 000, демократы в сенате потребовали внести в закон CLARITY Act антикоррупционные поправки, майнеры проигнорировали предложение BIP-110, а новая ИИ-модель от Moonshot AI вызвала обвал на рынке полупроводников. Об этом и других событиях — далее.

Нейтральные настроения

Неделя началась с падения биткоина из-за обострения конфликта между США и Ираном и макроэкономической неопределённости — курс опустился до $61 000. Однако 14 июля после публикации данных по индексу потребительских цен (CPI) в США крипторынок начал восстанавливаться. Базовый показатель инфляции (без учёта продуктов и энергии) составил 2,6% годовых вместо ожидаемых 2,8%, что оказалось лучше прогнозов. Дополнительным драйвером стала позитивная риторика главы ФРС Кевина Уорша перед Конгрессом.

Локальный максимум в $65 500 был достигнут вечером 15 июля, после чего биткоин перешёл к консолидации. В пятницу, 17 июля, цифровые активы снизились вместе с традиционными рынками из-за кризиса в полупроводниковой отрасли, но к выходным первая криптовалюта отыграла потери. На момент написания статьи биткоин торгуется около $64 500, прибавив за неделю около 1%.

Активы из топ-10 по капитализации показали разнонаправленную динамику: Ethereum вырос на 4% (до $1850), а HYPE потерял около 8%.

На фоне ослабления инфляционных ожиданий в США инвесторы вернулись в биржевые фонды. С 13 по 17 июля спотовые биткоин-ETF привлекли чистые $75,5 млн — это вторая «зелёная» неделя подряд. Ethereum-фонды также показали положительную динамику с чистыми поступлениями в $105,5 млн.

Индекс страха и жадности поднялся до 28 пунктов, но всё ещё находится в зоне «страха». Общая капитализация рынка составляет $2,27 трлн, доля биткоина — 57%, Ethereum — 9,9%.

Антикоррупционные нормы для CLARITY Act

Сенаторы-демократы Крис Мерфи, Джефф Меркли и Крис Ван Холлен выступили против текущей версии законопроекта CLARITY Act, поскольку в нём отсутствуют антикоррупционные меры. Они считают, что документ создаёт систему регулирования цифровых активов, но не устраняет конфликты интересов, связанные с криптовалютным бизнесом президента США Дональда Трампа и его семьи.

Политики предложили включить в закон положения MEME Act или End Crypto Corruption Act, которые запрещают президенту, вице-президенту, членам кабинета, высокопоставленным чиновникам, конгрессменам и их близким родственникам владеть криптобизнесом, продвигать цифровые активы или получать от них прибыль. CLARITY Act должен разграничить полномочия SEC и CFTC и установить федеральную структуру регулирования рынка цифровых активов.

По данным Americans for Financial Reform, рассмотрение предложения начнётся с 20 июля. Для преодоления процедурного барьера потребуется 60 голосов.

Что обсудить с друзьями?

* Регуляторы США пропустили срок внедрения GENIUS Act.
* Glassnode: держатели биткоина перестали массово фиксировать убытки.
* Глава DeepMind предложил проверять передовые ИИ-модели до их релиза.
* NEAR отменит возврат платы за газ разработчикам.

Никому не нужный BIP-110

За две недели ни один крупный майнинг-пул не поддержал BIP-110. Уровень принятия составил около 1% при необходимых 55%. Инициатива ограничивает неплатёжные данные в биткоин-транзакциях, включая OP_RETURN и часть скриптов. Добровольный порог активации истекает на высоте блока #961 632 в начале августа. Если поддержки не будет, в сентябре новые правила смогут принять только те узлы, которые сами этого захотят.

Инициативу раскритиковали основатель Strategy Майкл Сэйлор и сооснователь Blockstream Адам Бэк. Последний обратился к сторонникам BIP-110, заявив, что понимает их желание защитить сеть от спама, но не согласен с предложенным методом.

Параллельно основатель Runestone под псевдонимом Leonidas представил клиент DOG Mode. В отличие от BIP-110, для его принятия достаточно одного майнера — голосование большинства не требуется. Решение повышает лимит транзакции с 400 000 до 3,9 млн WU и снижает «лимит пыли» с 294–546 сатоши до 1 сатоши, чтобы упростить отправку Ordinals и Runes. По оценке разработчика, это около $25 млн «лишних» сатоши.

Сервис приватности EthSystems

Команда по обеспечению конфиденциальности Ethereum Foundation выделилась в коммерческую компанию EthSystems. Стартап ориентирован на блокчейн-решения для институциональных клиентов и инструменты на основе доказательств с нулевым разглашением. Это позволит банкам и управляющим активами проводить крупные сделки в Ethereum, скрывая детали позиций и данные клиентов.

Проект поддержали сооснователь Ethereum Джозеф Любин, а также компании BitMine и SharpLink. Соучредители EthSystems — бывшие сотрудники Ethereum Foundation Мо Джалил, Оскар Торен и Арьяманн Чаллани. Бизнес-модель компании основана на платном консалтинге и разработке систем под заказ. Представители EthSystems пояснили, что крупному бизнесу нужен коммерческий контрагент, а не некоммерческий фонд. При этом стартап продолжит публиковать спецификации протоколов в открытом доступе.

Также на ForkLog:

* Сотрудники Meta обвинили компанию в использовании ИИ при увольнениях.
* Япония признала криптоактивы финансовыми инструментами.
* Visa запустила стейблкоин-платформу для банков.
* Разработчики предложили защитить права на биткоины после квантового взлома.

Грозная Kimi K3

Китайская Moonshot AI представила крупнейшую открытую модель Kimi K3 с 2,8 трлн параметров, нативным зрением и контекстом на 1 млн токенов. Решение основано на Kimi Delta Attention и Attention Residuals. За разреженность отвечает Stable LatentMoE, где из 896 экспертов одновременно работают 16 — это повысило эффективность в 2,5 раза по сравнению с K2.

Разработчики заявили, что в общем зачёте бенчмарков Kimi K3 уступила только проприетарным моделям Claude Fable 5 и GPT 5.6 Sol. Модель способна вести длительные инженерные сессии почти без участия человека, ориентироваться в больших репозиториях и управлять терминальными инструментами. В демонстрации система самостоятельно спроектировала чип для нейросети на собственной архитектуре.

Запуск Kimi K3 спровоцировал распродажу акций производителей чипов. 17 июля котировки чипмейкеров и ИИ-компаний упали по всему миру. Сильнее всего пострадали азиатские фирмы: тайваньский индекс потерял более 6%, японский закрылся

Вот перефразированная новость на русском языке:

К 18 июля американские ведомства не успели утвердить окончательные правила, необходимые для реализации закона о стейблкоинах (GENIUS Act). Хотя документ давал на это ровно год с момента его подписания, ответственные структуры пока опубликовали только проекты и открыли сбор комментариев, но финальных версий так и не представили.

Согласно закону, разработкой правил должны были заняться Управление контролера денежного обращения (OCC), Федеральная резервная система (ФРС), Федеральная корпорация по страхованию депозитов (FDIC), Национальное управление кредитных союзов (NCUA) и Министерство финансов.

Вот что уже сделано, но не завершено:
— В марте OCC представило обширный проект, охватывающий резервы, капитал, ликвидность и управление рисками для эмитентов стейблкоинов.
— В апреле FDIC предложило пруденциальные стандарты, касающиеся резервов, погашения и страхования депозитов.
— NCUA в феврале и мае выпустила проекты по лицензированию и операционному управлению, причем сбор комментариев по второму пакету закончился только 17 июля.
— Минфин пока не завершил разработку принципов регулирования на уровне штатов.
— В конце июня несколько ведомств совместно выпустили проект по идентификации клиентов, комментарии к которому принимаются до 21 августа.
— Отдельный документ FDIC по соблюдению Закона о банковской тайне и санкций также остается открытым.

Что касается дальнейших перспектив, из-за бюрократических процедур как минимум несколько правил вряд ли будут приняты до конца года, так как ведомствам нужно учесть множество отзывов от участников рынка. Пропуск срока сам по себе не откладывает вступление GENIUS Act в силу, но законодателям параллельно нужно прорабатывать CLARITY Act.

Закон вступит в силу либо 18 января 2027 года (через 18 месяцев после принятия), либо через 120 дней после публикации окончательных правил от регуляторов. При этом Конгресс не предусмотрел штрафов или альтернативных сроков на случай задержки.

Напомним, что в июне Американская банковская ассоциация и другие отраслевые организации призвали Сенат уточнить положения CLARITY Act о доходности стейблкоинов.

Вот перефразированная новость на русском языке:

Индекс Coinbase Premium для биткоина уже 60 дней подряд находится в отрицательной зоне — это самый длительный период за всю историю наблюдений. Такие данные приводит сервис Coinglass.

В последний раз показатель был выше нуля 19 мая. На 18 июля его значение составляет -0,05%.

Предыдущий рекорд по продолжительности отрицательных значений составлял 40 дней — с 16 января по 24 февраля.

Индекс Coinbase Premium часто используют для оценки настроений розничных инвесторов из США: чем он ниже, тем меньше интерес к активу.

На момент написания новости биткоин стоит $64 100. За сутки криптовалюта подорожала на 1,5%.

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

Напомним, что с 13 по 17 июля в спотовые биткоин-ETF поступило чистыми $75,5 млн. Эти продукты показали вторую подряд положительную неделю.

Вот перефразированная новость на русском языке:

Компания IOG, которая является основным разработчиком блокчейна Cardano (ADA), передала сообществу контроль над узлом сети, написанным на языке Haskell. В IOG заявили, что теперь децентрализована не только работа протокола и управление, но и сама разработка проекта.

Основатель Cardano Чарльз Хоскинсон назвал это событие финальной стадией эры Вольтера. Он пояснил, что начиная с 2024 года IOG вместе с партнерами контролировала процесс передачи полномочий. Полностью завершить смену управления планируется к 2027 году. По замыслу, несколько независимых компаний будут поддерживать как минимум три версии Cardano на стеках Haskell, Rust и Go.

Передача прав произошла перед запуском хардфорка Van Rossem, который будет активирован в основной сети вечером 18 июля. Обновление было одобрено неделей ранее — за него проголосовали 77,63% участников. Хардфорк переведет Cardano на протокол 11-й версии и добавит новые функции Plutus, которые помогут снизить затраты на выполнение смарт-контрактов.

Курс ADA положительно отреагировал на эту новость: за сутки монета подорожала почти на 4% и достигла отметки $0,16.

Напомним, что в июне Cardano Foundation отменил проведение Cardano Summit 2026 в Сингапуре после того, как предложение о финансировании из казны не получило необходимой поддержки в ходе голосования в сети.