Matteo Campanelli, Chaya Ganesh, Hamidreza Khoshakhlagh and Janno Siim, “Impossibilities in Succinct Arguments: Black-box Extraction and More” to appear in Africacrypt 2023.