Azure Confidential Ledger Python SDK 1.2.0b1版本发布:增强用户与角色管理能力
Azure Confidential Ledger是一项基于区块链技术的分布式账本服务,为企业级应用提供了高度安全、防篡改的数据存储解决方案。其Python SDK为开发者提供了便捷的接口来与账本服务进行交互。最新发布的1.2.0b1版本带来了多项重要功能增强,特别是在用户管理和角色控制方面。
用户自定义角色管理
新版本引入了完整的用户自定义角色管理功能。开发者现在可以通过以下三个核心方法来精细控制角色权限:
update_user_defined_role:创建或更新用户自定义角色get_user_defined_role:获取特定角色的详细信息delete_user_defined_role:删除不再需要的自定义角色
这一功能使得企业可以根据自身业务需求,灵活定义不同级别的访问权限,而不再局限于系统预设的角色类型。例如,可以创建一个只能查看特定类型交易记录的角色,或者一个只能添加数据但不能修改的角色。
增强的账本用户管理
在用户管理方面,SDK提供了一套更完善的API:
create_or_update_ledger_user:创建新用户或更新现有用户信息delete_ledger_user:从账本中移除用户get_ledger_user:查询特定用户的详细信息list_ledger_users:列出账本中的所有用户
值得注意的是,新版本支持了用户与多个角色的关联,这一改进大大增强了权限管理的灵活性。一个用户现在可以同时拥有多个角色权限,例如同时具备"审计员"和"数据录入员"的角色,而不需要创建复杂的复合角色。
可编程端点支持
1.2.0b1版本新增了对可编程端点的支持:
create_user_defined_endpoint:创建用户自定义端点get_user_defined_endpoint:获取自定义端点的配置信息
这一功能允许开发者创建特定的服务端点,用于处理特定的业务逻辑或数据操作,为构建复杂的分布式应用提供了更多可能性。
用户定义函数支持
新版本还增加了对用户定义函数的支持,开发者现在可以在账本上执行自定义的业务逻辑。这一特性为复杂业务场景下的数据处理提供了强大支持,使得账本不仅仅是一个简单的数据存储,而能够执行特定的业务规则。
向后兼容性说明
虽然新版本引入了*_ledger_user系列方法,但旧的用户管理API仍然可用。不过开发者应当考虑迁移到新的API,因为旧API将在未来版本中被弃用。这种渐进式的API演进策略确保了现有应用的平稳过渡。
技术实现改进
在底层实现上,1.2.0b1版本将传统的azure core HTTP响应导入替换为azure.core.rest中的实现,这一变更带来了更好的性能和更现代的API设计。
总结
Azure Confidential Ledger Python SDK 1.2.0b1版本通过增强的用户和角色管理功能,为开发者提供了更精细的权限控制能力。新增的可编程端点和用户定义函数支持,则进一步扩展了账本的应用场景。这些改进使得该SDK更适合构建复杂的企业级分布式应用,同时保持了良好的向后兼容性。
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C081
baihu-dataset异构数据集“白虎”正式开源——首批开放10w+条真实机器人动作数据,构建具身智能标准化训练基座。00
mindquantumMindQuantum is a general software library supporting the development of applications for quantum computation.Python056
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提供零码、低码可视化开发和工作流编排,模型、知识库、插件等各资源管理能力TSX0135
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00