Beispiel #1
0
 private static LinearRelation.Knowledge ToKnowledge(this LinearRelation.Statement statement, CoordinatorSecretKey coordinatorSecretKey) =>
 statement.ToKnowledge(new ScalarVector(
                           coordinatorSecretKey.W,
                           coordinatorSecretKey.Wp,
                           coordinatorSecretKey.X0,
                           coordinatorSecretKey.X1,
                           coordinatorSecretKey.Ya));
Beispiel #2
0
 public static NonInteractive.FiatShamirTransform.ProverCommitToNonces CreateProver(LinearRelation.Statement statement, CoordinatorSecretKey coordinatorSecretKey) =>
 new NonInteractive.FiatShamirTransform.Prover(statement.ToKnowledge(coordinatorSecretKey)).CommitToStatements(Transcript);