smart contracts
Showing 177 posts related with smart contracts.
-
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.
-
Algorand Studio | Tutorial 1: Basic Features
Set up your local machine for Algorand development using Algorand Studio, includes a walk through its basic features.
-
Algo Builder Tutorial Part 5: Algob Console
In this tutorial we present how to use `algob console` to quickly and easily interact with Algorand Standard Assets and Smart Contracts.
-
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.
-
Royalty Fees in Algorand Using PyTeal
This is a short tutorial that explains how to implement Royalty Fees using Inner Transactions and Teal v5 capabilities in Algorand.
-
Verify identity using a credential network
Build and test a smart contract in which accounts vouch for one-anther's credentials to establish a network of trust.
-
Understanding the TEAL Opcode Budget
This guide gives a high-level overview of TEAL's opcode budget system, as well as a method to (finitely) increase it.
-
Song Vote on Algorand - Create and deploy a fully functioning Dapp
Create and deploy dApp to vote on songs (or other things) on the Algorand test network. By the end you will have a good understanding of the full development pipeline on Algorand!
-
Setting the Transaction Fee in Java
Setting Transaction Fee with Java
-
Using VS Code with JavaScript
This tutorial will facilitate how to debug using Visual Studio (VS) Code, which can be used with all the code samples on the Algorand Developer Docs Portal.
-
Hash Time Lock Contract Template With Go
Build a Smart Contract that functions as a HTLC using Go
-
Creating an NFTMarketplace
Creating an NFTMarketplace application where users can mint, buy and sell NFTs.
-
Siam - Managing Global Application State
With Siam, you can operate a small key-value store on the Algorand blockchain with minimal configuration. You can start publishing real-world data to the blockchain and write your own oracle.
-
Building on Algorand: Developer Week 2020 Hackathon, Recap and Code
Over 600 attendees participated recently at the Algorand Sponsored Developer Week 2020 in San Francisco...
-
Getting Started on Algorand
In this article, we are going to cover some of the basics of where to start, what tutorials are available, options for setting up your development environment, and how you can be rewarded for developing applications on the Algorand blockchain.
-
Building NFTs on Algorand
This article summarizes some of the options available to developers when building NFTs on the Algorand Blockchain.
-
Introducing TEAL Version 3
This article summarizes all the changes made to TEAL in version 3.
-
AlgoWorld: A Series of Collectible Digital Trading Cards
AlgoWorld is a series of 1500 digital trading cards representing the 193 countries around the globe.