zero-knowledge proofs

• August 28, 2023 Grand product arguments
• June 22, 2023 A simple multivariate AIR argument inspired by SuperSpartan
• May 21, 2022 Proving AIRs with multivariate sumchecks
• April 16, 2020 Membership proofs from polynomial commitments