Публічний реєстр
Звіт про здоров'я програмного забезпеченнясхема 0.34.0 · метрики 2.10.0 · 2026-08-28 09:57 UTC

microsoft / Nova

Nova: High-speed recursive zero-knowledge arguments from folding schemes

RustMIT★ 861 зірка⑂ 255 форківз лип. 2021 р.Переглянути на GitHub ↗
ТипБібліотекаяк це визначено

microsoft/Nova має індекс здоров’я 80 зі 100, що відповідає смузі «Відмінний». Найвищий показник — Security (87/100), найнижчий — Vitality (48/100). Останнє оновлення було 3 дні тому. Більшість нещодавньої роботи виконує один учасник.

80
загалом / 100
Відмінний

Індекс здоров'я програмного забезпечення

Метрики згруповано у зважені категорії на шкалі 1–100. Загальна оцінка починається як їхнє зважене середнє, відкаліброване за розподілом публічного реєстру, тож діапазони мають перцентильний зміст; коли публічні дані активують Політику юрисдикцій високого ризику, рейтинг коригується й отримує верхню межу 34 («У зоні ризику»).

80
Винятковий93-100Верхній щабель реєстру (≈ топ-5%); відповідає практично всім перевіреним критеріям
Відмінний80-92Сильний за всіма напрямами; незначні прогалини
Добрий65-79Здоровий; прогалини обмежені та керовані
Помірний50-64Прийнятний, але з помітними прогалинами; рекомендовано перевірку
Слабкий35-49Суттєві недоліки в кількох сферах
У зоні ризику20-34Суттєві слабкі місця; впровадження потребує обережності
Критичний1-19Серйозні проблеми (покинутий, єдиний мейнтейнер, без базової гігієни)
ЖиттєздатністьСпільнота тавпровадженняСталість таврядуванняІнженернаякістьБезпекаГотовність доШІ

Профіль оцінок

Кожна вісь — окрема категорія. Форма важить більше, ніж середнє: здоровий об'єкт заповнює всю фігуру, тоді як профіль із піками та провалами означає, що сила в одному вимірі маскує ризик в іншому.

Зважений загальний бал 68 калібровано до 80 за шкалою опублікованого індексу (калібрування реєстру 2026-08-02).

Власність

MicrosoftОрганізація · підтверджений домен
128 575 підписників8 289 публічних репозиторіївз груд. 2013 р.

За цим репозиторієм стоїть організація — спільна, підзвітна опіка, здатна пережити будь-якого окремого мейнтейнера.

Пакетні екосистеми

РеєстрПакетВерсіяЗавантажень / місВерсіїОстання публікаціяТеги
crates.ionova-snark0.75.05 260876 днів томуcryptographyproofszksnarks

Метрики за категоріями

Життєздатність

Чи живий проєкт — чи пишеться код і чи виходять релізи?

48Слабкий · 21% загального індексу

Активність розробки

79Добрий
Як обчислюється оцінка
36/36Свіжість push — останній push 3 дн. тому
18/36Ритм комітів — 26/52 тижнів із комітами
16.8/18Обсяг комітів — 73 комітів за останній рік
8/10OpenSSF Scorecard: Maintained — 10 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 8
Використані вхідні дані
commits_last_year73
human_commit_share1
days_since_last_push3
active_weeks_last_year26

Дисципліна релізів

1Критичний
Як обчислюється оцінка
0/27Випускає релізи — релізів не опубліковано
0/36Свіжість релізів — релізів немає
0/27Ритм релізів — релізів немає
0/10OpenSSF Scorecard: Signed-Releases — немає даних
Використані вхідні дані
releases_count0
Виключено з оцінювання (немає даних або не застосовно): OpenSSF Scorecard: Signed-Releases. Залишкові ваги перенормовано.

Спільнота та впровадження

Чи має проєкт користувачів, завантаження, увагу та влаштовані умови для контриб’юторів?

68Добрий · 17% загального індексу

Популярність і впровадження

75Добрий
Як обчислюється оцінка
47.6/60Зірки — 861 зірок
20/25Форки — 255 форків
7/15Спостерігачі — 19 спостерігачів
Використані вхідні дані
forks255
stars861
watchers19
growth_stateunverified
growth_factor_pct100
growth_unverified_reasonno_history

Здоров'я спільноти

