Applies G functions for the round
(
stack: &mut StackTracker,
state_var_map: &mut HashMap<u8, StackVariable>,
message_var_map: &HashMap<u8, StackVariable>,
tables: &TablesVars,
last_round: bool,
)
| 318 | |
| 319 | /// Applies G functions for the round |
| 320 | fn round( |
| 321 | stack: &mut StackTracker, |
| 322 | state_var_map: &mut HashMap<u8, StackVariable>, |
| 323 | message_var_map: &HashMap<u8, StackVariable>, |
| 324 | tables: &TablesVars, |
| 325 | last_round: bool, |
| 326 | ) { |
| 327 | g( |
| 328 | stack, |
| 329 | state_var_map, |
| 330 | 0, |
| 331 | 4, |
| 332 | 8, |
| 333 | 12, |
| 334 | message_var_map[&0], |
| 335 | message_var_map[&1], |
| 336 | tables, |
| 337 | last_round, |
| 338 | ); |
| 339 | g( |
| 340 | stack, |
| 341 | state_var_map, |
| 342 | 1, |
| 343 | 5, |
| 344 | 9, |
| 345 | 13, |
| 346 | message_var_map[&2], |
| 347 | message_var_map[&3], |
| 348 | tables, |
| 349 | last_round, |
| 350 | ); |
| 351 | g( |
| 352 | stack, |
| 353 | state_var_map, |
| 354 | 2, |
| 355 | 6, |
| 356 | 10, |
| 357 | 14, |
| 358 | message_var_map[&4], |
| 359 | message_var_map[&5], |
| 360 | tables, |
| 361 | last_round, |
| 362 | ); |
| 363 | g( |
| 364 | stack, |
| 365 | state_var_map, |
| 366 | 3, |
| 367 | 7, |
| 368 | 11, |
| 369 | 15, |
| 370 | message_var_map[&6], |
| 371 | message_var_map[&7], |
| 372 | tables, |
| 373 | last_round, |
| 374 | ); |
| 375 | |
| 376 | g( |
| 377 | stack, |