collaborators

5 papers

cs.DC2026

Hermes: Low Tail-Latency Via Prefix Consensus

Alejandro Ranchal-Pedrosa, Dakai Kang, Neil Giridharan +3

Leader-based BFT protocols finalize through their leaders: a view whose leader is crashed or slow finalizes nothing, and the timeout that ends it admits no good setting. A conserva…

cs.GT2026

Slack and Budget Breaking in Threshold Team Production

Benjamin Marsh, Alejandro Ranchal-Pedrosa

A threshold system completes a public task only after verifiable shares are publicly committed. If the honest schedule creates \( \Nstar=κ+Δ\) share opportunities by deadlin…

cs.GT2026

SNARE: A TRAP for Rational Players to Solve Byzantine Consensus in the 5f+1 Model

Alejandro Ranchal-Pedrosa, Benjamin Marsh

The TRAP protocol solves rational agreement by combining accountable consensus with a one-shot BFTCR finalization phase. We present SNARE (Scalable Nash Agreement via Reward and Ex…

cs.GT2026

A mechanism design overview of Sedna

Benjamin Marsh, Alejandro Ranchal-Pedrosa

Sedna is a coded multi-proposer consensus protocol in which a sender shards a transaction payload into rateless symbols and disseminates them across parallel proposer lanes, provid…

cs.CR2025

Sedna: Sharding transactions in multiple concurrent proposer blockchains

Alejandro Ranchal-Pedrosa, Benjamin Marsh, Lefteris Kokoris-Kogias +1

Modern blockchains increasingly adopt multi-proposer (MCP) consensus to remove single-leader bottlenecks and improve censorship resistance. However, MCP alone does not resolve how…