contract
Showing 215 posts related with contract.
-
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 +
Algorand Blockchain Development using Reach - Part 7: React.js Front End and AlgoSigner Integration
In this final entry in the series dApp development with Reach. We add a UI to our Rock Paper Scissors game. We will also interact with AlgoSigner as our Web Wallet. We assume the reader has followed the full tutorial series and Reach reference docs.
-
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.
