Isaac Doidge

According to our database, Isaac Doidge authored at least 3 papers in 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Moonshot: Optimizing Chain-Based Rotating Leader BFT via Optimistic Proposals.

Isaac Doidge, Raghavendra Ramesh, Nibesh Shrestha, Joshua Tobkin

CoRR, 2024

Formally Verifying the Safety of Pipelined Moonshot Consensus Protocol.

M. Praveen, Raghavendra Ramesh, Isaac Doidge

Proceedings of the 5th International Workshop on Formal Methods for Blockchains, 2024

Moonshot: Optimizing Block Period and Commit Latency in Chain-Based Rotating Leader BFT.

Isaac Doidge, Raghavendra Ramesh, Nibesh Shrestha, Joshua Tobkin

Proceedings of the 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2024