Reach
Showing 217 posts related with Reach.
-
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
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 · 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.
-
Reach - The Easiest and Safest way to Build DApps
Blockchain development is hard. Existing tooling is complex, time-consuming to use and not robust against common programming oversights. Reach is fundamentally changing the way blockchain developers approach their craft, safely, efficiently and with formal proofs.
