A technical analysis of Ripple’s protocol reveals that it ensures neither safety nor liveness under the stated assumptions.

Read more in this blog.

Congratulations to Jovana Micic and to Ignacio Amores-Sesar for this work. The paper will be published in the proceedings of OPODIS 2020.