File tree Expand file tree Collapse file tree 2 files changed +0
-34
lines changed Expand file tree Collapse file tree 2 files changed +0
-34
lines changed Original file line number Diff line number Diff line change @@ -54,18 +54,6 @@ pub fn lt_field_16_bit(x: Field, y: Field) -> bool {
54
54
predicate
55
55
}
56
56
57
- pub fn lt_field_8_bit (x : Field , y : Field ) -> bool {
58
- // Safety: check the comments below
59
- let predicate = unsafe { get_lt_predicate_f (x , y ) };
60
- let delta = y as Field - x as Field ;
61
- let lt_parameter = 2 * (predicate as Field ) * delta - predicate as Field - delta ;
62
- // checks that the bit length of lt_parameter is 8
63
- // i.e. checks the sign of lt_parameter
64
- lt_parameter .assert_max_bit_size ::<8 >();
65
-
66
- predicate
67
- }
68
-
69
57
pub fn assert_gt_240_bit (lhs : Field , rhs : Field ) {
70
58
// lhs > rhs
71
59
// -> lhs - rhs > 0
Original file line number Diff line number Diff line change @@ -46,28 +46,6 @@ global CAPTURE_ERROR_FLAG: [[bool; 128]; 4] = [
46
46
LITERAL_CAPTURE_ERROR_FLAG ,
47
47
];
48
48
49
- unconstrained fn make_capture_table_full () -> [[Field ; 128 ]; 4 ] {
50
- let mut result : [[Field ; 128 ]; 4 ] = [[0 ; 128 ]; 4 ];
51
- for i in 0 ..4 {
52
- for j in 0 ..128 {
53
- let table = CAPTURE_TABLE [i ][j ];
54
- let token = CAPTURE_TOKEN [i ][j ];
55
- let push_transcript = CAPTURE_PUSH_TRANSCRIPT [i ][j ] as Field ;
56
- let increase_length = CAPTURE_INCREASE_LENGTH [i ][j ] as Field ;
57
- let error = CAPTURE_ERROR_FLAG [i ][j ] as Field ;
58
-
59
- let full = table
60
- + token as Field * 0x100
61
- + push_transcript * 0x10000
62
- + increase_length * 0x1000000
63
- + error * 0x100000000 ;
64
- result [i ][j ] = full ;
65
- }
66
- }
67
-
68
- result
69
- }
70
-
71
49
unconstrained fn make_ascii_to_token_table () -> [Field ; 1024 ] {
72
50
let mut result : [Field ; 256 * 4 ] = [0 ; 256 * 4 ];
73
51
for i in 0 ..4 {
You can’t perform that action at this time.
0 commit comments