Minima: the embedded blockchain