program dice.aleo;

record Dice:
    owner as address.private;
    gates as u64.private;
    match_id as field.private;
    face_amount as u8.private;
    dice_amount as u32.private;

function create_dice:
    input r0 as address.private;
    input r1 as field.public;
    input r2 as u32.private;
    cast r0 0u64 r1 6u8 r2 into r3 as Dice.record;
    output r3 as Dice.record;

function burn_dice:
    input r0 as Dice.record;

function increment_dice_amount:
    input r0 as Dice.record;
    add r0.dice_amount 1u32 into r1;
    cast r0.owner 0u64 r0.match_id r0.face_amount r1 into r2 as Dice.record;
    output r2 as Dice.record;

function decrement_dice_amount:
    input r0 as Dice.record;
    gte r0.dice_amount 1u32 into r1;
    sub_wrapped r0.dice_amount 1u32 into r2;
    ternary r1 r2 0u32 into r3;
    cast r0.owner 0u64 r0.match_id r0.face_amount r3 into r4 as Dice.record;
    output r4 as Dice.record;