Project Icon

constantine

区块链和零知识证明系统的密码学引擎

Constantine是一个面向区块链和零知识证明系统的高性能密码学库。它实现了恒定时间的加密原语,支持多种椭圆曲线和协议,包括以太坊BLS签名和KZG承诺。该库强调安全性、性能和代码紧凑性,提供Rust、Go、C和Nim等多语言接口。Constantine不依赖外部库,有效降低了供应链攻击风险。

ezkl - 零知识深度学习推理与验证框架
EZKLGithub区块链开源项目深度学习神经网络零知识证明
EZKL是一个开源库和命令行工具,用于在零知识证明系统中执行深度学习模型和计算图推理。该工具支持将PyTorch或TensorFlow模型转换为ONNX格式,并生成ZK-SNARK电路以验证模型推理的正确性。EZKL采用Halo2作为后端证明系统,能够在区块链、浏览器或设备上实现高效验证。这一项目为零知识机器学习应用提供了灵活且功能强大的解决方案。
biscuit - 多语言支持的开源身份认证授权令牌
BiscuitGithub令牌开源项目授权认证
Biscuit是一个开源的身份认证和授权令牌系统,具有高安全性和灵活性。该项目支持Rust、Java、Go等多种编程语言实现,并提供交互式playground。Biscuit使用专门的凭证语言和加密原语,适用于复杂的授权场景。目前已在Apache Pulsar等实际项目中应用,正计划进行安全审计以增强可靠性。
GmSSL - 国产开源密码库 全面支持国密算法与安全协议
GithubGmSSLSSL协议国密算法密码库开源项目跨平台
GmSSL是北京大学自主研发的开源国产密码库,全面实现国密算法、标准和安全通信协议。该项目支持主流操作系统和处理器,兼容国产密码硬件,提供丰富的命令行工具和多语言编程接口。GmSSL具有超轻量、高合规、强安全和跨平台等特点,支持TLS 1.3国密套件,适用范围广泛,从嵌入式系统到大型服务器均可使用。
YeeZ-Privacy-Computing - 基于区块链的隐私计算与数据协作中间件解决方案
FideliusGithubYeeZ区块链可信执行环境开源项目隐私计算
Fidelius 是一种基于可信执行环境的隐私计算中间件,通过确保数据不离开提供方,实现数据协作中的隐私保护。它利用区块链作为可信传输通道与计算验证平台,增强系统的去中心化与公开可验证性。
occlum - 为Intel SGX提供高效安全的多任务LibOS解决方案
GithubIntel SGXLibOSOcclum内存安全多进程开源项目
Occlum是专为Intel SGX设计的内存安全多进程LibOS,支持传统应用几乎零修改运行于SGX环境。它具备高效多任务处理、多文件系统支持和内存安全特性,采用Rust语言开发,提供简便的构建工具,显著简化SGX enclave应用部署流程。
openzeppelin-contracts - 智能合约开发的安全基石
ERC标准GithubOpenZeppelin以太坊安全开发开源项目智能合约
OpenZeppelin Contracts是一个专注于智能合约安全开发的库,提供经社区验证的代码基础。该库实现了ERC20、ERC721等标准,具备灵活的基于角色的权限控制机制,并提供可重用的Solidity组件。项目严格遵循安全开发准则,定期进行安全审计。开发者可通过npm或Foundry轻松集成这些合约,为构建可靠的去中心化应用提供有力支持。
Kindelia - 去中心化应用的无币加密计算平台
GithubKindelia以太坊替代功能性计算机区块链去中心化开源项目
Kindelia是一个点对点功能性计算平台,专为长期运行去中心化应用而设计。它重新诠释了以太坊的核心概念,但不含原生代币。Kindelia支持高效运行功能性和实时应用,架构简洁,追求极致去中心化,采用工作量证明机制。这一创新平台为开发者提供了一个高效且去中心化的环境。
crypto-js - 功能强大的JavaScript加密标准库
AES加密GithubJavaScriptcrypto-js加密库哈希算法开源项目
crypto-js是一个JavaScript加密标准库,实现了AES、SHA256等多种加密算法。适用于浏览器和Node.js环境,提供简单API用于数据加密、解密和哈希计算。虽已停止维护,但因其便捷性仍广泛应用于开发中。作为开源项目,它为开发者提供了灵活且可靠的加密解决方案。
rage - Rust实现的简单安全文件加密工具 支持多平台
Githubage格式rage密钥管理开源项目文件加密跨平台
rage是Rust语言实现的age格式文件加密工具,具有简单、安全和跨平台特性。它使用小型显式密钥,无需配置,支持UNIX风格组合。rage可通过多种方式安装,支持多接收者加密、密码保护和SSH密钥兼容。该工具还提供Rust库接口,方便开发者集成。rage采用Apache 2.0或MIT开源许可证发布。
rust-crc32fast - Rust实现的快速SIMD加速CRC32校验和库
CRC32校验和GithubRust库SIMD加速crc32fast开源项目性能优化
rust-crc32fast是一个高效的CRC32校验和计算库,采用SIMD指令集加速。该库提供简洁API,支持x86和aarch64架构优化,性能出色。支持no_std环境,经过模糊测试和内存安全检查。适用于需要快速CRC32计算的Rust项目,是一个轻量且可靠的选择。
项目侧边栏1项目侧边栏2
推荐项目
Project Cover

