Tartu's Easycrypt clone