22# import " /src.typ" : load_config , load_chip
33# import " /chip.typ" : (
44 render_chip_assumptions ,
5- render_chip_column_table ,
5+ render_chip_variable_table ,
66 total_nr_variables ,
77 total_nr_instantiated_columns ,
88 render_constraint_table ,
@@ -30,7 +30,7 @@ The keccak accelerator comprises two chips: a core chip that interacts with the
3030# let nr_columns = total_nr_instantiated_columns (chip , config )
3131
3232The core # keccak chip is comprised of # nr_variables variables that are expressed using # nr_columns columns:
33- # render_chip_column_table (chip , config )
33+ # render_chip_variable_table (chip , config )
3434
3535== Constraints
3636In this VM, we assign syscall number -2 to the # keccak accelerator.
@@ -58,7 +58,7 @@ The #keccak table can be padded to the next power of two with the following valu
5858# let nr_columns = total_nr_instantiated_columns (round_chip , config )
5959
6060The # keccak_rnd chip is comprised of # nr_variables variables that are expressed using # nr_columns columns:
61- # render_chip_column_table (round_chip , config )
61+ # render_chip_variable_table (round_chip , config )
6262
6363
6464# strong (" Note on " + raw (" rnc" ) + " and " + raw (" rbc" ) + " ." )
@@ -104,5 +104,5 @@ Lastly, the round chip contributes the following interactions to the lookup:
104104# let nr_columns = total_nr_instantiated_columns (rc_chip , config )
105105
106106We provide the round constants through a short precomputed lookup table: # keccak_rc .
107- # render_chip_column_table (rc_chip , config )
107+ # render_chip_variable_table (rc_chip , config )
108108# render_constraint_table (rc_chip , config )
0 commit comments