d0cd
d0cd
Possibly closed by #1375 The above example builds on the IR branch
Thanks for filing this bug! As a heads up, Leo does not currently support the `char` datatype. The fix in #2014 will error appropriately for the example above.
Hi @feewet, To run programs you must have the parameter files downloaded. The Leo (and Aleo) CLI will attempt to do this for you, but sometimes the download may fail....
Resolved above. Feel free to re-open if the issue persists!
That's right! Fair warning, this syntax will likely change once we introduce a module system.
@snowtigersoft it doesn't seem that `transfer_public_to_private_as_signer` is necessary once you have `transfer_public_as_signer` since you can accomplish the functionality with two calls. Do you agree?
Here's a program that demonstrates the desired functionality ``` import credits.aleo; program credits_wrapper.aleo; function transfer_public_to_private: input r0 as address.private; input r1 as u64.public; call credits.aleo/transfer_public_as_signer credits_wrapper.aleo r1 into r2; call...
See this comment for a sample usage. https://github.com/AleoHQ/sdk/issues/748#issuecomment-1729578823
Plugging in values for the above equations, we have: ~which shows that supply is effectively doubled as expected.~
@randomsleep good point! My analysis failed to take into account the expected ratio of combined proof target given difficulty adjustment.