Arya: Nearly linear-time zero-knowledge proofs for correct program execution

There have been tremendous advances in reducing interaction, communication and verification time in zero-knowledge proofs but it remains an important challenge to make the prover efficient. We construct the first zero-knowledge proof of knowledge for the correct execution of a program on public and private inputs where the prover computation is nearly linear time. This saves a polylogarithmic factor in asymptotic performance compared to current state of the art proof systems. We use the TinyRAM model to capture general purpose processor computation. An instance consists of a TinyRAM program and public inputs. The witness consists of additional private inputs to the program. The prover can use our proof system to convince the verifier that the program terminates with the intended answer within given time and memory bounds. Our proof system has perfect completeness, statistical special honest verifier zero-knowledge, and computational knowledge soundness assuming linear-time computable collision-resistant hash functions exist. The main advantage of our new proof system is asymptotically efficient prover computation. The prover’s running time is only a superconstant factor larger than the program’s running time in an apples-to-apples comparison where the prover uses the same TinyRAM model. Our proof system is also efficient on the other performance parameters; the verifier’s running time and the communication are sublinear in the execution time of the program and we only use a log-logarithmic number of rounds

Episodic fevers and vasodilatory shock mimicking urosepsis in a patient with HIV-associated multicentric Castleman’s Disease: a case report

Background: Multicentric Castleman's disease (MCD) is a pre-malignancy that presents with lymphadenopathy and features of systemic inflammation. Human immunodeficiency virus (HIV)-associated MCD is associated with human herpesvirus-8 (HHV-8) infection. If untreated MCD has a relapsing and remitting course that is eventually fatal. Case presentation: A 67-year-old man had six hospital admissions over 20 months characterised by fever, urinary frequency and CRP >100 mg/L. The final admission was complicated by hypotension requiring intensive care unit admission and ionotropic support. His history included HIV and Hepatitis B virus (HBV) co-infection on suppressive therapy. Each presentation was managed as presumed urosepsis with use of empirical antibiotics, however numerous blood and urine cultures failed to identify a pathogen. A bone-marrow aspirate and trephine found no evidence of haematological malignancy. A positron emission tomography scan found active lymph nodes, one of which was biopsied and found to contain the plasma-cell variant of Castleman's disease. Ultimately the cause for the recurrent presentations was attributed to progressive MCD. The patient received rituximab monotherapy and has had no further related admissions. Conclusions: MCD should be considered in patients with chronic HIV infection presenting with recurrent sepsis-like episodes and/or vasodilatory shock, particularly if no pathogen is identified or lymphadenopathy is evident

Regions of High Out-Of-Hospital Cardiac Arrest Incidence and Low Bystander CPR Rates in Victoria, Australia

BACKGROUND: Out-of-hospital cardiac arrest (OHCA) remains a major public health issue and research has shown that large regional variation in outcomes exists. Of the interventions associated with survival, the provision of bystander CPR is one of the most important modifiable factors. The aim of this study is to identify census areas with high incidence of OHCA and low rates of bystander CPR in Victoria, Australia. METHODS: We conducted an observational study using prospectively collected population-based OHCA data from the state of Victoria in Australia. Using ArcGIS (ArcMap 10.0), we linked the location of the arrest using the dispatch coordinates (longitude and latitude) to Victorian Local Government Areas (LGAs). We used Bayesian hierarchical models with random effects on each LGA to provide shrunken estimates of the rates of bystander CPR and the incidence rates. RESULTS: Over the study period there were 31,019 adult OHCA attended, of which 21,436 (69.1%) cases were of presumed cardiac etiology. Significant variation in the incidence of OHCA among LGAs was observed. There was a 3 fold difference in the incidence rate between the lowest and highest LGAs, ranging from 38.5 to 115.1 cases per 100,000 person-years. The overall rate of bystander CPR for bystander witnessed OHCAs was 62.4%, with the rate increasing from 56.4% in 2008-2010 to 68.6% in 2010-2013. There was a 25.1% absolute difference in bystander CPR rates between the highest and lowest LGAs. CONCLUSION: Significant regional variation in OHCA incidence and bystander CPR rates exists throughout Victoria. Regions with high incidence and low bystander CPR participation can be identified and would make suitable targets for interventions to improve CPR participation rates

