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.