Practical Security Analysis of Zero-Knowledge Proof Circuits. H Wen, J Stephens, Y Chen, K Ferles, S Pailoor, K Charbonnet, I Dillig, ... IACR Cryptol. ePrint Arch. 2023, 190, 2023 | 8 | 2023 |
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 |