Design of Symmetric-Key Primitives for Advanced Cryptographic Protocols - Abdelrahaman Aly; Tomer Ashur; Eli Ben-Sasson; Alan Szepieniec (IACR Transactions on Symmetric Cryptology, 2020)
Keywords: arithmetization; Marvellous; Rescue; STARK; Vision; zero-knowledge proof