Identification of neutralising pembrolizumab anti-drug antibodies in patients with melanoma

Development of anti-drug antibodies (ADAs) can interfere with therapeutic monoclonal antibodies and may lead to drug neutralisation and clinical disease progression. Measurement of circulating drug levels and development of ADAs in the setting of anti-programmed cell death-1 agent pembrolizumab has not been well-studied. Enzyme-linked immunosorbent assays were used to measure pembrolizumab drug level and ADAs in 41 patients with melanoma at baseline, Time-point 1 (3 weeks) and Time-point 2 (21 weeks). Assay results were related to patient demographics and clinical outcome data at 6 months. The median pembrolizumab drug level at 3 weeks was 237 ng/μL and did not correlate with age, sex or body surface area.17/41 patients had an ADA detected at any timepoint, with the highest prevalence at Timepoint 1 (median concentration = 17 ng/μL). The presence of an ADA did not correlate with clinical progression at 6 months. 3/41 (7%) of patients displayed a falling pembrolizumab drug level and rising ADA titre between Timepoint 1 and 2 suggestive of a neutralising ADA. Pembrolizumab drug levels and ADAs can be readily measured. The rates of total and treatment-emergent ADAs may be higher in "real-word" settings than those previously reported. Larger studies are needed to determine effect of neutralising ADAs on long-term clinical outcome

Brief report: how adolescents with ASD process social information in complex scenes. Combining evidence from eye movements and verbal descriptions

We investigated attention, encoding and processing of social aspects of complex photographic scenes. Twenty-four high-functioning adolescents (aged 11–16) with ASD and 24 typically developing matched control participants viewed and then described a series of scenes, each containing a person. Analyses of eye movements and verbal descriptions provided converging evidence that both groups displayed general interest in the person in each scene but the salience of the person was reduced for the ASD participants. Nevertheless, the verbal descriptions revealed that participants with ASD frequently processed the observed person’s emotion or mental state without prompting. They also often mentioned eye-gaze direction, and there was evidence from eye movements and verbal descriptions that gaze was followed accurately. The combination of evidence from eye movements and verbal descriptions provides a rich insight into the way stimuli are processed overall. The merits of using these methods within the same paradigm are discussed

Fractal: Post-Quantum and Transparent Recursive Proofs from Holography

We present a new methodology to efficiently realize recursive composition of succinct non-interactive arguments of knowledge (SNARKs). Prior to this work, the only known methodology relied on pairing-based SNARKs instantiated on cycles of pairing-friendly elliptic curves, an expensive algebraic object. Our methodology does not rely on any special algebraic objects and, moreover, achieves new desirable properties: it is *post-quantum* and it is *transparent* (the setup is public coin). We exploit the fact that recursive composition is simpler for SNARKs with *preprocessing*, and the core of our work is obtaining a preprocessing zkSNARK for rank-1 constraint satisfiability (R1CS) that is post-quantum and transparent. We obtain this latter by establishing a connection between holography and preprocessing in the random oracle model, and then constructing a holographic proof for R1CS. We experimentally validate our methodology, demonstrating feasibility in practice

Aurora: Transparent Succinct Arguments for R1CS

We design, implement, and evaluate a zkSNARK for Rank-1 Constraint Satisfaction (R1CS), a widely-deployed NP-complete language that is undergoing standardization. Our construction uses a transparent setup, is plausibly post-quantum secure, and uses lightweight cryptography. A proof attesting to the satisfiability of n constraints has size $O(\log^2 n)$; it can be produced with $O(n \log n)$ field operations and verified with $O(n)$. At 128 bits of security, proofs are less than 130kB even for several million constraints, more than 20x shorter than prior zkSNARK with similar features. A key ingredient of our construction is a new Interactive Oracle Proof (IOP) for solving a *univariate* analogue of the classical sumcheck problem [LFKN92], originally studied for *multivariate* polynomials. Our protocol verifies the sum of entries of a Reed--Solomon codeword over any subgroup of a field. We also provide libiop, an open-source library for writing IOP-based arguments, in which a toolchain of transformations enables programmers to write new arguments by writing simple IOP sub-components. We have used this library to specify our construction and prior ones