spb/wp34_uqo

Public
2commits
1branches
0releases
4.6 MBon disk
maindefault branch
2 days agolast push
2.1 KB · 65 lines
1module	theorem	aig_nodes2Sha256Words	Ch_opt	6083Sha256Words	Maj_opt_or	6084Sha256Words	Maj_opt_xor	7685Sha256Words	Maj_comm	7046Sha256Words	Sigma0_xor	9607Sha256Words	Sigma1_xor	9608Sha256Words	sigma0_xor	9339Sha256Words	sigma1_xor	87010Sha256Words	Sigma0_injective	70411Sha256Words	Sigma1_injective	70412Sha256Words	sigma0_injective	68613Sha256Words	sigma1_injective	64414Sha256Words	xor_and_right	51215Sha256Words	inv_of_quarters	3316Sha256Words	Sigma0Inv_Sigma0_b0	102117Sha256Words	Sigma0Inv_Sigma0_b1	102118Sha256Words	Sigma0Inv_Sigma0_b2	102119Sha256Words	Sigma0Inv_Sigma0_b3	102120Sha256Words	Sigma0_Sigma0Inv_b0	50821Sha256Words	Sigma0_Sigma0Inv_b1	50822Sha256Words	Sigma0_Sigma0Inv_b2	50823Sha256Words	Sigma0_Sigma0Inv_b3	50824Sha256Words	Sigma1Inv_Sigma1_b0	97325Sha256Words	Sigma1Inv_Sigma1_b1	97326Sha256Words	Sigma1Inv_Sigma1_b2	97327Sha256Words	Sigma1Inv_Sigma1_b3	97328Sha256Words	Sigma1_Sigma1Inv_b0	50829Sha256Words	Sigma1_Sigma1Inv_b1	50830Sha256Words	Sigma1_Sigma1Inv_b2	50831Sha256Words	Sigma1_Sigma1Inv_b3	50832Sha256Words	sigma0Inv_sigma0_b0	467033Sha256Words	sigma0Inv_sigma0_b1	467934Sha256Words	sigma0Inv_sigma0_b2	467935Sha256Words	sigma0Inv_sigma0_b3	467936Sha256Words	sigma0_sigma0Inv_b0	132837Sha256Words	sigma0_sigma0Inv_b1	137638Sha256Words	sigma0_sigma0Inv_b2	134339Sha256Words	sigma0_sigma0Inv_b3	136440Sha256Words	sigma1Inv_sigma1_b0	479341Sha256Words	sigma1Inv_sigma1_b1	481142Sha256Words	sigma1Inv_sigma1_b2	481743Sha256Words	sigma1Inv_sigma1_b3	481744Sha256Words	sigma1_sigma1Inv_b0	132845Sha256Words	sigma1_sigma1Inv_b1	139146Sha256Words	sigma1_sigma1Inv_b2	140047Sha256Words	sigma1_sigma1Inv_b3	133448Sha256Step	add4_sub4	204849Sha256Step	sub4_add4	242050Schedule	scheduleStep_inv	192151Schedule	scheduleStep_bijective	220052LocalCollision	State.xor_zero	25753LocalCollision	Words9.xor_zero	28954LocalCollision	linStep_xor_absorb	400055LocalCollision	linStep_xor_xor3	636856LocalCollision	diff_absorb_b0	504957LocalCollision	diff_absorb_b1	504958LocalCollision	diff_absorb_b2	504959LocalCollision	diff_absorb_b3	504960LocalCollision	diff_xor3_b0	876961LocalCollision	diff_xor3_b1	876962LocalCollision	diff_xor3_b2	876963LocalCollision	diff_xor3_b3	876964LocalCollision	byte_split	3365