Factoring with local verifiability

Discrete-logarithm scheme Factoring scheme with zero-knowledge proof Factoring scheme with local verifiability... 

The compatibihty of superplasticizers with cement as well as their efficiency, duration of the fresh mix fluidity, sensitivity to ambient temperature and other factors should be verified by experiments executed in local conditions (Kucharska and Moczko 1993). The composition and procedures estabHshed in the laboratory and checked in field conditions should be carefully applied on the site. 

In order to verify that higher cyclohexenone concentrations increase the HH/HT ratio in SCF solvents as it does in liquids, the photodimerization was performed in high density SCF ethane at different concentrations. In this regime (P = 124 bar and T = 35°C) clustering is presumably minimal. The HH/HT ratio increases with monomer concentration, which is consistent with the trend observed in liquid solvents (30), see Table I. As bulk solute concentration increases by a factor of 3, the increase in HH/HT is relatively small compared with the HH/HT increases portrayed in Figure 7. This comparison suggests that the local solute concentrations are increased dramatically, perhaps by even an order of magnitude or more, in solute-solute clusters. 

Each steady-state worst-case optimization took about 15 minutes to run (on a SPARC 2). The worst-case combination was minimum rate of reaction with the measurement biases pushing the effective setpoints upward by. 25 pH and the minimum buffering. This was a relatively simple worst-case optimization and no projection factor was used. This vertex worst case was in fact correctly chosen a priori based on physical considerations, and was promptly reidentified in the local phase of the constraint maximization. Most of the optimization time was spent verifying this choice of the worst case by vertex enumeration and random search. 

---