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

Компания Pi Squared, возглавляемая Григоре Рошу, профессором информатики Иллинойского университета в Урбана-Шампейне, занимается созданием проверяемых вычислений с помощью технологии с нулевым разглашением. Основная идея Pi Squared возникла в результате многолетних исследований Розу в научных кругах. Он и его студенты исследовали эту технологию в течение многих лет и, наконец, сформировали концепцию Pi Squared.

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

Можно сказать, что сценарии применения и пространство значений Pi Squared очень изобретательны.

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

01

Анализ конкурентной продукции

ZKsync

ZKsync — это решение для масштабирования Ethereum, которое использует технологию ZK-rollup для достижения высокой пропускной способности и низких комиссий за транзакции. Масштабируемость достигается за счет пакетной обработки нескольких транзакций и создания доказательств ZK. Основное преимущество ZKsync заключается в том, что скорость транзакций и комиссии значительно снижаются при сохранении безопасности Ethereum.

ZK-родной

ZK-native относится к тем блокчейнам, которые используют технологию доказательства с нулевым разглашением, лежащую в основе базовой конструкции. Эти блокчейны часто имеют более надежную защиту конфиденциальности и возможности сжатия данных, такие как StarkNet и Mina Protocol. Они обеспечивают конфиденциальность и эффективность транзакций и данных за счет непосредственной интеграции технологии ZK на уровне протокола.

Цепь ЗК

ZK-native относится к тем блокчейнам, которые используют технологию доказательства с нулевым разглашением, лежащую в основе базовой конструкции. Эти блокчейны часто имеют более надежную защиту конфиденциальности и возможности сжатия данных, такие как StarkNet и Mina Protocol. Они обеспечивают конфиденциальность и эффективность транзакций и данных за счет непосредственной интеграции технологии ZK на уровне протокола.

Цепь ЗК

ZK Chain относится к тем блокчейн-системам, которые используют технологию доказательства с нулевым разглашением в качестве основного компонента. Эти системы часто предназначены для улучшения защиты конфиденциальности и масштабируемости блокчейнов, таких как Aztec и Zcash. ZK Chain предоставляет пользователям надежную защиту конфиденциальности и эффективные возможности обработки транзакций за счет использования таких технологий, как ZK-SNARK или ZK-STARK.

Основное отличие Pi Squared от вышеупомянутых технологий — универсальность и метод проверки. В то время как ZKsync, ZK-native и ZK Chain ориентированы на повышение производительности и защиту конфиденциальности для конкретных блокчейнов, Pi Squared обеспечивает универсальную проверяемость для всех блокчейнов, виртуальных машин и языков программирования через свой универсальный уровень расчетов (USL). Рассчитать решение . Технология PoP Pi Squared подходит не только для блокчейна, но также может быть распространена на другие области вычислений для достижения поистине повсеместных вычислений.

02

USL: козырная карта Pi Squared

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

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

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

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

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

(3) Минимизация базы доверия

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

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

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

(5) Уверенность и повторяемость

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

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

Во-первых, вычислительный уровень

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

Во-вторых, сеть секвенсоров

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

В-третьих, интерфейс исполнительного уровня.

В-третьих, интерфейс исполнительного уровня.

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

В-четвертых, уровень USL Pi Squared

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

Наконец, сеть π² и пул проверочных устройств.

Сеть π² состоит из узлов, использующих протокол консенсуса, который проверяет достоверность состояний после транзакции. Процесс проверки прозрачен, повторяем и может быть проверен независимо любой внешней организацией. Пул проверяющих состоит из проверяющих узлов, которые генерируют доказательства с нулевым разглашением (ZKP) транзакций или блоков. ZKP работает путем повторного выполнения транзакций или блоков и генерации доказательств правильности логики сопоставления. Полученное ZKP намного меньше исходного математического доказательства и может быть передано и проверено быстрее.

03

Прикладное значение USL в поле Web3

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

Свернутый в коробке

Служба поддерживает создание объединений L2/L3 и цепочек приложений, пользователи могут выбирать функции системы, а все транзакции прозрачно обрабатываются USL.

Многоцепное мостовое соединение

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

Межсетевые финансовые приложения

USL позволяет приложениям DeFi плавно переходить между различными объединениями и цепочками приложений, обеспечивая более высокие ставки по ставкам и кредитованию. Например, сделайте ставку ETH на Ethereum в цепочке Cosmos и одолжите USDC.

Гетерогенная проверка ЗК

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

краткое содержание

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

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

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