Scratchy: Visual-Scratchpad Multimodal Reasoning for Cryptographic Proof Generation in EasyCrypt

arXiv:2609.06226 · cs.CR, cs.AI · Submitted 2026-09-05 · Read on arXiv

cs.CR, cs.AI

Submitted: 2026-09-05

Updated: 2026-09-05

Comments: First version; 12 pages, 5 figures, and 5 tables

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

• Grounding — 1× in this paper · explained in 3 episodes
• Large Language Models (LLMs) — 1× in this paper · explained in 6 episodes
• Multimodal Reasoning — 1× in this paper · explained in 5 episodes

Related papers

• SoK: AI-Augmented Binary Reversing
• Relaxed Sender Anonymity for CBDC Interbank Settlement: A Zero-Knowledge Approach on Permissioned EVM
• Calibration-Family Overfit: Why Trusted Sabotage Monitors Don't Transfer Across Lineages
• Efficient Fuzzy PSI under One-Sided Assumptions
• Sealing the Audit-Runtime Gap for LLM Skills
• Token Composition: A Graph Based on EVM Logs