TY  - RPRT
TI  - Isabelle/STARK: A Formalization of zk-STARK in Isabelle/HOL
AU  - Diego Marmsoler
PY  - 2026
UR  - https://arxiv.org/abs/2608.01965
ID  - 2608.01965
ER  -