Skip to content

Commit 2348a08

Browse files
OlivierBBBOlivierBBB
committed
feat: new scenario/PRC_xxx shorthands
1 parent b69ba54 commit 2348a08

File tree

1 file changed

+153
-44
lines changed

1 file changed

+153
-44
lines changed

‎hub/osaka/constraints/scenario-rows/shorthands/precompile.lisp‎

Lines changed: 153 additions & 44 deletions
Original file line numberDiff line numberDiff line change
@@ -6,6 +6,119 @@
66
;; ;;
77
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
88

9+
10+
(defun (scenario-shorthand---PRC---common-London-address-bit-sum)
11+
(force-bin (+ scenario/PRC_ECRECOVER
12+
scenario/PRC_SHA2-256
13+
scenario/PRC_RIPEMD-160
14+
scenario/PRC_IDENTITY
15+
;; scenario/PRC_MODEXP
16+
scenario/PRC_ECADD
17+
scenario/PRC_ECMUL
18+
scenario/PRC_ECPAIRING
19+
;; scenario/PRC_BLAKE2f
20+
;; scenario/PRC_SUCCESS_CALLER_WILL_REVERT
21+
;; scenario/PRC_SUCCESS_CALLER_WONT_REVERT
22+
;; scenario/PRC_FAILURE_KNOWN_TO_HUB
23+
;; scenario/PRC_FAILURE_KNOWN_TO_RAM
24+
;; scenario/PRC_POINT_EVALUATION
25+
;; scenario/PRC_BLS_G1_ADD
26+
;; scenario/PRC_BLS_G1_MSM
27+
;; scenario/PRC_BLS_G2_ADD
28+
;; scenario/PRC_BLS_G2_MSM
29+
;; scenario/PRC_BLS_PAIRING_CHECK
30+
;; scenario/PRC_BLS_MAP_FP_TO_G1
31+
;; scenario/PRC_BLS_MAP_FP2_TO_G2
32+
;; (scenario-shorthand---PRC---common-BLS-address-bit-sum)
33+
;; scenario/PRC_P256_VERIFY
34+
)))
35+
36+
37+
(defun (scenario-shorthand---PRC---common-Cancun-address-bit-sum)
38+
(force-bin (+ ;; scenario/PRC_ECRECOVER
39+
;; scenario/PRC_SHA2-256
40+
;; scenario/PRC_RIPEMD-160
41+
;; scenario/PRC_IDENTITY
42+
;; scenario/PRC_MODEXP
43+
;; scenario/PRC_ECADD
44+
;; scenario/PRC_ECMUL
45+
;; scenario/PRC_ECPAIRING
46+
;; scenario/PRC_BLAKE2f
47+
;; scenario/PRC_SUCCESS_CALLER_WILL_REVERT
48+
;; scenario/PRC_SUCCESS_CALLER_WONT_REVERT
49+
;; scenario/PRC_FAILURE_KNOWN_TO_HUB
50+
;; scenario/PRC_FAILURE_KNOWN_TO_RAM
51+
scenario/PRC_POINT_EVALUATION
52+
;; scenario/PRC_BLS_G1_ADD
53+
;; scenario/PRC_BLS_G1_MSM
54+
;; scenario/PRC_BLS_G2_ADD
55+
;; scenario/PRC_BLS_G2_MSM
56+
;; scenario/PRC_BLS_PAIRING_CHECK
57+
;; scenario/PRC_BLS_MAP_FP_TO_G1
58+
;; scenario/PRC_BLS_MAP_FP2_TO_G2
59+
;; (scenario-shorthand---PRC---common-BLS-address-bit-sum)
60+
;; scenario/PRC_P256_VERIFY
61+
)))
62+
63+
64+
(defun (scenario-shorthand---PRC---common-Prague-address-bit-sum)
65+
(force-bin (+ ;; scenario/PRC_ECRECOVER
66+
;; scenario/PRC_SHA2-256
67+
;; scenario/PRC_RIPEMD-160
68+
;; scenario/PRC_IDENTITY
69+
;; scenario/PRC_MODEXP
70+
;; scenario/PRC_ECADD
71+
;; scenario/PRC_ECMUL
72+
;; scenario/PRC_ECPAIRING
73+
;; scenario/PRC_BLAKE2f
74+
;; scenario/PRC_SUCCESS_CALLER_WILL_REVERT
75+
;; scenario/PRC_SUCCESS_CALLER_WONT_REVERT
76+
;; scenario/PRC_FAILURE_KNOWN_TO_HUB
77+
;; scenario/PRC_FAILURE_KNOWN_TO_RAM
78+
;; scenario/PRC_POINT_EVALUATION
79+
scenario/PRC_BLS_G1_ADD
80+
scenario/PRC_BLS_G1_MSM
81+
scenario/PRC_BLS_G2_ADD
82+
scenario/PRC_BLS_G2_MSM
83+
scenario/PRC_BLS_PAIRING_CHECK
84+
scenario/PRC_BLS_MAP_FP_TO_G1
85+
scenario/PRC_BLS_MAP_FP2_TO_G2
86+
;; scenario/PRC_P256_VERIFY
87+
)))
88+
89+
90+
(defun (scenario-shorthand---PRC---common-Osaka-address-bit-sum)
91+
(force-bin (+ ;; scenario/PRC_ECRECOVER
92+
;; scenario/PRC_SHA2-256
93+
;; scenario/PRC_RIPEMD-160
94+
;; scenario/PRC_IDENTITY
95+
;; scenario/PRC_MODEXP
96+
;; scenario/PRC_ECADD
97+
;; scenario/PRC_ECMUL
98+
;; scenario/PRC_ECPAIRING
99+
;; scenario/PRC_BLAKE2f
100+
;; scenario/PRC_SUCCESS_CALLER_WILL_REVERT
101+
;; scenario/PRC_SUCCESS_CALLER_WONT_REVERT
102+
;; scenario/PRC_FAILURE_KNOWN_TO_HUB
103+
;; scenario/PRC_FAILURE_KNOWN_TO_RAM
104+
;; scenario/PRC_POINT_EVALUATION
105+
;; scenario/PRC_BLS_G1_ADD
106+
;; scenario/PRC_BLS_G1_MSM
107+
;; scenario/PRC_BLS_G2_ADD
108+
;; scenario/PRC_BLS_G2_MSM
109+
;; scenario/PRC_BLS_PAIRING_CHECK
110+
;; scenario/PRC_BLS_MAP_FP_TO_G1
111+
;; scenario/PRC_BLS_MAP_FP2_TO_G2
112+
scenario/PRC_P256_VERIFY
113+
)))
114+
115+
;;  PRC/sum
116+
(defun (scenario-shorthand---PRC---common-BLS-address-bit-sum)
117+
(force-bin (+ (scenario-shorthand---PRC---common-Cancun-address-bit-sum)
118+
(scenario-shorthand---PRC---common-Prague-address-bit-sum)
119+
)))
120+
121+
9122
;;  PRC/sum
10123
(defun (scenario-shorthand---PRC---common-except-identity-address-bit-sum)
11124
(force-bin (+ scenario/PRC_ECRECOVER
@@ -34,37 +147,20 @@
34147
)))
35148

