A Proof-Producing Compiler for Blockchain Applications
Crossref DOI link: https://doi.org/10.1007/s10817-025-09723-y
Published Online: 2025-04-11
Published Print: 2025-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Avigad, Jeremy
Goldberg, Lior
Levit, David
Seginer, Yoav
Titelman, Alon
Funding for this research was provided by:
Carnegie Mellon University
Text and Data Mining valid from 2025-04-11
Version of Record valid from 2025-04-11
Article History
Received: 27 May 2024
Accepted: 12 March 2025
First Online: 11 April 2025