3 Guide

These guides discuss some key ideas and concepts used through Reach. They aim to teach the "Why" of aspects of some Reach features and discss the many alternatives available to DApp developers. Indeed, many of these points are relevant to all DApp developers, because the problems appear in all applications.

The following guides are available:

    3.1 Using Reach on Windows

    3.2 How does Reach use version numbers?

    3.3 How and what to verify

    3.4 Finding and using loop invariants

    3.5 Choosing a deployment mode

    3.6 Non-participation: What it is and how to protect against it

    3.7 Determinism, simultaneity, and choice in decentralized applications

    3.8 Building decentralized abstractions

    3.9 What are Reach’s limitations and its future roadmap

    3.10 How does Reach work?