program password_manage.aleo;

record PasswordManage:
    owner as address.private;
    gates as u64.private;
    name as field.private;
    password as field.private;

function mint_password_manage:
    input r0 as address.private;
    input r1 as field.private;
    input r2 as field.private;
    cast r0 0u64 r1 r2 into r3 as PasswordManage.record;
    output r3 as PasswordManage.record;

function update_password:
    input r0 as PasswordManage.record;
    input r1 as field.private;
    input r2 as field.private;
    is.eq r0.owner self.caller into r3;
    assert_eq r3 true;
    is.eq r0.name r1 into r4;
    assert_eq r4 true;
    is.neq r0.password r2 into r5;
    assert_eq r5 true;
    cast r0.owner r0.gates r1 r2 into r6 as PasswordManage.record;
    output r6 as PasswordManage.record;