Sigvex
ZKAnalysis2 min read

Leo (Aleo) Program Analysis

A single-file Leo workbench — paste a transition, compile and analyze it in the browser, and read the findings, with a jump to the full studio for multi-file projects.

Open Leo Circuit AnalysisAll guides
zkleoaleoanalysis

Leo (Aleo) Program Analysis is the quick way to check a single Leo file. You paste or type the source into an in-page editor, run the analysis, and read the findings below — a dedicated check loop without opening the full studio.

Why it exists

Aleo programs manage private state through records and transitions, and their common failure modes are record-privacy leaks and unused inputs — mistakes that quietly weaken the privacy the program is supposed to provide. This page gives those checks a fast, single-file home.

Who uses it

  • Leo author — checks a transition before deploying.
  • Auditor — reviews a Leo file from an engagement.

How to open it

  1. From the Library → Leo (Aleo).
  2. Direct URL — /leo-analyze.

Using the page

Type or paste Leo source into the editor and run the analysis; findings populate underneath. Launch ZK Studio opens the source in the full multi-file workspace. The Supported Checks panel lists what runs against a Leo file:

Severity Check
High Record privacy leaks
Medium Unused inputs

Limits

  • Requires a signed-in account; analysis runs in the browser on the pasted source.
  • Single-file only — multi-file projects need ZK Studio.
  • The findings cover the checks above; anything outside them may need the full studio analysis.