@@ -176,7 +176,10 @@ pub const Proof = struct {
176
176
params : Params (batched ),
177
177
transcript : * Transcript ,
178
178
) ! void {
179
- comptime var session = Transcript .getSession (if (batched ) batched_contract ++ contract else contract );
179
+ comptime var session = Transcript .getSession (if (batched )
180
+ batched_contract ++ contract
181
+ else
182
+ contract );
180
183
defer session .finish ();
181
184
182
185
const t = if (batched ) t : {
@@ -359,14 +362,16 @@ pub const Data = struct {
359
362
self .grouped_ciphertext .toBytes ();
360
363
}
361
364
365
+ // zig fmt: off
362
366
fn newTranscript (self : Context ) Transcript {
363
367
return .init (.@"grouped-ciphertext-validity-3-handles-instruction" , &.{
364
- .{ .label = "first-pubkey" , .message = .{ .pubkey = self .first_pubkey } },
365
- .{ .label = "second-pubkey" , .message = .{ .pubkey = self .second_pubkey } },
366
- .{ .label = "third-pubkey" , .message = .{ .pubkey = self .third_pubkey } },
368
+ .{ .label = "first-pubkey" , .message = .{ .pubkey = self .first_pubkey } },
369
+ .{ .label = "second-pubkey" , .message = .{ .pubkey = self .second_pubkey } },
370
+ .{ .label = "third-pubkey" , .message = .{ .pubkey = self .third_pubkey } },
367
371
.{ .label = "grouped-ciphertext" , .message = .{ .grouped_3 = self .grouped_ciphertext } },
368
372
});
369
373
}
374
+ // zig fmt: on
370
375
};
371
376
372
377
pub fn init (
@@ -495,15 +500,17 @@ pub const BatchedData = struct {
495
500
self .grouped_ciphertext_hi .toBytes ();
496
501
}
497
502
503
+ // zig fmt: off
498
504
fn newTranscript (self : Context ) Transcript {
499
505
return .init (.@"batched-grouped-ciphertext-validity-3-handles-instruction" , &.{
500
- .{ .label = "first-pubkey" , .message = .{ .pubkey = self .first_pubkey } },
501
- .{ .label = "second-pubkey" , .message = .{ .pubkey = self .second_pubkey } },
502
- .{ .label = "third-pubkey" , .message = .{ .pubkey = self .third_pubkey } },
506
+ .{ .label = "first-pubkey" , .message = .{ .pubkey = self .first_pubkey } },
507
+ .{ .label = "second-pubkey" , .message = .{ .pubkey = self .second_pubkey } },
508
+ .{ .label = "third-pubkey" , .message = .{ .pubkey = self .third_pubkey } },
503
509
.{ .label = "grouped-ciphertext-lo" , .message = .{ .grouped_3 = self .grouped_ciphertext_lo } },
504
510
.{ .label = "grouped-ciphertext-hi" , .message = .{ .grouped_3 = self .grouped_ciphertext_hi } },
505
511
});
506
512
}
513
+ // zig fmt: on
507
514
};
508
515
509
516
pub fn init (
0 commit comments