Darlin: A proof carrying data scheme based on Marlin. - Ulrich Haböck; Alberto Garoffolo; Daniele Di Benedetto (IACR Cryptol. ePrint Arch., 2021)