Skip to content

Commit

Permalink
Undo changes to wrapped credits program
Browse files Browse the repository at this point in the history
  • Loading branch information
@evanmarshall
evanmarshall committed Jan 5, 2025
1 parent a5642c6 commit 8bcc805
Show file tree
Hide file tree
Showing 4 changed files with 40 additions and 16 deletions.
14 changes: 10 additions & 4 deletions grant_disbursement/build/imports/wrapped_credits.aleo
View file
Original file line number Diff line number Diff line change
Expand Up @@ -44,13 +44,16 @@ function deposit_credits_private:
call credits.aleo/transfer_private_to_public r0 wrapped_credits.aleo r1 into r2 r3;
cast r1 into r4 as u128;
call token_registry.aleo/mint_private 3443843282313283355522573239085696902919850365217539366784739393210722344986field r0.owner r4 false 4294967295u32 into r5 r6;
async deposit_credits_private into r7;
async deposit_credits_private r3 r6 into r7;
output r2 as credits.aleo/credits.record;
output r5 as token_registry.aleo/Token.record;
output r7 as wrapped_credits.aleo/deposit_credits_private.future;

finalize deposit_credits_private:
assert.eq true true;
input r0 as credits.aleo/transfer_private_to_public.future;
input r1 as token_registry.aleo/mint_private.future;
await r0;
await r1;



Expand Down Expand Up @@ -95,11 +98,14 @@ function withdraw_credits_private:
call credits.aleo/transfer_public_to_private r0.owner r1 into r2 r3;
cast r1 into r4 as u128;
call token_registry.aleo/burn_private r0 r4 into r5 r6;
async withdraw_credits_private into r7;
async withdraw_credits_private r3 r6 into r7;
output r5 as token_registry.aleo/Token.record;
output r2 as credits.aleo/credits.record;
output r7 as wrapped_credits.aleo/withdraw_credits_private.future;

finalize withdraw_credits_private:
assert.eq true true;
input r0 as credits.aleo/transfer_public_to_private.future;
input r1 as token_registry.aleo/burn_private.future;
await r0;
await r1;

14 changes: 10 additions & 4 deletions pondo-bot/programs/wrapped_credits.aleo
View file
Original file line number Diff line number Diff line change
Expand Up @@ -44,13 +44,16 @@ function deposit_credits_private:
call credits.aleo/transfer_private_to_public r0 wrapped_credits.aleo r1 into r2 r3;
cast r1 into r4 as u128;
call token_registry.aleo/mint_private 3443843282313283355522573239085696902919850365217539366784739393210722344986field r0.owner r4 false 4294967295u32 into r5 r6;
async deposit_credits_private into r7;
async deposit_credits_private r3 r6 into r7;
output r2 as credits.aleo/credits.record;
output r5 as token_registry.aleo/Token.record;
output r7 as wrapped_credits.aleo/deposit_credits_private.future;

finalize deposit_credits_private:
assert.eq true true;
input r0 as credits.aleo/transfer_private_to_public.future;
input r1 as token_registry.aleo/mint_private.future;
await r0;
await r1;



Expand Down Expand Up @@ -95,11 +98,14 @@ function withdraw_credits_private:
call credits.aleo/transfer_public_to_private r0.owner r1 into r2 r3;
cast r1 into r4 as u128;
call token_registry.aleo/burn_private r0 r4 into r5 r6;
async withdraw_credits_private into r7;
async withdraw_credits_private r3 r6 into r7;
output r5 as token_registry.aleo/Token.record;
output r2 as credits.aleo/credits.record;
output r7 as wrapped_credits.aleo/withdraw_credits_private.future;

finalize withdraw_credits_private:
assert.eq true true;
input r0 as credits.aleo/transfer_public_to_private.future;
input r1 as token_registry.aleo/burn_private.future;
await r0;
await r1;

14 changes: 10 additions & 4 deletions pondo/pondo_protocol/build/imports/wrapped_credits.aleo
View file
Original file line number Diff line number Diff line change
Expand Up @@ -44,13 +44,16 @@ function deposit_credits_private:
call credits.aleo/transfer_private_to_public r0 wrapped_credits.aleo r1 into r2 r3;
cast r1 into r4 as u128;
call token_registry.aleo/mint_private 3443843282313283355522573239085696902919850365217539366784739393210722344986field r0.owner r4 false 4294967295u32 into r5 r6;
async deposit_credits_private into r7;
async deposit_credits_private r3 r6 into r7;
output r2 as credits.aleo/credits.record;
output r5 as token_registry.aleo/Token.record;
output r7 as wrapped_credits.aleo/deposit_credits_private.future;

finalize deposit_credits_private:
assert.eq true true;
input r0 as credits.aleo/transfer_private_to_public.future;
input r1 as token_registry.aleo/mint_private.future;
await r0;
await r1;



Expand Down Expand Up @@ -95,11 +98,14 @@ function withdraw_credits_private:
call credits.aleo/transfer_public_to_private r0.owner r1 into r2 r3;
cast r1 into r4 as u128;
call token_registry.aleo/burn_private r0 r4 into r5 r6;
async withdraw_credits_private into r7;
async withdraw_credits_private r3 r6 into r7;
output r5 as token_registry.aleo/Token.record;
output r2 as credits.aleo/credits.record;
output r7 as wrapped_credits.aleo/withdraw_credits_private.future;

finalize withdraw_credits_private:
assert.eq true true;
input r0 as credits.aleo/transfer_public_to_private.future;
input r1 as token_registry.aleo/burn_private.future;
await r0;
await r1;

14 changes: 10 additions & 4 deletions token_disbursement/build/imports/wrapped_credits.aleo
View file
Original file line number Diff line number Diff line change
Expand Up @@ -44,13 +44,16 @@ function deposit_credits_private:
call credits.aleo/transfer_private_to_public r0 wrapped_credits.aleo r1 into r2 r3;
cast r1 into r4 as u128;
call token_registry.aleo/mint_private 3443843282313283355522573239085696902919850365217539366784739393210722344986field r0.owner r4 false 4294967295u32 into r5 r6;
async deposit_credits_private into r7;
async deposit_credits_private r3 r6 into r7;
output r2 as credits.aleo/credits.record;
output r5 as token_registry.aleo/Token.record;
output r7 as wrapped_credits.aleo/deposit_credits_private.future;

finalize deposit_credits_private:
assert.eq true true;
input r0 as credits.aleo/transfer_private_to_public.future;
input r1 as token_registry.aleo/mint_private.future;
await r0;
await r1;



Expand Down Expand Up @@ -95,11 +98,14 @@ function withdraw_credits_private:
call credits.aleo/transfer_public_to_private r0.owner r1 into r2 r3;
cast r1 into r4 as u128;
call token_registry.aleo/burn_private r0 r4 into r5 r6;
async withdraw_credits_private into r7;
async withdraw_credits_private r3 r6 into r7;
output r5 as token_registry.aleo/Token.record;
output r2 as credits.aleo/credits.record;
output r7 as wrapped_credits.aleo/withdraw_credits_private.future;

finalize withdraw_credits_private:
assert.eq true true;
input r0 as credits.aleo/transfer_public_to_private.future;
input r1 as token_registry.aleo/burn_private.future;
await r0;
await r1;

0 comments on commit 8bcc805

Please sign in to comment.