跳到主要内容
检索

# 零知识证明

1 篇关联报道

订阅更新
  1. Frontiers in Computer Science

    把智能体授权写成可验证关系：Groth16 原型在 531 约束电路上完成主体与计划绑定，但执行绑定仍空缺

    作者提出可加密验证的智能体授权（CVA）假设，把授权形式化为同时绑定智能体主体、具体授权请求、执行上下文与策略满足性的关系 RCVA，并给出候选安全属性与一个基于 Groth16 zk-SNARK 的可执行零知识概念验证，该原型实现了主体绑定与计划级请求绑定，而上下文绑定与运行时执行绑定未实现。

    Universidad Tecnológica Atlántico Mediterráneo – UTAMEDUniversidade de Santiago de Compostela
    M. Llambí-Morillas（第一作者）
    密码学可验证的智能体授权零知识简洁非交互式论证零知识证明智能体安全访问控制

已读完全部报道