PLONK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge. - Ariel Gabizon; Zachary J. Williamson; Oana Ciobotaru (IACR Cryptol. ePrint Arch., 2019)

plookup: A simplified polynomial protocol for lookup tables. - Ariel Gabizon; Zachary J. Williamson (IACR Cryptol. ePrint Arch., 2020)

fflonk: a Fast-Fourier inspired verifier efficient version of PlonK. - Ariel Gabizon; Zachary J. Williamson (IACR Cryptol. ePrint Arch., 2021)

Stackproofs: Private proofs of stack and contract execution using Protogalaxy. - Liam Eagen; Ariel Gabizon; Marek Sefranek; Patrick Towa; Zachary J. Williamson (IACR Cryptol. ePrint Arch., 2024)

One-Shot Native Proofs of Non-Native Operations in Incrementally Verifiable Computations. - Tohru Kohrita; Patrick Towa; Zachary J. Williamson (IACR Cryptol. ePrint Arch., 2024)