About

Redonda is a research project funded by the European CHIST-ERA initiative. It involves several universities and research institutions from France, Spain, Switzerland and United Kingdom (see the Partners page for details).

Objectives

Redonda investigates the construction of next-generation replication protocols for blockchain. For this, the project taps into recent advances in networking, secure computing, and distributed systems. This includes technologies such as RDMA and TEE, recent principles, e.g., leaderless and DAG-based state-machine replication, and the correct-by-design composition of building blocks for consensus.

News

• [Jul 2026 (upcoming)] Project Y3 meeting to be held together w. PODC’26 in Egham, England.
• [May 2026 (upcoming)] Dagstuhl seminar on “Foundations of Disaggregated Memory and Heterogeneous Architectures”.
• [Apr. 2026] Paper entitled “Specifying and Verifying RDMA Synchronisation” presented at ESOP ‘26.
• [Apr. 2026] Apache Accord presented at Devoxx France.
• [Jan. 2026] Paper entitled “A Verified High-Performance Composable Object Library for Remote Direct Memory Access” presented at POPL ‘26
• [Oct. 2025] Paper entitled “TEE is not a healer: Rollback-resistant reliable storage” is presented at DISC ‘25.
• [Aug. 2025] Paper on CloudFlow static analysis framework published at USENIX Security ‘25.
• [Juy. 2025] Three papers presented at PODC’25.
• [Jun. 2025] Project Y2 meeting in Neuchâtel, Switzerland.
• [Feb. 2025] Completion of the PoC on stake-based mempool.
• [Nov. 2024] The work on “Generic Multicast” receives a best paper award at LADC ‘24.
• [Oct. 2024] “Vertical Atomic Broadcast and Passive Replication” is presented at DISC ‘24.
• [Sept. 2024] Revoke paper published at ESORICS 2024.
• [Aug. 2024] Completion of the PoC on parallel consensus decisions.
• [Jul. 2024] Mangosteen paper published at USENIX ATC 2024.
• [Mar. 2024] Project kick-off @INRIA Paris.