Aleo

Provable develops zero-knowledge technology and developer tooling for Aleo, a privacy-oriented layer-1 blockchain. Its product line includes Shield, a wallet-style product for moving stablecoins privately; Leo, a purpose-built programming language for writing zero-knowledge smart contracts; and an Aleo block explorer for browsing transactions, programs, validators, staking and DeFi activity on the network. Developer resources include a Leo playground, an SDK, ARC standards documents, the snarkOS node implementation, the snarkVM execution layer and developer documentation (sources [0][2]).

Aleo itself is described as an open-source, private-by-default and programmable layer-1 blockchain that uses zero-knowledge proofs and off-chain computation: users execute transactions locally, computations are compressed into zero-knowledge proofs, and nodes verify those proofs, so inputs and outputs remain private unless the user chooses to reveal them. The platform supports general programmability beyond asset transfers, such as identity applications (source [6]). Historical company-profile coverage describes Aleo as a private application-building platform whose products included developer docs, the Leo language, an Aleo Explorer for Testnet 3 and the Aleo Studio IDE (source [5]).

Provable maintains the Aleo Stack — snarkOS, Leo, snarkVM and the Aleo SDK — and ships coordinated releases with consensus upgrades scheduled across canary, testnet and mainnet networks. Recent releases added native Keccak/SHA-3 plus ECDSA signature-verification opcodes for on-chain interoperability with ecosystems such as Ethereum, raised the maximum array element limit from 32 to 512, sped up node syncing up to fivefold, stabilized transaction and solution broadcast, added a local `leo devnode` end-to-end testing client, JSON output for the Leo CLI, qualified external structs, and program-edition handling (sources [3][4]).