🖥️
Best Viewed on Desktop
The technical documentation and app previews are optimized for desktop viewing.
← Back to Home📄
Academic Papers
Zentinel-audit is a doctoral research project at Universidad Nacional de La Plata.
PAPER
The Semantic Refinement Pattern: A Distributed Architecture for AI-Augmented Static Analysis with Application to Smart Contract Security
ZK-XGen-AI Research · Universidad Nacional de La Plata
Universidad Nacional de La Plata · LIDIC, UNSL · 32 pages · 35 references
Doctoral Thesis
Applications of Generative AI in Distributed Architectures for Blockchain Security and Zero-Knowledge Cryptography
Universidad Nacional de La Plata · Defense: 2026–2027
Two contributions: Zentinel-Audit (security) and ZK-Sentinel (privacy)
Two contributions: Zentinel-Audit (security) and ZK-Sentinel (privacy)
Related Work (§10)
GPTScanSun et al., ICSE 2024
GPT-4 as primary detector — strong on logic vulns but coverage gaps on syntactic patterns. Our approach: LLM as refinement layer, preserving tool coverage.
MythXConsenSys, 2019
Aggregates Mythril, Maru, Harvey — rule-based correlation, not ML-based. Predates LLM capabilities.
SmartCheckTikhomirov et al., 2018
Combines pattern matching with semantic analysis but predates LLM capabilities.
Pipes and FiltersBuschmann POSA, 1996
Sequential processing stages. Our addition: parallel tool execution + sequential LLM refinement + Pure Dispatcher principle.
Key References
[1]Chen et al. — Survey on Ethereum systems security. ACM Computing Surveys, 2020
[2]Feist, Grieco, Groce — Slither: Static analysis framework. IEEE/ACM, 2019
[5]Sun et al. — GPTScan: Logic vulnerabilities via GPT + program analysis. ICSE, 2024
[6]Moritz et al. — Ray: Distributed framework for AI applications. USENIX OSDI, 2018
[9]Buschmann et al. — Pattern-Oriented Software Architecture. Wiley, 1996
[18]OpenAI — GPT-4 technical report. arXiv:2303.08774, 2023
[24]Gamma et al. — Design Patterns: Elements of Reusable OO Software. 1994
[28]Amdahl — Validity of the single processor approach. AFIPS, 1967
[35]Paradigm — Foundry: Blazing fast Ethereum toolkit. GitHub, 2022
Roadmap
Q1 2026Paper submitted · GAEV v2 >80% target · Gemini 3 migration · API REST wrapper
Q2 2026Web platform launch · Frontend client · Infrastructure (DB, Redis) · Public beta
Q3 2026Etherscan batch ingestor · Institutional access · CI/CD integration · SDK
Q4 2026Independent audit · Conference presentations · Thesis defense · Open-source