65Добрий
Як обчислюється оцінка
22.5/22.5README
22.5/22.5Ліцензія — визнана ліцензія (MIT)
0/18Настанови CONTRIBUTING
13.5/13.5Кодекс поведінки
0/7.2Шаблон issue
0/6.3Шаблон PR
Використані вхідні дані
has_readmeтак
has_licenseтак
readme_badges0
has_contributingні
has_issue_templateні
has_code_of_conductтак
readme_badge_services—
has_pull_request_templateні

Впровадження в екосистемі (завантаження)

62Помірний
Як обчислюється оцінка
49.6/80Щомісячні завантаження — 5 260 завантажень/місяць у crates
0/20Залежні пакети в реєстрі — ця екосистема цього не повідомляє
Використані вхідні дані
packagesnova-snark
dependents—
ecosystemscrates
total_downloads142 956
monthly_downloads5 260
unverified_packages_excluded—
Виключено з оцінювання (немає даних або не застосовно): Залежні пакети в реєстрі. Залишкові ваги перенормовано.

Сталість та врядування

Чи переживе проєкт своїх людей — бас-фактор, реактивність, хто за ним стоїть і як супроводжуються пакети?

78Добрий · 23% загального індексу

Стійкість мейнтейнерів (бас-фактор)

41Слабкий
Як обчислюється оцінка
9/54Бас-фактор — на 1 контриб’ютор(ів) припадає половина всіх комітів
8.8/22.5Розподіл комітів — головний контриб’ютор — автор 61% комітів
13.5/13.5Широта контриб’юторів — 52 контриб’юторів
10/10OpenSSF Scorecard: Contributors — project has 11 contributing companies or organizations
Використані вхідні дані
bus_factor1
contributors_sampled52
top_contributor_share0,607

Реактивність на issue та PR

82Відмінний
Як обчислюється оцінка
33.9/42Вирішення issue — закрито 81% issue
25.6/30Прийняття PR — злито 367/430 вирішених PR
13/13Newcomer PR acceptance — злито 3/3 PR від новачків за 30 дн.
9/15OpenSSF Scorecard: Code-Review — Found 18/29 approved changesets -- score normalized to 6
Використані вхідні дані
merged_prs367
open_issues12
closed_issues50
prs_merged_7d1
prs_decided_7d1
prs_merged_30d6
prs_decided_30d7
issue_closed_ratio0,806
closed_unmerged_prs63
first_time_authors_30d3
first_time_prs_merged_30d3
first_time_prs_decided_30d3

Власність та опіка

100Винятковий
Як обчислюється оцінка
30/30Підтримка власника — у власності організації
20/20Верифікований домен
25/25Охоплення власника — 128 575 підписників у microsoft
25/25Послужний список — 8 289 публічних репозиторіїв, вік облікового запису ~12 р.
Використані вхідні дані
followers128 575
owner_typeOrganization
is_verifiedтак
owner_loginmicrosoft
public_repos8 289
account_age_days4 643

Супровід пакетів

100Винятковий
Як обчислюється оцінка
25/25Опубліковано й доступно — 1 пакет(ів) у crates
35/35Свіжість публікацій — остання публікація 6 дн. тому
20/20Історія версій — 87 опублікованих версій
20/20Не застарілий — активний, не deprecated і не yanked
Використані вхідні дані
packagesnova-snark
ecosystemscrates
any_deprecatedні
min_days_since_publish6

Інженерна якість

Чи наявні базові інженерні практики та документація?

61Помірний · 19% загального індексу

Інженерні практики

58Помірний
Як обчислюється оцінка
24/24Процеси CI — 1 процес(ів) CI
0/24Наявні тести
16/16Конфігурація лінтера — .clippy.toml, rustfmt.toml
0/9.6Pre-commit-хуки
0/6.4.editorconfig
18/20OpenSSF Scorecard: CI-Tests — 28 out of 30 merged PRs checked by a CI test -- score normalized to 9
Використані вхідні дані
has_ciтак
has_testsні
has_editorconfigні
has_linter_configтак
has_precommit_configні

Документація

65Добрий
Як обчислюється оцінка
30/30README
0/25Каталог документації
15/15Сайт документації / домашня сторінка — https://docs.rs/nova-snark/
10/10Опис репозиторію
0/10Теми
10/10Wiki
Використані вхідні дані
topics—
has_wikiтак
homepage—
docs_sitehttps://docs.rs/nova-snark/
has_readmeтак
has_docs_dirні
has_descriptionтак

