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