[ПРЕСС-РЕЛИЗ – Шампейн, Иллинойс, США, 2 июля 2024 г.]

Pi Squared (Доказательство доказательства) объявили о закрытии своего первого привлечения капитала. В состав синдиката, возглавляемого Polychain Capital, входят ABCDE, Bloccelerate, Generative Ventures, Robot Ventures и Samsung Next. В число инвесторов-ангелов входят Шумо Чу, Хариш Девараджан, Джастин Дрейк, Шрирам Канаан, Чонгор Кисс, Джордж Ламбет, Йилонг ​​Ли, Кэлвин Лю, Люсьен Минку, Картик Раджу и Common Prefix.

Используя технологию с нулевым разглашением (ZK) правильным по своей конструкции и принципиально уникальным способом, Pi Squared обеспечит надежные удаленные вычисления, искусственный интеллект и совместимые смарт-контракты для любого блокчейна или децентрализованного приложения. Это станет возможным за счет создания универсальной и обезоруживающе маленькой схемы ZK, проверяющей целостность математических доказательств, которая обеспечит проверяемые вычислительные гарантии корректности как для всех языков, так и для виртуальных машин (ВМ) непосредственно из их формальной семантики, без каких-либо перевод на общий язык, виртуальную машину или архитектуру набора команд (ISA).

«Наша миссия — совершить революцию в проверяемых вычислениях, сделав их универсальными для всех языков и виртуальных машин, по своей сути корректными по конструкции и молниеносными», — говорит Григоре Рошу, генеральный директор Pi Squared и профессор компьютерных наук в Университете Иллинойса в Урбане-Шампейне. . «Этот проект будет иметь множество применений, в том числе универсальный уровень расчетов (USL), поэтому все блокчейны, L1 и L2, могут быть универсальными, правильными, совместимыми и эффективными. На этом все не заканчивается, наша долгосрочная миссия — урегулировать все наука и знания по USL».

«Технология доказательства доказательства Pi Squared окажет преобразующее влияние на Web3 и за его пределами», — сказал Картик Раджу, генеральный директор Polychain Capital. «Универсальная схема ZK Pi Squared значительно увеличит охват и применимость Web3 для всех, от разработчиков до конечных пользователей».

Pi Squared обеспечит следующее поколение проверяемых вычислений, которые будут универсальными и масштабируемыми с оптимально минимальной базой доверия. Первым продуктом на базе Pi Squared является Universal Settlement Layer (USL), архитектура модульных блокчейнов, которая обеспечивает следующие характеристики:

Универсальность

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

Доказуемая правильность

Правильность вычислений, проверенных USL, математически доказана, и любой внешний объект может независимо проверить правильность состояния USL.

Минимальность доверительной базы

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

Совместимость приложений

USL будет поддерживать взаимодействие между различными модулями приложений и сетями (например, цепочками приложений).

Детерминизм и воспроизводимость

Валидация является воспроизводимой и поддается независимой проверке любым внешним субъектом.

Таким образом, USL Pi Squared обеспечивает сквозные гарантии корректности общих вычислений, минимизируя при этом базу доверия, лежащую в основе этих вычислений. USL продвигает проверяемые вычисления в качестве стандартной парадигмы распределенных вычислений, не требуя и не продвигая определенные предметно-ориентированные языки (DSL), виртуальные машины или среды выполнения, при этом будучи эффективными и масштабируемыми.

Pi Squared будет представлять и участвовать в мероприятиях EthCC в Брюсселе с 8 по 11 июля. Участники смогут послушать выступление генерального директора Pi Squared Григоре Рошу на Restaving & Infra Day 8 июля и L2con 9 июля.

О квадрате Пи

Пи в квадрате означает ZK доказательства математических доказательств. Pi Squared использует технологию ZK правильным по конструкции и принципиально уникальным способом. Универсальная и обезоруживающе маленькая схема ZK обеспечивает проверяемые гарантии корректности вычислений для всех языков и виртуальных машин без какого-либо перевода на общий язык, виртуальную машину или ISA. Pi Squared возглавляет профессор UIUC Григоре Рошу, основатель K framework и Runtime Verification, и состоит из исследователей и основателей успешных проектов в области формальных методов, блокчейна и AI/ML.

Чтобы забронировать встречу с генеральным директором и командой Pi Squared, участники могут обратиться по адресу contact@pi2.network.

Чтобы узнать больше о видении Pi Squared и Proof of Proof, посетите сайт pi2.network и подпишитесь на Pi Squared в социальных сетях.

Источник