36149

37-
;;  PRC/sum
38-
(defun (scenario-shorthand---PRC---common-BLS-address-bit-sum)
39-
(force-bin (+
40-
;; scenario/PRC_ECRECOVER
41-
;; scenario/PRC_SHA2-256
42-
;; scenario/PRC_RIPEMD-160
43-
;; scenario/PRC_IDENTITY
44-
;; scenario/PRC_MODEXP
45-
;; scenario/PRC_ECADD
46-
;; scenario/PRC_ECMUL
47-
;; scenario/PRC_ECPAIRING
48-
;; scenario/PRC_BLAKE2f
49-
;; scenario/PRC_SUCCESS_CALLER_WILL_REVERT
50-
;; scenario/PRC_SUCCESS_CALLER_WONT_REVERT
51-
;; scenario/PRC_FAILURE_KNOWN_TO_HUB
52-
;; scenario/PRC_FAILURE_KNOWN_TO_RAM
53-
scenario/PRC_POINT_EVALUATION
54-
scenario/PRC_BLS_G1_ADD
55-
scenario/PRC_BLS_G1_MSM
56-
scenario/PRC_BLS_G2_ADD
57-
scenario/PRC_BLS_G2_MSM
58-
scenario/PRC_BLS_PAIRING_CHECK
59-
scenario/PRC_BLS_MAP_FP_TO_G1
60-
scenario/PRC_BLS_MAP_FP2_TO_G2
61-
)))
62-
63150
(defun (scenario-shorthand---PRC---common-address-bit-sum)
64151
(force-bin (+ (scenario-shorthand---PRC---common-except-identity-address-bit-sum)
65152
scenario/PRC_IDENTITY
66153
)))
67154

