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

назад на главную страницу

Доказательства

Проверьте сами, а не верьте нам на слово.

Безопасность, инженерия, теория, соответствие стандартам и прозрачность. Каждое из этих направлений вы можете открыть и проверить сами, а не просто принимать на веру.

161.9 µs
постквантовая идентификация measured
2.24 GiB/s
крипто на ядро measured
99.6%
восстановление при 33% потерь measured
13 / 0 / 44
проверка соответствия прошли/провалили measured
1 : 10
серверов на человека model

Мы проверяем на вред, который бумажная этика не может поймать.

Перед каждым релизом CIRIS проходит батарею тестов безопасности в области психического здоровья на 29 языках. Для каждого языка есть набор сложных тестовых случаев, письменное руководство по оценке и правила, проверяемые автоматически. Если проверка не пройдена, релиз блокируется. Внутри самого агента работают ещё две защиты: проход совести, который может отказать или отложить решение, и переадресация спорных вопросов мудрому человеку.

Читать исходный код движка

Сеть под измерением

Исследования выше составляют одну половину доказательства. Вторая половина это сеть, которая передаёт данные. Каждый байт, который перемещает сеть, подписан с защитой от квантовых атак, а затраты измеряются на публичном CI-сервере, а не моделируются. Запустите сами и получите те же числа.

2,374 / s
событий с постквантовой подписью, обработанных на одном ядре CPU measured
0
утечек данных между группами на 400 узлах measured
2.6 GiB/s
пропускная способность сквозного шифрования на ядро measured
97.6%
корпус восстанавливается при 20% узлов в офлайне measured

Смотрите все измеренные данные и воспроизведите их самостоятельно

Смотреть матрицу непрерывной верификации

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

Читать Конституцию CIRIS

Смотреть все четыре статьи с ключевыми выводами и пределами применимости →

Смотреть все исследования и трассировки

Сопоставлено с четырьмя системами управления, правило за правилом.

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

Magnifica Humanitas · EU HLEG · IEEE EAD · ASEAN

Просмотреть граф соответствия

Каждое решение представляет собой подписанную открытую запись, которую вы можете проверить сами.

Изучить трассировку решения

CIRISAI/reasoning-traces

Смотреть исходный код Lens

Смотреть все исследования и трассировки