Lior Goldberg
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Crypto×1Logic×1Prog. Lang.×1
Frequent co-authors
Research Timeline
2026
Formal verification of the S-two AIR
This paper formally verifies that the algebraic intermediate representation (AIR) used by the S-two prover correctly captures the computational semantics of the Cairo virtual machine language, ensuring that satisfying the AIR implies the program runs to completion.
Highlighted terms show continued research focus across papers
Papers
cs.CRcs.LOcs.PLRecentJun 3, 2026
Formal verification of the S-two AIR
Jeremy Avigad, Anat Ganor, Lior Goldberg, David Levit +3 more
This paper formally verifies that the algebraic intermediate representation (AIR) used by the S-two prover correctly captures the computational semantics of the Cairo virtual machine language, ensurin…
View →