Безпека

Чи міцні видимі практики безпеки й ланцюга постачання, без непослабленої пов’язаності з юрисдикціями високого ризику?

87Відмінний · 16% загального індексу

Стан безпеки

84Відмінний
Як обчислюється оцінка
6.8/7.5Binary-Artifacts — binaries present in source code
0/7.5Branch-Protection — немає даних
2.2/2.5CI-Tests — 28 out of 30 merged PRs checked by a CI test -- score normalized to 9
0/2.5CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected
4.5/7.5Code-Review — Found 18/29 approved changesets -- score normalized to 6
2.5/2.5Contributors — project has 11 contributing companies or organizations
10/10Dangerous-Workflow — no dangerous workflow patterns detected
7.5/7.5Dependency-Update-Tool — update tool detected
0/5Fuzzing — project is not fuzzed
2.5/2.5Ліцензія — license file detected
6/7.5Maintained — 10 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 8
0/5Packaging — немає даних
5/5Pinned-Dependencies — all dependencies are pinned
4/5SAST — SAST tool is not run on all commits -- score normalized to 8
5/5Security-Policy — security policy file detected
0/7.5Signed-Releases — немає даних
7.5/7.5Token-Permissions — GitHub workflow tokens follow principle of least privilege
7.5/7.5Vulnerabilities — 0 existing vulnerabilities detected
Використані вхідні дані
sourceopenssf_scorecard
checks_evaluated15
scorecard_versionv5.5.0
checks_inconclusive3
scorecard_aggregate8,4
Виключено з оцінювання (немає даних або не застосовно): Branch-Protection, Packaging, Signed-Releases. Залишкові ваги перенормовано.

Сповіщення про залежності

100Винятковий
Як обчислюється оцінка
35/35Прямі залежності без відомих сповіщень — жодна пряма залежність не має відомих сповіщень
0/25Непрямі залежності без відомих сповіщень — транзитивний набір не відокремлюється від залежностей розробки й тестування в цьому обсязі
0/40Немає задавнених сповіщень — жодне сповіщення не має дати публікації
Використані вхідні дані
sourceosv
advisories0
affected_packages0
assessed_packages1
unassessed_packages32
affected_by_severitynone
direct_affected_packages0
Виключено з оцінювання (немає даних або не застосовно): Непрямі залежності без відомих сповіщень, Немає задавнених сповіщень. Залишкові ваги перенормовано. Звірено 1 резолвлених залежностей із OSV. 32 не вдалося оцінити — немає резолвленої версії, непідтримувана екосистема або поза межами звітованого переліку пакетів. Цей репозиторій не публікує пакета, який резолвить індекс, тож натомість оцінено граф залежностей репозиторію. Цей граф змішує закріплені версії для розробки й тестування зі справді постачаними залежностями, тож оцінюються лише задекларовані runtime-залежності; транзитивні знахідки подаються як контекст і в оцінку не входять. Досяжність не аналізується.

Готовність до ШІ

Наскільки репозиторій оснащений для розробки та супроводу за участі ШІ-агентів? Має свідомо малу вагу (4%): агентний інструментарій — реальний сигнал супроводу, але репозиторій без нього все одно може отримати 100/100.

66Добрий · 4% загального індексу

Контекст і настанови для агентів

40Слабкий
Як обчислюється оцінка
0/45Інструкції для агентів — немає CLAUDE.md / AGENTS.md / правил редактора
0/15Машиночитана документація (llms.txt)
40/40Читабельна історія комітів — намір зазначено у 99 з 100 людських комітів (структурований заголовок або пояснювальний текст)
Використані вхідні дані
has_llms_txtні
llms_txt_url—
legible_history_share0,99
agent_instruction_files—
agent_instruction_max_bytes—

Цикл верифікації (збірка / тести / перевірка типів)

