Пи в квадрате — проверяемый уровень расчетов для ИИ и криптовалют
Григоре Рошу — профессор компьютерных наук в Иллинойсском университете и бывший инженер NASA, где он разработал K Framework — «Rosetta Stone» с открытым исходным кодом для семантики языков программирования. Будучи одним из первых участников Ethereum Foundation, он позже основал Runtime Verification, которая в настоящее время является ведущей компанией по формальной верификации в Web3. В 2023 году он основал Pi Squared, стремясь привлечь ещё миллион разработчиков в Web3, используя свой революционный K Framework.
Ссылка откроется в новом окне. Нажмите на меню и стрелку вниз, чтобы скачать файл.
Подкасты доступны на
Почему вы должны слушать
Pi Squared решает проблемы фрагментации и ограничений доверия современной инфраструктуры блокчейнов, обеспечивая проверяемые кросс-чейн вычисления и расчеты, благодаря чему приложения, агенты и протоколы могут взаимодействовать между экосистемами, не полагаясь на мосты, централизованные стороны или недоказуемую логику.
Это недостающий уровень доверия для модульного, совместимого и готового к использованию на предприятии решения Web3.
Основным предложением Pi Squared является проверяемый уровень расчётов (VSL) — по сути, децентрализованная программируемая платформа, которая оборачивает любое действие (хранение данных, транзакции, вычисления) в криптографически запечатанную «заявку». Эти заявки проверяются глобальной сетью валидаторов, урегулируются с помощью высокопроизводительного протокола консенсуса FastSet и становятся мгновенно доступными между блокчейнами и средами — без посредников и без каких-либо предположений о доверии. VSL обеспечивает быстрые, доказуемые межэкосистемные расчёты, обслуживая ИИ, блокчейны и любые офчейн-системы.
Pi Squared, уже доступный на devnet, демонстрирует эффективные примеры использования, такие как кроссчейн-связь активов (например, через Wormhole NTT), зеркалирование состояний блокчейна и проверяемые конвейеры ИИ через доверенные среды выполнения (Trusted Execution Environments). Их система значительно сокращает избыточные вычисления в блокчейнах: один узел вычисляет и доказывает, а все остальные проверяют за миллисекунды, что повышает пропускную способность, сокращает энергопотребление и минимизирует уязвимости. Представьте себе проверяемость повсюду — от удалённых вычислений и DeFi до вывода ИИ — подкреплённую доказательствами на формальном языке.
Pi² объединяет формальную верификацию, доказательства с нулевым разглашением и кросс-чейн взаимодействие в один быстрый и скомпонованный слой. Никакой воды, никакого доверия — только доказательства.
Поддерживающие ссылки
Если вам понравилось шоу, подпишитесь на Crypto Conversation и дайте нам 5-звездочный рейтинг и положительный отзыв в любом приложении для подкастов, которое вы используете.
Отказ от ответственности: Любой образовательный контент, комментарии к рынку, исследования, анализы, прогнозы, коучинг, обучение или мнения, предоставленные независимыми третьими сторонами, не отражают точку зрения Plus500. Plus500 предоставляет услуги только по самостоятельному исполнению сделок и не предоставляет услуги по управлению активами, а также инвестиционные, финансовые, юридические или налоговые консультации. Plus500 не несет ответственности за любые решения, принятые или убытки, понесенные в результате использования информации, исследований, образовательных материалов, коучинга или услуг, предоставленных третьими сторонами.
Brave New Coin ежемесячно охватывает более 1 миллиона активных криптоэнтузиастов через свой веб-сайт, подкаст, новостные рассылки и YouTube. Представьте свой бренд ключевым лицам, принимающим решения, и первым пользователям в 2026 году. Осталось ограниченное количество мест! Узнайте больше сегодня!
Сигналы — исправление запусков NFT
Coinpass — британская криптоплатформа для бизнеса
