write
Showing 142 posts related with write.
-
Beginner · 30 minutes
Deploying a bet dApp powered by Beaker
In this tutorial you will deploy a bet dApp, named AlgoBet. You will setup an Algorand sandbox, compile the AlgoBet smart contract and instantiate it on the testnet. Finally, you will be able to interact with the deployed decentralized bet system.
-
Intermediate · 1 hour
Hybrid Online / Offline Shared Management of Community ASA through Multisig Account
In this tutorial you will learn how to share the management of a “Community Membership ASA” among the Community Board members with a Multisignature Account using a hybrid Online / Offline approach
-
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.
-
Intermediate · 30 minutes
Algorand Blockchain Development using Reach - Part 6: Looping to Determine the Winner
In this tutorial, we explore loops in Reach. As dApp developers must take special care when performing loops within a consensus network. Thankfully, the Reach verification engine assures we write safe dApps.
-
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.
