Lior Goldberg

According to our database, Lior Goldberg authored at least 8 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

A Proof-Producing Compiler for Blockchain Applications.

Jeremy Avigad, Lior Goldberg, David Levit, Yoav Seginer, Alon Titelman

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

2022

A verified algebraic representation of cairo program execution.

Jeremy Avigad, Lior Goldberg, David Levit, Yoav Seginer, Alon Titelman

Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022

2021

Cairo - a Turing-complete STARK-friendly CPU architecture.

Lior Goldberg, Shahar Papini, Michael Riabzev

IACR Cryptol. ePrint Arch., 2021

2020

STARK Friendly Hash - Survey and Recommendation.

Eli Ben-Sasson, Lior Goldberg, David Levit

IACR Cryptol. ePrint Arch., 2020

2019

Linear-Size Constant-Query IOPs for Delegating Computation.

Eli Ben-Sasson, Alessandro Chiesa, Lior Goldberg, Tom Gur, Michael Riabzev, Nicholas Spooner

IACR Cryptol. ePrint Arch., 2019

DEEP-FRI: Sampling Outside the Box Improves Soundness.

Eli Ben-Sasson, Lior Goldberg, Swastik Kopparty, Shubhangi Saraf

Electron. Colloquium Comput. Complex., 2019

2018

Rulesets for Beatty games.

Lior Goldberg, Aviezri S. Fraenkel

Int. J. Game Theory, 2018

Patterns in the generalized Fibonacci word, applied to games.

Lior Goldberg, Aviezri S. Fraenkel

Discret. Math., 2018