TY  - RPRT
TI  - A Proof-Producing Compiler for Blockchain Applications
AU  - Jeremy Avigad
AU  - Lior Goldberg
AU  - David Levit
AU  - Yoav Seginer
AU  - Alon Titelman
PY  - 2025
UR  - https://arxiv.org/abs/2501.15002
ID  - 2501.15002
ER  -