OpenHiTLS4cj
需要基于仓颉语言实现全场景密码学套件与安全传输协议,确保内存安全与高并发性能。
悬赏内容
招募内容
项目背景与战略目标
OpenHiTLS4cj 旨在构建一个全场景、开源的密码学套件与安全传输协议库,填补仓颉语言生态在底层安全通信领域的空白。该项目在后端架构中具有核心价值,是构建可信微服务、安全 API 网关及高敏感数据传输通道的基石。通过利用仓颉编程语言(Cangjie Language)1.0.0+ 的内存安全特性,从根源上杜绝缓冲区溢出等常见 CVE 漏洞;借助轻量级线程模型,实现高并发下的低开销安全握手;利用强类型系统确保加密接口调用的严谨性。本项目将打造高性能、高可靠的后端安全基础设施,为仓颉后端生态提供自主可控的加密原语与 TLS 协议实现。
核心功能需求与技术规格
功能模块分解
模块类别 | 核心职责 | 关键技术要求 (仓颉特性) | 验收依据 |
|---|---|---|---|
核心密码模块 | 对称/非对称加密、哈希算法实现 | 利用 struct 内存布局优化大数运算性能,使用 Ownership 机制管理密钥生命周期 | 基准测试加解密吞吐量达标,无内存泄漏 |
协议解析模块 | TLS/SSL 握手协议、记录层协议解析 | 使用 Pattern Matching 处理复杂协议状态机,利用 Result 类型显式处理解析错误 | 协议兼容性测试通过,模糊测试无崩溃 |
并发连接模块 | 安全连接池管理、会话复用 | 使用仓颉轻量级线程(Lightweight Thread)支撑万级并发 TLS 连接 | 压力测试下 CPU 占用率优于同类 Go/C++ 实现 |
证书管理模块 | X.509 证书解析、验证与存储 | 利用强类型系统确保证书链验证逻辑的完备性,防止空指针异常 | 静态扫描无高危漏洞,证书验证准确率 100% |
非功能性需求规范
性能指标:TLS 握手延迟 P99 < 20ms,大数据量加解密吞吐量对比 Java/OpenSSL 绑定提升 20% 以上。
安全要求:依托仓颉编译期内存检查,彻底消除空指针解引用、缓冲区溢出、释放后使用(Use-After-Free)等风险。
可靠性:完善的异常捕获机制,确保在网络波动或恶意输入下服务不崩溃,资源自动回收(RAII 模式)。
可维护性:模块化设计,密码算法与协议逻辑解耦,接口清晰,严格符合仓颉编码规范。
核心接口设计示例 (伪代码)
// 定义服务错误类型的代数数据类型
enum ServiceError {
case InvalidCertificate(String)
case HandshakeFailed(Int32, String)
case EncryptionError(String)
case ConnectionClosed
}
// 后端安全服务核心接口
interface SecureTransportService {
// 显式声明可能抛出的错误类型,利用 Result 进行错误处理
func handshake(stream: Stream, config: TlsConfig) throws<ServiceError> Result<SecureSession, ServiceError>
// 异步处理加密任务,利用轻量级线程实现高并发
async func processTask(session: SecureSession, data: ByteArray) throws<ServiceError> Result<ByteArray, ServiceError>
// 获取会话信息,强类型返回
func getSessionInfo(session: SecureSession) -> SessionInfo
}项目交付物与实施路线图
阶段性交付物清单
第一阶段:核心密码算法库(国密/国际算法)实现 + 单元测试 (覆盖率≥95%) + 基础 API 文档。
第二阶段:TLS 1.2/1.3 协议栈完整实现 + 高并发场景适配 + 集成测试 (压测报告) + 中间件对接示例。
第三阶段:性能调优报告 + 生产级部署指南 + 完整的开发者手册 + cjpm 发布包。
项目实施路线图
阶段 | 核心任务 | 交付成果 | 周期预估 | 里程碑 |
|---|---|---|---|---|
基础构建 | 核心密码原语开发、大数运算优化 | 可编译静态库、单测集 | 4-6 周 | cjpm test 全量通过 |
性能攻坚 | TLS 状态机实现、并发模型优化 | 压测报告、协议兼容性补丁 | 6-8 周 | 达到预设 QPS/延迟指标 |
生态集成 | 文档完善、示例工程、社区发布 | 用户手册、cjpm 包、Demo | 3-4 周 | 上架仓颉三方库社区 |
技术实现规范与质量认证体系
仓颉语言专项质量规范
编码规范:100% 符合仓颉语言官方编码规范,所有代码提交前必须通过
cjfmt自动格式化校验。类型安全:充分利用泛型与模式匹配处理多态算法,减少强制类型转换;所有权与生命周期设计需经架构评审,确保密钥材料不被意外复制。
错误处理:显式声明异常类型(throws),杜绝不可控的运行时崩溃,所有外部输入必须进行边界检查。
测试与验证标准
单元测试:核心模块行覆盖率≥95%(通过
cjpm test --coverage验证),分支覆盖率≥90%。性能基准:建立基准测试集(Benchmark),监控关键路径(如握手、加解密)性能,防止回归。
安全扫描:通过仓颉语言内置静态分析工具及扩展工具链扫描,确保无内存安全隐患。
文档与可维护性
API 文档:代码须包含规范的文档注释(Doc Comments),自动生成 HTML 文档。
架构决策记录(ADR):重大技术选型(如算法选择、并发模型)需留存决策依据。
贡献指南:明确仓颉项目构建、调试、提交全流程规范,提供 Docker 开发环境配置脚本。
持续集成质量门禁
#!/bin/bash
# PR 自动化流水线脚本
# 1. 格式检查
cjpm fmt --check
# 2. 构建检查 (Debug & Release)
cjpm build
cjpm build --release
# 3. 静态 lint 检查 (严禁警告)
cjpm lint --deny-warnings
# 4. 全量测试与覆盖率检查
cjpm test --all-features --coverage
# 5. 性能基准测试
cjpm bench技术栈与开发环境
核心语言:仓颉编程语言(Cangjie Language)1.0.0 及以上版本(强制)。
构建与包管理:CJPM (Cangjie Package Manager)。
测试框架:仓颉原生测试框架。
质量工具:cjfmt, cjpm lint, cjpm bench。
环境要求:仓颉 1.0.0+ 标准工具链,CI 使用官方/社区认证 Docker 镜像,支持 Linux/x86_64 及 Linux/ARM64 架构。
相关附件
质量认证要求
交付件
NO | 交付件描述 | 备注 |
1 | 三方库源代码 | 源代码 |
2 | 三方库测试方案和用例 | 测试用例和文档 |
3 | 用户手册,API文档,设计文档,license文档 | 资料和文档 |
验收标准
1.功能
三方库必须有明确的功能;
如果参考对标库移值开发,功能与参考三方库保持一致。
2.资料
Readme:包含简介,软件架构,目录结构,下载安装(编译构建),接口说明,使用示例,约束限制,开源协议,参与贡献等内容;
Changelog,三方库版本需包含基本的修改说明。
3.标准遵从性(可选),三方库实现需满足对应协议或行业标准,举例
appquth:支持对OAuth 的PKCE扩展;
icu4j:支持unicode标准库,通用字符集ISO/IEC 10646。
4.性能目标
性能敏感三方库接口运行性能持平对标三方库
5.开源协议遵从,必须包含License文件
放置合适的开源License协议,建议Apache License Version 2.0;
引用或参考开源三方库,需遵从开源协议。
6.网络安全要求
满足基础的网络安全红线及隐私要求,符合安全编码规范。
过程质量要求
指标分类 | 指标名称 | 指标要求 | 度量工具 | 牵引 OR Must |
代码度量 | 平均文件代码行 | ≤300 LOC | CMetricsPlus,CJMetric | Must |
总文件重复率 | C/C++≤4%;相比开源不劣化 | CMetricsPlus,CJMetric | Must | |
源文件重复率 | C/C++≤4%;相比开源不劣化 | CMetricsPlus,CJMetric | Must | |
平均函数或方法代码行* | ≤30 LOC | CMetricsPlus,CJMetric | Must | |
总代码重复率 | C/C++≤10%;相比开源不劣化 | CMetricsPlus,CJMetric | Must | |
源文件代码重复率 | C/C++≤10%;相比开源不劣化 | CMetricsPlus,CJMetric | Must | |
平均圈复杂度 | ≤5;相比开源不劣化 | CMetricsPlus,CJMetric | Must | |
冗余代码 | “0” 【2】; | CMetricsPlus,CJMetric | Must | |
不安全函数 | NA | CMetricsPlus,CJMetric | Must | |
静态检查 | 编译告警 | “0” 【2】 | Compile工具 | 牵引 |
通用静态告警 | “0” 【2】 | Pclint plus,CJLINT | Must | |
开发者测试 | DT用例密度(个/KLOC) | > 40 | 手工 | 牵引 |
DT代码语句覆盖率 | >=85% | Gcov,cjcov | 牵引 | |
DT代码分支覆盖率 | >=50% | Gcov,cjcov | 牵引 | |
未做DT文件数 | 0 | 手工 | 牵引 | |
问题解决率 | 遗留问题DI | 整体<10 | Issue | 牵引 |
遗留致命缺陷数(0) | 0 | Issue | Must | |
累计缺陷解决率 | 85% | Issue | 牵引 | |
软件开发 | 每日构建成功率 | 100% | CI | 牵引 |
测试评估 | 测试缺陷密度(/KLOC) | 5-9 | 人工 | 牵引 |
测试用例密度(个/KLOC) | 20-40 | 人工 | 牵引 | |
初验用例自动化率 | 100% | CIDA | 牵引 | |
HLT自动化用例比率 | 【85%,95%】 | CIDA | 牵引 | |
开源第三方(含构建工具) | 开源片段引用 | 0(除例外备案类) | FOSSBOT+人工 | Must |
可信构建 | 二进制一致性 | 0(含可澄清) | 人工 | Mus |

