Function start

pub fn start<L>(
    global_state: &mut GlobalStateForNonSnark<L>,
    local_state: &mut LocalState<ZkappNonSnark<L>>,
    start_data: StartData,
) -> Result<(), String>
where
    L: LedgerNonSnark,