skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.

Explore Research Products in the PAR
It may take a few hours for recently added research products to appear in PAR search results.


This content will become publicly available on June 17, 2026

Title: HotStuff-1: Linear Consensus with One-Phase Speculation
This paper introduces HotStuff-1, a BFT consensus protocol that improves the latency of HotStuff-1 by two network hops while maintaining linear communication complexity against faults. Furthermore, HotStuff-1 incorporates an incentive-compatible leader rotation design that motivates leaders to propose transactions promptly. HotStuff-1 achieves a reduction of two network hops byspeculativelysending clients early finality confirmations, after one phase of the protocol. Introducing speculation into streamlined protocols is challenging because, unlike stable-leader protocols, these protocols cannot stop the consensus and recover from failures. Thus, we identifyprefix speculation dilemmain the context of streamlined protocols; HotStuff-1 is the first streamlined protocol to resolve it. HotStuff-1 embodies an additional mechanism,slotting, that thwarts delays caused by (1) rationally-incentivized leaders and (2) malicious leaders inclined to sabotage others' progress. The slotting mechanism allows leaders to dynamically drive as many decisions as allowed by network transmission delays before view timers expire, thus mitigating both threats.  more » « less
Award ID(s):
2245373
PAR ID:
10611624
Author(s) / Creator(s):
; ; ;
Publisher / Repository:
ACM
Date Published:
Journal Name:
Proceedings of the ACM on Management of Data
Volume:
3
Issue:
3
ISSN:
2836-6573
Page Range / eLocation ID:
1 to 29
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. ; ; ; ; ; ; (, mBio)
    Goldman, Gustavo H (Ed.)
    ABSTRACT Infections caused by the emerging pathogenic yeastClavispora (Candida) lusitaniaecan be difficult to manage due to multi-drug resistance. Resistance to the frontline antifungal fluconazole (FLZ) inCandidaspp. is commonly acquired through gain-of-function (GOF) mutations in the gene encoding the transcription factor Mrr1. These activated Mrr1 variants enhance FLZ efflux via upregulation of the multi-drug transporter geneMDR1. Recently, it was reported that, unlike in the well-studiedCandida albicansspecies,C. lusitaniaeandCandida parapsilosiswith activated Mrr1 also have high expression ofCDR1, which encodes another multi-drug transporter with overlapping but distinct transported substrate profiles and Cdr1-dependent FLZ resistance. To better understand the mechanisms of Mrr1 regulation ofMDR1andCDR1, and other co-regulated genes, we performed Cleavage Under Targets and Release Using Nuclease (CUT&RUN) analysis of Mrr1 binding sites. Mrr1 bound the promoter regions ofMDR1andCDR1, as well asFLU1, which encodes another transporter capable of FLZ efflux. Mdr1 and Cdr1 independently contributed to the decreased susceptibility of theMRR1GOFstrains against diverse clinical azoles and other antifungals, including 5-flucytosine. A consensus motif, CGGAGWTAR, enriched in Mrr1-boundC. lusitaniaeDNA was also conserved upstream ofMDR1andCDR1across species, includingC. albicans. CUT&RUN and RNA-seq data were used to define the Mrr1 regulon, which includes genes involved in transport, stress response, and metabolism. Activated and inducible Mrr1 bound similar regions in the promoters of Mrr1 regulon genes. Our studies provide new evolutionary insights into the coordinated regulation of multi-drug transporters and potential mechanism(s) that aid secondary resistance acquisition in emergingCandida. IMPORTANCEUnderstanding antifungal resistance in emergingCandidapathogens is essential to managing treatment failures and guiding the development of new therapeutic strategies. Like otherCandidaspecies, the environmental opportunistic fungal pathogenClavispora(Candida)lusitaniaecan acquire resistance to the antifungal fluconazole by overexpression of the multi-drug efflux pump Mdr1 through gain-of-function (GOF) mutations in the gene encoding the transcription factor Mrr1. Here, we show thatC. lusitaniaeMrr1 also directly regulatesCDR1, another major multi-drug transporter gene, along withMDR1. In strains with activated Mrr1, upregulation ofMDR1andCDR1protects against diverse antifungals, potentially aiding the rise of other resistance mutations. Mrr1 also regulates several stress response and metabolism genes, thereby providing new perspectives into the physiology of drug-resistant strains. The identification of an Mrr1 binding motif that is conserved across strains and species will advance future efforts to understand multi-drug resistance acrossCandidaspecies. 
    more » « less
  2. ; ; ; ; (, Schloss Dagstuhl – Leibniz-Zentrum für Informatik)
    Böhme, Rainer; Kiffer, Lucianna (Ed.)
    We consider the problem of secret leader election with accountability. Secret leader election protocols counter adaptive adversaries by keeping the identities of elected leaders secret until they choose to reveal themselves, but in existing protocols this means it is impossible to determine who was elected leader if they fail to act. This opens the door to undetectable withholding attacks, where leaders fail to act in order to slow the protocol or bias future elections in their favor. We formally define accountability (in weak and strong variants) for secret leader election protocols. We present three paradigms for adding accountability, using delay-based cryptography, enforced key revelation, or threshold committees, all of which ensure that after some time delay the result of the election becomes public. The paradigm can be chosen to balance trust assumptions, protocol efficiency, and the length of the delay before leaders are revealed. Along the way, we introduce several new cryptographic tools including re-randomizable timed commitments and timed VRFs. 
    more » « less
  3. ; ; (, Proceedings of the ACM on Programming Languages)
    We present a novel symbolic reasoning engine for SQL which can efficiently generate an inputIfornqueriesP1, ⋯,Pn, such that their outputs onIsatisfy a given property (expressed in SMT). This is useful in different contexts, such as disproving equivalence of two SQL queries and disambiguating a set of queries. Our first idea is to reason about an under-approximation of eachPi— that is, a subset ofPi’s input-output behaviors. While it makes our approach both semantics-aware and lightweight, this idea alone is incomplete (as a fixed under-approximation might miss some behaviors of interest). Therefore, our second idea is to perform search over an expressive family of under-approximations (which collectively cover all program behaviors of interest), thereby making our approach complete. We have implemented these ideas in a tool, Polygon, and evaluated it on over 30,000 benchmarks across two tasks (namely, SQL equivalence refutation and query disambiguation). Our evaluation results show that Polygon significantly outperforms all prior techniques. 
    more » « less
  4. ; (, Psychosomatic Medicine)
    ABSTRACT ObjectiveInflammation may be an integral physiological mechanism through which discrimination impacts cardiovascular health and contributes to racial health disparities. Limited research has examined psychosocial factors that protect against the negative effects of discrimination on inflammation. Perceived control is a promising possible protective factor, given that it has been shown to moderate the relationship between other psychosocial stressors and physiological outcomes. This study thus tested whether systemic inflammation mediated the link between discrimination and cardiovascular health and whether perceived control moderated this relationship. MethodsData for this project included 347 non-Hispanic/Latinx Black adults (mean [standard deviation] age = 51.64 [11.24] years; 33% female) taken from the Midlife in the United States study. Perceived control and daily discrimination were assessed via self-report, and inflammation was measured via circulating levels of C-reactive protein (CRP), interleukin-6 (IL-6), fibrinogen, and tumor necrosis factor α. Cardiovascular health was measured by morbidity of cardiovascular conditions: heart disease, hypertension, and/or stroke. ResultsCRP (indirect effect:b =0.004, 95% confidence interval [CI] = 0.001–0.007) and fibrinogen (indirect effect:b =0.002, 95% CI = 0.0003–0.005) mediated the link between discrimination and cardiovascular conditions. Perceived control moderated the relationship between discrimination and CRP (F(1, 293) = 4.58, ΔR2= 0.013,b= −0.02, SE = 0.01,p= .033). CRP mediated the link between discrimination and cardiovascular conditions only for those who reported low levels of perceived control (Index = −0.003, 95% CI = −0.007 to −0.0001). ConclusionFindings provide empirical evidence of inflammation as a mechanism linking discrimination to cardiovascular conditions among Black Americans. Additionally, perceived control may be protective. Findings could suggest beliefs about control as a potential intervention target to help reduce the negative effects of discrimination on cardiovascular health among Black Americans. 
    more » « less
  5. ; ; ; (, Proceedings of the ACM on Programming Languages)
    Blockchains operating at the global scale demand high-performance byzantine fault-tolerant (BFT) consensus protocols. Most classic PBFT-like protocols suffer from an issue known as the leader bottleneck, which severely limits their throughput and resource utilization. Recently, Directed Acyclic Graph, or DAG-based protocols, have emerged as a promising approach for eliminating the leader bottleneck and achieving better performance. They attain higher throughput by separating data dissemination and block ordering. However, their safety and liveness logic is also significantly more elaborate. So far, most DAG-based protocols have only enjoyed on-paper security proofs, and it is not clear how to construct formal proofs of these protocols efficiently. We introduce LiDO-DAG, a concurrent object model that abstracts the common logic of these protocols. LiDO-DAG is constructed by combining a DAG abstraction and LiDO, a recently proposed abstraction for leader-based consensus. To demonstrate that our framework enables rapid validation of new DAG-based protocol designs, we implemented LiDO-DAG in Coq and applied it to three recent DAG-based protocols, including Narwhal, Bullshark, and Sailfish. Our framework readily yields mechanized safety and liveness proofs for all three protocols, which are also the first mechanized liveness proofs of any DAG-based protocol. Our framework has also revealed an optimization for Sailfish that improves its worst-case latency. 
    more » « less
  • Citation Formats
  • MLA
  • APA
  • Chicago
  • BibTeX
  • Save / Share this Record
  • Send to Email