[Resource Topic] 2022/1618: Witness-Succinct Universally-Composable SNARKs

A post was split to a new topic: UC Security under Algebraic Group Model