File tree Expand file tree Collapse file tree 1 file changed +10
-2
lines changed
Expand file tree Collapse file tree 1 file changed +10
-2
lines changed Original file line number Diff line number Diff line change @@ -1212,7 +1212,11 @@ fn handle_black_box_function(
12121212 }
12131213 BlackBoxOp :: Poseidon2Permutation { message, output } => {
12141214 // We'd love to validate the input size, but it's not known at compile time.
1215- assert_eq ! ( output. size, SemiFlattenedLength ( 4 ) , "Poseidon2Permutation output size must be 4!" ) ;
1215+ assert_eq ! (
1216+ output. size,
1217+ SemiFlattenedLength ( 4 ) ,
1218+ "Poseidon2Permutation output size must be 4!"
1219+ ) ;
12161220 let input_state_offset = message. pointer . to_u32 ( ) ;
12171221 let output_state_offset = output. pointer . to_u32 ( ) ;
12181222
@@ -1319,7 +1323,11 @@ fn handle_black_box_function(
13191323 // The length of the scalars vector is 2x the length of the points vector due to limb
13201324 // decomposition
13211325 // Output array is fixed to 3
1322- assert_eq ! ( outputs. size, SemiFlattenedLength ( 3 ) , "Output array size must be equal to 3" ) ;
1326+ assert_eq ! (
1327+ outputs. size,
1328+ SemiFlattenedLength ( 3 ) ,
1329+ "Output array size must be equal to 3"
1330+ ) ;
13231331 assert_eq ! ( points. size. 0 % 3 , 0 , "Points array size must be divisible by 3" ) ;
13241332
13251333 avm_instrs. push ( generate_mov_to_procedure ( & points. pointer , 0 ) ) ;
You can’t perform that action at this time.
0 commit comments