Authors

Dağhan Dağlı

Publications 3

Preprint Open access

Zero-Storage Procedural Neural Synthesis via Boundary Dynamics: Formal Verification in Lean 4 and Bare-Metal Gauntlet Validation

Contemporary neural inference architectures rely on dense floating-point weight matrices stored in high-bandwidth memory (VRAM), incurring severe memory-wall bottlenecks and preventing native execution inside deterministic virtual machines like the Ethereum Virtual Machine (EVM). Verifying termination and arithmetic in …

Preprint Open access

Werracle: Sub-Cent Intra-Block AI Reflex Oracles and Flash-Loan Circuit Breakers for EVM Smart Contracts

Volkan Dağlı, Zerrin Dağlı, Dağhan Dağlı · 2026 · 10.5281/zenodo.22942598

Contemporary on-chain artificial intelligence (AI) encounters an intractable Von Neumann memory and latency wall. Storing static floating-point neural weight matrices inside Ethereum Virtual Machine (EVM) storage costs millions of gas, rendering direct on-chain inference impossible. While Zero-Knowledge Machine Learnin …

Preprint Open access

Universal Fractal Natural Language Decision Map: Real-Time Edge Triage Across Heterogeneous Domains

Volkan Dağlı, Zerrin Dağlı, Dağhan Dağlı · 2026 · 10.5281/zenodo.22939253

Deploying Large Language Models for runtime operational triage incurs prohibitive latency (>100-500 ms), high VRAM requirements (>4-8 GB), and excessive energy dissipation. Extending Mandelbrot Fractal Neural Synthesis (Dagli et al., 2026), this paper presents the Universal Fractal Natural Language Decision Map, realiz …

Co-authors