Lior Goldberg

16 papers A 1B 2Journal 12Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Scalable Compliant Privacy on Starknet.
IACR Cryptol. ePrint Arch.
Lior Goldberg, Maya Dotan, Ittay Dror, Gideon Kaempfer, Nir Levi, Noa Oved, Arad Reder, Anat Veredgorn, Noa Wolfgor
2025 J jnl
A Proof-Producing Compiler for Blockchain Applications.
CoRR
Jeremy Avigad, Lior Goldberg, David Levit, Yoav Seginer, Alon Titelman
2025 J jnl
A Proof-Producing Compiler for Blockchain Applications.
J. Autom. Reason.
Jeremy Avigad, Lior Goldberg, David Levit, Yoav Seginer, Alon Titelman
2023 B conf
A Proof-Producing Compiler for Blockchain Applications.
ITP
Jeremy Avigad, Lior Goldberg, David Levit, Yoav Seginer, Alon Titelman
2022 B conf
A verified algebraic representation of cairo program execution.
CPP
Jeremy Avigad, Lior Goldberg, David Levit, Yoav Seginer, Alon Titelman
2021 J jnl
A verified algebraic representation of Cairo program execution.
CoRR
Jeremy Avigad, Lior Goldberg, David Levit, Yoav Seginer, Alon Titelman
2021 J jnl
Cairo - a Turing-complete STARK-friendly CPU architecture.
IACR Cryptol. ePrint Arch.
Lior Goldberg, Shahar Papini, Michael Riabzev
2020 A conf
DEEP-FRI: Sampling Outside the Box Improves Soundness.
ITCS
Eli Ben-Sasson, Lior Goldberg, Swastik Kopparty, Shubhangi Saraf
2020 J jnl
STARK Friendly Hash - Survey and Recommendation.
IACR Cryptol. ePrint Arch.
Eli Ben-Sasson, Lior Goldberg, David Levit
2019 J jnl
DEEP-FRI: Sampling Outside the Box Improves Soundness.
Electron. Colloquium Comput. Complex.
Eli Ben-Sasson, Lior Goldberg, Swastik Kopparty, Shubhangi Saraf
2019 J jnl
DEEP-FRI: Sampling Outside the Box Improves Soundness.
IACR Cryptol. ePrint Arch.
Eli Ben-Sasson, Lior Goldberg, Swastik Kopparty, Shubhangi Saraf
2019 J jnl
DEEP-FRI: Sampling outside the box improves soundness.
CoRR
Eli Ben-Sasson, Lior Goldberg, Swastik Kopparty, Shubhangi Saraf
2019 — conf
Linear-Size Constant-Query IOPs for Delegating Computation.
TCC (2)
Eli Ben-Sasson, Alessandro Chiesa, Lior Goldberg, Tom Gur, Michael Riabzev, Nicholas Spooner
2019 J jnl
Linear-Size Constant-Query IOPs for Delegating Computation.
IACR Cryptol. ePrint Arch.
Eli Ben-Sasson, Alessandro Chiesa, Lior Goldberg, Tom Gur, Michael Riabzev, Nicholas Spooner
2018 J jnl
Patterns in the generalized Fibonacci word, applied to games.
Discret. Math.
Lior Goldberg, Aviezri S. Fraenkel
2018 J jnl
Rulesets for Beatty games.
Int. J. Game Theory
Lior Goldberg, Aviezri S. Fraenkel