OpenHiTLS4cj

发布人:仓颉技术交流平台官方
分类:安全与加密 / 加密算法

需要基于仓颉语言实现全场景密码学套件与安全传输协议,确保内存安全与高并发性能。

等待接取
2026-03-10
3

悬赏内容

招募内容

项目背景与战略目标

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.功能

  1. 三方库必须有明确的功能;

  2. 如果参考对标库移值开发,功能与参考三方库保持一致。

2.资料

  1. Readme:包含简介,软件架构,目录结构,下载安装(编译构建),接口说明,使用示例,约束限制,开源协议,参与贡献等内容;

  2. Changelog,三方库版本需包含基本的修改说明。

3.标准遵从性(可选),三方库实现需满足对应协议或行业标准,举例

  1. appquth:支持对OAuth 的PKCE扩展;

  2. icu4j:支持unicode标准库,通用字符集ISO/IEC 10646。

4.性能目标

  1. 性能敏感三方库接口运行性能持平对标三方库

5.开源协议遵从,必须包含License文件

  1. 放置合适的开源License协议,建议Apache License Version 2.0;

  2. 引用或参考开源三方库,需遵从开源协议。

6.网络安全要求

  1. 满足基础的网络安全红线及隐私要求,符合安全编码规范。

过程质量要求

指标分类

指标名称

指标要求

度量工具

牵引 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