--- Key managment via ZKPs (and Rollups) === **xzy** Assumptions: - key stays in HW - users will have mutliple devices, maybe shared? - ... Problem statement: ...