asset creation
Showing 123 posts related with asset creation.
-
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 Bootcamp: Python
 **Project:** Digital Marketplace **Project Description:** Use Python to create a decentralized application (smart contract + front-end) of a digital marketplace, in which you will be able to list your digital products (assets) to sell, define a price, and allow end users to buy them. **Time: 10:00 AM EST** each day. **Agenda:** * Session 1 (July 29th): Designing & deploying a digital marketplace smart contract with Python. * Session 2 (July 30th): Testing methods within your Python smart contract * Session 3 (July 31st): Building a front-end for your smart contract using TypeScript. * Session 4 (August 01st): Integrating both the smart contract and front-end **Prerequisites: ** * [VS Code](https://code.visualstudio.com/) (Recommended) * [Git](https://git-scm.com/downloads) * [Docker Desktop](https://www.docker.com/products/docker-desktop/) * [Python 3.10+](https://www.python.org/downloads/) * [NodeJS](https://nodejs.org/en/download) _Installation Guides_ ([macOS](https://www.youtube.com/watch?v=zsurtpCGmgE), [Windows](https://www.youtube.com/watch?v=22RvINnZsRo)) **Why Algorand?** Algorand is an enterprise-grade programmable layer-1 blockchain – the perfect place to start (or continue) your blockchain journey. * Blocks on Algorand are processed in under 3 seconds. * The Algorand network can process more than 10,000 transactions per second, all with instant finality. * The cost per transaction is 0.001 Algo (just a fraction of a cent). * Algorand is carbon-neutral and built environmentally friendly from the ground up. * Testing on Algorand is fast and cost-efficient, allowing you to innovate without friction. Plus, it has a wealth of developer tooling, tutorials, and documentation. Ready for the best bit? If you’re a Python or TypeScript dev, you don’t need to learn a new language because you can build on Algorand in Python and TypeScript. It’s easy to get building thanks to [AlgoKit](https://developer.algorand.org/algokit/?utm_source=devportal&utm_medium=bootcamp_landingpage&utm_campaign=algokit) (our solution to speed up your Web3 building process).
-
Beginner Bootcamp: TypeScript
 **Project:** Digital Marketplace **Project Description:** Use TypeScript to create a decentralized application (smart contract + front-end) of a digital marketplace, in which you will be able to list your digital products (assets) to sell, define a price and allow end users to buy them. **Time: 10:00 AM EST** each day. **Agenda:** * Session 1 (April 22nd): Designing & deploying a digital marketplace smart contract with TypeScript * Session 2 (April 23rd): Testing methods within your TypeScript smart contract * Session 3 (April 24th): Building a front-end for your smart contract using TypeScript * Session 4 (April 25th): Integrating both the smart contract and front-end **Prerequisites: ** * [VS Code](https://code.visualstudio.com/) (Recommended) * [Git](https://git-scm.com/downloads) * [Docker Desktop](https://www.docker.com/products/docker-desktop/) * [NodeJS](https://nodejs.org/en/download) _Installation Guides_ ([macOS](https://www.youtube.com/watch?v=zsurtpCGmgE), [Windows](https://www.youtube.com/watch?v=22RvINnZsRo)) **Why Algorand?** Algorand is an enterprise-grade programmable layer-1 blockchain – the perfect place to start (or continue) your blockchain journey. * Blocks on Algorand are processed in under 3 seconds. * The Algorand network can process more than 10,000 transactions per second, all with instant finality. * The cost per transaction is 0.001 Algo (just a fraction of a cent). * Algorand is carbon-neutral and built environmentally friendly from the ground up. * Testing on Algorand is fast and cost-efficient, allowing you to innovate without friction. Plus, it has a wealth of developer tooling, tutorials, and documentation. Ready for the best bit? If you’re a Python or TypeScript dev, you don’t need to learn a new language because you can build on Algorand in Python and TypeScript. It’s easy to get building thanks to [AlgoKit](https://developer.algorand.org/algokit/?utm_source=devportal&utm_medium=bootcamp_landingpage&utm_campaign=algokit) (our solution to speed up your Web3 building process).
-
Beginner Bootcamp: Python
 **Project:** Digital Marketplace **Project Description:** Use Python to create a decentralized application (smart contract + frontend) of a digital marketplace, in which you will be able to list your digital products (assets) to sell, define a price and allow end users to buy them. **Time: 10:00 AM EST** each day. **Agenda:** * Session 1 (April 15th): Designing & deploying a digital marketplace smart contract with Python. * Session 2 (April 16th): Testing methods within your Python smart contract. * Session 3 (April 17th): Building a front-end for your smart contract using TypeScript. * Session 4 (April 18th): Integrating both the smart contract and front-end. **Prerequisites: ** * [VS Code](https://code.visualstudio.com/) (Recommended) * [Git](https://git-scm.com/downloads) * [Docker Desktop](https://www.docker.com/products/docker-desktop/) * [Python 3.10+](https://www.python.org/downloads/) * [NodeJS](https://nodejs.org/en/download) _Installation Guides_ ([macOS](https://www.youtube.com/watch?v=zsurtpCGmgE), [Windows](https://www.youtube.com/watch?v=22RvINnZsRo)) **Why Algorand?** Algorand is an enterprise-grade programmable layer-1 blockchain – the perfect place to start (or continue) your blockchain journey. * Blocks on Algorand are processed in under 3 seconds. * The Algorand network can process more than 10,000 transactions per second, all with instant finality. * The cost per transaction is 0.001 Algo (just a fraction of a cent). * Algorand is carbon-neutral and built environmentally friendly from the ground up. * Testing on Algorand is fast and cost-efficient, allowing you to innovate without friction. Plus, it has a wealth of developer tooling, tutorials, and documentation. Ready for the best bit? If you’re a Python or TypeScript dev, you don’t need to learn a new language because you can build on Algorand in Python and TypeScript. It’s easy to get building thanks to [AlgoKit](https://developer.algorand.org/algokit/?utm_source=devportal&utm_medium=bootcamp_landingpage&utm_campaign=algokit) (our solution to speed up your Web3 building process).
