Merge branch 'feat/layout/starknet_with_keccak' into layouts_optimiza… #34

Job	Run time
verify-proof (dex)	4m 14s
verify-proof (recursive)	3m 58s
verify-proof (recursive_with_poseidon)	4m 1s
verify-proof (small)	3m 59s
verify-proof (starknet)	4m 21s
	20m 33s

Provide feedback