Stateless zkapps: lock some funds and whoever can create a proof can spend all the funds.

Stateful zkapps: initialize some authenticated state on-chain and update it by providing a proof.