Aleo

Aleo is a non-EVM ZK L1 that executes programs off-chain and verifies them on-chain using zero-knowledge proofs, enabling private-by-default smart contracts with ALEO as the native token.