APIs
Showing 175 posts related with APIs.
-
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 +
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.
-
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.
