Как исследователь с опытом работы в области компьютерных наук, я воодушевлен недавним объявлением Pi Squared о привлечении начального финансирования в размере 12,5 миллионов долларов для разработки проверяемой вычислительной технологии с использованием доказательств с нулевым разглашением. Это важная область исследований, которая потенциально может произвести революцию в способах обработки безопасных и не требующих доверия вычислений, особенно в контексте транзакций блокчейна.
Как исследователь, изучающий инновационные технологии в области проверяемых вычислений, я рад сообщить, что Pi Squared недавно объявил об успешном завершении раунда начального финансирования в размере 12,5 миллионов долларов. Эти инвестиции, возглавляемые Polychain Capital, значительно активизируют наши усилия по внедрению технологии с нулевым разглашением и сделают ее доступной как для бизнеса, так и для частных лиц.
В мероприятии приняли участие ABCDE, Bloccelerate, Generative Ventures, Robot Ventures, Samsung Next и индивидуальные инвесторы, такие как Джастин Дрейк из Ethereum Foundation и Шрирам Канаан из EigenLayer.
Новый раунд капитала будет использован для расширения продуктов, которые компания планирует выпустить.
Первоначальное предложение Pi Squared называется «Универсальным расчетным слоем». По словам Григоре Рошу, генерального директора Pi Squared, в интервью CoinDesk, этот уровень облегчает урегулирование транзакций блокчейна, также известных как «претензии», с использованием любого языка программирования.
Будучи профессором информатики в Университете Иллинойса Урбана-Шампейн, я всю свою карьеру был погружен в мир технологий и научных кругов. Именно во время этого профессионального пути в моем сознании сформировалась концепция Pi Squared.
«Я проводил это исследование со своими студентами на протяжении многих лет», — рассказал Розу CoinDesk.
Компания разрабатывает «Универсальную схему с нулевым разглашением», которая использует технологию с нулевым разглашением для «безопасных, удаленных вычислений, искусственного интеллекта и взаимосвязанных смарт-контрактов, совместимых с любым блокчейном или децентрализованным приложением». (пресс-релиз Pi Squared)
Компания предлагает создать компактную схему ZK, одновременно универсальную и непритязательную, способную проверять подлинность математических доказательств. Это нововведение обеспечивает прямую гарантию правильности для всех языков программирования и виртуальных машин (ВМ) на основе их формальной семантики, устраняя необходимость переводов на распространенные языки, архитектуры виртуальных машин или архитектуры набора команд (ISA).
Проект Pi Squared в настоящее время проходит стадию проверки концепции. По планам Росу, ожидается, что этот проект будет готов к тестированию в тестовой сети к концу 2024 года.
Смотрите также
2024-07-02 17:19