We got a PoS with a formal security proof coming out in August sometime. It uses the GKL15 model. PM me if you want a copy of the paper when it's ready.