


Hossein Moghaddas
452 posts

@AutQuis
Exploring the world of PCPs, IOPs, SNARKs, etc. PhD student @CosicBe, @KU_Leuven Graduate from @EPFL





Some updates on ia.cr/2023/846! - the wonderful @AutQuis joins me and @KhanhCrypto! - new proofs that coordinate-wise special soundness implies knowledge soundness (both interactively and in FS) - 1.5x proof sizes improvement using some tricks from SLAP 👋 (2023/1469)



Some updates on ia.cr/2023/846! - the wonderful @AutQuis joins me and @KhanhCrypto! - new proofs that coordinate-wise special soundness implies knowledge soundness (both interactively and in FS) - 1.5x proof sizes improvement using some tricks from SLAP 👋 (2023/1469)












Are you working with stubborn aarch64 code? Check out @cyan_pencil's upcoming @USENIXSecurity #SEC23 paper on efficiently rewriting ARM binaries. Insight: using heuristics for optimization on a safe baseline is key! nebelwelt.net/files/23SEC3.p… Comments welcome!


