fix: use Mapping rather than increment or decrement

basic_bank/src/main.leo

@@ -51,7 +51,8 @@ program basic_bank.aleo {
     // - `hash`  : The hash of the token owner.
     // - `amount`: The amount of tokens that were deposited.
     finalize deposit(hash: field, amount: u64) {
-        increment(balances, hash, amount);
+        let balance: u64 = Mapping::get_or_init(balances, hash, 0u64);
+        Mapping::set(balances, hash, amount + balance);
     }
 
     // Returns a new Token containing the amount of money withdrawn.
@@ -79,7 +80,8 @@ program basic_bank.aleo {
     // - `hash`  : The hash of the token owner.
     // - `amount`: The amount of tokens that were withdrawn.
     finalize withdraw(hash: field, amount: u64) {
-        decrement(balances, hash, amount);
+        let balance: u64 = Mapping::get_or_init(balances, hash, 0u64);
+        Mapping::set(balances, hash, balance - amount);
     }
 
     // Returns the total amount of tokens after compounding interest.

token/src/main.leo

@@ -25,7 +25,8 @@ program token.aleo {
         // Increments `account[receiver]` by `amount`.
         // If `account[receiver]` does not exist, it will be created.
         // If `account[receiver] + amount` overflows, `mint_public` is reverted.
-        increment(account, receiver, amount);
+        let receiver_amount: u64 = Mapping::get_or_init(account, receiver, 0u64);
+        Mapping::set(account, receiver, receiver_amount + amount);
     }
 
     // The function `mint_private` initializes a new record with the specified amount of tokens for the receiver.
@@ -47,11 +48,14 @@ program token.aleo {
         // Decrements `account[sender]` by `amount`.
         // If `account[sender]` does not exist, it will be created.
         // If `account[sender] - amount` underflows, `transfer_public` is reverted.
-        decrement(account, sender, amount);
+        let sender_amount: u64 = Mapping::get_or_init(account, sender, 0u64);
+        Mapping::set(account, sender, sender_amount - amount);
+
         // Increments `account[receiver]` by `amount`.
         // If `account[receiver]` does not exist, it will be created.
         // If `account[receiver] + amount` overflows, `transfer_public` is reverted.
-        increment(account, receiver, amount);
+        let receiver_amount: u64 = Mapping::get_or_init(account, receiver, 0u64);
+        Mapping::set(account, receiver, receiver_amount + amount);
     }
 
     // The function `transfer_private` sends the specified token amount to the token receiver from the specified token record.
@@ -103,7 +107,8 @@ program token.aleo {
         // Increments `account[receiver]` by `amount`.
         // If `account[receiver]` does not exist, it will be created.
         // If `account[receiver] + amount` overflows, `transfer_private_to_public` is reverted.
-        increment(account, receiver, amount);
+        let receiver_amount: u64 = Mapping::get_or_init(account, receiver, 0u64);
+        Mapping::set(account, receiver, receiver_amount + amount);
     }
 
     // The function `transfer_public_to_private` turns a specified token amount from `account` into a token record for the specified receiver.
@@ -125,6 +130,7 @@ program token.aleo {
         // Decrements `account[sender]` by `amount`.
         // If `account[sender]` does not exist, it will be created.
         // If `account[sender] - amount` underflows, `transfer_public_to_private` is reverted.
-        decrement(account, sender, amount);
+        let sender_amount: u64 = Mapping::get_or_init(account, sender, 0u64);
+        Mapping::set(account, sender, sender_amount - amount);
     }
 }

vote/src/main.leo

@@ -51,7 +51,7 @@ program vote.aleo {
     }
     // Create a new proposal in the "tickets" mapping.
     finalize propose(public id: field) {
-        increment(tickets, id, 0u64);
+        Mapping::set(tickets, id, 0u64);
     }
 
     // Create a new ticket to vote with.
@@ -68,7 +68,8 @@ program vote.aleo {
     }
     // Create a new ticket on a proposal in the "tickets" mapping.
     finalize new_ticket(public pid: field) {
-        increment(tickets, pid, 1u64);
+        let vote: u64 = Mapping::get_or_init(tickets, pid, 0u64);
+        Mapping::set(tickets, pid, vote + 1u64);
     }
 
     // Vote privately to agree with a proposal.
@@ -78,7 +79,8 @@ program vote.aleo {
     }
     finalize agree(public pid: field) {
         // Publicly increment the number of agree votes.
-        increment(agree_votes, pid, 1u64);
+        let agree_vote: u64 = Mapping::get_or_init(agree_votes, pid, 0u64);
+        Mapping::set(agree_votes, pid, agree_vote + 1u64);
     }
 
     // Vote privately to disagree with a proposal.
@@ -88,6 +90,7 @@ program vote.aleo {
     }
     finalize disagree(pid: field) {
         // Publicly increment the number of disagree votes.
-        increment(disagree_votes, pid, 1u64);
+        let disagree_vote: u64 = Mapping::get_or_init(disagree_votes, pid, 0u64);
+        Mapping::set(disagree_votes, pid, disagree_vote + 1u64);
     }
 }