Donotion contract

examples/donation/.gitignore

@@ -0,0 +1,5 @@
+.env
+*.avm
+*.prover
+*.verifier
+outputs/

examples/donation/README.md

@@ -0,0 +1,53 @@
+# donation.aleo
+
+# Donation Program
+
+The Donation program is a smart contract written in Aleo that facilitates token donations and manages user records. Users can donate tokens to the contract, and their donation amounts are recorded in a mapping.
+
+## Features
+
+- Token donation functionality
+- User record management
+- Hashing functionality for token finalization
+
+## Smart Contract Structure
+
+### Data Structures
+
+- `Token`: Represents a token with an owner and an amount.
+- `user_record`: Represents a user record with the owner's address, the amount donated, whether an ID has been assigned, and the user's address.
+
+### Functions
+
+- `donate`: Allows users to donate tokens to the contract.
+- `finalize`: Finalizes the token donation by updating the token's amount in the mapping.
+- `ajo`: Manages user records and assigns an ID to the user.
+
+## Usage
+
+1. **Deploying the Contract**: Deploy the smart contract to the Aleo blockchain.
+2. **Donating Tokens**: Users can donate tokens to the contract by calling the `donate` transition and providing the token and amount.
+3. **Managing User Records**: Users can manage their records by calling the `ajo` transition and providing their address and donation amount.
+
+## Example Usage
+
+```aleo
+transition donate(token: Token, amount: u64) -> Token {
+    // Implementation details
+}
+
+transition ajo(user: address, amount: u64) -> user_record {
+    // Implementation details
+}
+
+## Build Guide
+
+To compile this Aleo program, run:
+```bash
+snarkvm build
+```
+
+To execute this Aleo program, run:
+```bash
+snarkvm run hello
+```

examples/donation/build/main.aleo

@@ -0,0 +1,47 @@
+program donation.aleo;
+
+record user_record:
+    owner as address.private;
+    amount as u64.private;
+    id_assigned as boolean.private;
+    user as address.private;
+
+record Token:
+    owner as address.private;
+    amount as u64.private;
+
+
+mapping balances:
+	key as field.public;
+	value as u64.public;
+
+closure only_owner:
+    input r0 as address;
+    assert.eq self.caller r0;
+    output r0 as address;
+
+
+function donate:
+    input r0 as Token.record;
+    input r1 as u64.private;
+    sub r0.amount r1 into r2;
+    cast r0.owner r2 into r3 as Token.record;
+    hash.bhp256 r0.owner into r4 as field;
+    async donate r4 r1 into r5;
+    output r3 as Token.record;
+    output r5 as donation.aleo/donate.future;
+
+finalize donate:
+    input r0 as field.public;
+    input r1 as u64.public;
+    get.or_use balances[r0] 0u64 into r2;
+    add r2 r1 into r3;
+    set r3 into balances[r0];
+
+
+function ajo:
+    input r0 as address.private;
+    input r1 as u64.private;
+    assert.eq self.caller r0;
+    cast aleo1fxs9s0w97lmkwlcmgn0z3nuxufdee5yck9wqrs0umevp7qs0sg9q5xxxzh r1 true r0 into r2 as user_record.record;
+    output r2 as user_record.record;

examples/donation/build/program.json

@@ -0,0 +1,6 @@
+{
+    "program": "donation.aleo",
+    "version": "0.0.0",
+    "description": "",
+    "license": "MIT"
+}

examples/donation/leo.lock

@@ -0,0 +1 @@
+package = []

examples/donation/program.json

@@ -0,0 +1,6 @@
+{
+    "program": "donation.aleo",
+    "version": "0.0.0",
+    "description": "",
+    "license": "MIT"
+}

examples/donation/src/main.leo

@@ -0,0 +1,55 @@
+// The 'donation' program.
+program donation.aleo {
+     mapping balances: field => u64;
+
+    record user_record {
+        owner: address;
+        amount: u64;
+        id_assigned: bool;
+        user: address;
+
+    }
+
+
+record Token {
+    owner: address,
+    amount: u64,
+
+}
+ function only_owner (owner: address) -> address {
+
+  assert_eq(self.caller, owner );
+  return owner;
+ }
+
+ transition donate(token: Token, amount: u64) -> Token {
+        let difference: u64 = token.amount - amount;
+
+        let remaining: Token = Token {
+            owner: token.owner,
+            amount: difference,
+        };
+         let hash: field = BHP256::hash_to_field(token.owner);
+         return remaining then finalize(hash, amount);
+
+
+ }
+
+
+ finalize donate(hash: field, amount: u64) {
+        let current_amount: u64 = Mapping::get_or_use(balances, hash, 0u64);
+        Mapping::set(balances, hash, current_amount + amount);
+}
+
+ transition ajo ( user: address, amount: u64) -> user_record {
+        assert_eq(self.caller,user );
+
+        return user_record {
+            owner: aleo1fxs9s0w97lmkwlcmgn0z3nuxufdee5yck9wqrs0umevp7qs0sg9q5xxxzh,
+            amount: amount,
+            id_assigned: true,
+            user: user,
+          };
+ }
+
+}