155+
156+
(defproperty scenario-shorthands---the-two-definitions-of-common-prc-address-bit-sums-must-coincide
157+
(eq! (scenario-shorthand---PRC---common-address-bit-sum)
158+
(+ (scenario-shorthand---PRC---common-London-address-bit-sum)
159+
(scenario-shorthand---PRC---common-Cancun-address-bit-sum)
160+
(scenario-shorthand---PRC---common-Prague-address-bit-sum)
161+
(scenario-shorthand---PRC---common-Osaka-address-bit-sum)
162+
)))
163+
68164
;;  PRC/sum
69165
(defun (scenario-shorthand---PRC---full-address-bit-sum)
70166
(force-bin (+ (scenario-shorthand---PRC---common-address-bit-sum)
@@ -87,6 +183,19 @@
87183
;; scenario/PRC_SUCCESS_CALLER_WONT_REVERT
88184
;; scenario/PRC_FAILURE_KNOWN_TO_HUB
89185
;; scenario/PRC_FAILURE_KNOWN_TO_RAM
186+
;; scenario/PRC_POINT_EVALUATION
187+
;; scenario/PRC_BLS_G1_ADD
188+
;; scenario/PRC_BLS_G1_MSM
189+
;; scenario/PRC_BLS_G2_ADD
190+
;; scenario/PRC_BLS_G2_MSM
191+
;; scenario/PRC_BLS_PAIRING_CHECK
192+
;; scenario/PRC_BLS_MAP_FP_TO_G1
193+
;; scenario/PRC_BLS_MAP_FP2_TO_G2
194+
scenario/PRC_P256_VERIFY
195+
;; scenario/PRC_SUCCESS_CALLER_WILL_REVERT
196+
;; scenario/PRC_SUCCESS_CALLER_WONT_REVERT
197+
;; scenario/PRC_FAILURE_KNOWN_TO_HUB
198+
;; scenario/PRC_FAILURE_KNOWN_TO_RAM
90199
)))
91200

92201
;;  PRC/may_only_fail_in_RAM
@@ -110,24 +219,24 @@
110219
;;  PRC/weighted_sum
111220
(defun (scenario-shorthand---PRC---weighted-address-bit-sum)
112221
(+
113-
(* 1 scenario/PRC_ECRECOVER )
114-
(* 2 scenario/PRC_SHA2-256 )
115-
(* 3 scenario/PRC_RIPEMD-160 )
116-
(* 4 scenario/PRC_IDENTITY )
117-
(* 5 scenario/PRC_MODEXP )
118-
(* 6 scenario/PRC_ECADD )
119-
(* 7 scenario/PRC_ECMUL )
120-
(* 8 scenario/PRC_ECPAIRING )
121-
(* 9 scenario/PRC_BLAKE2f )
122-
(* 10 scenario/PRC_POINT_EVALUATION )
123-
(* 11 scenario/PRC_BLS_G1_ADD )
124-
(* 12 scenario/PRC_BLS_G1_MSM )
125-
(* 13 scenario/PRC_BLS_G2_ADD )
126-
(* 14 scenario/PRC_BLS_G2_MSM )
127-
(* 15 scenario/PRC_BLS_PAIRING_CHECK )
128-
(* 16 scenario/PRC_BLS_MAP_FP_TO_G1 )
129-
(* 17 scenario/PRC_BLS_MAP_FP2_TO_G2 )
130-
(* 256 scenario/PRC_P256_VERIFY )
222+
(* 1 scenario/PRC_ECRECOVER )
223+
(* 2 scenario/PRC_SHA2-256 )
224+
(* 3 scenario/PRC_RIPEMD-160 )
225+
(* 4 scenario/PRC_IDENTITY )
226+
(* 5 scenario/PRC_MODEXP )
227+
(* 6 scenario/PRC_ECADD )
228+
(* 7 scenario/PRC_ECMUL )
229+
(* 8 scenario/PRC_ECPAIRING )
230+
(* 9 scenario/PRC_BLAKE2f )
231+
(* 10 scenario/PRC_POINT_EVALUATION )
232+
(* 11 scenario/PRC_BLS_G1_ADD )
233+
(* 12 scenario/PRC_BLS_G1_MSM )
234+
(* 13 scenario/PRC_BLS_G2_ADD )
235+
(* 14 scenario/PRC_BLS_G2_MSM )
236+
(* 15 scenario/PRC_BLS_PAIRING_CHECK )
237+
(* 16 scenario/PRC_BLS_MAP_FP_TO_G1 )
238+
(* 17 scenario/PRC_BLS_MAP_FP2_TO_G2 )
239+
(* 256 scenario/PRC_P256_VERIFY )
131240
;; scenario/PRC_SUCCESS_CALLER_WILL_REVERT
132241
;; scenario/PRC_SUCCESS_CALLER_WONT_REVERT
133242
;; scenario/PRC_FAILURE_KNOWN_TO_HUB

0 commit comments

Comments
 (0)