mightybyte

Kadena stratum protocol

mining.subscribe

params: ["agent", null]
result: [null, "nonce1", "nonce2 size"]

mightybyte

{-# LANGUAGE OverloadedStrings #-}
import Reflex.Dom

counter = el "div" $ do
  click <- button "Click"
  clicks <- foldDyn (\() n -> n + 1) 0 click
  el "p" $ display clicks
  return clicks

main = mainWidget $ do

mightybyte

{ compiler ? "ghc844"
, rev      ? "497e6f1705107a7d60e400e3b6dd6df5ca8bcdba"
, sha256   ? "1gwdxpx5ix3k6j5q3704xchw4cfzmmr2sd6gsqmsln9yrmjzg9p4"
, pkgs     ?
    import (builtins.fetchTarball {
      url    = "https://github.com/NixOS/nixpkgs/archive/${rev}.tar.gz";
      inherit sha256; }) {
      config.allowBroken = false;
      config.allowUnfree = true;
    }

mightybyte

code: |-
  (use coin)
  (let* ((acct:string "rotest")
         (bal:decimal (coin.get-balance acct))
        )
    (coin.rotate acct (read-keyset "ks"))
    (coin.transfer acct "croesus" bal)
  )
data:
  ks:

mightybyte

code: |-
  (coin.transfer-create "alice" "bob" (read-keyset "ks") 100.1)
  (coin.transfer "bob" "alice" 0.1)
data:
  ks:
    keys: [0ba113d8a84c307ebc2ace5090f117d921c43d9d3011e9cb9e030cb8ea5502eb]
    pred: "keys-all"
publicMeta:
  chainId: "0"
  sender: alice

mightybyte

(module hash MODULE_ADMIN
  "A smart contract to greet the world."

  (defcap MODULE_ADMIN () true)

  (defun revcat (a b)
   (+ b a)
  )
  (defun phash:string (str:string)
   (let* ((h (hash str))

mightybyte

{ compiler ? "ghc844"
, rev      ? "497e6f1705107a7d60e400e3b6dd6df5ca8bcdba"
, sha256   ? "1gwdxpx5ix3k6j5q3704xchw4cfzmmr2sd6gsqmsln9yrmjzg9p4"
, pkgs     ?
    import (builtins.fetchTarball {
      url    = "https://github.com/NixOS/nixpkgs/archive/${rev}.tar.gz";
      inherit sha256; }) {
      config.allowBroken = false;
      config.allowUnfree = true;
    }

mightybyte

;;
;; "Hello, world!" smart contract/module
;;

;; Define the module.
(module hello-world MODULE_ADMIN
  "A smart contract to greet the world."

  ; no-op module admin for example purposes.
  ; in a real contract this could enforce a keyset, or

mightybyte

; Simplified example of a token implementation.
; When I run `(typecheck "my-token")` I get the error:
; > Typecheck my-token: Unable to resolve all types

(module my-token GOVERNANCE

  (defschema accounts-schema
    balance:integer
    guard:guard
  )

mightybyte

;;
;; A little example showing off the merits of formal
;; verification and why it pays off.
;;

;; Keysets cannot be created in code, thus we read them in
;; from the load message data.
(define-keyset 'admin-keyset (read-keyset "admin-keyset"))

;; Define the module.