Verifiable FHE via Lattice-based SNARKs

Fully Homomorphic Encryption (FHE) is a prevalent cryptographic primitive that allows for computation on encrypted data. In various cryptographic protocols, this enables outsourcing computation to a third party while retaining the privacy of the inputs to the computation. However, these schemes make an honest-but-curious assumption about the adversary. Previous work has tried to remove this assumption by combining FHE with Verifiable Computation (VC). Recent work has increased the flexibility of this approach by introducing integrity checks for homomorphic computations over rings. However, efficient FHE for circuits of large multiplicative depth also requires non-ring computations called maintenance operations, i.e. modswitching and keyswitching, which cannot be efficiently verified by existing constructions. We propose the first efficiently verifiable FHE scheme that allows for arbitrary depth homomorphic circuits by utilizing the double-CRT representation in which FHE schemes are typically computed, and using lattice-based SNARKs to prove components of this computation separately, including the maintenance operations. Therefore, our construction can theoretically handle bootstrapping operations. We also present the first implementation of a verifiable computation on encrypted data for a computation that contains multiple ciphertext-ciphertext multiplications. Concretely, we verify the homomorphic computation of an approximate neural network containing three layers and more than 100 ciphertexts in less than 1 second while maintaining reasonable prover costs

Global Distribution of O Serotypes and Antibiotic Resistance in Extraintestinal Pathogenic Escherichia coli Collected From the Blood of Patients With Bacteremia Across Multiple Surveillance Studies

Background: Extraintestinal pathogenic Escherichia coli (ExPEC) is the leading cause of bacteremia worldwide, with older populations having increased risk of invasive bacterial disease. Increasing resistance to first-line antibiotics and emergence of multidrug-resistant (MDR) strains represent major treatment challenges. ExPEC O serotypes are key targets for potential multivalent conjugate vaccine development. Therefore, we evaluated the O serotype distribution and antibiotic resistance profiles of ExPEC strains causing bloodstream infections across 4 regions. Methods: Blood culture isolates from patients aged ≥60 years collected during 5 retrospective E. coli surveillance studies in Europe, North America, Asia-Pacific, and South America (2011-2017) were analyzed. Isolates were O serotyped by agglutination; O genotyping was performed for nontypeable isolates. Antimicrobial susceptibility testing was also conducted. Results: Among 3217 ExPEC blood culture isolates, the most ubiquitous O serotype was O25 (n = 737 [22.9%]), followed by O2, O6, O1, O75, O15, O8, O16, O4, O18, O77 group, O153, O9, O101/O162, O86, and O13 (prevalence of ≥1%). The prevalence of these O serotypes was generally consistent across regions, apart from South America; together, these 16 O serotypes represented 77.6% of all ExPEC bacteremia isolates analyzed. The overall MDR frequency was 10.7%, with limited variation between regions. Within the MDR subset (n = 345), O25 showed a dominant prevalence of 63.2% (n = 218). Conclusions: Predominant O serotypes among ExPEC bacteremia isolates are widespread across different regions. O25 was the most prevalent O serotype overall and particularly dominant among MDR isolates. These findings may inform the design of multivalent conjugate vaccines that can target the predominant O serotypes associated with invasive ExPEC disease in older adults

Non-human primate to human immunobridging to infer the protective effect of an Ebola virus vaccine candidate

Action Contro