bend-osdev-legacy-ciphers

Releases (1)

• 0.1.0.0 indexed

Definitions (970)

PROOF.bend

• def cam_fl_step_dual
• def cam_unop_op
• def cam_op_unop
• def cam_unrun_run
• def cam_run_unrun
• def tf_bswap
• def tf_bswapd
• def tf_round
• def tf_roundd
• def tf_unop_op
• def tf_op_unop
• def tf_unrun_run
• def tf_run_unrun
• def sp_nib_0_t
• def sp_nib_0_f
• def sp_nib_1_t
• def sp_nib_1_f
• def sp_nib_2_t
• def sp_nib_2_f
• def sp_nib_3_t
• def sp_nib_3_f
• def sp_nib_4_t
• def sp_nib_4_f
• def sp_nib_5_t
• def sp_nib_5_f
• def sp_nib_6_t
• def sp_nib_6_f
• def sp_nib_7_t
• def sp_nib_7_f
• def sp_nib_inv
• def sp_etaa layer's input rebuilt from its fields gives the same layer
• def sp_layer_invan S-box layer and its inverse undo each other on four m-bit words
• def sp_sop_invan S-box step and its inverse undo each other on the state
• def sp_lt1the linear transformation's steps, each undone
• def sp_lt1d
• def sp_lt2
• def sp_lt2d
• def sp_lt3
• def sp_lt4
• def sp_lt5
• def sp_lt5d
• def sp_lt6
• def sp_lt7
• def sp_lt8
• def sp_lt8d
• def sp_lt_inv
• def sp_lt_invd
• def sp_bswap
• def sp_bswapd
• def sp_unop_op
• def sp_op_unop
• def sp_unrun_run
• def sp_run_unrun
• def adc_add_subBEGIN GENERATED by gen/proof.py: adc
• def adc_sub_add
• def u32_add_sub
• def u32_sub_add
• def fe_unstep_step
• def fe_step_unstep
• def fe_unrun_run
• def fe_run_unrun
• def swap2
• def tea_unop_op
• def tea_op_unop
• def tea_unrun_run
• def tea_run_unrun
• def bf_unop_op
• def bf_op_unop
• def bf_unrun_run
• def bf_run_unrun
• def c6_sc2
• def c6_sb2
• def c6_sa2
• def c6_sd2
• def c6_qq
• def c6_qbq
• def c6_unop_op
• def c6_op_unop
• def c6_unrun_run
• def c6_run_unrun
• def aria_sb31BEGIN GENERATED by gen/proof.py: aria each S-box and its inverse undo each other on every byte
• def aria_sb13
• def aria_sb42
• def aria_sb24
• def aria_sl21SL2 undoes SL1, and SL1 undoes SL2, a byte at a time
• def aria_sl12
• def aria_xor2a round key XORed twice
• def aria_e0each elementary step of the diffusion layer is undone by itself
• def aria_e1
• def aria_e2
• def aria_e3
• def aria_e4
• def aria_e5
• def aria_e6
• def aria_e7
• def aria_e8
• def aria_e9
• def aria_e10
• def aria_e11
• def aria_e12