aboutsummaryrefslogtreecommitdiff
path: root/src/zklaim/zklaim_functions.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/zklaim/zklaim_functions.c')
-rw-r--r--src/zklaim/zklaim_functions.c37
1 files changed, 29 insertions, 8 deletions
diff --git a/src/zklaim/zklaim_functions.c b/src/zklaim/zklaim_functions.c
index 7f83ecb22..e9e911623 100644
--- a/src/zklaim/zklaim_functions.c
+++ b/src/zklaim/zklaim_functions.c
@@ -101,7 +101,7 @@ ZKLAIM_context_issue (struct GNUNET_ZKLAIM_Context *ctx,
101 key); 101 key);
102} 102}
103 103
104void 104int
105ZKLAIM_context_prove (struct GNUNET_ZKLAIM_Context *ctx, 105ZKLAIM_context_prove (struct GNUNET_ZKLAIM_Context *ctx,
106 GNUNET_ZKLAIM_PredicateIterator iter, 106 GNUNET_ZKLAIM_PredicateIterator iter,
107 void *iter_cls) 107 void *iter_cls)
@@ -115,23 +115,44 @@ ZKLAIM_context_prove (struct GNUNET_ZKLAIM_Context *ctx,
115 tmp = GNUNET_strdup (ctx->attrs); 115 tmp = GNUNET_strdup (ctx->attrs);
116 attr_name = strtok (tmp, ","); 116 attr_name = strtok (tmp, ",");
117 plw = ctx->ctx->pl_ctx_head; 117 plw = ctx->ctx->pl_ctx_head;
118 118 fprintf (stderr,
119 "Num payloads: %lu, attrs: %s\n",
120 ctx->ctx->num_of_payloads,
121 ctx->attrs);
119 for (i = 0; i < ctx->ctx->num_of_payloads; i++) 122 for (i = 0; i < ctx->ctx->num_of_payloads; i++)
120 { 123 {
121 for (j = 0; j < ZKLAIM_MAX_PAYLOAD_ATTRIBUTES; j++) 124 for (j = 0; j < ZKLAIM_MAX_PAYLOAD_ATTRIBUTES; j++)
122 { 125 {
123 GNUNET_assert (NULL != attr_name); 126 plw->pl.data_op[j] = zklaim_noop;
127 }
128 plw = plw->next;
129 }
130 plw = ctx->ctx->pl_ctx_head;
131 for (i = 0; i < ctx->ctx->num_of_payloads; i++)
132 {
133 fprintf (stderr,
134 "Payload #%d\n",
135 i);
136
137 for (j = 0; j < ZKLAIM_MAX_PAYLOAD_ATTRIBUTES; j++)
138 {
139
140 if (NULL == attr_name)
141 break;
124 iter (iter_cls, 142 iter (iter_cls,
125 attr_name, 143 attr_name,
126 &plw->pl.data_op[i], 144 &plw->pl.data_op[j],
127 &plw->pl.data_ref[i]); 145 &plw->pl.data_ref[j]);
128 attr_name = strtok (NULL, ","); 146 attr_name = strtok (attr_name + strlen (attr_name) + 1, ",");
129 } 147 }
148 if (NULL == attr_name)
149 break;
130 plw = plw->next; 150 plw = plw->next;
131 GNUNET_assert (NULL != plw); 151 GNUNET_assert (NULL != plw);
132 } 152 }
133 GNUNET_free (tmp); 153 GNUNET_free (tmp);
134 154 zklaim_print (ctx->ctx);
155 return zklaim_proof_generate (ctx->ctx);
135} 156}
136 157
137int 158int