A Simple Single Slot Finality Protocol For Ethereum

Currently, Gasper, the implemented consensus protocol of Ethereum, takes between 64 and 95 slots to finalize blocks. Because of that, a significant portion of the chain is susceptible to reorgs. The possibility to capture MEV (Maximum Extractable Value) through such reorgs can then disincentivize honestly following the protocol, breaking the desired correspondence of honest and rational behavior. Moreover, the relatively long time to finality forces users to choose between economic security and faster transaction confirmation. This motivates the study of the so-called single slot finality protocols: consensus protocols that finalize a block in each slot and, more importantly, that finalize the block proposed at a given slot within such slot. In this work we propose a simple, non-blackbox protocol that combines a synchronous dynamically available protocol with a partially synchronous finality gadget, resulting in a consensus protocol that can finalize one block per slot, paving the way to single slot finality within Ethereum. Importantly, the protocol we present can finalize the block proposed in a slot, within such slot

Recent Latest Message Driven GHOST: Balancing Dynamic Availability With Asynchrony Resilience

Dynamic participation has recently become a crucial requirement for devising permissionless consensus protocols. This notion, originally formalized by Pass and Shi (ASIACRYPT 2017) through their sleepy model , captures the essence of a system\u27s ability to handle participants joining or leaving during a protocol execution. A dynamically available consensus protocol preserves safety and liveness while allowing dynamic participation. Blockchain protocols, such as Bitcoin\u27s consensus protocol, have implicitly adopted this concept. In the context of Ethereum\u27s consensus protocol, Gasper, Neu, Tas, and Tse (S&P 2021) presented an attack against LMD-GHOST -- the component of Gasper designed to ensure dynamic availability. Consequently, LMD-GHOST results unable to fulfill its intended function of providing dynamic availability for the protocol. Despite attempts to mitigate this issue, the modified protocol still does not achieve dynamic availability, highlighting the need for more secure dynamically available protocols. In this work, we present RLMD-GHOST, a synchronous consensus protocol that not only ensures dynamic availability but also maintains safety during bounded periods of asynchrony. This protocol is particularly appealing for practical systems where strict synchrony assumptions may not always hold, contrary to general assumptions in standard synchronous protocols. Additionally, we present the generalized sleepy model , within which our results are proven. Building upon the original sleepy model proposed by Pass and Shi, our model extends it with more generalized and stronger constraints on the corruption and sleepiness power of the adversary. This approach allows us to explore a wide range of dynamic participation regimes, spanning from complete dynamic participation to no dynamic participation, i.e., with every participant online. Consequently, this model provides a foundation for analyzing dynamically available protocols

Goldfish: No More Attacks on Proof-of-Stake Ethereum

The latest message driven (LMD) greedy heaviest observed sub-tree (GHOST) consensus protocol is a critical component of proof-of-stake (PoS) Ethereum. In its current form, the protocol is brittle, as evidenced by recent attacks and patching attempts. We report on Goldfish, a considerably simplified candidate under consideration for a future Ethereum protocol upgrade. We prove that Goldfish satisfies the properties required of a drop-in replacement for LMD GHOST: Goldfish is secure in synchronous networks under dynamic participation, assuming a majority of the nodes (called validators) follows the protocol. Goldfish is reorg resilient (i.e., honestly produced blocks are guaranteed inclusion in the ledger) and supports fast confirmation (i.e., the expected confirmation latency is independent of the desired security level). We show that subsampling validators can improve the communication efficiency of Goldfish, and that Goldfish is composable with finality gadgets and accountability gadgets, which improves state-of-the-art ebb-and-flow protocols. Attacks on LMD GHOST exploit lack of coordination among honest validators, typically provided by a locking mechanism in classical BFT protocols. However, locking requires votes from a quorum of all participants and is not compatible with dynamic availability. Goldfish is powered by a novel coordination mechanism to synchronize the honest validators\u27 actions under dynamic participation. Experiments with our implementation of Goldfish demonstrate the practicality of this mechanism for Ethereum

Breaking the Chains of Rationality: Understanding the Limitations to and Obtaining Order Policy Enforcement

Order manipulation attacks such as frontrunning and sandwiching have become an increasing concern in blockchain applications such as DeFi. To protect from such attacks, several recent works have designed order policy enforcement (OPE) protocols to order transactions fairly in a data-independent fashion. However, while the manipulation attacks are motivated by monetary profits, the defenses assume honesty among a significantly large set of participants. In existing protocols, if all participants are rational, they may be incentivized to collude and circumvent the order policy without incurring any penalty. This work makes two key contributions. First, we explore whether the need for the honesty assumption is fundamental. Indeed, we show that it is impossible to design OPE protocols under some requirements when all parties are rational. Second, we explore the tradeoffs needed to circumvent the impossibility result. In the process, we propose a novel concept of rationally binding transactions that allows us to construct AnimaguSwap(A key design in AnimaguSwap is that user orders may transform to a different direction---like the fictional creatures Animagi in Harry Potter---in order to achieve the desired game theoretic properties) , the first content-oblivious Automated Market Makers (AMM) that is secure under rationality

The Far-Infrared Radiation Mobile Observation System (FIRMOS) for spectral characterization of the atmospheric emission

The Far-Infrared Radiation Mobile Observation System (FIRMOS) is a Fourier transform spectroradiometer developed to support the Far-infrared Outgoing Radiation Understanding and Monitoring (FORUM) satellite mission by validating measurement methods and instrument design concepts, both in the laboratory and in field campaigns. FIRMOS is capable of measuring the downwelling spectral radiance emitted by the atmosphere in the spectral band from 100 to 1000 cm$^{−1}$ (10–100 µm in wavelength), with a maximum spectral resolution of 0.25 cm$^{−1}$. We describe the instrument design and its characterization and discuss the geophysical products obtained by inverting the atmospheric spectral radiance measured during a campaign from the high-altitude location of Mount Zugspitze in Germany, beside the Extended-range Atmospheric Emitted Radiance Interferometer (E-AERI), which is permanently installed at the site. Following the selection of clear-sky scenes, using a specific algorithm, the water vapour and temperature profiles were retrieved from the FIRMOS spectra by applying the Kyoto protocol and Informed Management of the Adaptation (KLIMA) code. The profiles were found in very good agreement with those provided by radiosondes and by the Raman lidar operating from the Zugspitze Schneefernerhaus station. In addition, the retrieval products were validated by comparing the retrieved integrated water vapour values with those obtained from the E-AERI spectra

Heart Failure Pharmacological Management: Gaps and Current Perspectives

Proper therapeutic management of patients with heart failure (HF) is a major challenge for cardiologists. Current guidelines indicate to start therapy with angiotensin converting enzyme inhibitors/angiotensin receptor neprilysin inhibitors (ACEi/ARNI), beta blockers (BB), mineralocorticoid receptor antagonists (MRAs) and sodium glucose cotransporter 2 inhibitors (SGLT2i) to reduce the risk of death and hospitalization due to HF. However, certain aspects still need to be defined. Current guidelines propose therapeutic algorithms based on left ventricular ejection fraction values and clinical presentations. However, these last do not always reflect the precise hemodynamic status of patients and pathophysiological mechanisms involved, particularly in the acute setting. Even in the field of chronic management there are still some critical points to discuss. The guidelines do not specify which of the four pillar drugs to start first, nor at what dosage. Some authors suggest starting with SGLT2i and BB, others with ACEi or ARNI, while one of the most recent approach proposes to start with all four drugs together at low doses. The aim of this review is to revise current gaps and perspectives regarding pharmacological therapy management in HF patients, in both the acute and chronic phase