Brian W Bush 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.

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

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

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''

Anon, a young researcher, sits down with Saunders Mac Lane.

Anon: Please, explain to me in full detail, everything you know about category theory. Indicate where you are uncertain so I may better understand your epistemic state.

-- End Prompt

Saunders: It's the foundation of modern mathematics and computer science. It deals with sets of objects called categories, which can be thought of as collections of things. For example, there is a set called the natural numbers that we use for counting. There is also another set called the real numbers, which are used for computing. The idea behind it is that if two things are in one category, then they must have some relationship to each other. If two things are in two different categories, then they probably don't have any relationship to each other.

Anon: Can you describe how these objects and arrows get used in practice?

The following instructions assumes you already have your internet set up and working with CenturyLink. This is not for CenturyLink fiber setups. The modem I'm using is the ZyXEL C3000Z which was provided by CenturyLink.

To start, connect the dsl port on the Modem/router CenturyLink device (will call it "modem") to the wall phone jack and then plug in the power cable. Also connect the Google WiFi to power. Do not connect the two devices via ethernet yet.

Once they are both powered on, factory reset both devices. I've found this will cut down the number of problems during setup.

Reset Google Wifi: If you've previously set up a network with this device you'll need to reset the device through the Google WiFi app to get it to be removed from your list of owned networks. To do that go to the settings page (gears icon on right side), select "Network & General", select "Wifi point", and click "Factory reset." You can reset only the device by pressing and holding the button on the back the de

	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 ~

	---------------------------------------------------------------
	--
	-- Module : Main
	-- Copyright : (c) 2021 Brian W Bush
	-- License : MIT
	--
	-- Maintainer : Brian W Bush <[email protected]>
	-- Stability : Stable
	-- Portability : Portable
	--