Boosting the Performance of High-Assurance Cryptography: Parallel Execution and Optimizing Memory Access in Formally-Verified Line-Point Zero-Knowledge.
Samuel DittmerKarim EldefrawyStéphane Graham-LengrandSteve LuRafail OstrovskyVitor PereiraPublished in: IACR Cryptol. ePrint Arch. (2023)