探秘EdgelessDB:安全数据库的新标杆
2024-06-04 05:43:26作者:苗圣禹Peter
在数据安全日益重要的今天,EdgelessDB为我们带来了全新的解决方案。这个开源的MySQL兼容数据库专为机密计算打造,将数据的安全性提升到一个全新的高度。通过运行在Intel SGX(Software Guard Extensions)安全环境中的全加密设计,EdgelessDB确保了数据无论在内存中还是磁盘上始终处于加密状态。
项目简介
EdgelessDB的核心理念是提供一种始终加密的数据存储方式,同时不影响性能和易用性。它基于MariaDB构建,并采用了增强版的RocksDB作为存储引擎。更值得一提的是,EdgelessDB引入了名为manifest的概念,这是一个JSON定义的智能合约,用于定义数据库的初始状态和访问控制,确保数据的可信性。
技术解析
EdgelessDB的独特之处在于其定制化的文件加密机制,这种机制专为SGX的强攻击模型设计,提供了数据的保密性、完整性、新鲜性、审计性和可恢复性。这些特性使得即使在云环境中,也能保证数据的高度安全,超越了常规的数据库安全标准。
应用场景
- 替换现有数据库:如果你希望提升当前数据库的安全等级,EdgelessDB是一个理想的选择,它可以让你的敏感数据安全地迁移至云端。
- 开发机密应用:利用EdgelessDB的manifest功能和安全属性,可以实现多方之间的敏感数据聚合和分析,而无需担心数据泄露。
核心特点
- 始终加密:不仅磁盘上的数据经过认证加密,运行时内存中的数据也保持加密状态。
- manifest:定义了数据库的初始状态,包括访问控制策略,以智能合约形式存在。
- 远程证明:能够验证EdgelessDB实例在安全的SGX环境下运行,并强制执行manifest。
要了解更多概念和技术细节,请查阅官方文档。
快速启动
你可以在支持SGX的系统上直接运行EdgelessDB,或者在任何系统上使用模拟模式体验:
# 在SGX设备上运行
docker run -t --name my-edb -p3306:3306 -p8080:8080 --device /dev/sgx_enclave --device /dev/sgx_provision ghcr.io/edgelesssys/edgelessdb-sgx-1gb
# 使用模拟模式
docker run -t --name my-edb -p3306:3306 -p8080:8080 -e OE_SIMULATION=1 ghcr.io/edgelesssys/edgelessdb-sgx-1gb
此外,官方还提供了快速入门指南和演示示例,帮助开发者快速了解如何在可能不安全的环境中使用EdgelessDB作为高安全性的SQL数据库。
社区与支持
贡献代码
欢迎参与贡献!请阅读CONTRIBUTING.md,了解我们的编码规范和PR流程。对本项目有兴趣的开发者需要同意贡献者许可协议。
让我们共同探索EdgelessDB的世界,为数据安全的未来添砖加瓦!
登录后查看全文
热门项目推荐
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C086
baihu-dataset异构数据集“白虎”正式开源——首批开放10w+条真实机器人动作数据,构建具身智能标准化训练基座。00
mindquantumMindQuantum is a general software library supporting the development of applications for quantum computation.Python057
PaddleOCR-VLPaddleOCR-VL 是一款顶尖且资源高效的文档解析专用模型。其核心组件为 PaddleOCR-VL-0.9B,这是一款精简却功能强大的视觉语言模型(VLM)。该模型融合了 NaViT 风格的动态分辨率视觉编码器与 ERNIE-4.5-0.3B 语言模型,可实现精准的元素识别。Python00
GLM-4.7GLM-4.7上线并开源。新版本面向Coding场景强化了编码能力、长程任务规划与工具协同,并在多项主流公开基准测试中取得开源模型中的领先表现。 目前,GLM-4.7已通过BigModel.cn提供API,并在z.ai全栈开发模式中上线Skills模块,支持多模态任务的统一规划与协作。Jinja00
agent-studioopenJiuwen agent-studio提供零码、低码可视化开发和工作流编排,模型、知识库、插件等各资源管理能力TSX0136
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00
项目优选
收起
deepin linux kernel
C
27
11
OpenHarmony documentation | OpenHarmony开发者文档
Dockerfile
470
3.48 K
Nop Platform 2.0是基于可逆计算理论实现的采用面向语言编程范式的新一代低代码开发平台,包含基于全新原理从零开始研发的GraphQL引擎、ORM引擎、工作流引擎、报表引擎、规则引擎、批处理引引擎等完整设计。nop-entropy是它的后端部分,采用java语言实现,可选择集成Spring框架或者Quarkus框架。中小企业可以免费商用
Java
10
1
🔥LeetCode solutions in any programming language | 多种编程语言实现 LeetCode、《剑指 Offer(第 2 版)》、《程序员面试金典(第 6 版)》题解
Java
65
19
暂无简介
Dart
718
172
喝着茶写代码!最易用的自托管一站式代码托管平台,包含Git托管,代码审查,团队协作,软件包和CI/CD。
Go
23
0
openEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。
C
212
85
🎉 (RuoYi)官方仓库 基于SpringBoot,Spring Security,JWT,Vue3 & Vite、Element Plus 的前后端分离权限管理系统
Vue
1.27 K
696
无需学习 Kubernetes 的容器平台,在 Kubernetes 上构建、部署、组装和管理应用,无需 K8s 专业知识,全流程图形化管理
Go
15
1
基于golang开发的网关。具有各种插件,可以自行扩展,即插即用。此外,它可以快速帮助企业管理API服务,提高API服务的稳定性和安全性。
Go
22
1