ЛА

Lagrange Labs с гордостью объявляет о DeepProve-1, первой готовой к производству системе zkML, которая успешно генерирует криптографическое доказательство полного вывода большой языковой модели (LLM). Этот релиз демонстрирует, что проверяемый ИИ больше не является далекой целью — это теперь реальность.

С DeepProve-1 мы успешно сгенерировали доказательство с нулевым знанием для полного вывода GPT-2 от OpenAI — значительный прорыв в области проверяемого ИИ. Это достижение не просто техническое достижение; оно устанавливает прочную основу для поддержки zkML в следующем поколении больших языковых моделей, включая LLAMA, Gemma и другие. Архитектурно GPT-2 и LLAMA от Meta имеют поразительное сходство, что означает, что DeepProve теперь ближе, чем когда-либо, к возможности доказать LLM на основе LLAMA. Lagrange планирует преодолеть этот последний разрыв в ближайшие месяцы, позволяя DeepProve поддерживать самые широко используемые модели LLM с открытым исходным кодом в мире.

DeepProve-1 знаменует собой точку перелома в развитии машинного обучения, вводя проверяемость как основную функцию современных ИИ-систем. Проверяемость, когда-то ограниченная базовыми типами моделей, такими как MLP и CNN, теперь распространяется на полноценные архитектуры трансформеров. Поскольку ИИ все больше влияет на принятие решений в обороне, здравоохранении, финансах и инфраструктуре, DeepProve-1 приносит криптографическую целостность в системы, которые имеют наибольшее значение.