Example of zkapps: 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.