Шампейн, штат Іллінойс, США, 2 липня 2024 року, Chainwire

Pi Squared, (Proof of Proof), оголосили про закриття свого першого збору капіталу. Очолюваний Polychain Capital синдикат включає ABCDE, Bloccelerate, Generative Ventures, Robot Ventures і Samsung Next. До ангелів-інвесторів належать Шумо Чу, Харіш Девараджан, Джастін Дрейк, Шрірам Канаан, Чонгор Кісс, Джордж Ламбет, Ілонг Лі, Келвін Лю, Лучіан Мінку, Картік Раджу та Common Prefix.

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

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

«Технологія proof of proof від 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 Григоре Росу на Restaking & Infra Day 8 липня та L2con 9 липня.

Про квадрат Пі

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

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

Щоб дізнатися більше про бачення Pi Squared і Proof of Proof, відвідайте pi2.network і слідкуйте за Pi Squared у соціальних мережах.

контакт

Керівник відділу маркетингу Кріс ХазелтонPi Squared Incmedia@pi2.network