Demo lisp for bitcoin miniscrpit

miniscript-as-lisp-demo.rkt

#lang racket

;; define place holder functions for demo
(define (pk key) (eq? key #t))
(define (older num) (> num 1000))
(define (hash160 val) (val))

(let ([key_revocation 'abc]
      [key_local 'def]
      [key_remote 'xyz]
      [H 100])

  ;; to_local policy
  (or (pk key_revocation)
      (and (pk key_local) (older 1008)))

  ;; offered HTLC policy
  (or (pk key_revocation)
      (and (pk key_remote)
           (or (pk key_local)
               (hash160(H))))))