Circuit-Succinct Universally-Composable NIZKs with Updatable CRS | IEEE Conference Publication | IEEE Xplore