Boosting the Performance of High-Assurance Cryptography: Parallel Execution and Optimizing Memory Access in Formally-Verified Line-Point Zero-Knowledge.

Samuel Dittmer, Karim Eldefrawy, Stphane Graham-Lengrand, Steve Lu, Rafail Ostrovsky, Vitor Pereira

Browse the full CCS paper archive.