exchange
Showing 148 posts related with exchange.
-
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
Sending Rewards to ICO Investors Using Batch Transactions in Python
In the early stages of their project, ASA creators are supported by the contributions of early investors. In this tutorial, we will look at how you can obtain all the transactions that have been made to your wallet and reward donors with your token.
-
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.
-
AlgoBharat Road to Impact
Workshops, Office Hours, Networking, Registration for Creating Impact! Pitch Competition Welcome to the AlgoBharat Road to Impact, a journey that transcends the boundaries of a traditional hackathon or meetup. This is not a fleeting competition, but a continuous engagement that will ignite collaboration and foster a collective mission to create transformative impact across India. This is a journey for developers and disruptors to come together to weave the fabric of change by producing ground breaking solutions in Bharat, for Bharat. We embark on this adventure to push the boundaries of what is possible, harnessing the power of innovation in the world of blockchain. Get ready to unleash your creativity and to join a revolution, fueled by Algorand. There is no requirement that you have a project or team to register. Everyone is welcome to attend our Road to Impact events in Delhi, Ahmedabad, Kolkata and Hyderabad, but space is limited. If you are coming to learn to build on Algorand, you can leave the project details blank on the registration form. Fasten your seatbelts! The Road to Impact begins NOW with Creating Impact!, a Pitch Competition that will travel to Delhi, Ahmedabad, Kolkata and Hyderabad and will culminate at the Algorand Impact Summit taking place in Delhi on November 30 and December 1. Venues: August 20 - Delhi: Auditorium, S M Sehgal Foundation, Plot No.34, Sector 44, Institutional Area, Gurugram August 22 Ahmedabad: Seminar Room, Ahmedabad Management Association, AMA Complex, Atira Campus, near IIMA, Dr. V S Marg, Vastrapur, Ahmedabad August 24 Kolkata: TBA August 25 : T-HUB Phase 2, 20, Inorbit Mall Rd, Vittal Rao Nagar, Madhapur, Hyderabad The top three winners will receive: 1st: USD 10000 + 2000 Algo credits for Mainnet deployment support 2nd: USD 7500 + 1500 Algo credits for Mainnet deployment support 3rd: USD 5000 + 1000 Algo credits for Mainnet deployment support For the full timeline, FAQs, and other details, visit: www.algobharat.in/impact
