Reach 入门 01

Reach 简介

最简单 ，安全的Dapp开发平台

Dapp decentralize 去中心化程序。

帮助人开发app一样开发 去中心化程序。

reach 可以用来做什么？

开发区块链相关项目
经典游戏
eg: liar’s dice 说谎者筛子
100-200行reach代码

Reach开发 分两个部分:

	一个是智能合约（后端部分）
	另一个是前端部分

Reach 特点

简单
自动验证安全性
部署在各个网络（conflux 网络，ETC网络）只需改动一行代码就可以部署在不同的网络上 reach的语法
类似JavaScript

Reach 初介绍

Reach 安装

安装教程：https://learnblockchain.cn/article/3207

全流程

从用户到智能合约，要把 智能合约 部署 到共识网络上面的。

共识网络： 比如 以太坊，conflux等。
共识网络：全球每个网络的节点共同维护的一个账本。
部署： 用户 把 合约 放到 网络上面。
合约上网络之后，就和用户无关了，因为是去中心化合约。
任何人都是通过共识网络来跟 合约 进行 交互。

用户 如何 和 部署在 共识网络的 合约进行 交互？
1.通过 前端（网页页面）
2. 前端 有一个中间件 middleware
3. middleware 和 合约 进行交互。

前端 和 middleware 都是在用户电脑上面。

开发分为三个部分：

1. 用户使用的前端。
2. 智能合约：用于部署到共识网络上面。
3. middle用于将 前端 和 智能合约联系到一起。

reach 的作用：
将 从前端后面的部分 到 智能合约之间，都通过 reach打包。
当我们通过reach编写一份合约之后，会自动生成 index.main.mjs文件，可以直接和前端js交互。

开发就变成了两部分：
前端代码
reach代码

reach update运行的部分拆解

当reach进行运行时，下面这些容器 所起到的作用拆解：

reach容器 里面是 编译器， 负责 价格 index.rsh 编译为 build/index.main.mjs
runner容器 负责命令行app的运行 （包含node.js project）
rpc-server 类似 负责RPCsever （包含node.js project），主要是负责前端部分，如果是不是用js写的前端，而是用python，go等语言，需要RPCserver进行编译。
react-runner 用于运行react的app程序。

ethereum_devnet
algorand_devnet
conflux-devnet
分别是对应 以太坊，阿狗迈特，conflux的app。
devnet 开发网。

需要通过安装docker 才可以将这些不同的程序分别进行运行的。

左边 js 语言
右边 reach 语言

Reach如何运行

或者说 reach run 时候 系统再做哪些事情？

前端 js js代码
后端 mjs reach代码

程序开始运行， mjs 会被编辑器 编辑 为 main.mjs文件

index.mjs 通过 Reach JS Stdlib这一个标准库 和 index.main.mjs 进行相互连接。

main.mjs 会包含部署在共识网络所需要的代码 consensus(共识) network code
eg: ETH 上的 bit code这类
consensus network code 会在编译后进行验证。验证定理，公式的安全性问题。

程序运行需要两个docker
第一个docker 两个容器
第一个容器：reach 生成 index.mjs -> index.main.mjs
第二个容器：运行consensus network code 需要node.js ，reach 会生成另外一个容器，用于额外运行 node.js文件。

Reach 验证

举例子理解：

验证公式：
红色方框内

验证：第一个式子 和 第二个式子 是否 相等

reach 验证原理：
将 1式子 不等于 2 式子
如果这个方程组存在解，那么要验证的东西就是存在问题的。

个人理解：
两个方程式 求解
A = BX + Y
C = DX + Z
求解 X 和 Y是否存在

Reach验证方式
A = BX + Y
C != DX + Z 改成不等于了
然后 求解，如果存在 X 和 Y 说明 上面的X和Y不存在解。

题外话
reach用于验证的引擎是用于验证几w几千行起步的。
绝大部分用reach写的代码几百行，就是2-3s就完全OK了。

如何学习Reach

安装 make
安装 docker
安装 docker-compose
使用软件： VS-code: Reach IDE(自动标色)

学习资源

文档：https://docs.reach.sh/
B站视频： reachlang
黑客松案例
官网：https://reach.sh/