{"id":50338084,"url":"https://github.com/apple/corecrypto","last_synced_at":"2026-06-16T16:01:16.172Z","repository":{"id":364921194,"uuid":"1246797971","full_name":"apple/corecrypto","owner":"apple","description":"Apple corecrypto","archived":false,"fork":false,"pushed_at":"2026-05-22T15:31:53.000Z","size":37699,"stargazers_count":385,"open_issues_count":0,"forks_count":38,"subscribers_count":7,"default_branch":"main","last_synced_at":"2026-06-15T06:03:45.004Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"","language":"C++","has_issues":false,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/apple.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":"CONTRIBUTING.md","funding":null,"license":"License.txt","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2026-05-22T15:07:05.000Z","updated_at":"2026-06-15T05:35:39.000Z","dependencies_parsed_at":null,"dependency_job_id":"96c78446-d019-436d-bdd0-ff9691b1f382","html_url":"https://github.com/apple/corecrypto","commit_stats":null,"previous_names":["apple/corecrypto"],"tags_count":null,"template":false,"template_full_name":null,"purl":"pkg:github/apple/corecrypto","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/apple%2Fcorecrypto","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/apple%2Fcorecrypto/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/apple%2Fcorecrypto/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/apple%2Fcorecrypto/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/apple","download_url":"https://codeload.github.com/apple/corecrypto/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/apple%2Fcorecrypto/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":34412796,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-05-26T15:22:16.424Z","status":"online","status_checked_at":"2026-06-16T02:00:06.860Z","response_time":126,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2026-05-29T15:00:23.634Z","updated_at":"2026-06-16T16:01:16.166Z","avatar_url":"https://github.com/apple.png","language":"C++","funding_links":[],"categories":["C++"],"sub_categories":[],"readme":"\u003c!-- Copyright (c) (2010,2012,2014-2023,2026) Apple Inc. All rights reserved.\n\n corecrypto is licensed under Apple Inc.’s Internal Use License Agreement (which\n is contained in the License.txt file distributed with corecrypto) and only to\n people who accept that license. IMPORTANT:  Any license rights granted to you by\n Apple Inc. (if any) are limited to internal use within your organization only on\n devices and computers you own or control, for the sole purpose of verifying the\n security characteristics and correct functioning of the Apple Software.  You may\n not, directly or indirectly, redistribute the Apple Software or any portions thereof.\n--\u003e\n\nThe corecrypto (cc) project\n===========================\n\nThe Security framework, CryptoKit and CommonCrypto rely on the corecrypto library to\nprovide implementations of low-level cryptographic primitives. Although corecrypto\ndoes not directly provide programming interfaces for developers and should not be used\nby iOS, iPadOS, or macOS apps, the source code is available to allow for verification\nof its security characteristics and correct functioning.\n\nThe main goal is to provide low-level fast math routines and cryptographic implementations which\ncan be used in various environments (Kernel, bootloader, userspace, etc.).  It\nis an explicit goal to minimize dependencies between modules and functions so\nthat clients of this library only end up with the routines they need and\nnothing more.\n\n\nBuilding on macOS\n-----------------\nThe easiest way to build the corecrypto project is to use the `xcodebuild` command. The project supports several schemes, including:\n1. `corecrypto`: This scheme compiles corecrypto and produces a static library.\n2. `corecrypto_test`: This scheme compiles corecrypto test files and links statically with the corecrypto debug library.\n3. `corecrypto_perf`: This scheme compiles corecrypto performance measurement files and links statically with the corecrypto release library.\nE.g., `xcodebuild -scheme corecrypto_test`\n\n\nRunning the formal verification\n-------------------------------\nOur formal verification is in the [`corecrypto_verify`](corecrypto_verify) subdirectory.\nPlease refer to the [`corecrypto_verify/README.md`](corecrypto_verify/README.md) for more details. For an overview of the process, see our [Formal verification in corecrypto: ML-KEM and ML-DSA in 2026](corecrypto_verify/technical_overview/formal-verification-for-apple-corecrypto.md) technical overview.\n\n\n\nLicensing and Contributions\n---------------------------\nThe publication of this code is primarily intended for security research and verification purposes. The default license for the corecrypto (cc) project is the evaluation-only corecrypto Internal Use License Agreement contained in [License.txt](License.txt).\n\nSome Isabelle files, however, are intended for wider use and are also licensed under more permissive terms. For example, the files in:\n* the directories in [`corecrypto_verify/isabelle/Apple_Isabelle_Libraries`](./corecrypto_verify/isabelle/Apple_Isabelle_Libraries) are available under per-subdirectory license files as referenced in individual file headers\n* the directory [`corecrypto_verify/isabelle/Cryptol/cryptol-to-isabelle/isabelle`](./corecrypto_verify/isabelle/Cryptol/cryptol-to-isabelle/isabelle) are available under an [accompanying LICENSE file](./corecrypto_verify/isabelle/Cryptol/cryptol-to-isabelle/isabelle/LICENSE)\n\nWe are not currently accepting external code contributions to this repository. Please see [CONTRIBUTING.md](CONTRIBUTING.md) for information about reporting security issues.\n\nContact\n-------\nTo report security issues with this code, please use the instructions available [at this page](https://support.apple.com/en-us/102549).\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fapple%2Fcorecrypto","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fapple%2Fcorecrypto","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fapple%2Fcorecrypto/lists"}