mule
Showing 137 posts related with mule.
-
Intermediate · 1 hour +
Using loop invariants for verification in Reach
Loops can be quite useful for writing Reach programs but verifying the outcome of loops can be challenging. In this tutorial, we will go through a tour of one of the most important features of Reach - automatic verification of loops using invariants.
-
Intermediate · 1 hour
Sending Rewards to ICO Investors Using Batch Transactions in Python
In the early stages of their project, ASA creators are supported by the contributions of early investors. In this tutorial, we will look at how you can obtain all the transactions that have been made to your wallet and reward donors with your token.
-
Intermediate · 30 minutes
Algorand Blockchain Development using Reach Part 3 Bets - Wagers
In this tutorial, we add in both wagering and payouts to the winner of our Rock Paper Scissors Algorand blockchain game. By the end of this tutorial, you will have a full featured game allowing wager, provably fair outcomes and payouts to the winner.
-
Intermediate · 1 hour
Building a lending pool using Reach
A lending pool is a contract which can be use to lend and borrow funds, tokenize debt and track interest earned or due. We will use Reach to build such a lending pool and see how the high level features make it easy to write such complex apps.
-
Contribute to the Algorand Community and Earn Rewards
Last week we launched our new Developer Portal, with significant improvements to how developers can learn to use and implement applications on the Algorand blockchain. We are looking for developers to help us expand the content on this site, and the Algorand Foundation is rewarding those who do!
-
Leased Transactions: Securing Advanced Smart Contract Design
Certain smart contracts can benefit from defining a Lease parameter, which can provide security for exclusive transaction execution, mitigate fee variability, and enable long-running smart contracts. Learn when and how to use Leases in this article.
