验证方 - 凭证验证中心
自动接收、验证选择性披露凭证,生成可视化验证结果
📁
选择性披露文件
查看并选择用户发送的披露文件执行验证
选择验证凭证
选择要验证的选择性披露凭证文件
验证流程
实时监控验证过程的每个步骤
1
加载披露凭证
读取并解析JSON格式的披露凭证文件
⏳
等待开始
- -
-
2
还原RDF图
根据披露的凭证信息还原完整的RDF知识图谱
⏳
等待开始
🖼️
等待生成RDF图...
-
-
3
生成二叉树和访问矩阵
通过新的属性约束生成验证二叉树和访问控制矩阵
⏳
等待开始
🌳
等待生成验证树图像...
正在加载约束表达式...
-
🌳
等待生成二叉树图像...
4
还原s值
通过线性规划求解还原秘密值s
⏳
等待开始
-
-
-
5
还原d值
通过聚合计算还原聚合值d
⏳
等待开始
-
-
-
-
6
验证BLS签名
验证凭证的数字签名有效性
⏳
等待开始
BLS签名参数
-
-
-
-
BLS验证对比
验证公式:
e(PK, H(msg)) ?= e(g, SIG)
-
-
-
验证结果
详细的验证结果和状态信息
还原的 s 值
-
还原的 d 值
-
updated_random_number
-
验证状态
-
-
-
-
验证图像
生成的RDF图和验证二叉树可视化结果
还原的RDF图
🖼️
等待生成图像...
图像信息
验证二叉树
🖼️
等待生成图像...
图像信息