Lior Goldberg

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 13

Top Topics

Random Sampling

Sampling Strategies

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Jeremy Avigad, Lior Goldberg, David Levit, Yoav Seginer, Alon Titelman
A Proof-Producing Compiler for Blockchain Applications. ITP (2023)
Jeremy Avigad, Lior Goldberg, David Levit, Yoav Seginer, Alon Titelman
A verified algebraic representation of cairo program execution. CPP (2022)
Jeremy Avigad, Lior Goldberg, David Levit, Yoav Seginer, Alon Titelman
A verified algebraic representation of Cairo program execution. CoRR (2021)
Lior Goldberg, Shahar Papini, Michael Riabzev
Cairo - a Turing-complete STARK-friendly CPU architecture. IACR Cryptol. ePrint Arch. 2021 (2021)
Eli Ben-Sasson, Lior Goldberg, David Levit
STARK Friendly Hash - Survey and Recommendation. IACR Cryptol. ePrint Arch. 2020 (2020)
Eli Ben-Sasson, Lior Goldberg, Swastik Kopparty, Shubhangi Saraf
DEEP-FRI: Sampling Outside the Box Improves Soundness. ITCS (2020)
Eli Ben-Sasson, Lior Goldberg, Swastik Kopparty, Shubhangi Saraf
DEEP-FRI: Sampling outside the box improves soundness. CoRR (2019)
Eli Ben-Sasson, Alessandro Chiesa, Lior Goldberg, Tom Gur, Michael Riabzev, Nicholas Spooner
Linear-Size Constant-Query IOPs for Delegating Computation. IACR Cryptol. ePrint Arch. 2019 (2019)
Eli Ben-Sasson, Lior Goldberg, Swastik Kopparty, Shubhangi Saraf
DEEP-FRI: Sampling Outside the Box Improves Soundness. Electron. Colloquium Comput. Complex. 26 (2019)
Eli Ben-Sasson, Alessandro Chiesa, Lior Goldberg, Tom Gur, Michael Riabzev, Nicholas Spooner
Linear-Size Constant-Query IOPs for Delegating Computation. TCC (2) (2019)
Eli Ben-Sasson, Lior Goldberg, Swastik Kopparty, Shubhangi Saraf
DEEP-FRI: Sampling Outside the Box Improves Soundness. IACR Cryptol. ePrint Arch. 2019 (2019)
Lior Goldberg, Aviezri S. Fraenkel
Patterns in the generalized Fibonacci word, applied to games. Discret. Math. 341 (6) (2018)
Lior Goldberg, Aviezri S. Fraenkel
Rulesets for Beatty games. Int. J. Game Theory 47 (2) (2018)