PUBLICATION: Universally composable SNARKs with transparent setup without programmable random oracle IACR Document