program pin_number.aleo;

record pair:
    owner as address.private;
    amount as u64.private;

mapping account:
    key as address.public;
    value as u64.public;

function regist_pin:
    input r0 as address.private;
    input r1 as u64.private;
    cast r0 r1 into r2 as pair.record;
    output r2 as pair.record;

function check:
    input r0 as pair.record;
    input r1 as address.private;
    input r2 as u64.private;
    is.eq r0.amount r2 into r3;
    output r3 as boolean.private;

Not implemented