Author

Diego Marmsoler

h-index 3 View on Semantic Scholar

We have 1 of 14 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Review Aug 2026

Isabelle/STARK: A Formalization of zk-STARK in Isabelle/HOL

This report presents mechanized query-bounded soundness for a STARK-style protocol in Isabelle/HOL with fixed-statement results in a classical, field-valued random-oracle model with terminating finite-support computation, not an unrestricted 137-bit work-factor guarantee.

Diego Marmsoler · 0 citations