No whitepaper found

ALEO

ALEO · Aleo

UtilityNative fuel of the Aleo network — pays for transactions and computation.

What it is

Aleo is a layer-1 smart-contract blockchain focused on private decentralized applications built with zero-knowledge proofs.

Technology & consensus

Hybrid consensus combining Proof of Succinct Work (provers generate SNARK proofs solving coinbase puzzles) with AleoBFT, a Narwhal/Bullshark-based BFT protocol with dynamic staking committees, implemented in snarkOS and snarkVM. Contracts are written in the Leo language.

Token utility

ALEO pays for transactions and blockspace, incentivizes and rewards provers and validators, and is delegated/staked to participate in AleoBFT consensus; tokenholders also participate in governance.

Key risks & notes

No standalone official whitepaper was fetched and read in this session (an AleoBFT formal specification exists on official docs but was not opened). Dual-engine security model (validators plus provers) adds proving-economics complexity; core components were audited by Trail of Bits, NCC Group, and zkSecurity with issues remediated.

Primary source

No whitepaper found. The summary below is drawn from the project’s official documentation, site, or repository instead — the substitution is disclosed, not hidden.

Research status

Classification: No whitepaper found · Researched 2026-09-15 · Source material: official project documents only.

Machine-readable summary →

👁️ Evidence dossier · native asset

Verification classNativeFORA-01 scale — verification, not a quality ranking

Claim type · Utility / gas token · Native asset (FORA-01 amendment)

What does the holder own?

Title, redemption claim, fractional ownership, reserve exposure — or just narrative.

Native asset of the Aleo network — pays for transactions and blockspace, staked for AleoBFT consensus (per available project docs; no whitepaper was found). Evidence: the open protocol — the token is the chain’s native unit by consensus rules; there is no issuer to claim against.

high confidence

Verified

Who holds the underlying?

Needs an identifiable custodian or entity — not a wallet address or a label.

No custodian — the asset is bearer-native by design; there is nothing for anyone to hold.

structural — not a verdict

N/A

How are reserves checked?

Custodian records → inventory → third-party audit → supply reconciliation.

No reserves to audit — supply is verified by the protocol’s own ledger, not by a custodian’s books.

structural — not a verdict

N/A

How does redemption work?

Eligibility, minimums, fees, KYC, settlement — and what happens to the token.

No redemption — there is no claim to redeem, only the asset itself.

structural — not a verdict

N/A

Who is liable if redemption fails?

A legally accountable entity and jurisdiction — not a DAO label.

No liable entity — the network has no issuer and no obligor to name.

structural — not a verdict

N/A

N/A means structurally inapplicable. The question assumes a claim-token structure that doesn’t exist here. It is not a verdict and not a research gap. For a native asset, Q1 is the whole story: the holder owns the thing itself. Method: FORA-01 Asset Claim Verification Protocol.

❔ Frequently asked questions

What is ALEO (ALEO)?

Aleo is a layer-1 smart-contract blockchain focused on private decentralized applications built with zero-knowledge proofs.

What does the holder own?

What is ALEO's verification status?

ALEO (ALEO) carries verification class NATIVE (Native): a bearer-native asset, verified as the thing itself rather than scored on the claim axis. What would change it: If evidence showed an issuer claim or a redemption promise, it would return to the full five-question treatment.

← Back to the asset library