1 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2024★ 1 cited
Formally Verifying the Safety of Pipelined Moonshot Consensus Protocol
M. Praveen, Raghavendra Ramesh, Isaac Doidge
Decentralized Finance (DeFi) has emerged as a contemporary competitive as well as complementary to traditional centralized finance systems. As of 23rd January 2024, per Defillama a…
cs.DC2024★ 1 cited
Moonshot: Optimizing Chain-Based Rotating Leader BFT via Optimistic Proposals
Isaac Doidge, Raghavendra Ramesh, Nibesh Shrestha +1
Existing chain-based rotating-leader BFT SMR protocols for the partially synchronous network model with constant commit latencies incur block periods of at least (where is…