Skip to content

aleeusgr/potential-robot

Repository files navigation

version: Adderall

is used to architect a decentralzied application using eUTXO model and Helios, a domain specific language for writing smart contracts on Cardano blockchain.

Quick Start

  1. npm install
  2. npm test

image

Usage

Simple dApp consists of a smart contract with the set of transactions that could be applied to it. Current example is vesting, which is discussed in the documentation below. Following the book in the links and tutorials on Test-Driven Development a programmer should be able to express buisness logic as functional requirements for the product and write tests to verify the requirements are satisfied. For example for the vesting contract the functional requirements are like so:

  • sponsor can deposit value
  • claimant can claim the value after the deadline designated by the sponsor.
  • claimant fails to claim the value before the deadline.
  • sponsor can cancel the contract before the deadline
  • sponsor fails to claim the value after the deadline.

FOr the first excercise the user may seek to implement NFT escrow - a contract that validates withdrawal depending not on time of the transation but if the transaction has a specific NFT. Take a look at the code example.

Architecture

image

Contributing

  • Test the project.
  • Update Helios version in package.json
  • Join Gimbalabs.com
  • Join Helios Discord (link below)
  • Ask questions.
  • Submit a PR.

Refs:

Vitest

Helios

Helios vesting example

Cardano Smart contract with Helios

Plutus: Writing reliable smart contracts

Big Thanks to Helios team, James Dunseith Gimbalabs, Ben Hart MLabs, Romain Soulat IOG and Matthias Sieber EMURGO. The project is inspired by Nine Inch Nails, SBF trial and the show Inside Job.

About

minimal dApp testing suite

Topics

Resources

License

Stars

Watchers

Forks

Packages

No packages published