@@ -120,75 +120,6 @@ pub enum BlackBoxFuncCall {
120120}
121121
122122impl BlackBoxFuncCall {
123- #[ deprecated = "BlackBoxFuncCall::dummy() is unnecessary and will be removed in ACVM 0.24.0" ]
124- pub fn dummy ( bb_func : BlackBoxFunc ) -> Self {
125- match bb_func {
126- BlackBoxFunc :: AND => BlackBoxFuncCall :: AND {
127- lhs : FunctionInput :: dummy ( ) ,
128- rhs : FunctionInput :: dummy ( ) ,
129- output : Witness ( 0 ) ,
130- } ,
131- BlackBoxFunc :: XOR => BlackBoxFuncCall :: XOR {
132- lhs : FunctionInput :: dummy ( ) ,
133- rhs : FunctionInput :: dummy ( ) ,
134- output : Witness ( 0 ) ,
135- } ,
136- BlackBoxFunc :: RANGE => BlackBoxFuncCall :: RANGE { input : FunctionInput :: dummy ( ) } ,
137- BlackBoxFunc :: SHA256 => BlackBoxFuncCall :: SHA256 { inputs : vec ! [ ] , outputs : vec ! [ ] } ,
138- BlackBoxFunc :: Blake2s => BlackBoxFuncCall :: Blake2s { inputs : vec ! [ ] , outputs : vec ! [ ] } ,
139- BlackBoxFunc :: SchnorrVerify => BlackBoxFuncCall :: SchnorrVerify {
140- public_key_x : FunctionInput :: dummy ( ) ,
141- public_key_y : FunctionInput :: dummy ( ) ,
142- signature : vec ! [ ] ,
143- message : vec ! [ ] ,
144- output : Witness ( 0 ) ,
145- } ,
146- BlackBoxFunc :: PedersenCommitment => BlackBoxFuncCall :: PedersenCommitment {
147- inputs : vec ! [ ] ,
148- domain_separator : 0 ,
149- outputs : ( Witness ( 0 ) , Witness ( 0 ) ) ,
150- } ,
151- BlackBoxFunc :: PedersenHash => BlackBoxFuncCall :: PedersenHash {
152- inputs : vec ! [ ] ,
153- domain_separator : 0 ,
154- output : Witness ( 0 ) ,
155- } ,
156- BlackBoxFunc :: HashToField128Security => {
157- BlackBoxFuncCall :: HashToField128Security { inputs : vec ! [ ] , output : Witness ( 0 ) }
158- }
159- BlackBoxFunc :: EcdsaSecp256k1 => BlackBoxFuncCall :: EcdsaSecp256k1 {
160- public_key_x : vec ! [ ] ,
161- public_key_y : vec ! [ ] ,
162- signature : vec ! [ ] ,
163- hashed_message : vec ! [ ] ,
164- output : Witness ( 0 ) ,
165- } ,
166- BlackBoxFunc :: EcdsaSecp256r1 => BlackBoxFuncCall :: EcdsaSecp256r1 {
167- public_key_x : vec ! [ ] ,
168- public_key_y : vec ! [ ] ,
169- signature : vec ! [ ] ,
170- hashed_message : vec ! [ ] ,
171- output : Witness ( 0 ) ,
172- } ,
173- BlackBoxFunc :: FixedBaseScalarMul => BlackBoxFuncCall :: FixedBaseScalarMul {
174- low : FunctionInput :: dummy ( ) ,
175- high : FunctionInput :: dummy ( ) ,
176- outputs : ( Witness ( 0 ) , Witness ( 0 ) ) ,
177- } ,
178- BlackBoxFunc :: Keccak256 => {
179- BlackBoxFuncCall :: Keccak256 { inputs : vec ! [ ] , outputs : vec ! [ ] }
180- }
181- BlackBoxFunc :: RecursiveAggregation => BlackBoxFuncCall :: RecursiveAggregation {
182- verification_key : vec ! [ ] ,
183- proof : vec ! [ ] ,
184- public_inputs : vec ! [ ] ,
185- key_hash : FunctionInput :: dummy ( ) ,
186- input_aggregation_object : None ,
187- output_aggregation_object : vec ! [ ] ,
188- } ,
189- }
190- }
191-
192123 pub fn get_black_box_func ( & self ) -> BlackBoxFunc {
193124 match self {
194125 BlackBoxFuncCall :: AND { .. } => BlackBoxFunc :: AND ,
0 commit comments