Leo Circuit Analysis
Coming soon
Leo analysis is not yet supported
Leo support is in progress — check back soon.
The analysis backend does not yet support Leo. Submitting a Leo program would not produce real findings, so the editor is disabled here rather than showing placeholder results.
Circom, Noir, and Cairo are supported today. Try one of those analyzers while Leo support is in progress.
Sign in to use the ZK analyzers
Use the Sign In button in the navigation bar.