@@ -267,14 +267,13 @@ impl<let NumBytes: u32, let NumPackedFields: u32, let MaxNumTokens: u32, let Max
267
267
tokens [i ] = token ;
268
268
// 13 gates
269
269
let TokenFlags {
270
- create_json_entry ,
271
- is_end_of_object_or_array ,
272
- is_start_of_object_or_array ,
273
- new_context ,
274
- is_key_token : update_key ,
275
- is_value_token ,
276
- preserve_num_entries ,
277
- } = TokenFlags ::from_field (
270
+ create_json_entry ,
271
+ is_end_of_object_or_array ,
272
+ is_start_of_object_or_array ,
273
+ new_context ,
274
+ is_key_token : update_key ,
275
+ is_value_token ,
276
+ preserve_num_entries ,} = TokenFlags ::from_field (
278
277
TOKEN_FLAGS_TABLE [cast_num_to_u32 (token ) + context * NUM_TOKENS ],
279
278
);
280
279
@@ -456,12 +455,8 @@ impl<let NumBytes: u32, let NumPackedFields: u32, let MaxNumTokens: u32, let Max
456
455
// 2 gates
457
456
let capture_flags = JSON_CAPTURE_TABLE [cast_num_to_u32 (encoded_ascii )];
458
457
// 5 gates
459
- let ScanData {
460
- scan_token ,
461
- push_transcript ,
462
- increase_length ,
463
- is_potential_escape_sequence ,
464
- } = ScanData ::from_field (capture_flags );
458
+ let ScanData { scan_token , push_transcript , increase_length , is_potential_escape_sequence } =
459
+ ScanData ::from_field (capture_flags );
465
460
466
461
// 2 gates
467
462
let raw = raw_transcript [cast_num_to_u32 (transcript_ptr )];
@@ -674,8 +669,8 @@ unconstrained fn __build_transcript<let NumBytes: u32, let MaxNumTokens: u32>(
674
669
let encoded_ascii = previous_was_potential_escape_sequence as Field * 1024
675
670
+ scan_mode * 256
676
671
+ ascii as Field ;
677
- let ScanData { scan_token , push_transcript , increase_length , is_potential_escape_sequence }
678
- = ScanData ::from_field (JSON_CAPTURE_TABLE [cast_num_to_u32 (encoded_ascii )]);
672
+ let ScanData { scan_token , push_transcript , increase_length , is_potential_escape_sequence } =
673
+ ScanData ::from_field (JSON_CAPTURE_TABLE [cast_num_to_u32 (encoded_ascii )]);
679
674
680
675
if push_transcript {
681
676
let new_entry = RawTranscriptEntry ::to_field (
0 commit comments