dapp
Showing 286 posts related with dapp.
-
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.
-
Beginner · 30 minutes
AlgoMinter - a Web App for Minting Assets Using Python, AlgoSigner, and Anvil Platform
In this tutorial, we will demonstrate how to easily build simple web apps with minimum infrastructure configuration efforts using Python and Anvil platform, as well as, how to integrate them with AlgoSigner.
-
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 · 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.
-
TEAL ALGO Oracle in Algorand Layer-1
In a blockchain, the ability to reference a price on-chain enables a seamless and trustless transaction environment, especially for automated transactions and smart contracts. Oracles are the entities in charge of broadcasting off-chain data such as market price to the blockchain, and serve as a source of truth that allows on-chain dApps to measure the value of assets referenced within a transaction. Rand Labs and Borderless Capital releases a Algorand Oracle that can be referenced in atomic transfers using TEAL stateful and stateless smart contracts.
