Интерпретация квадрата Пи: Под руководством академической элиты из ведущих университетов

В то время как BTC переживает нисходящий тренд в течение последних нескольких дней, на первичном рынке продолжают появляться значительные финансовые сделки. Помимо 85 миллионов долларов, привлеченных ИИ-гигантом Sentiment, еще одним заслуживающим внимания финансовым проектом на этой неделе стала компания Pi Squared, связанная с технологией ZK.

2 июля Pi Squared объявила о привлечении 12 миллионов долларов в качестве начального финансирования под руководством Polychain Capital, при участии ABCDE, Bloccelerate, Generative Ventures, Robot Ventures и Samsung Next. Среди инвесторов-ангелов были Джастин Дрейк из Ethereum Foundation и Срирам Канаан, основатель EigenLayer.

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

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

Пи в квадрате: Под руководством академической элиты из лучших университетов

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

Pi Squared возглавляет Григоре Розу, профессор информатики в Университете Иллинойса Урбана-Шампейн (UIUC), который также является генеральным директором проекта.

В 2014 году Григоре Розу стал полноправным профессором UIUC, специализируясь на формальной верификации и верификации времени выполнения. Проще говоря, формальная верификация подразумевает использование математических методов для доказательства корректности программных и аппаратных систем, обеспечивая их правильное функционирование в различных условиях. Верификация во время выполнения, с другой стороны, включает в себя мониторинг поведения системы в реальном времени для повышения стабильности и безопасности.

Согласно Википедии, профессор Григоре Розу опубликовал множество работ, получивших высшие награды от Ассоциации вычислительной техники (ACM) и Международной конференции по автоматизированной разработке программного обеспечения (ASE).

Но какое отношение это имеет к криптовалютному проекту?

Если обратиться к основному описанию деятельности компании Pi Squared, то можно узнать, что она использует технологию доказательства нулевого знания (ZK) для проверки правильности выполнения любой программы, независимо от используемого языка программирования (PL) или виртуальной машины (VM). Она обеспечивает универсальный и эффективный метод проверки, направленный на достижение бесшовной совместимости между блокчейнами, языками и приложениями.

Это прекрасно согласуется с опытом профессора Григоре Розу в области верификации, что делает это идеальным применением его академических знаний.

USL: облегчение расчетов по системным операциям

Давайте подробнее рассмотрим «универсальный расчетный слой» (USL), который призван создать Pi Squared.

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

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

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

Вот диаграмма с сайта Pi Squared website, иллюстрирующая роль этого суперпереводчика:

1. Инициировать транзакцию: Пользователь (например, Алиса) инициирует запрос на транзакцию, например, передачу 1 WETH Бобу. WETH — это токен, соответствующий стандарту ERC20.
2. Универсальное поселение: Запрос на транзакцию передается в среду, поддерживающую любую виртуальную машину и язык программирования, например EVM или Python. Это универсальный расчетный уровень — вычисления могут быть выражены на любом языке или виртуальной машине, если существует формальная спецификация для этого конкретного языка или виртуальной машины.
3. Создать доказательство: На шаге 2 генерируется математическое доказательство для проверки правильности транзакции. Это доказательство очень точное, но может быть очень большим.
4. Проверка доказательств: Для проверки «большого доказательства» используется программа проверки доказательств ZK-ED (zero-knowledge — matching logic). Этот чекер невелик и может обрабатывать большие параллельные задачи.
5. ZK Compression: Наконец, генерируется доказательство с нулевым знанием для проверки корректности транзакции. Это доказательство с нулевым знанием имеет небольшой размер и может быть эффективно передано и проверено.

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

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

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

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

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

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