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.