davebryson

---- MODULE counter ----
EXTENDS Naturals

CONSTANT Limit

VARIABLE counter

Init ==  counter = 1

Terminates == counter = Limit

davebryson

/**
 * Example code to create an asset and save the meta to arweave
 **/

// base token uri
let URL = 'http://localhost:8081/asset/';

// get the chain id from the eth provider. It's needed for the metadata DID
const chainid = provider.getChainId();

davebryson

OpenCBDC Secure Minting (UTXO)

Requirements

• The ability to mint money
• Only select entities can mint
• A minter can mint more than once
• Must follow the same validation requirements as a normal transaction
• Must support test environments

Mint vs. Normal Transaction

davebryson

Keybase proof

I hereby claim:

• I am davebryson on github.
• I am dbryson (https://keybase.io/dbryson) on keybase.
• I have a public key whose fingerprint is E1F2 3B53 222B 6806 6EF0 B201 801D 1EA5 9B4A 5D6D

To claim this, I am signing this object:

davebryson

Verifying that +miceda is my blockchain ID. https://onename.com/miceda

davebryson

# Example of connecting to Epmd to get the port number
# of an Erlang node
require 'rubygems'
require 'eventmachine'

class EpmdConnection < EM::Connection
  include EM::Deferrable
  attr_accessor :nodename
  
  def self.lookup_node(nodename)