Cairo - a Turing-complete STARK-friendly CPU architecture. - Lior Goldberg; Shahar Papini; Michael Riabzev (IACR Cryptol. ePrint Arch., 2021)

Improving logarithmic derivative lookups using GKR. - Shahar Papini; Ulrich Haböck (IACR Cryptol. ePrint Arch., 2023)

Circle STARKs. - Ulrich Haböck; David Levit; Shahar Papini (IACR Cryptol. ePrint Arch., 2024)