Zhuang's Diary

// Prepare atomic query inputs 准备计算查询的入参
Uint8List res = await _proofRepository  
    .calculateAtomicQueryInputs(  
  id: didEntity.identifier,  // 用户 DID
  profileNonce: param.profileNonce,  // 用户个人资料随机数
  claimSubjectProfileNonce: param.claimSubjectProfileNonce,  // 用户声明主题资料随机数
  authClaim: authClaim,  // 用户授权声明
  incProof: incProof,  // 如上图中 用户Claims Tree Root
  nonRevProof: nonRevProof,  // 如上图中 用户Revocation Tree Root
  gistProof: gistProof,  // 如上图中 用户Roots Tree Toot
  treeState: treeState,  // 如上图中 用户Identity State
  challenge: param.challenge,  // 挑战，由Issuer生成，作为生成proof的一部分
  signature: signature,  // 用户针对challenge的签名
  claim: param.credential,  // 用户证书，其中包含的PII Data
  proofScopeRequest: param.request.toJson(),  
  circuitId: param.request.circuitId,  // 使用的电路ID
  config: config,  
)

// Prove 生成最终证明，其中的步骤实际是在调用iden3的类库
return _proveUseCase  
    .execute(param: ProveParam(atomicQueryInputs, param.circuitData))
    .then((proof) {  
_stacktraceManager.addTrace("[GenerateIden3commProofUseCase] proof");  
logger().i("[GenerateProofUseCase] proof: $proof");

Future<ZKProofEntity> execute({required ProveParam param}) async {  
  try {  
    // Calculate witness  计算见证
    Uint8List wtnsBytes = await _proofRepository.calculateWitness(  
      param.circuitData,  
      param.inputs,  
    );  
    // Generate proof  生成证明
    ZKProofEntity zkProofEntity = await _proofRepository.prove(  
      param.circuitData,  
      wtnsBytes,  
    );  
    _stacktraceManager.addTrace("[ProveUseCase] proof");  
    logger().i("[ProveUseCase] proof: $zkProofEntity");  
    return zkProofEntity;  
  } 
}

abstract class SMTRepository {  
  Future<void> addLeaf(  
      {required NodeEntity leaf,  
      required TreeType type,  
      required String did,  
      required String privateKey});  
  
  Future<NodeEntity> getNode(  
      {required HashEntity hash,  
      required TreeType type,  
      required String did,  
      required String privateKey});  
  
  Future<void> addNode(  
      {required HashEntity hash,  
      required NodeEntity node,  
      required TreeType type,  
      required String did,  
      required String privateKey});  
  
  Future<HashEntity> getRoot(  
      {required TreeType type,  
      required String did,  
      required String privateKey});  
  
  Future<void> setRoot(  
      {required HashEntity root,  
      required TreeType type,  
      required String did,  
      required String privateKey});  
  
  Future<MTProofEntity> generateProof({  
    required HashEntity key,  
    required TreeType type,  
    required String did,  
    required String privateKey,  
  });  
  
  Future<void> createSMT({  
    required int maxLevels,  
    required TreeType type,  
    required String did,  
    required String privateKey,  
  });  
  
  Future<void> removeSMT({  
    required TreeType type,  
    required String did,  
    required String privateKey,  
  });  
  
  Future<String> hashState({  
    required String claims,  
    required String revocation,  
    required String roots,  
  });  
  
  Future<Map<String, dynamic>> convertState({required TreeStateEntity state});  
}