Definitions and properties of zero-knowledge proof systems

In this paper we investigate some properties of zero-knowledge proofs, a notion introduced by Goldwasser, Micali, and Rackoff. We introduce and classify two definitions of zero-knowledge: auxiliary-input zero-knowledge and blackbox-simulation zero-knowledge. We explain why auxiliary-input zero-knowledge is a definition more suitable for cryptographic applications than the original [GMR1] definition. In particular, we show that any protocol solely composed of subprotocols which are auxiliary-input zero-knowledge is itself auxiliary-input zero-knowledge. We show that blackbox-simulation zero-knowledge implies auxiliary-input zero-knowledge (which in turn implies the [GMR1] definition). We argue that all known zero-knowledge proofs are in fact blackbox-simulation zero-knowledge (i.e., we proved zero-knowledge using blackbox-simulation of the verifier). As a result, all known zero-knowledge proof systems are shown to be auxiliary-input zero-knowledge and can be used for cryptographic applications such as those in [GMW2].We demonstrate the triviality of certain classes of zero-knowledge proof systems, in the sense that only languages in BPP have zero-knowledge proofs of these classes. In particular, we show that any language having a Las Vegas zero-knowledge proof system necessarily belongs to RP. We show that randomness of both the verifier and the prover, and nontriviality of the interaction are essential properties of (nontrivial) auxiliary-input zero-knowledge proofs.This research was partially supported by the Fund for Basic Research Administered by the Israeli Academy of Sciences and Humanities. Preliminary versions of this work have appeared in [O1] and [O2].     

Analysis of vocal tract parameters in parkinsonian speech

A method for the analysis of vocal tract parameters is developed, aimed to perform quantitative analysis of rigidity from speech signals of Parkinsonian patients. The cross-sectional area function of the vocal tract is calculated using pitch synchronous autoregressive moving average (ARMA) analysis. The changes in Parkinsonian subjects of the cross-sectional area during the utterance of sustained sounds are attributed to both Parkinsonian tremor and rigidity. In order to isolate the effects of the rigidity on the vocal tract from those of the tremor, an adaptive tremor cancellation (ATC) algorithm is developed, based on the correlation of tremor signals extracted from different locations of the speech production system.     

Bromine-containing oligomers of dimethyl itaconate

The radical polymerization of dimethyl itaconate in the presence of carbon tetrabromide was investigated. Oligomers of low molecular weight and high bromine content were obtained; the yield depended mainly on initiator concentration and reached 100 per cent at high concentrations. It was found that the oligomers could be used as plasticizer extenders for polyvinyl chloride; their high bromine content reduced the flammability of polyester.     

Self-consistency corrections in effective-interaction calculations

Large-matrix extended-shell-model calculations are used to compute self-consistency corrections to the effective interaction and to the linked-cluster effective interaction. The corrections are found to be numerically significant and to affect the rate of convergence of the corresponding perturbation series. The influence of various partial corrections is tested. It is concluded that self-consistency is an important effect in determining the effective interaction and improving the rate of convergence.     

Alkali Metal Adducts of Aromatic Nitro Compounds—Reactions and Use in Polymerization of Vinyl Monomers

Abstract

The reaction of alkali metals with nitrobenzene and p-nitro-toluene in THF at various molar ratios was found to lead to the formation of radical ions, dianions, and alkali metal adducts of reduction derivatives of the nitro compounds such as azo- and azoxybenzene. The anionic polymerization of styrene, methyl methacrylate, methacrylonitrile, and acrylo-nitrile by these anions was investigated. All the initiators did not polymerize styrene while the least reactive radical-anion was found to polymerize acrylonitrile completely, methacrylonitrile to a small extent, but not methyl methacrylate.

The order of reactivity of those adducts toward organic halides was similar to that found in polymerization. Metalla-tion of polynitrostyrene by lithium biphenyl solution led only to partial conversion of the nitro groups to radical-anions which were not reactive.     

Atomic Layer Deposition (ALD) of Alumina over Activated Carbon Electrodes Enabling a Stable 4 V Supercapacitor Operation

Designing high voltage (>3 V) and stable electrochemical supercapacitors with low self-discharge is desirable for the applications in modern electronic devices. This work demonstrates a 4 V symmetric supercapacitor with stabilized cycling performance through atomic layer deposition (ALD) of alumina (Al₂O₃) on the surface of activated carbon (AC). The 20-cycle ALD Al₂O₃ coated AC delivers 84 % capacitance retention after 1000 charge/discharge cycles under 4 V, contrary to the bare AC cells having only 48 % retention. The extended cycling life is associated with the thickened Stern layer and suppressed oxygen functional group. The self-discharge data also show that the Al₂O₃ coating enables AC cells to maintain 53 % of charge retention after 12 h, which is more than twice higher than that of bare AC cells under the same test protocol of 4 V charging. The curve fitting analysis reveals that ALD coating induced slow self-discharge dominated by ion diffusion mechanism, thus enhancing the AC surface energy.     

Development of a Grp94 inhibitor

Heat shock protein 90 (Hsp90) represents a promising therapeutic target for the treatment of cancer and other diseases. Unfortunately, results from clinical trials have been disappointing as off-target effects and toxicities have been observed. These detriments may be a consequence of pan-Hsp90 inhibition, as all clinically evaluated Hsp90 inhibitors simultaneously disrupt all four human Hsp90 isoforms. Using a structure-based approach, we designed an inhibitor of Grp94, the ER-resident Hsp90. The effect manifested by compound 2 on several Grp94 and Hsp90α/β (cytosolic isoforms) clients were investigated. Compound 2 prevented intracellular trafficking of the Toll receptor, inhibited the secretion of IGF-II, affected the conformation of Grp94, and suppressed Drosophila larval growth, all Grp94-dependent processes. In contrast, compound 2 had no effect on cell viability or cytosolic Hsp90α/β client proteins at similar concentrations. The design, synthesis, and evaluation of 2 are described herein.     

Magidor–Malitz reflection

In this paper we investigate the consistency and consequences of the downward Löwenheim–Skolem–Tarski theorem for extension of the first order logic by the Magidor–Malitz quantifier. We derive some combinatorial results and improve the known upper bound for the consistency of Chang’s conjecture at successor of singular cardinals.