Practical Security Analysis of Zero-Knowledge Proof Circuits. H Wen, J Stephens, Y Chen, K Ferles, S Pailoor, K Charbonnet, I Dillig, ... USENIX Sec 24 2024, 2024 | 8 | 2024 |
Stateless and Verifiable Execution Layer for Meta-Protocols on Bitcoin W Hongbo, L Hanzhi, T Shuyang, L Tianyue, C Shuhan, Domo, C Yanju, ... IACR Cryptol. ePrint Arch. 2024, 408, 2024 | | 2024 |