program auction_1p7etk.aleo;

record Bid:
    owner as address.private;
    gates as u64.private;
    bidder as address.private;
    amount as u64.private;
    is_winner as boolean.private;

function place_bid:
    input r0 as address.private;
    input r1 as u64.private;
    assert_eq self.caller r0;
    cast r0 0u64 r0 r1 false into r2 as Bid.record;
    output r2 as Bid.record;

function resolve:
    input r0 as Bid.record;
    input r1 as Bid.record;
    assert_eq self.caller aleo1p7etkaj8j2q322tdj7vluc8rvpgwc55s4lseh4fl6ywedjjwjspqzfam6y;
    gte r0.amount r1.amount into r2;
    ternary r2 r0.owner r1.owner into r3;
    ternary r2 r0.gates r1.gates into r4;
    ternary r2 r0.bidder r1.bidder into r5;
    ternary r2 r0.amount r1.amount into r6;
    ternary r2 r0.is_winner r1.is_winner into r7;
    cast r3 r4 r5 r6 r7 into r8 as Bid.record;
    output r8 as Bid.record;

function finish:
    input r0 as Bid.record;
    assert_eq self.caller aleo1p7etkaj8j2q322tdj7vluc8rvpgwc55s4lseh4fl6ywedjjwjspqzfam6y;
    cast r0.bidder r0.gates r0.bidder r0.amount true into r1 as Bid.record;
    output r1 as Bid.record;