Crypto redesign with Reto