60Помірний
Як обчислюється оцінка
12.6/18Розгортання однією командою — Cargo.toml (домовленість інструментарію, без раннера задач)
0/22Автоматизовані тести
11/11Конфігурація лінтера / форматера — .clippy.toml, rustfmt.toml
11/11Статична перевірка типів — Rust (статично типізована)
0/10Відтворюване середовище
10/10Підтверджена практика роботи з агентами — 19 з останніх 100 комітів створено агентом або з його зазначенням
5/8Автоматизоване супроводження — автоматизацію залежностей налаштовано, але у вибірці комітів її не видно
10/10OpenSSF Scorecard: Pinned-Dependencies — all dependencies are pinned
Використані вхідні дані
has_nixні
has_testsні
lockfiles—
has_dockerfileні
typed_languageтак
bootstrap_files—
has_devcontainerні
has_linter_configтак
typecheck_configs—
agent_commit_share0,19
toolchain_manifestsCargo.toml
dependency_bot_commit_share0

Читабельність коду для моделей

100Винятковий
Як обчислюється оцінка
45/45Типізований код — Rust (статично типізована)
55/55Керовані розміри файлів — 0/101 файлів вихідного коду понад 60 КБ
Використані вхідні дані
primary_languageRust
largest_source_bytes56 018
source_files_sampled101
oversized_source_files0

Машиночитні інтерфейси

100Винятковий
Як обчислюється оцінка
0/40Схема API (OpenAPI/GraphQL/proto) — не застосовно до цього типу програмного забезпечення
0/20Сервер MCP — не застосовно до цього типу програмного забезпечення
40/40Придатні до запуску приклади — examples
Використані вхідні дані
example_dirsexamples
has_mcp_signalні
api_schema_files—
interfaces_expected_of—
Виключено з оцінювання (немає даних або не застосовно): Схема API (OpenAPI/GraphQL/proto), Сервер MCP. Залишкові ваги перенормовано.

Ключові факти

861зірок GitHub
52контриб'юторів
73комітів за останні 12 місяців
3днів від останнього пушу
0релізів
1бас-фактор
12відкритих issue
crates.ioпакетних екосистем

Попередження щодо збору даних

  • Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token

Докладніше

Історія зірок і форків 0 ★ / 255 ⇿
0Зірки
255Форки

Коли додано кожну зірку й форк — зібрано з GitHub і згруповано за днями. Кумулятивне зростання розміщено просто над денними додаваннями, з яких воно складається, тож їх видно одне проти одного: рівномірне органічне накопичення виглядає зовсім інакше, ніж різкий короткочасний сплеск. Там, де цю різницю можна виміряти, її подано як автентичність росту.

0408012016020024022952021-072024-022026-08

Кожна точка охоплює 5 днів.

OpenSSF Scorecard 8.4 / 10
8.4сукупно

Незалежна, не прив'язана до інструментів оцінка безпеки від відкритого проєкту OpenSSF Scorecard. Кожна перевірка винагороджує практику безпеки, а не інструмент конкретного постачальника. Перевірки, які Scorecard не зміг визначити, позначено н/д і виключено з оцінки безпеки (вони ніколи не зараховуються як нуль).Scorecard v5.5.0 · 2026-08-28 09:56 UTC

9Binary-Artifactsbinaries present in source code
н/дBranch-Protectioninternal error: error during branchesHandler.setup: internal error: some github tokens can't read classic branch protection rules: https://github.com/ossf/scorecard-action/blob/main/docs/authentication/fine-grained-auth-token.md
9CI-Tests28 out of 30 merged PRs checked by a CI test -- score normalized to 9
0CII-Best-Practicesno effort to earn an OpenSSF best practices badge detected
6Code-ReviewFound 18/29 approved changesets -- score normalized to 6
10Contributorsproject has 11 contributing companies or organizations
10Dangerous-Workflowno dangerous workflow patterns detected
10Dependency-Update-Toolupdate tool detected
0Fuzzingproject is not fuzzed
10Licenselicense file detected
8Maintained10 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 8
н/дPackagingpackaging workflow not detected
10Pinned-Dependenciesall dependencies are pinned
8SASTSAST tool is not run on all commits -- score normalized to 8
10Security-Policysecurity policy file detected
н/дSigned-Releasesno releases found
10Token-PermissionsGitHub workflow tokens follow principle of least privilege
10Vulnerabilities0 existing vulnerabilities detected
Прямі залежності 20
РеєстрПакетОбмеження версіїМаніфест
crates.ioff0.13.0Cargo.toml
crates.iodigest0.10Cargo.toml
crates.iosha30.10Cargo.toml
crates.iorayon1.10Cargo.toml
crates.iorand_core0.6Cargo.toml
crates.iorand_chacha0.3Cargo.toml
crates.iosubtle2.6.1Cargo.toml
crates.iogeneric-array1.2.0Cargo.toml
crates.ionum-bigint0.4.6Cargo.toml
crates.ionum-traits0.2.19Cargo.toml
crates.ionum-integer0.1.46Cargo.toml
crates.ioserde1.0.217Cargo.toml
crates.ioserde_with=3.21.0Cargo.toml
crates.iobincode2Cargo.toml
crates.iobitvec1.0Cargo.toml
crates.ioblitzar5.0.0Cargo.toml
crates.iobyteorder1.4.3Cargo.toml
crates.iothiserror2.0.11Cargo.toml
crates.ioonce_cell1.18.0Cargo.toml
crates.ioitertools0.14.0Cargo.toml
Усі залежності 33

