Cited By
View all- Kothapalli ASetty S(2024)HyperNova: Recursive Arguments for Customizable Constraint SystemsAdvances in Cryptology – CRYPTO 202410.1007/978-3-031-68403-6_11(345-379)Online publication date: 16-Aug-2024
- Arun ASetty SThaler J(2024)Jolt: SNARKs for Virtual Machines via LookupsAdvances in Cryptology – EUROCRYPT 202410.1007/978-3-031-58751-1_1(3-33)Online publication date: 29-Apr-2024
- Jiang KChait-Roth DDeStefano ZWalfish MWies T(2023)Less is more: refinement proofs for probabilistic proofs2023 IEEE Symposium on Security and Privacy (SP)10.1109/SP46215.2023.10179393(1112-1129)Online publication date: May-2023
- Show More Cited By