Zachary J. Williamson

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 4

Top Topics

Concurrent Execution

Basis Functions

Automated Theorem Provers

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Liam Eagen, Ariel Gabizon, Marek Sefranek, Patrick Towa, Zachary J. Williamson
Stackproofs: Private proofs of stack and contract execution using Protogalaxy. IACR Cryptol. ePrint Arch. 2024 (2024)
Ariel Gabizon, Zachary J. Williamson
fflonk: a Fast-Fourier inspired verifier efficient version of PlonK. IACR Cryptol. ePrint Arch. 2021 (2021)
Ariel Gabizon, Zachary J. Williamson
plookup: A simplified polynomial protocol for lookup tables. IACR Cryptol. ePrint Arch. 2020 (2020)
Ariel Gabizon, Zachary J. Williamson, Oana Ciobotaru
PLONK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge. IACR Cryptol. ePrint Arch. 2019 (2019)