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 · 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
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 · 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 · 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.
-
Developer Intermediate Bootcamp
All the content will be in English and it is totally free, so if you are a developer and you ask yourself: Why should I be interested in learning about Algorand and participating in the Bootcamp? Algorand has different SDK's to help you with the building process in different languages and with extensive documentation. The costs and speed for testing on Algorand are extremely low, which will allow you to learn and test without friction. The companies that work with Algorand are constantly looking for developers to join their work teams. At the end of the Bootcamp you will be able to participate in solving challenges that will test your knowledge and will serve as a cover letter for you to apply for a Web3 job in the Algorand ecosystem. When you decide to start working in blockchain, it is essential that you know the characteristics of the protocol that you are going to use, here are those of Algorand: It is a layer 1 network that can process more than 6,000 transactions per second and is expected to reach 10,000. The cost per transaction is 0.001 ALGO == $0.0003 USD Approx. Our blocks are processed in 4 seconds. We are a carbon negative blockchain as we are committed to being environmentally friendly. What will you learn during the Bootcamp? Each session is 2 hours. 1.5 hours of content and 0.5 hours of Q&A. ### Session 1: State Storage - Build a Decentralized Autonomous Organization (DAO) contract - Use local and global state values - Refactor to make use of box storage state values - Implement proposal and voting mechanics ### Session 2: User-Defined Data Types - Explore various types: base, custom, tuple - Design a tuple for holding NFT traits within box storage - Update DAO contract to vote on those traits ### Session 3: Algorand Standards (ARC) for NFT, ABI and More - Introduce ARCs using SDKs - Explore various NFT standards (3, 4, 19, 69) - Update DAO contract using custom data type based on an NFT ARC - Test the contract by importing the ABI into dAppFlow - Introduce off-chain data storage using IPFS ### Session 4: Contract Composability - Implement NFT Factory - Enable the DAO to mint NFTs based on proposals/votes - Reuse auction from beginner to sell NFT - Distribute earnings to DAO members ### Who can participate? Everyone is welcome to build on Algorand! It is encouraged that you have successfully completed the Algorand Developer Bootcamp Beginner series, as that content provides the foundation for these intermediate sessions.
-
Developer Beginner Bootcamp in Spanish - Build a dAPP in 4 days
This Bootcamp will consist of 4 sessions that will allow you to start your path in the development of decentralized applications using Algorand, taking advantage of its native technical characteristics. All the content will be in Spanish and it is totally free, so if you are a developer and you ask yourself: Why should you be interested in learning about Algorand and participating in the Bootcamp? Algorand has different SDKs to help you with the build process in different languages and with extensive documentation. The costs and speed for testing on Algorand are extremely low, allowing you to learn and test without friction. Companies that work with Algorand are constantly looking for developers to join their work teams. At the end of the Bootcamp, you will be able to participate in solving challenges that will test your knowledge and serve as a cover letter so that you can apply for a job in the Algorand ecosystem. ### Session content All sessions are 7PM - 9PM EDT - Session 1 May 30 : Transacting with the typescript SDK and interacting with algokit - Session 2 June 1 : Creating contracts in Algorand with Python thanks to PyTEAL and Beaker - Session 3 June 6 : Building our dapp contract - Session 4 June 8: Building the frontend of our dapp ### Why Algorand? When you decide to start working on blockchain, it is essential that you know the characteristics of the protocol that you are going to use. Here we present the ones from Algorand: It is a layer 1 network that can process more than 6,000 transactions per second and is expected to reach 10,000. The cost per transaction is approximately 0.001 Algo == $0.0003 USD. Our blocks are processed in 3.7 seconds. We are a carbon neutral blockchain since we are committed to being friendly to the environment.
