libiop swMATH ID: 31793 Software Authors: Ward, Nicholas P. Description: libiop: a C++ library for IOP-based zkSNARKs. This library provides zkSNARK constructions that are transparent and post-quantum, and moreover rely only on lightweight symmetric cryptography (any cryptographic hash function). The library provides a tool chain for transforming certain types of probabilistic proofs (see below) into zkSNARKs with the above properties. The library includes several zkSNARK constructions that follow this paradigm: The Ligero protocol from [AHIV], whose argument size is O(N0.5). The Aurora protocol from [BCRSVW], whose argument size is O(log2 N). The Fractal protocol from [COS], whose argument size is O(log2 N). All of these zkSNARKs support R1CS (an NP-complete relation that generalizes arithmetic circuit satisfiability) over smooth prime fields and binary extension fields. An important component of Aurora and Fractal, which is of independent interest, is the FRI low-degree test. Homepage: https://github.com/scipr-lab/libiop Source Code: https://github.com/scipr-lab/libiop Keywords: zero knowledge; interactive oracle proofs; succinct arguments; sumcheck protocol Related Software: Marlin; Ligero; Libra; SNARKs for C; Pinocchio; Geppetto; vSQL; ZKBoo; GitHub; libsnark; Arya; ring-LWE; NTRUSign; NTRU; zk-SNARK; Ed25519; jsnark; gmp; BLAKE; eBACS Cited in: 22 Publications all top 5 Cited by 63 Authors 7 Chiesa, Alessandro 4 Bootle, Jonathan 2 Ben-Sasson, Eli 2 Gvili, Yaron 2 Riabzev, Michael 2 Scheffler, Sarah 2 Spooner, Nicholas 2 Varia, Mayank 2 Yogev, Eylon 1 Albrecht, Martin R. 1 Arnon, Gal 1 Attema, Thomas 1 Boneh, Dan 1 Chen, Yilei 1 Cramer, Ronald John Fitzgerald 1 de Castro, Leo 1 Drake, Justin 1 Fisch, Ben A. 1 Gabizon, Ariel 1 Garillot, François 1 Ghoshal, Ashrujit 1 Goel, Aarushi 1 Goldberg, Lior 1 Gur, Tom 1 Ha, Julie 1 Hall-Andersen, Mathias 1 Hazay, Carmit 1 Hu, Yuncong 1 Ishai, Yuval 1 Kan, Haibin 1 Kaptchuk, Gabriel 1 Kohl, Lisa 1 Kondi, Yashvanth 1 Lai, Russell W. F. 1 Liu, Siqi 1 Lombardi, Alex 1 Lyubashevsky, Vadim 1 Ma, Fermi 1 Mohassel, Payman 1 Ngoc Khanh Nguyen 1 Nikolaenko, Valeria 1 Orrù, Michele 1 Papamanthou, Charalampos 1 Quach, Willy 1 Ràfols, Carla 1 Seiler, Gregor 1 Song, Dawn 1 Sotiraki, Katerina 1 Szepieniec, Alan 1 Tessaro, Stefano 1 Vaikuntanathan, Vinod 1 Venkitasubramaniam, Muthu 1 Virza, Madars 1 Wang, Liguan 1 Ward, Nicholas P. 1 Xie, Tiacheng 1 Yang, Ziling 1 Zapico, Arantxa 1 Zhang, Jiaheng 1 Zhang, Shuangjun 1 Zhang, Xinyuan 1 Zhang, Yuncong 1 Zhang, Yupeng Cited in 1 Serial 1 Theoretical Computer Science Cited in 3 Fields 21 Information and communication theory, circuits (94-XX) 9 Computer science (68-XX) 1 Quantum theory (81-XX) Citations by Year