bwbush

bwbush

How to Burn Role Tokens Minted by Marlowe Runtime

Open a Marlowe development shell

$ nix develop github:input-output-hk/marlowe-cardano

warning: Using saved setting for 'allow-import-from-derivation = true' from ~/.local/share/nix/trusted-settings.json.

abailly-iohk

• https://github.com/woofpool/cardano-private-testnet-setup (Shell) Scripts to run a private network
• https://github.com/input-output-hk/mithril/mithril-test-lab (Rust) wrapper to run cardano-node and interact with it through cardano-cli. In Rust because that's the implementation language of Mithril and easier to maintain for the team (there used to be a version in Haskell)
• https://github.com/input-output-hk/hydra/hydra-cluster (Haskell) wrapper to run cardano-node (and hydra-node). Interaction is done in Haskell using the cardano-api, provides few configurability but has a faucet that can be used to distribute funds
• https://github.com/input-output-hk/cardano-node/tree/master/cardano-testnet. (Haskell) Newer framework to spin-up nodes from Haskell code, to use in CI or ETE testing
• https://github.com/input-output-hk/cardano-node/tree/master/scripts/byron-to-alonzo (Shell) Scripts to spin up a cluster of machines and possibly evolve them through all the Eras
• https://github.com/input-output-hk/carda

BrainWart

{ config, modulesPath, pkgs, ... }:

{
  imports = [
    (modulesPath + "/virtualisation/lxc-container.nix")
  ];

  services.openssh.enable = true;
  programs.xwayland.enable = true;

johnshearing

There was an error at block ten of Lesson 4
https://github.com/input-output-hk/marlowe-cardano/blob/73ed922f025e494d0060e21cfba4a340b70d12e0/marlowe-cli/lectures/04-marlowe-cli-concrete.ipynb

This is the History of input and output at the Linux terminal.
The error message is shown at the very bottom.

C:\Users\jshea>wsl

johnshearing@LAPTOP-NGQPLDGT:/mnt/c/Users/jshea$ cd ~

johnshearing

Marlowe Pioneers:

Setting Up A Cardano Development Environment On a Windows 10 Computer

I made this tutorial so that I can remember how to set up my Cardano development environment if I ever have to do it again. Much thanks to all the community members that helped me through the process.
I hope others may find this useful.

Tutorial showing how to:

• Setup a Linux environment on Windows 10 using Windows Subsystem for Linux (WSL)
• Setup VS Code for use with WSL

bwbush

{"valueParameterInfo":[["Interest",{"valueParameterFormat":{"contents":null,"tag":"DefaultFormat"},"valueParameterDescription":"The interest paid by the borrower, in DjedUSD."}],["Payment as Percent of Revenue",{"valueParameterFormat":{"contents":null,"tag":"DefaultFormat"},"valueParameterDescription":"The percent of each period's revenue that the borrower must pay the lender."}],["Principal",{"valueParameterFormat":{"contents":null,"tag":"DefaultFormat"},"valueParameterDescription":"The principal provided by the lender, in DjedUSD."}]],"timeParameterDescriptions":[],"roleDescriptions":[["Borrower","The party that borrows the principal and pays back the principal plus interest."],["Lender","The party that lends the principal."],["Revenue Oracle","The oracle that reports the borrow's revenue."]],"contractType":"Other","contractShortDescription":"An unsecured loan where each payment depends upon the borrower's revenue during that period.","contractName":"Revenue-Based Loan","contractLongDescription":"An unsecur

bwbush

Debugging Plutus

This example illustrates manually passing serialized data from a Plutus validator and then deserializing it. It uses Plutus.Debug.

Instrument the validator

Change traceIfFalse to Plutus.Debug.debugIfFalse with added arguments containing the data to be passed out of the script. Here we change

traceIfFalse "R" $ any (checkScriptOutput addr hsh value) allOutputs

bwbush

---------------------------------------------------------------
--
-- Module      :  Main
-- Copyright   :  (c) 2021 Brian W Bush
-- License     :  MIT
--
-- Maintainer  :  Brian W Bush <code@functionally.io>
-- Stability   :  Stable
-- Portability :  Portable
--

r-k-b

I was getting errors like...

$ ./gradlew build
... snip ...
FAILURE: Build failed with an exception.

* What went wrong:
Execution failed for task ':buildSearchableOptions'.
> A problem occurred starting process 'command '/home/rkb/.gradle/caches/modules-2/files-2.1/com.jetbrains/jbre/jbrx-8u202-linux-x64-b1483.49/jre/bin/java''