Topology Analysis of the XRP Ledger

Autor: Tumas, Vytautas, Rivera, Sean, Magoni, Damien, State, Radu

XRP Ledger is one of the oldest, well-established blockchains. Despite the popularity of the XRP Ledger, little is known about its underlying peer-to-peer network. The structural properties of a network impact its efficiency, security and robustness.

Externí odkaz: http://arxiv.org/abs/2205.00869

Probabilistic Edge Multicast Routing for the XRP Network

Autor: Tumas, Vytautas, Rivera, Sean, Magoni, Damien, State, Radu

Publikováno v: GLOBECOM 2022 - 2022 IEEE Global Communications Conference.

The XRP Ledger relies on a trusted set of validator nodes to advance the ledger history. Nodes use flood-based broadcasting to disseminate messages. Flooding offers strong message delivery guarantees at the cost of high network utilisation caused by

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::17ba2875e13f30251f2c1c3db5eb1745
https://doi.org/10.1109/globecom48099.2022.10000650

Mechanised Verification Patterns for Dafny

Autor: Grov, Gudmund, Lin, Yuhui, Tumas, Vytautas

Publikováno v: Grov, G, Lin, Y & Tumas, V 2016, Mechanised Verification Patterns for Dafny . in FM 2016: Formal Methods-21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings . Lecture Notes in Computer Science, vol. 9995, pp. 326-343, 21st International Symposium on Formal Methods, Limassol, Cyprus, 7/11/16 . https://doi.org/10.1007/978-3-319-48989-6_20

In Dafny, the program text is used to both specify and implement programs in the same language [24]. It then uses a fully automated theorem prover to verify that the implementation satisfies the specification. However, the prover often needs further

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3094::26c3f94a4bc0c827f18a691ba3531416
https://hdl.handle.net/20.500.11820/23ad6b3f-4c30-4c34-9b55-b013fbbe4ae4