ANF implementations of CESKE and CESIKE machines