We propose a concrete procedure of a Σ-protocol proving knowledge that a set of witnesses satisfies a monotone predicate in the witness-indistinguishable manner. Inspired by the high-level work proposed by Cramer, Damg̊ard and Schoenmakers at CRYPTO ’94, we provide a concrete procedure by extending the so-called OR-proof.

Pb inhibits plant growth. To study Pb tolerance in rice (Oryza sativa), we screened 229 varieties for Pb tolerance or sensitivity. Three-day-old seedlings were treated for 12 d with 20 microM Pb solution. Based on the dry weight of the root, three Pb-tolerant (var CH-55, var KH-2J, var Kumnung) and three Pb-sensitive (var Aixueru, var C-9491, var Milyang23) rice varieties were selected. The roo...

Pseudouridine 55 synthase (Psi55S) catalyzes isomerization of uridine (U) to pseudouridine (Psi) at position 55 in transfer RNA. The crystal structures of Thermotoga maritima Psi55S, and its complex with RNA, have been determined at 2.9 and 3.0 A resolutions, respectively. Structural comparisons with other families of pseudouridine synthases (PsiS) indicate that Psi55S may acquire its ability t...