Григоре Рошу является профессором компьютерных наук в Университете Иллинойс и бывшим инженером NASA, где он разработал K Framework - открытый «Камень Розетты» для семантики языков программирования. Он был участником с первого дня в Фонде Ethereum, а позже основал Runtime Verification, ныне ведущую компанию по формальной верификации в Web3. В 2023 году он основал Pi Squared с целью привлечь следующую миллиона разработчиков в Web3, используя его революционный K Framework.
Почему стоит послушать
Pi Squared решает проблемы фрагментации и доверия существующей блокчейн-инфраструктуры, позволяя проводить верифицированные, кросс-чейн вычисления и расчеты, чтобы приложения, агенты и протоколы могли взаимодействовать между экосистемами без зависимости от мостов, централизованных сторон или непроверяемой логики.
Это недостающий уровень доверия для модульного, совместимого и готового к корпоративному использованию Web3.
Основное предложение Pi Squared — это его Верифицируемый Уровень Расчетов (VSL) — по сути, децентрализованная, программируемая основа, которая оборачивает любое действие (хранение данных, транзакции, вычисления) в криптографически запечатанный "запрос". Эти запросы проверяются глобальной сетью валидаторов, рассчитываются с помощью их высокопроизводительного протокола консенсуса FastSet и становятся мгновенно доступными через цепочки и среды — все без посредников или предположений доверия. VSL позволяет быстрые, доказуемые расчеты между экосистемами — обслуживая ИИ, блокчейны или любые оффчейн-системы.
Уже доступен на devnet, Pi Squared демонстрирует мощные примеры применения, такие как кроссчейн-мосты активов (, например, через Wormhole NTT), зеркалирование состояния блокчейна и проверяемые AI-пipelines через доверенные среды выполнения. Их система значительно снижает избыточные вычисления в блокчейнах — один узел вычисляет и доказывает, а остальные проверяют за миллисекунды — увеличивая пропускную способность, снижая потребление энергии и минимизируя уязвимости. Думайте о проверяемости повсюду — от удаленных вычислений и DeFi до AI-инференции — ускоренной формально-языковыми доказательствами.
Pi² объединяет формальную верификацию, нулевые доказательства знаний и межсетевую совместимость в одном быстром, составном слое. Никакой ерунды, никакого доверия — только доказательство.
Поддерживающие ссылки
Стабулл Финанс
Сеть Pi
Энди в Twitter
Смелая новая монета в Twitter
Смелая новая монета
Если вам понравилось шоу, пожалуйста, подпишитесь на Crypto Conversation и дайте нам 5-звездочный рейтинг и положительный отзыв в любом приложении для подкастов, которое вы используете.
Содержание носит исключительно справочный характер и не является предложением или офертой. Консультации по инвестициям, налогообложению или юридическим вопросам не предоставляются. Более подробную информацию о рисках см. в разделе «Дисклеймер».
Pi Squared - Проверяемый уровень поселка для ИИ и Крипто - Brave New Coin
Григоре Рошу является профессором компьютерных наук в Университете Иллинойс и бывшим инженером NASA, где он разработал K Framework - открытый «Камень Розетты» для семантики языков программирования. Он был участником с первого дня в Фонде Ethereum, а позже основал Runtime Verification, ныне ведущую компанию по формальной верификации в Web3. В 2023 году он основал Pi Squared с целью привлечь следующую миллиона разработчиков в Web3, используя его революционный K Framework.
Почему стоит послушать
Pi Squared решает проблемы фрагментации и доверия существующей блокчейн-инфраструктуры, позволяя проводить верифицированные, кросс-чейн вычисления и расчеты, чтобы приложения, агенты и протоколы могли взаимодействовать между экосистемами без зависимости от мостов, централизованных сторон или непроверяемой логики.
Это недостающий уровень доверия для модульного, совместимого и готового к корпоративному использованию Web3.
Основное предложение Pi Squared — это его Верифицируемый Уровень Расчетов (VSL) — по сути, децентрализованная, программируемая основа, которая оборачивает любое действие (хранение данных, транзакции, вычисления) в криптографически запечатанный "запрос". Эти запросы проверяются глобальной сетью валидаторов, рассчитываются с помощью их высокопроизводительного протокола консенсуса FastSet и становятся мгновенно доступными через цепочки и среды — все без посредников или предположений доверия. VSL позволяет быстрые, доказуемые расчеты между экосистемами — обслуживая ИИ, блокчейны или любые оффчейн-системы.
Уже доступен на devnet, Pi Squared демонстрирует мощные примеры применения, такие как кроссчейн-мосты активов (, например, через Wormhole NTT), зеркалирование состояния блокчейна и проверяемые AI-пipelines через доверенные среды выполнения. Их система значительно снижает избыточные вычисления в блокчейнах — один узел вычисляет и доказывает, а остальные проверяют за миллисекунды — увеличивая пропускную способность, снижая потребление энергии и минимизируя уязвимости. Думайте о проверяемости повсюду — от удаленных вычислений и DeFi до AI-инференции — ускоренной формально-языковыми доказательствами.
Pi² объединяет формальную верификацию, нулевые доказательства знаний и межсетевую совместимость в одном быстром, составном слое. Никакой ерунды, никакого доверия — только доказательство.
Поддерживающие ссылки
Стабулл Финанс
Сеть Pi
Энди в Twitter
Смелая новая монета в Twitter
Смелая новая монета
Если вам понравилось шоу, пожалуйста, подпишитесь на Crypto Conversation и дайте нам 5-звездочный рейтинг и положительный отзыв в любом приложении для подкастов, которое вы используете.