SCRIPTWriter: ESCRIPT: a human friendly language for programming Bitcoin scripts

[ bitcoin, bsd3, language, library, program, script ] [ Propose Tags ] [ Report a vulnerability ]

Please see the README on Github at https://github.com/RKlompUU/SCRIPTWriter

[Skip to Readme]

Modules

Bitcoin
- Script
  - Parser
    - Bitcoin.Script.Parser.API

Downloads

SCRIPTWriter-1.0.1.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

RickKlomp

For package maintainers and hackage trustees

edit package information

Candidates

No Candidates

Versions [RSS]	1.0, 1.0.1
Change log	ChangeLog.md
Dependencies	array (>=0.5.2.0), base (>=4.7 && <5.0), binary, bitcoin-hs, bitcoin-script, bytestring (>=0.10.8.1), containers, mtl, SCRIPTWriter, uu-tc [details]
License	BSD-3-Clause
Copyright	2018 Rick Klomp
Author	Rick Klomp
Maintainer	r.klomp@cs.stir.ac.uk
Category	language, Bitcoin, SCRIPT
Home page	https://github.com/RKlompUU/SCRIPTWriter
Bug tracker	https://github.com/RKlompUU/SCRIPTWriter/issues
Source repo	head: git clone https://github.com/RKlompUU/SCRIPTWriter
Uploaded	by RickKlomp at 2018-10-15T13:42:30Z
Distributions
Executables	SCRIPTWriter-exe
Downloads	1309 total (8 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs not available [build log] All reported builds failed as of 2018-10-15 [all 3 reports]

Readme for SCRIPTWriter-1.0.1

[back to package description]

SCRIPT Writer

Alt text

ESCRIPT: a human readable language for programming Bitcoin scripts

SCRIPT Writer defines a human friendly Bitcoin SCRIPT language and provides a set of functions to translate programs written in this extended language (called ESCRIPT, which is an acronym for Extended SCRIPT) to Bitcoin SCRIPT bytecode. See below for the syntax description, or visit https://vm100.cs.stir.ac.uk/~rkl/docu.php.

The extended language is a superset of the bytecode SCRIPT language. This means that it is possible to define a script partially using extended syntax constructions, and partially in direct streams of bytecode. Bytecodes are passed through the parser as-is.

The language can be tried out at https://vm100.cs.stir.ac.uk/~rkl/home.html (at the bottom of the page, beneath "Serialization of a script:").

Installation

Dependency: Haskell's Stack (https://docs.haskellstack.org/en/stable/install_and_upgrade/)

In the root directory of this repository run:

      # On some machines it is required to first manually install happy:
      stack install happy
      # Install Script Writer and all of its dependencies (other than Happy)
      stack install

Applying the tool

The executable (SCRIPTWriter-exe) can be executed in any directory of this repository through Stack as follows: stack exec SCRIPTWriter-exe -- arguments

Call SCRIPTWriter-exe, with the custom script in stdin.

For example, if file scriptA contains a script written in the human friendly language, run the following in Bash: stack exec SCRIPTWriter-exe -- < scriptA

Some example scripts can be found in folder scripts/

The custom syntax

The supported syntax is described below.
Instructions on how to interpret the description:
      - The "*" symbol specifies a repeated parsing of 0 or more times
      - The "+" symbol specifies a repeated parsing of 1 or more times
      - The "|" specifies an or (either parses following the left hand
            side or the right hand side)
      - The ".." specifies a range of allowed characters.
Any amount of whitespace is allowed between each instruction and between
the PUSH keyword and the subsequent bytestring. Parsing starts by applying the
Start rule. Anything after "#" on a line is treated as a comment (similar to how comments work in Bash).\

Start := (Whitespace* Instruction | Whitespace* Byte)* Whitespace*