Simple examples of ZK usage for starters