The formally verified crypto library for Rust
celabshq/libcrux має індекс здоров’я 89 зі 100, що відповідає смузі «Відмінний». Найвищий показник — Vitality (100/100), найнижчий — AI Readiness (61/100). Останнє оновлення — сьогодні. Більшість нещодавньої роботи виконують 3 учасники.
Метрики згруповано у зважені категорії на шкалі 1–100. Загальна оцінка починається як їхнє зважене середнє, відкаліброване за розподілом публічного реєстру, тож діапазони мають перцентильний зміст; коли публічні дані активують Політику юрисдикцій високого ризику, рейтинг коригується й отримує верхню межу 34 («У зоні ризику»).
Кожна вісь — окрема категорія. Форма важить більше, ніж середнє: здоровий об'єкт заповнює всю фігуру, тоді як профіль із піками та провалами означає, що сила в одному вимірі маскує ризик в іншому.
Зважений загальний бал 75 калібровано до 89 за шкалою опублікованого індексу (калібрування реєстру 2026-08-02).
За цим репозиторієм стоїть організація — спільна, підзвітна опіка, здатна пережити будь-якого окремого мейнтейнера.
| Реєстр | Пакет | Версія | Завантажень / міс | Версії | Остання публікація |
|---|---|---|---|---|---|
| crates.io | libcruxвказує на інший репозиторій — не оцінюється | 0.0.5 | 2 948 | 15 | 1 день тому |
| crates.io | libcrux-ecdhвказує на інший репозиторій — не оцінюється | 0.0.8 | 153 721 | 19 | 1 день тому |
| crates.io | libcrux-kemвказує на інший репозиторій — не оцінюється | 0.0.9 | 151 742 | 22 | 1 день тому |
| crates.io | libcrux-ml-dsaвказує на інший репозиторій — не оцінюється | 0.0.10 | 25 340 | 17 | 1 день тому |
| crates.io | libcrux-ml-kemвказує на інший репозиторій — не оцінюється | 0.0.10 | 299 684 | 24 | 1 день тому |
| crates.io | libcrux-psqвказує на інший репозиторій — не оцінюється | 0.0.10 | 3 403 | 18 | 1 день тому |
Чи живий проєкт — чи пишеться код і чи виходять релізи?
| 36/36 | Свіжість push — останній push 0 дн. тому |
| 36/36 | Ритм комітів — 52/52 тижнів із комітами |
| 18/18 | Обсяг комітів — 1 883 комітів за останній рік |
| 10/10 | OpenSSF Scorecard: Maintained — 30 commit(s) and 16 issue activity found in the last 90 days -- score normalized to 10 |
| commits_last_year | 1 883 |
| human_commit_share | — |
| days_since_last_push | 0 |
| active_weeks_last_year | 52 |
| 27/27 | Випускає релізи — опубліковано 83 релізів |
| 36/36 | Свіжість релізів — останній реліз 0 дн. тому |
| 27/27 | Ритм релізів — реліз кожні ~0 дн. |
| 0/10 | OpenSSF Scorecard: Signed-Releases — немає даних |
| releases_count | 83 |
| latest_release_tag | libcrux-v0.0.5 |
| releases_from_tags | ні |
| days_since_latest_release | 0 |
| mean_days_between_releases | 0 |
Чи має проєкт користувачів, завантаження, увагу та влаштовані умови для контриб’юторів?
| 38.8/60 | Зірки — 247 зірок |
| 14.4/25 | Форки — 54 форків |
| 3.9/15 | Спостерігачі — 6 спостерігачів |
| forks | 54 |
| stars | 247 |
| watchers | 6 |
| growth_state | unverified |
| growth_factor_pct | 100 |
| growth_unverified_reason | no_history |
| 22.5/22.5 | README |
| 22.5/22.5 | Ліцензія — визнана ліцензія (Apache-2.0) |
| 18/18 | Настанови CONTRIBUTING |
| 13.5/13.5 | Кодекс поведінки |
| 0/7.2 | Шаблон issue |
| 0/6.3 | Шаблон PR |
| has_readme | так |
| has_license | так |
| readme_badges | — |
| has_contributing | так |
| has_issue_template | ні |
| has_code_of_conduct | так |
| readme_badge_services | — |
| has_pull_request_template | ні |
Чи переживе проєкт своїх людей — бас-фактор, реактивність, хто за ним стоїть і як супроводжуються пакети?
| 36/54 | Бас-фактор — на 3 контриб’ютор(ів) припадає половина всіх комітів |
| 17.1/22.5 | Розподіл комітів — головний контриб’ютор — автор 24% комітів |
| 13.5/13.5 | Широта контриб’юторів — 44 контриб’юторів |
| 10/10 | OpenSSF Scorecard: Contributors — project has 26 contributing companies or organizations |
| bus_factor | 3 |
| contributors_sampled | 44 |
| top_contributor_share | 0,24 |
| 35/42 | Вирішення issue — закрито 83% issue |
| 24.2/30 | Прийняття PR — злито 778/964 вирішених PR |
| 0/13 | Newcomer PR acceptance — за 30 дн. не вирішено жодного PR від новачка |
| 15/15 | OpenSSF Scorecard: Code-Review — all changesets reviewed |
| merged_prs | 778 |
| open_issues | 90 |
| closed_issues | 449 |
| prs_merged_7d | — |
| prs_decided_7d | — |
| prs_merged_30d | — |
| prs_decided_30d | — |
| issue_closed_ratio | 0,833 |
| closed_unmerged_prs | 186 |
| first_time_authors_30d | — |
| first_time_prs_merged_30d | — |
| first_time_prs_decided_30d | — |
| 30/30 | Підтримка власника — у власності організації |
| 0/20 | Верифікований домен — статус підтвердженого домену для цієї організації не зчитано |
| 2.2/25 | Охоплення власника — 1 підписників у celabshq |
| 9.3/25 | Послужний список — 17 публічних репозиторіїв, вік облікового запису ~0 р. |
| followers | 1 |
| owner_type | Organization |
| is_verified | — |
| owner_login | celabshq |
| public_repos | 17 |
| account_age_days | 31 |
Чи наявні базові інженерні практики та документація?
| 24/24 | Процеси CI — 35 процес(ів) CI |
| 24/24 | Наявні тести |
| 0/16 | Конфігурація лінтера |
| 0/9.6 | Pre-commit-хуки |
| 0/6.4 | .editorconfig |
| 20/20 | OpenSSF Scorecard: CI-Tests — 3 out of 3 merged PRs checked by a CI test -- score normalized to 10 |
| has_ci | так |
| has_tests | так |
| has_editorconfig | ні |
| has_linter_config | ні |
| has_precommit_config | ні |
| 30/30 | README |
| 0/25 | Каталог документації |
| 0/15 | Сайт документації / домашня сторінка |
| 10/10 | Опис репозиторію |
| 10/10 | Теми — 4 тем |
| 10/10 | Wiki |
| topics | cryptography, encryption, formal-verification, signatures |
| has_wiki | так |
| homepage | — |
| docs_site | — |
| has_readme | так |
| has_docs_dir | ні |
| has_description | так |
Чи міцні видимі практики безпеки й ланцюга постачання, без непослабленої пов’язаності з юрисдикціями високого ризику?
| 7.5/7.5 | Binary-Artifacts — no binaries found in the repo |
| 3.8/7.5 | Branch-Protection — branch protection is not maximal on development and all release branches |
| 2.5/2.5 | CI-Tests — 3 out of 3 merged PRs checked by a CI test -- score normalized to 10 |
| 0/2.5 | CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected |
| 7.5/7.5 | Code-Review — all changesets reviewed |
| 2.5/2.5 | Contributors — project has 26 contributing companies or organizations |
| 10/10 | Dangerous-Workflow — no dangerous workflow patterns detected |
| 7.5/7.5 | Dependency-Update-Tool — update tool detected |
| 5/5 | Fuzzing — project is fuzzed |
| 2.5/2.5 | Ліцензія — license file detected |
| 7.5/7.5 | Maintained — 30 commit(s) and 16 issue activity found in the last 90 days -- score normalized to 10 |
| 5/5 | Packaging — packaging workflow detected |
| 1.5/5 | Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 3 |
| 0/5 | SAST — SAST tool is not run on all commits -- score normalized to 0 |
| 5/5 | Security-Policy — security policy file detected |
| 0/7.5 | Signed-Releases — немає даних |
| 0/7.5 | Token-Permissions — detected GitHub workflow tokens with excessive permissions |
| 0/7.5 | Vulnerabilities — 15 existing vulnerabilities detected |
| source | openssf_scorecard |
| checks_evaluated | 17 |
| scorecard_version | v5.5.0 |
| checks_inconclusive | 1 |
| scorecard_aggregate | 6,9 |
Наскільки репозиторій оснащений для розробки та супроводу за участі ШІ-агентів? Має свідомо малу вагу (4%): агентний інструментарій — реальний сигнал супроводу, але репозиторій без нього все одно може отримати 100/100.
| 0/45 | Інструкції для агентів — немає CLAUDE.md / AGENTS.md / правил редактора |
| 0/15 | Машиночитана документація (llms.txt) |
| 0/40 | Читабельна історія комітів — немає даних |
| has_llms_txt | ні |
| llms_txt_url | — |
| legible_history_share | — |
| agent_instruction_files | — |
| agent_instruction_max_bytes | — |
| 18/18 | Розгортання однією командою — benchmarks/benches/circl/Makefile, crates/algorithms/kmac/proofs/fstar/extraction/Makefile, crates/algorithms/sha3/proofs/fstar/extraction/Makefile, crates/utils/core-models/proofs/fstar/extraction/Makefile, formal_verification/hacl-star/spec-equivalence/Makefile, fstar-helpers/fstar-bitvec/Makefile, libcrux-ml-dsa/proofs/fstar/extraction/Makefile, libcrux-ml-dsa/proofs/fstar/spec/Makefile, libcrux-ml-kem/extracts/cpp_header_only/generated/fuzz/Makefile, libcrux-ml-kem/proofs/fstar/extraction/Makefile, libcrux-ml-kem/proofs/fstar/spec/Makefile, proofs/fstar/extraction-edited/Makefile, proofs/fstar/extraction-secret-independent/Makefile, proofs/fstar/extraction/Makefile, specs/sha3/proofs/fstar/extraction/Makefile |
| 22/22 | Автоматизовані тести |
| 0/11 | Конфігурація лінтера / форматера |
| 11/11 | Статична перевірка типів — C (статично типізована) |
| 10/10 | Відтворюване середовище — devcontainer, Dockerfile, Nix, lockfile |
| 0/10 | Підтверджена практика роботи з агентами — немає даних |
| 5/8 | Автоматизоване супроводження — автоматизацію залежностей налаштовано, але у вибірці комітів її не видно |
| 3/10 | OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 3 |
| has_nix | так |
| has_tests | так |
| lockfiles | go.sum |
| has_dockerfile | так |
| typed_language | так |
| bootstrap_files | benchmarks/benches/circl/Makefile, crates/algorithms/kmac/proofs/fstar/extraction/Makefile, crates/algorithms/sha3/proofs/fstar/extraction/Makefile, crates/utils/core-models/proofs/fstar/extraction/Makefile, formal_verification/hacl-star/spec-equivalence/Makefile, fstar-helpers/fstar-bitvec/Makefile, libcrux-ml-dsa/proofs/fstar/extraction/Makefile, libcrux-ml-dsa/proofs/fstar/spec/Makefile, libcrux-ml-kem/extracts/cpp_header_only/generated/fuzz/Makefile, libcrux-ml-kem/proofs/fstar/extraction/Makefile, libcrux-ml-kem/proofs/fstar/spec/Makefile, proofs/fstar/extraction-edited/Makefile, proofs/fstar/extraction-secret-independent/Makefile, proofs/fstar/extraction/Makefile, specs/sha3/proofs/fstar/extraction/Makefile |
| has_devcontainer | так |
| has_linter_config | ні |
| typecheck_configs | — |
| agent_commit_share | — |
| toolchain_manifests | — |
| dependency_bot_commit_share | 0 |
| 45/45 | Типізований код — C (статично типізована) |
| 53.4/55 | Керовані розміри файлів — 32/1 084 файлів вихідного коду понад 60 КБ |
| primary_language | C |
| largest_source_bytes | 538 718 |
| source_files_sampled | 1 084 |
| oversized_source_files | 32 |
| 0/40 | Схема API (OpenAPI/GraphQL/proto) — не застосовно до цього типу програмного забезпечення |
| 0/20 | Сервер MCP — не застосовно до цього типу програмного забезпечення |
| 40/40 | Придатні до запуску приклади — examples |
| example_dirs | examples |
| has_mcp_signal | ні |
| api_schema_files | — |
| interfaces_expected_of | — |
Незалежна, не прив'язана до інструментів оцінка безпеки від відкритого проєкту OpenSSF Scorecard. Кожна перевірка винагороджує практику безпеки, а не інструмент конкретного постачальника. Перевірки, які Scorecard не зміг визначити, позначено н/д і виключено з оцінки безпеки (вони ніколи не зараховуються як нуль).
| 10 | Binary-Artifacts | no binaries found in the repo |
| 5 | Branch-Protection | branch protection is not maximal on development and all release branches |
| 10 | CI-Tests | 3 out of 3 merged PRs checked by a CI test -- score normalized to 10 |
| 0 | CII-Best-Practices | no effort to earn an OpenSSF best practices badge detected |
| 10 | Code-Review | all changesets reviewed |
| 10 | Contributors | project has 26 contributing companies or organizations |
| 10 | Dangerous-Workflow | no dangerous workflow patterns detected |
| 10 | Dependency-Update-Tool | update tool detected |
| 10 | Fuzzing | project is fuzzed |
| 10 | License | license file detected |
| 10 | Maintained | 30 commit(s) and 16 issue activity found in the last 90 days -- score normalized to 10 |
| 10 | Packaging | packaging workflow detected |
| 3 | Pinned-Dependencies | dependency not pinned by hash detected -- score normalized to 3 |
| 0 | SAST | SAST tool is not run on all commits -- score normalized to 0 |
| 10 | Security-Policy | security policy file detected |
| н/д | Signed-Releases | no releases found |
| 0 | Token-Permissions | detected GitHub workflow tokens with excessive permissions |
| 0 | Vulnerabilities | 15 existing vulnerabilities detected |
| Реєстр | Пакет | Обмеження версії | Маніфест |
|---|---|---|---|
| crates.io | getrandom | 0.4 | Cargo.toml |
| crates.io | hax-lib | — | Cargo.toml |
| crates.io | hpke-rs | — | Cargo.toml |
| crates.io | libcrux-aead | — | Cargo.toml |
| crates.io | libcrux-digest | — | Cargo.toml |
| crates.io | libcrux-kem | — | Cargo.toml |
| crates.io | libcrux-aes | — | Cargo.toml |
| crates.io | libcrux-blake2 | — | Cargo.toml |
| crates.io | libcrux-chacha20poly1305 | — | Cargo.toml |
| crates.io | libcrux-poly1305 | — | Cargo.toml |
| crates.io | libcrux-curve25519 | — | Cargo.toml |
| crates.io | libcrux-ecdh | — | Cargo.toml |
| crates.io | libcrux-ecdsa | — | Cargo.toml |
| crates.io | libcrux-ed25519 | — | Cargo.toml |
| crates.io | libcrux-hkdf | — | Cargo.toml |
| crates.io | libcrux-hmac | — | Cargo.toml |
| crates.io | libcrux-hmac-drbg | — | Cargo.toml |
| crates.io | libcrux-kmac | — | Cargo.toml |
| crates.io | libcrux-ml-kem | — | Cargo.toml |
| crates.io | libcrux-ml-dsa | — | Cargo.toml |
| crates.io | libcrux-p256 | — | Cargo.toml |
| crates.io | libcrux-rsa | — | Cargo.toml |
| crates.io | libcrux-sha2 | — | Cargo.toml |
| crates.io | libcrux-sha3 | — | Cargo.toml |
| crates.io | libcrux-psq | — | Cargo.toml |
| crates.io | wasm-bindgen | 0.2.87 | Cargo.toml |
| crates.io | rand | 0.10 | benchmarks/Cargo.toml |
| crates.io | rand | 0.10 | libcrux-ecdh/Cargo.toml |
| crates.io | libcrux-curve25519 | — | libcrux-ecdh/Cargo.toml |
| crates.io | libcrux-p256 | — | libcrux-ecdh/Cargo.toml |
| crates.io | tls_codec | — | libcrux-ecdh/Cargo.toml |
| crates.io | libcrux-ml-kem | — | libcrux-kem/Cargo.toml |
| crates.io | libcrux-sha3 | — | libcrux-kem/Cargo.toml |
| crates.io | libcrux-ecdh | — | libcrux-kem/Cargo.toml |
| crates.io | libcrux-curve25519 | — | libcrux-kem/Cargo.toml |
| crates.io | libcrux-p256 | — | libcrux-kem/Cargo.toml |
| crates.io | libcrux-traits | — | libcrux-kem/Cargo.toml |
| crates.io | rand | 0.10 | libcrux-kem/Cargo.toml |
| crates.io | tls_codec | — | libcrux-kem/Cargo.toml |
| crates.io | libcrux-sha3 | — | libcrux-ml-dsa/Cargo.toml |
| crates.io | libcrux-intrinsics | — | libcrux-ml-dsa/Cargo.toml |
| crates.io | libcrux-platform | — | libcrux-ml-dsa/Cargo.toml |
| crates.io | libcrux-macros | — | libcrux-ml-dsa/Cargo.toml |
| crates.io | libcrux-secrets | — | libcrux-ml-dsa/Cargo.toml |
| crates.io | hax-lib | — | libcrux-ml-dsa/Cargo.toml |
| crates.io | tls_codec | — | libcrux-ml-dsa/Cargo.toml |
| crates.io | rand | 0.10 | libcrux-ml-kem/Cargo.toml |
| crates.io | libcrux-platform | — | libcrux-ml-kem/Cargo.toml |
| crates.io | libcrux-sha3 | — | libcrux-ml-kem/Cargo.toml |
| crates.io | libcrux-intrinsics | — | libcrux-ml-kem/Cargo.toml |
| crates.io | libcrux-secrets | — | libcrux-ml-kem/Cargo.toml |
| crates.io | libcrux-traits | — | libcrux-ml-kem/Cargo.toml |
| crates.io | hax-lib | — | libcrux-ml-kem/Cargo.toml |
| crates.io | tls_codec | — | libcrux-ml-kem/Cargo.toml |
| crates.io | libcrux-traits | — | libcrux-psq/Cargo.toml |
| crates.io | libcrux-kem | — | libcrux-psq/Cargo.toml |
| crates.io | libcrux-chacha20poly1305 | — | libcrux-psq/Cargo.toml |
| crates.io | libcrux-hkdf | — | libcrux-psq/Cargo.toml |
| crates.io | libcrux-hmac | — | libcrux-psq/Cargo.toml |
| crates.io | libcrux-sha2 | — | libcrux-psq/Cargo.toml |
| crates.io | classic-mceliece-rust | 3.1.0 | libcrux-psq/Cargo.toml |
| crates.io | rand | 0.10 | libcrux-psq/Cargo.toml |
| crates.io | rand_old | 0.8 | libcrux-psq/Cargo.toml |
| crates.io | libcrux-ecdh | — | libcrux-psq/Cargo.toml |
| crates.io | libcrux-ml-kem | — | libcrux-psq/Cargo.toml |
| crates.io | libcrux-ed25519 | — | libcrux-psq/Cargo.toml |
| crates.io | tls_codec | — | libcrux-psq/Cargo.toml |
| crates.io | libcrux-ml-dsa | — | libcrux-psq/Cargo.toml |
| crates.io | libcrux-aes | — | libcrux-psq/Cargo.toml |
| crates.io | rand | 0.10 | traits/Cargo.toml |
| crates.io | libcrux-secrets | — | traits/Cargo.toml |
Повний розв'язаний набір залежностей із графа залежностей GitHub: 10 прямих і 56 непрямих (транзитивних) пакетів. Транзитивне замикання є повним, коли в репозиторії закомічено lockfile.
| Реєстр | Пакет | Версія | Зв'язок |
|---|---|---|---|
| crates.io | classic-mceliece-rust | — | пряма |
| crates.io | getrandom | — | пряма |
| crates.io | libcrux-kem | 0.0.9 | пряма |
| crates.io | libcrux-macros | — | пряма |
| crates.io | libcrux-macros | 0.0.3 | пряма |
| crates.io | libcrux-platform | — | пряма |
| crates.io | libcrux-platform | 0.0.3 | пряма |
| crates.io | libcrux-poly1305 | 0.0.6 | пряма |
| crates.io | rand | — | пряма |
| crates.io | wasm-bindgen | — | пряма |
| crates.io | aes-gcm | — | непряма |
| crates.io | bindgen | — | непряма |
| crates.io | cc | — | непряма |
| crates.io | chacha20poly1305 | — | непряма |
| crates.io | clap | — | непряма |
| crates.io | core-models | — | непряма |
| crates.io | criterion | — | непряма |
| crates.io | curve25519-dalek | — | непряма |
| crates.io | der | — | непряма |
| crates.io | ed25519-dalek | — | непряма |
| crates.io | fs_extra | — | непряма |
| crates.io | hacspec-lib | — | непряма |
| crates.io | hex | — | непряма |
| crates.io | hkdf | — | непряма |
| crates.io | k256 | — | непряма |
| crates.io | lazy_static | — | непряма |
| crates.io | libc | — | непряма |
| crates.io | libcrux | 0.0.5 | непряма |
| crates.io | libfuzzer-sys | — | непряма |
| crates.io | libjade-sys | 0.0.4 | непряма |
| crates.io | log | — | непряма |
| crates.io | ml-kem | — | непряма |
| crates.io | openssl | — | непряма |
| crates.io | p256 | — | непряма |
| crates.io | p384 | — | непряма |
| crates.io | p521 | — | непряма |
| crates.io | pastey | — | непряма |
| crates.io | pkcs1 | — | непряма |
| crates.io | pkg-config | — | непряма |
| crates.io | pqcrypto-kyber | — | непряма |
| crates.io | pqcrypto-mldsa | — | непряма |
| crates.io | pretty_env_logger | — | непряма |
| crates.io | proptest | — | непряма |
| crates.io | quote | — | непряма |
| crates.io | rand_chacha | — | непряма |
| crates.io | rand_core | — | непряма |
| crates.io | rayon | — | непряма |
| crates.io | ring | — | непряма |
| crates.io | rsa | — | непряма |
| crates.io | serde | — | непряма |
| crates.io | serde_json | — | непряма |
| crates.io | sha2 | — | непряма |
| crates.io | sha3 | — | непряма |
| crates.io | subtle | — | непряма |
| crates.io | syn | — | непряма |
| crates.io | untrusted | — | непряма |
| crates.io | wasm-bindgen-test | — | непряма |
| crates.io | wycheproof | — | непряма |
| crates.io | x-wing | — | непряма |
| crates.io | x25519-dalek | — | непряма |
| crates.io | x25519-dalek-ng | — | непряма |
| crates.io | zeroize | — | непряма |
| Go | github.com/cloudflare/circl | v1.6.3 | непряма |
| Go | golang.org/x/crypto | v0.45.0 | непряма |
| Go | golang.org/x/sys | v0.38.0 | непряма |
| PyPI | pycryptodome | 3.19.1 | непряма |
Помітили щось хибне у цьому звіті або маєте чим поділитися? Неправильні вимірювання, непомічені інструменти, ідеї, запитання — усе доречно. Кожне повідомлення читається й отримує відповідь.
Оцінки — це сигнали, а не гарантії. Вони відображають публічно видимі практики на GitHub — це не аудит коду й не гарантія безпеки.
Відсутні дані виключаються, а ваги перенормовуються — нуль за відсутність ніколи не ставиться. Методологія версіонована й відкрита: метрики v2.10.0, схема v0.11.0 — повна методологія · вікі метрик.
Як окремий результат виглядає на тлі всього реєстру: сукупна статистика — crates.io.