2 files changed
+7
-23
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
19 | 19 | | |
20 | 20 | | |
21 | 21 | | |
| 22 | + | |
| 23 | + | |
| 24 | + | |
| 25 | + | |
| 26 | + | |
22 | 27 | | |
23 | 28 | | |
24 | 29 | | |
| |||
77 | 82 | | |
78 | 83 | | |
79 | 84 | | |
80 | | - | |
81 | | - | |
82 | | - | |
83 | | - | |
84 | | - | |
85 | | - | |
86 | | - | |
87 | | - | |
88 | | - | |
89 | | - | |
90 | | - | |
91 | | - | |
92 | | - | |
93 | | - | |
94 | | - | |
95 | | - | |
96 | | - | |
97 | | - | |
98 | | - | |
99 | | - | |
100 | | - | |
101 | 85 | | |
102 | 86 | | |
103 | 87 | | |
| |||
124 | 108 | | |
125 | 109 | | |
126 | 110 | | |
127 | | - | |
| 111 | + | |
128 | 112 | | |
129 | 113 | | |
130 | 114 | | |
| |||
Submodule linea-constraints updated 46 files
- .github/workflows/check.yml+1-1
- Makefile+5-17
- blockdata/cancun/processing/blobbasefee/common.lisp+7-1
- blockdata/cancun/processing/blobbasefee/linea.lisp+1-1
- blsdata/cancun/generalities/constraining_address_sum.lisp+1-1
- blsdata/cancun/generalities/constraints_for_ct.lisp+2-2
- blsdata/cancun/generalities/setting_index.lisp+2-2
- blsdata/cancun/generalities/setting_index_max.lisp+2-2
- blsdata/cancun/generalities/setting_is_first_input_and_is_second_input.lisp+1-1
- blsdata/cancun/generalities/setting_phase.lisp+2-2
- blsdata/prague/generalities/constraining_address_sum.lisp+1-1
- blsdata/prague/generalities/constraints_for_ct.lisp+1-1
- blsdata/prague/generalities/setting_index.lisp+2-2
- blsdata/prague/generalities/setting_index_max.lisp+2-2
- blsdata/prague/generalities/setting_is_first_input_and_is_second_input.lisp+1-1
- blsdata/prague/generalities/setting_phase.lisp+2-2
- constants/cancun/constants.zkasm+1-1
- constants/london/constants.zkasm+1-1
- constants/osaka/constants.zkasm-3
- constants/prague/constants.zkasm+1-1
- ecdata/columns.lisp
- ecdata/constants.lisp
- ecdata/constraints.lisp
- ecdata/lookups/ecdata_into_ext.lisp
- ecdata/lookups/ecdata_into_wcp.lisp
- ecdata/osaka/columns.lisp-76
- ecdata/osaka/constants.lisp-33
- ecdata/osaka/constraints.lisp-755
- ecdata/osaka/lookups/ecdata_into_ext.lisp-33
- ecdata/osaka/lookups/ecdata_into_wcp.lisp-27
- exp/exp.zkasm+6-3
- logdata/constraints.lisp+1-1
- mxp/cancun/lookups/mxp_into_instruction_decoder.lisp+1-1
- rlptxn/cancun/constraints/generalities/requires_evm.lisp+1-2
- rlputils/cancun/constraints/generalities/ct_and_ctmax.lisp+2-2
- rlputils/cancun/constraints/instructions/bytes32.lisp+3-3
- stp/stp.zkasm+1-1
- trm/trm.zkasm+2-5
- trm/trm_osaka.zkasm-49
- util/bit_sar.zkasm+24-13
- util/bit_shift.zkasm+66
- util/bit_shl.zkasm+21-7
- util/bit_shr.zkasm+5-7
- util/bit_xoan.zkasm+2-4
- util/fill_bytes.zkasm+4-1
- util/signextend.zkasm+6-11
0 commit comments