import credits.aleo;

program izar_speedup_v2.aleo;

struct EthTxHash:
    h1 as u128;
    h2 as u128;

function speed_up_eth:
    input r0 as EthTxHash.public;
    input r1 as credits.aleo/credits.record;
    call credits.aleo/transfer_private_to_public r1 aleo1yu6ssnehj4plgznatenfut3hkrfus26kqd226k99wfx79jqmsuxqfernns 8000000u64 into r2 r3;
    async speed_up_eth r3 into r4;
    output r4 as izar_speedup_v2.aleo/speed_up_eth.future;
finalize speed_up_eth:
    input r0 as credits.aleo/transfer_private_to_public.future;
    await r0;