theorem-labs/oss-verify-proofs
- Всего звёзд
- 128
- Сегодня
- +6с 13:51 UTC
Другие действия
Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
Сохрани в «Мои находки», чтобы следить за релизами и ростом звёзд. Сохраняется в этом браузере.
О проекте
Rocq-доказательства того, что fuzz-цели OSS-Fuzz для 25 библиотек (OpenSSL, zstd, simdjson и др.) не вызывают ошибок санитайзеров ни на одном входе в заданных пределах; проверяются на скомпилированных RISC-V бинарниках через модель процесса Linux LPS.
Чем пригодится
- Проверить конкретное доказательство локально в Rocq 9.2.0, чтобы убедиться в отсутствии ошибок санитайзера.
- Сослаться на agreement statement для библиотеки вроде OpenSSL bignum в отчёте по безопасности.
- Сравнить, какие сборки санитайзеров (ASan, UBSan) покрыты для нужной entry point, прежде чем на неё полагаться.
Пересказ README моделью DeepSeek V4.1 Flash. Может ошибаться в деталях. Оригинал README →
Рост звёзд выглядит естественно. Данные на 24 октября 2026, 18:51 UTC.
Оценка роста звёзд не подтверждает безопасность запуска.
Звёзды по дням
Столбики — звёзды за день UTC; линия — скользящее среднее доступной истории. Пропуски означают отсутствие данных, а не нулевой рост. Сегодняшний столбик неполный. Красным — дни всплесков.
Почему он в тренде
- По замерам счётчика за 2026-10-24 (UTC), 13:51–18:41: 122 → 128 звёзд (+6). Это прирост за указанный интервал.
- Расчётный прогноз на конец суток: около +10 звёзд; учитывает наблюдаемый прирост и предыдущий день.
- Репозиторию 2 дня, а у него уже 128 звёзд. Истории меньше двух недель, так что обычного темпа, с которым можно сравнить всплеск, у него ещё нет.
- Топ новых репозиториев за неделю: #199.
- Среди свежих форков — заметные разработчики: @gmh5225 (1 295 подп.).
Замеры роста: последние 7 полных дней
Нет данных за все 7 дней: недельный итог и сравнение не рассчитываются.
Замеры по дням · UTC
- 17 октября 2026
- —
- 18 октября 2026
- —
- 19 октября 2026
- —
- 20 октября 2026
- —
- 21 октября 2026
- —
- 22 октября 2026
- 46
- 23 октября 2026
- 62
Максимальный измеренный день за последние 30 дней: 62 · 23 октября 2026. Дней с данными: 2.
Полные дни — из истории звёзд GitHub; сегодня и прогнозы исключены из сравнения. История проверена: 24 октября 2026, 18:50 UTC. Источники и ограничения замеров →
Три GitHub-находки в каждом выпуске
Что делают, почему набирают интерес и что проверить перед использованием.
Выпуски в 10:00, 16:00, 22:00 МСК.
Цифры
- Всего звёзд
- 128
- Сегодня
- +6 звёзд по замерам 2026-10-24, 13:51–18:41 UTC, к вечеру ≈ 10
- Форков
- 8
- Issues и pull requests
- 3
- Наблюдателей
- 0
- Язык
- Rocq Prover
- Лицензия
- MIT
- Последний релиз
- v2026.10.0-src · 22 октября 2026
- Создан
- 22 октября 2026
- Последний коммит
- 23 октября 2026
Доверие к звёздам
Рост выглядит естественно: форков и обсуждений столько, сколько бывает у живых проектов, а звёзды приходят неровно, как от людей.
Это эвристики, а не приговор: судим по поведению репозитория, а не по списку звездивших.
Где замечен
- 24 октября 2026Топ новых репозиториев за неделю: #194
Бейдж для README
Вставьте в README — бейдж сам показывает свежую магнитуду и ведёт на эту страницу.
[](https://gitnova.dev/r/theorem-labs/oss-verify-proofs)