Matthias Benkort, software developer at Cardano's Input Output Global, shared some details of Hydra solution design