ssainball

test

ssainball

test

ssainball

[Env : ubuntu 16.04]

sudo su root

cd ~

jcli key generate --type=Ed25519Extended > receiver_secret.key
cat receiver_secret.key | jcli key to-public > receiver_public.key
jcli address account --testing $(cat receiver_public.key) | tee receiver_account.txt

ssainball

-- Vesting scheme as a PLC contract
import qualified Prelude                   as Haskell
import           Language.PlutusTx.Prelude
import qualified Data.Map                  as Map
import qualified Data.Set                  as Set

import           IOTS
import qualified Language.PlutusTx         as PlutusTx
import           Ledger                    (Address, DataScript(..),