From 80c10dd3770d581ff660f349daa0d21b7ddcf65f Mon Sep 17 00:00:00 2001 From: Jan Ferdinand Sauer Date: Sat, 23 Dec 2023 11:48:42 +0100 Subject: [PATCH] =?UTF-8?q?doc:=20add=20=E2=80=9CGetting=20Started?= =?UTF-8?q?=E2=80=9D=20section=20to=20README.md?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- README.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/README.md b/README.md index 90a83cb80..aafd88cb7 100644 --- a/README.md +++ b/README.md @@ -10,6 +10,11 @@ Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and It defines a Turing complete [Instruction Set Architecture](https://triton-vm.org/spec/isa.html), as well as the corresponding [arithmetization](https://triton-vm.org/spec/arithmetization.html) of the VM. The really cool thing about Triton VM is its efficient _recursive_ verification of the STARKs produced when running Triton VM. +## Getting Started + +If you want to start writing programs for Triton VM, check out [Triton TUI](triton-tui/). +If you want to generate or verify proofs of correct execution, take a look at the [scaffolding repository](https://github.com/TritonVM/triton-vm-scaffold). + ## Recursive STARKs of Computational Integrity Normally, when executing a machine – virtual or not – the flow of information can be regarded as follows.