豆包MarsCode

豆包 MarsCode 是一款革命性的编程助手,通过AI技术提供代码补全、单测生成、代码解释和智能问答等功能,支持100+编程语言,与主流编辑器无缝集成,显著提升开发效率和代码质量。

Project Cover

AI写歌

Suno AI是一个革命性的AI音乐创作平台,能在短短30秒内帮助用户创作出一首完整的歌曲。无论是寻找创作灵感还是需要快速制作音乐,Suno AI都是音乐爱好者和专业人士的理想选择。

Project Cover

有言AI

有言平台提供一站式AIGC视频创作解决方案,通过智能技术简化视频制作流程。无论是企业宣传还是个人分享,有言都能帮助用户快速、轻松地制作出专业级别的视频内容。

Project Cover

Kimi

Kimi AI助手提供多语言对话支持,能够阅读和理解用户上传的文件内容,解析网页信息,并结合搜索结果为用户提供详尽的答案。无论是日常咨询还是专业问题,Kimi都能以友好、专业的方式提供帮助。

Project Cover

阿里绘蛙

绘蛙是阿里巴巴集团推出的革命性AI电商营销平台。利用尖端人工智能技术,为商家提供一键生成商品图和营销文案的服务,显著提升内容创作效率和营销效果。适用于淘宝、天猫等电商平台,让商品第一时间被种草。

Project Cover

吐司

探索Tensor.Art平台的独特AI模型,免费访问各种图像生成与AI训练工具,从Stable Diffusion等基础模型开始,轻松实现创新图像生成。体验前沿的AI技术,推动个人和企业的创新发展。

Project Cover

SubCat字幕猫

SubCat字幕猫APP是一款创新的视频播放器,它将改变您观看视频的方式!SubCat结合了先进的人工智能技术,为您提供即时视频字幕翻译,无论是本地视频还是网络流媒体,让您轻松享受各种语言的内容。

Project Cover

美间AI

美间AI创意设计平台,利用前沿AI技术,为设计师和营销人员提供一站式设计解决方案。从智能海报到3D效果图,再到文案生成,美间让创意设计更简单、更高效。

Project Cover

AIWritePaper论文写作

AIWritePaper论文写作是一站式AI论文写作辅助工具,简化了选题、文献检索至论文撰写的整个过程。通过简单设定,平台可快速生成高质量论文大纲和全文,配合图表、参考文献等一应俱全,同时提供开题报告和答辩PPT等增值服务,保障数据安全,有效提升写作效率和论文质量。

投诉举报邮箱: service@vectorlightyear.com
@2024 懂AI·鲁ICP备2024100362号-6·鲁公网安备37021002001498号