# anthropics/FlashProve

> Исследовательский прототип на Lean 4 для zero-knowledge доказательств вывода AI-моделей: провайдер доказывает, какая модель ответила, не раскрывая веса. Не поддерживается.

- Магнитуда: 5,0 из 10 — Ранний сигнал
- Звёзды: 243 всего · +39 звёзд по замерам 2026-11-03, 15:31–18:00 UTC, к вечеру ≈ 50
- Доверие к звёздам: рост звёзд выглядит естественно
- Категория: Безопасность · Язык: Lean · Лицензия: Apache-2.0 · Создан: 2026-10-30 · Последний коммит: 2026-10-30
- GitHub: https://github.com/anthropics/FlashProve · Страница: https://gitnova.dev/r/anthropics/FlashProve

## Чем пригодится

- Проверить сохранённый пример доказательства через cp_verify на обычном CPU
- Собрать и запустить toy-доказательства на CPU через blocks/first_look.sh
- Прогнать CPU-тесты через run_suite.py для проверки корректности верификатора

## Почему он здесь

- По замерам счётчика за 2026-11-03 (UTC), 15:31–18:00: 204 → 243 звёзд (+39). Это прирост за указанный интервал.
- Расчётный прогноз на конец суток: около +50 звёзд; учитывает наблюдаемый прирост и предыдущий день.
- Репозиторию 4 дня, а у него уже 243 звезды. Истории меньше двух недель, так что обычного темпа, с которым можно сравнить всплеск, у него ещё нет.
- Топ новых репозиториев за неделю: #127.
- Около 56 форков в сутки — код забирают себе.
- Среди свежих форков — заметные разработчики: @developerfred (488 подп.), @mbrukman (399 подп.).

## Доверие к звёздам

Рост звёзд выглядит естественно.

Метки доверия к звёздам — эвристики по поведению репозитория, а не проверка каждого, кто поставил звезду.

## Цифры

- Форков: 20
- Issues и pull requests: 1
- Наблюдателей: 0
- В среднем за неделю: 17 в день
- Обычный темп: мало истории (меньше двух недель)
- Звёзд за последний час (по замерам): 15

## Звёзды по дням за 5 дней (от старых к новым, сегодня — неполный день)

2026-10-30 … 2026-11-03: 0, 0, 0, 36, 39

## Где замечен сейчас

- Топ новых репозиториев за неделю: #127

## Похожие по описанию

1. **Z3Prover/z3** — 0,9 · Ровно · Инструменты разработчика · C++ · +3 звезды по замерам 2026-11-03, 00:41–18:14 UTC, к вечеру ≈ 4
   Z3 — это SMT-решатель (theorem prover) от Microsoft Research с открытым исходным кодом, который проверяет выполнимость логических формул и доказывает теоремы. Используется для формальной верификации, символьного выполнения и решения задач…
   Полная карточка: https://gitnova.dev/r/Z3Prover/z3.md

---

Магнитуда (0–10) — насколько быстро и необычно сейчас растёт интерес к репозиторию. Это не оценка качества.
Дни — по UTC. «Уже сегодня» — факт, «к вечеру ≈» — прогноз.
Описания и сценарии пишет модель (DeepSeek V4.1 Flash) по README, в деталях возможны ошибки: конкретные утверждения (замеры, скорость, железо) проверяйте в самом репозитории.
Данные на 2026-11-03 18:16 UTC, обновление каждые 30 минут.