Повний розв'язаний набір залежностей із графа залежностей GitHub: 20 прямих і 13 непрямих (транзитивних) пакетів. Транзитивне замикання є повним, коли в репозиторії закомічено lockfile.

РеєстрПакетВерсіяЗв'язок
crates.iobincode—пряма
crates.iobitvec—пряма
crates.ioblitzar—пряма
crates.iobyteorder—пряма
crates.iodigest—пряма
crates.ioff—пряма
crates.iogeneric-array—пряма
crates.ioitertools—пряма
crates.ionum-bigint—пряма
crates.ionum-integer—пряма
crates.ionum-traits—пряма
crates.ioonce_cell—пряма
crates.iorand_chacha—пряма
crates.iorand_core—пряма
crates.iorayon—пряма
crates.ioserde—пряма
crates.ioserde_with3.21.0пряма
crates.iosha3—пряма
crates.iosubtle—пряма
crates.iothiserror—пряма
crates.iocfg-if—непряма
crates.iocriterion—непряма
crates.ioexpect-test—непряма
crates.ioflate2—непряма
crates.iogetrandom—непряма
crates.iohalo2curves—непряма
crates.iohex—непряма
crates.iopprof2—непряма
crates.ioproptest—непряма
crates.iorand—непряма
crates.ioreqwest—непряма
crates.ioserde_json—непряма
crates.iosha2—непряма
Сповіщення про залежності 0

Цей репозиторій не публікує пакета, який розпізнає індекс, тож оцінено його власний граф залежностей — 1 пакетів, серед яких є й піниї розробки та тестування, що ніколи не постачаються: 0 мають відомі сповіщення, з них 0 прямі. 32 не вдалося оцінити — немає резолвленої версії, непідтримувана екосистема або поза наведеним переліком пакетів.

Жодне відоме сповіщення не стосується оцінених залежностей.

Сповіщення означає, що версія, записана в графі залежностей, потрапляє в уражений діапазон. Досяжність не аналізується, а граф містить піниї розробки й тестування — знахідка може стосуватися інструментів, а не поставленого коду.

Звіт у форматі JSON машиночитний

Зворотний зв’язок

Помітили щось хибне у цьому звіті або маєте чим поділитися? Неправильні вимірювання, непомічені інструменти, ідеї, запитання — усе доречно. Кожне повідомлення читається й отримує відповідь.

Повідомлення збережеться під час входу.

Пов’язані записи

Перевірені репозиторії, що мають спільні каталожні теги або екосистеми з microsoft/Nova. Читати поруч →

80zcash/halo2The Halo2 zero-knowledge proving systemВідмінний95ProvableHQ/snarkOSA Decentralized Operating System for ZK ApplicationsВинятковий91ProvableHQ/sdkJavascript & Typescript SDK for Zero-Knowledge Application DevelopmentВідмінний75zakura-core/commonZakura Common LibrariesДобрий98zama-ai/tfhe-rsTFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.Винятковий98noir-lang/noirNoir is a domain specific language for zero knowledge proofsВинятковий

Оцінки — це сигнали, а не гарантії. Вони відображають публічно видимі практики на GitHub — це не аудит коду й не гарантія безпеки.

Відсутні дані виключаються, а ваги перенормовуються — нуль за відсутність ніколи не ставиться. Методологія версіонована й відкрита: метрики v2.10.0, схема v0.34.0 — повна методологія · вікі метрик.

Як окремий результат виглядає на тлі всього реєстру: сукупна статистика — crates.io.