[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"project-78508":3},{"id":4,"name":5,"fullName":6,"owner":7,"repo":5,"description":8,"homepage":9,"htmlUrl":10,"language":11,"languages":10,"totalLinesOfCode":10,"stars":12,"forks":13,"watchers":14,"openIssues":15,"contributorsCount":15,"subscribersCount":15,"size":15,"stars1d":16,"stars7d":17,"stars30d":18,"stars90d":15,"forks30d":15,"starsTrendScore":19,"compositeScore":20,"rankGlobal":10,"rankLanguage":10,"license":21,"archived":22,"fork":22,"defaultBranch":23,"hasWiki":22,"hasPages":22,"topics":24,"createdAt":10,"pushedAt":10,"updatedAt":25,"readmeContent":26,"aiSummary":27,"trendingCount":15,"starSnapshotCount":15,"syncStatus":28,"lastSyncTime":29,"discoverSource":30},78508,"corecrypto","apple\u002Fcorecrypto","apple","Apple corecrypto","",null,"C++",378,38,6,0,1,11,263,5,62.27,"Other",false,"main",[],"2026-06-12 04:01:23","\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-->\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\u002FREADME.md`](corecrypto_verify\u002FREADME.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\u002Ftechnical_overview\u002Fformal-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\u002Fisabelle\u002FApple_Isabelle_Libraries`](.\u002Fcorecrypto_verify\u002Fisabelle\u002FApple_Isabelle_Libraries) are available under per-subdirectory license files as referenced in individual file headers\n* the directory [`corecrypto_verify\u002Fisabelle\u002FCryptol\u002Fcryptol-to-isabelle\u002Fisabelle`](.\u002Fcorecrypto_verify\u002Fisabelle\u002FCryptol\u002Fcryptol-to-isabelle\u002Fisabelle) are available under an [accompanying LICENSE file](.\u002Fcorecrypto_verify\u002Fisabelle\u002FCryptol\u002Fcryptol-to-isabelle\u002Fisabelle\u002FLICENSE)\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:\u002F\u002Fsupport.apple.com\u002Fen-us\u002F102549).\n","corecrypto是苹果公司开发的一个底层加密库，为Security框架、CryptoKit和CommonCrypto提供低级加密原语的实现。其核心功能包括快速数学运算和加密算法的实现，适用于内核、引导加载程序、用户空间等多种环境。项目设计上强调模块间的依赖最小化，以确保客户端仅使用所需的功能。尽管不直接向开发者提供编程接口，也不应用于iOS、iPadOS或macOS应用程序中，但公开源代码允许安全研究人员验证其安全性和正确性。此项目主要用于内部验证Apple软件的安全特性和正确运行，不适合直接用于产品开发。",2,"2026-06-11 03:56:53","CREATED_QUERY"]