Leo (Aleo)
Leo Circuit Analysis
Analyze Leo programs for the Aleo network — detect constraint issues, record privacy leaks, and transition vulnerabilities
Loading editor...
Loading editor...Upload Leo (Aleo) Circuit
Drop a .leo file here or click to browse
or start from a sample:
Editor Failed to Load
The analysis editor could not be initialized. Please try refreshing the page.
Launch ZK Studio
Advanced analysis: multi-file projects, ACIR inspector, constraint diff, audit reports
Supported Checks
High
Record Privacy Leaks
Detects when private record fields flow to public transition outputs without proper masking.
Medium
Unused Inputs
Transition inputs that don't influence outputs or state, potentially indicating logic errors.
Sign in to analyze Leo programs
Use the Sign In button in the navigation bar.