We introduce a novel notion of smooth (-verifier) noninteractive zero-knowledge proofs (NIZK) which parallel the familiar notion of smooth projective hash functions (SPHF). We also show that the recent single group element quasi-adaptive NIZK (QA-NIZK) of Jutla and Roy (CRYPTO 2014) for linear subspaces can be easily extended to be computationally smooth. One important distinction of the new no...

BACKGROUND In cyanobacteria the photosystems are localised to, and maintained in, specialist membranes called the thylakoids. The mechanism driving the biogenesis of the thylakoid membranes is still an open question, with only two potential biogenesis factors, Vipp1 and Alb3 currently identified. METHODOLOGY/PRINCIPAL FINDINGS We generated a slr1768 knockout using the pGEM T-easy vector and R...