Create Publication

We are looking for publications that demonstrate building dApps or smart contracts!
See the full list of Gitcoin bounties that are eligible for rewards.

Publications

  • Post Thumbnail
    Intermediate · 1 hour
    JavaScript icon

    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.

    Anmol
    Anmol
  • Post Thumbnail
    Intermediate · 1 hour +
    JavaScript icon

    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.

    Anmol
    Anmol