Merge pull request #3 from input-output-hk/scripts_and_multicurrency

spec for scripts and multi-currency

specs/scripts/latex/Makefile

@@ -0,0 +1,42 @@
+##
+## Makefile for a specification of the delegation rules, based on:
+##
+## https://tex.stackexchange.com/questions/40738/how-to-properly-make-a-latex-project
+##
+
+# Document name
+DOCNAME = scripts-multicurrency
+
+# You want latexmk to *always* run, because make does not have all the info.
+# Also, include non-file targets in .PHONY so they are run regardless of any
+# file of the given name existing.
+.PHONY: $(DOCNAME).pdf all clean
+
+# The first rule in a Makefile is the one executed by default ("make"). It
+# should always be the "all" rule, so that "make" and "make all" are identical.
+all: $(DOCNAME).pdf
+
+##
+## CUSTOM BUILD RULES
+## 
+
+
+##
+## MAIN LATEXMK RULE
+##
+
+# -pdf tells latexmk to generate PDF directly (instead of DVI).
+# -pdflatex="" tells latexmk to call a specific backend with specific options.
+# -use-make tells latexmk to call make for generating missing files.
+
+# -interaction=nonstopmode keeps the pdflatex backend from stopping at a
+# missing file reference and interactively asking you for an alternative.
+
+$(DOCNAME).pdf: $(DOCNAME).tex
+	latexmk -pdf -pdflatex="pdflatex -interaction=nonstopmode" -use-make $(DOCNAME).tex
+
+watch: $(DOCNAME).tex
+	latexmk -pvc -pdf -pdflatex="pdflatex -interaction=nonstopmode" -use-make $(DOCNAME).tex
+
+clean:
+	latexmk -CA

specs/scripts/latex/references.bib

@@ -0,0 +1,22 @@
+@article{chimeric,
+  author  = {Joachim Zahnentferner},
+  title   = {Chimeric Ledgers: Translating and Unifying UTXO-based and Account-based Cryptocurrencies},
+  journal = {Cryptology ePrint Archive, Report 2018/262},
+  year    = {2018},
+  url     = {https://eprint.iacr.org/2018/262},
+}
+
+@article{utxo_scripts,
+  author  = {Joachim Zahnentferner},
+  title   = {An Abstract Model of UTxO-based Cryptocurrencies with Scripts},
+  journal = {Cryptology ePrint Archive, Report 2018/469},
+  year    = {2018},
+  url     = {https://eprint.iacr.org/2018/469},
+}
+
+@article{multi_currency,
+  author  = {Joachim Zahnentferner},
+  title   = {Multi-Currency Ledgers},
+  journal = {??},
+  year    = {2018},
+}