Nil Foundation, разработчик технологии ZK, объявил о публичном выпуске компилятора схем Rust, построенного на ядре zkLLVM. На данный момент zkLLVM поддерживает генерацию определений схем из C++, Rust находится в бета-режиме, и в этом последнем выпуске разработчики могут использовать Rust в качестве исходного кода для определений схем. Основной целью компилятора схем zkLLVM является упрощение процесса разработки схем при сохранении безопасности. Вместо того, чтобы вручную определять схемы с помощью zk-специфичных DSL (например, Cairo, Noir, Circom и т. д.), разработчики могут использовать известные языки программирования, такие как C++ или Rust. zkLLVM может преобразовывать высокоуровневый исходный код непосредственно в арифметические схемы, а также в определенной степени автоматизирует процесс определения схемы, что ускоряет разработку и снижает риск ручных ошибок в схемах.

Согласно новостям от 15 сентября, разработчик технологии ZK Nil Foundation и исследовательская компания Taceo сотрудничают в разработке конвейера программного обеспечения для использования технологии ZK для проверки моделей машинного обучения (ML) в сети Ethereum, что позволяет машинному обучению работать в смарт-контрактах без необходимости потребность в доверии третьей стороны. Обе стороны опубликуют предварительные результаты и возможности использования zkLLVM в моделях машинного обучения в четвертом квартале 2023 года.

Согласно новостям PANews от 28 июля, разработчик технологии ZK Nil Foundation объявил, что Proof Market интегрировал тестовую сеть Ethereum Sepolia, чтобы обеспечить доказуемую компонуемость вычислений для всех приложений EVM. Бета-версия Proof Market была выпущена в январе 2023 г. Первоначально она использовалась в основном для протоколов, отличных от Ethereum L1.Его будущие варианты использования включают zkML, zkOracles, zkBridges, доказательства мошенничества и т. д. Сообщается, что конечная точка Proof Market EVM делает доказуемые вычисления совместимыми с приложениями EVM.Эти приложения могут не только использовать zkLLVM и Proof Market для упрощения генерации zkProof, но и изначально интегрировать сортировку доказательств в код приложения языка Solidity. Через эту конечную точку EVM активы Ethereum могут участвовать в доказуемых вычислениях и интегрировать Proof Market в любой конвейер приложений, который обрабатывает ликвидность Ethereum.

Odaily Planet Daily News Nil Foundation выпустила статью, в которой говорится, что он запустил Proof Market в Sepolia of Ethereum, позволяя приложениям Ethereum выполнять вычисления различными способами по запросу, включая zkBridging, zkRollups и т. д., обеспечивая компонуемость вычислений для приложений EVM. Потенциальные варианты использования включают машинное обучение, обработку данных Ethereum, передачу данных, защиту от мошенничества и многое другое.

PANews 25 июля, согласно «Fortune» Fortune, производитель оборудования для криптовалюты, компания Fabric Cryptography объявила о завершении предварительного раунда финансирования на сумму 6 миллионов долларов, во главе с Metaplanet, Nil Foundation, Inflection, Novawulf и Era. Компания Покупатель подписал письмо о намерениях по сделке на сумму около 100 млн долларов. Сообщается, что на прошлой неделе Fabric Cryptography также заключила соглашение о сотрудничестве с разработчиком технологии ZK Nil Foundation для запуска децентрализованного рынка шифрования и аутсорсинговой генерации доказательств.

Odaily Planet Daily News Разработчик технологии ZK Nil Foundation (также известный как «= nil_ Foundation») заключил партнерское соглашение с производителем оборудования для шифрования Fabric Cryptography, чтобы создать децентрализованный рынок для шифрования и аутсорсинговой генерации доказательств с конечной целью продвижения более быстрого, более масштабируемого, более частные и интероперабельные вычисления с нулевым разглашением. (Блок)

Инвентаризация инвестиционных проектов Polychain Capital: Quasar, nil, SPACE ID… 1) Quasar — это децентрализованная цепочка приложений, поддерживающая кроссчейн-управление активами в экосистеме Cosmos. Казначейство общего управления активами Quasar, которое можно настроить в соответствии с различными потребностями. 2) ноль был установлен для облегчения исследований и разработок в области криптографии и баз данных. Их основным продуктом является Proof Market, который позволяет zkLLVM работать вместе, чтобы упростить реализацию zk для разработчиков. 3) SPACE ID строит универсальную сеть общего обслуживания имен. Их инфраструктура обеспечивает службу имен с несколькими цепочками, где каждый может создавать удостоверения web3. 4) Cysic — это аппаратный стартап zk, целью которого является обеспечение физических требований для протокола zk proof. 5) Polyhedra Network строит инфраструктуру на базе технологии zk. Они разработали zkBridge, не требующую доверия инфраструктуру для взаимодействия L1 и L2, и zkDID, масштабируемое и совместимое решение DID на основе SBT. 6) Scroll привлек 50 миллионов долларов при оценке в 1,8 миллиарда долларов. Scrolls — это zkRollup, основанный на zkEVM, созданный поверх ETH, что обеспечивает совместимость между другими приложениями в сети.