Aleo is a blockchain platform designed for private applications using zero-knowledge proofs to keep transaction data confidential while remaining verifiable. Programs are written in its Leo language.
Semantic Classification
Content
- Aleo is a layer-1 blockchain built around zero-knowledge cryptography so that applications can execute off chain and post succinct proofs of correct execution on chain. This keeps inputs and state private while still allowing the network to verify outcomes.
- Developers write applications in Leo, a programming language that compiles to zero-knowledge circuits, and the network uses a proof-of-work style mechanism tied to proof generation. The design targets confidential decentralised applications where exposing all data publicly is undesirable.