This repository has been archived by the owner on Nov 4, 2021. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathhow_it_works.html
295 lines (291 loc) · 25.7 KB
/
how_it_works.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<meta name="viewport" content="width=device-width, initial-scale=1, user-scalable=no">
<title>Reach</title>
<link rel="manifest" href="/site.webmanifest">
<!-- Global site tag (gtag.js) - Google Analytics -->
<script async src="https://www.googletagmanager.com/gtag/js?id=UA-149147406-1"></script>
<script>
window.dataLayer = window.dataLayer || [];
function gtag(){dataLayer.push(arguments);}
gtag('js', new Date());
gtag('config', 'UA-149147406-1');
</script>
<link rel="stylesheet" href="css/main.css">
</head>
<body>
<header>
<div class="container">
<nav class="navbar is-transparent">
<div class="navbar-brand">
<a class="navbar-item" href="/">
<img src="images/Reach_vertical.svg" alt="logo">
</a>
<div class="navbar-burger burger" data-target="navMenu" id="burgerBtn">
<span></span>
<span></span>
<span></span>
</div>
</div>
<div class="navbar-menu" id="navMenu">
<div class="navbar-end">
<ul class="menu-container">
<li><a href="/" class="navbar-item">Home</a></li>
<li class="active"><a href="/how_it_works.html" class="navbar-item">How it works</a></li>
<li><a href="/resources.html" class="navbar-item">Resources</a></li>
<li class="dropdown-services">
<button class="open-dropdown-btn">
<i class="icon-show-dropdown"></i>
</button>
<a href="/services.html" class="navbar-item">Services</a>
<ul class="dropdown-menu">
<li><a class="dropdown-link" href="/services.html#service-first">Blockchain product strategy</a></li>
<li><a class="dropdown-link" href="/services.html#service-second">Blockchain Development</a></li>
<li><a class="dropdown-link" href="/services.html#service-third">Blockchain app auditing</a></li>
<li><a class="dropdown-link" href="/services.html#service-fourth">Learning resources</a></li>
<li><a class="dropdown-link" href="/services.html#service-fifth">Reach technical support</a></li>
</ul>
</li>
<li><a href="https://medium.com/reach-sh" rel="nofollow" class="navbar-item" target="_blank">Blog</a></li>
</ul>
<div class="bottom-mobile">
<p class="is-hidden-tablet">Follow us on:</p>
<ul class="social-container">
<!-- <li><a href="https://t.me/reach_sh" target="_blank"><i class="fab fa-telegram-plane"></i></a></li> -->
<li><a href="https://discord.gg/AZsgcXu" target="_blank"><i class="fab fa-discord"></i></a></li>
<li><a href="https://github.com/reach-sh" target="_blank"><i class="fab fa-github"></i></a></li>
<li><a href="https://www.reddit.com/r/reach_sh" target="_blank"><i class="fab fa-reddit-alien"></i></a></li>
<li><a href="https://www.youtube.com/channel/UCnrHr0UG2pRkHCO-EloEkjw" target="_blank">
<div class="youtube-svg">
<?xml version="1.0" encoding="UTF-8"?>
<svg width="18px" height="22px" viewBox="0 0 18 22" version="1.1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<!-- Generator: Sketch 58 (84663) - https://sketch.com -->
<title>Youtube</title>
<desc>Created with Sketch.</desc>
<defs>
<path d="M18.22536,16.79968 L17.04,16.79968 L17.04552,16.11112 C17.04552,15.80512 17.2968,15.5548 17.60376,15.5548 L17.67936,15.5548 C17.98704,15.5548 18.23904,15.80512 18.23904,16.11112 L18.22536,16.79968 Z M13.77912,15.32416 C13.4784,15.32416 13.2324,15.52624 13.2324,15.77368 L13.2324,19.1224 C13.2324,19.36936 13.4784,19.57096 13.77912,19.57096 C14.08104,19.57096 14.32728,19.36936 14.32728,19.1224 L14.32728,15.77368 C14.32728,15.526 14.08104,15.32416 13.77912,15.32416 Z M21,13.45096 L21,19.82152 C21,21.3496 19.67496,22.6 18.0552,22.6 L5.94504,22.6 C4.3248,22.6 3,21.3496 3,19.82152 L3,13.45096 C3,11.92288 4.3248,10.67224 5.94504,10.67224 L18.0552,10.67224 C19.67496,10.67224 21,11.92288 21,13.45096 Z M6.75288,20.5132 L6.75192,13.80256 L8.25312,13.80304 L8.25312,12.80872 L4.25136,12.80272 L4.25136,13.78024 L5.50056,13.78384 L5.50056,20.5132 L6.75288,20.5132 Z M11.25288,14.80216 L10.00128,14.80216 L10.00128,18.3856 C10.00128,18.904 10.03272,19.1632 9.99936,19.25464 C9.8976,19.53256 9.44016,19.82776 9.26184,19.28464 C9.2316,19.1896 9.25824,18.9028 9.25776,18.41032 L9.25272,14.80216 L8.00808,14.80216 L8.01192,18.35368 C8.01288,18.898 7.99968,19.30384 8.01624,19.48864 C8.04672,19.81432 8.03592,20.194 8.33808,20.41096 C8.90112,20.81656 9.9804,20.35048 10.2504,19.77064 L10.248,20.51056 L11.25312,20.51176 L11.25288,14.80216 L11.25288,14.80216 Z M15.2568033,18.90568 L15.25416,15.9232 C15.2532,14.78656 14.40288,14.10592 13.24872,15.0256 L13.25376,12.80824 L12.0036,12.81016 L11.9976,20.46376 L13.02576,20.44888 L13.11936,19.97224 C14.43288,21.17728 15.25872,20.35144 15.2568033,18.90568 Z M19.17384,18.5104 L18.23544,18.51544 C18.23496,18.55264 18.23352,18.5956 18.23304,18.6424 L18.23304,19.16608 C18.23304,19.4464 18.00144,19.67464 17.72016,19.67464 L17.53632,19.67464 C17.25456,19.67464 17.02296,19.4464 17.02296,19.16608 L17.02296,19.108 L17.02296,18.532 L17.02296,17.78872 L19.17192,17.78872 L19.17192,16.97992 C19.17192,16.3888 19.1568,15.79792 19.10784,15.46 C18.954,14.39104 17.45352,14.22136 16.6956,14.76856 C16.45776,14.93944 16.27608,15.16816 16.17048,15.47536 C16.06392,15.7828 16.01088,16.2028 16.01088,16.73632 L16.01088,18.51472 C16.01136,21.47104 19.60224,21.0532 19.17384,18.5104 Z M14.35992,8.85568 C14.42448,9.01264 14.5248,9.13984 14.66088,9.23584 C14.79528,9.3304 14.96712,9.37792 15.17304,9.37792 C15.35352,9.37792 15.51336,9.3292 15.65256,9.22864 C15.79128,9.12856 15.90816,8.97904 16.00368,8.7796 L15.97992,9.27064 L17.37504,9.27064 L17.37504,3.3376 L16.2768,3.3376 L16.2768,7.9552 C16.2768,8.20528 16.07088,8.41 15.81912,8.41 C15.5688,8.41 15.36216,8.20528 15.36216,7.9552 L15.36216,3.3376 L14.21592,3.3376 L14.21592,7.33936 C14.21592,7.84912 14.22528,8.18896 14.2404,8.36128 C14.256,8.5324 14.29536,8.69656 14.35992,8.85568 Z M10.13208,5.5048 C10.13208,4.93528 10.1796,4.49056 10.27392,4.16992 C10.36896,3.85048 10.5396,3.59368 10.7868,3.4 C11.03328,3.20536 11.34888,3.10792 11.73264,3.10792 C12.05544,3.10792 12.33192,3.17128 12.5628,3.29536 C12.79488,3.42016 12.97392,3.58216 13.098,3.78208 C13.22448,3.98272 13.3104,4.18888 13.35624,4.39984 C13.40304,4.61368 13.42608,4.93624 13.42608,5.37136 L13.42608,6.87184 C13.42608,7.42216 13.404,7.82704 13.36104,8.08408 C13.31856,8.34184 13.22736,8.58088 13.086,8.80504 C12.9468,9.0268 12.76704,9.19264 12.54912,9.29848 C12.3288,9.40528 12.0768,9.4576 11.79216,9.4576 C11.47416,9.4576 11.20632,9.41368 10.98552,9.322 C10.764,9.2308 10.59288,9.09328 10.47096,8.91064 C10.34784,8.72776 10.2612,8.50504 10.20888,8.24536 C10.15632,7.98592 10.13136,7.59568 10.13136,7.0756 L10.13208,5.5048 L10.13208,5.5048 Z M11.2248,7.8616 C11.2248,8.1976 11.47488,8.47192 11.77944,8.47192 C12.08424,8.47192 12.33336,8.1976 12.33336,7.8616 L12.33336,4.7032 C12.33336,4.36768 12.08424,4.09336 11.77944,4.09336 C11.47488,4.09336 11.2248,4.36768 11.2248,4.7032 L11.2248,7.8616 Z M7.36368,9.4564 L8.67984,9.4564 L8.68128,4.906 L10.23648,1.00792 L8.79696,1.00792 L7.97016,3.90328 L7.1316,1 L5.70696,1 L7.36152,4.90816 L7.36368,9.4564 Z" id="path-1"></path>
</defs>
<g id="site" stroke="none" stroke-width="1" fill="none" fill-rule="evenodd">
<g id="styleguide" transform="translate(-585.000000, -84.000000)">
<g id="github-copy-3" transform="translate(572.000000, 73.000000)">
<g id="Icons/Socials/Youtube" transform="translate(10.000000, 10.000000)">
<rect id="Base" x="0" y="0" width="24" height="24"></rect>
<mask id="mask-2" fill="white">
<use xlink:href="#path-1"></use>
</mask>
<use id="YouTube" fill="#858695" fill-rule="nonzero" xlink:href="#path-1"></use>
<g id="grey" mask="url(#mask-2)" fill="#858695" fill-rule="evenodd">
<rect id="Rectangle" x="0" y="0" width="24" height="24"></rect>
</g>
</g>
</g>
</g>
</g>
</svg>
</div>
</a></li>
<li><a href="https://twitter.com/reachlang" target="_blank"><i class="fab fa-twitter"></i></a></li>
</ul>
</div>
</div>
</div>
</nav>
</div>
</header>
<section class="work-wrap">
<div class="container">
<h2>How It Works</h2>
<div class="work-content">
<p>
We believe that blockchains have not reached their full potential because no development environment provides these services.
Therefore, developers must provide for them on their own, which is expensive and error-prone.
</p>
</p>
<b>The Reach platform will enable</b> tens of millions of <b>developers to participate in the Blockchain community,</b>
rather than only the thousands that participate today, by drastically lowering the barrier to entry into blockchain and seriously raising the productivity of
DApp developers.
</p>
</div>
</div>
</section>
<section class="why-wrap">
<div class="container">
<h2>Why</h2>
<div class="why-list">
<div class="why-item">
<div class="number-container">
<div class="why-number"><span>1</span></div>
</div>
<div class="why-content">
<p>Traditional developers are not included in the blockchain movement today. </p>
<p>
Current blockchain development requires detailed knowledge of particular networks and cryptographic techniques.
This knowledge is not pervasive among traditional full-stack developers. Further, it is too expensive and risky to acquire because no blockchain
platform is perceived as “safe” or dominant.
</p>
</div>
</div>
<div class="why-item">
<div class="number-container">
<div class="why-number"><span>2</span></div>
</div>
<div class="why-content">
<p>DApps involve many cooperating components to deploy successfully and safely. </p>
<p>
The details of the smart contract, front-ends, and correctness proofs must all agree on every detail of
the program from the protocol details (like data formats and method API) to the logical operations of the program.
No existing DApp language allows all of these components to be specified at the same time or in a way that guarantees consistency.
</p>
</div>
</div>
<div class="why-item">
<div class="number-container">
<div class="why-number"><span>3</span></div>
</div>
<div class="why-content">
<p>DApps require a high standard of correctness because mistakes can automatically put great financial resources at risk (c.f. DAO hack). </p>
<p>
No existing DApp development environment incorporates formal verification of the distributed computation executed by the DApp.
</p>
</div>
</div>
</div>
</div>
</section>
<section class="how-wrap">
<div class="container">
<h2>How</h2>
<p>The Reach platform provides these three services via a <b>domain-specific language (DSL)</b> for specifying DApps and a specialized compiler that projects the specification into each of the output components while performing automatic verification of correctness properties. </p>
<div class="how-list">
<div class="how-item">
<div class="how-img">
<img src="images/high-icon.svg" alt="icon">
</div>
<div class="how-arrow">
<img src="images/arrow.svg" alt="icon">
</div>
<div class="how-content">
<p>High-Level Language</p>
<p>We allow the developer to write and think at the level of business logic, rather than at the level of the intricate details of a blockchain protocol.
Our DSL uses a subset of JavaScript to specify the entire DApp: the smart contract, the clients run on the front-end, the servers run on the back-end,
and all communication between all the pieces. Since the entire specification is in a single language, we enable any developer to quickly create,
reason about and deploy DApps.
</p>
</div>
</div>
<div class="how-item">
<div class="how-img">
<img src="images/blockchain-icon.svg" alt="icon">
</div>
<div class="how-arrow">
<img src="images/arrow.svg" alt="icon">
</div>
<div class="how-content">
<p>Blockchain Agnostic</p>
<p>We output the DApp to a generalized backend language, and we then use “connectors” to translate the backend language to the correct byte code,
while remaining faithful to the interfaces offered by actual networks. This allows a developer to build on any blockchain platform that would best serve the DApp.
</p>
</div>
</div>
<div class="how-item">
<div class="how-img">
<img src="images/safety-icon.svg" alt="icon">
</div>
<div class="how-arrow">
<img src="images/arrow.svg" alt="icon">
</div>
<div class="how-content">
<p>Safety Guarantees</p>
<p>We ensure that the DApp is free from errors without having to write tests of what the program should do. Instead, developers write down what their program
must not do, and we ensure that these bad outcomes never occur. The compiler uses type-checking, A Normal-Form transformation, information-flow security,
and end-point projection to derive each component correctly from the single specification. The compiler is integrated with a satisfiability-modulo-theories
(SMT) theorem prover (e.g. Z3) to automatically check the correctness of the application via developer-specific predicates, as well as automatically generated properties appropriate for all DApps.
</p>
</div>
</div>
</div>
</div>
</section>
<section class="button-wrap">
<div class="container">
<h3>Ready to make blockchain practical?</h3>
<div class="field-email">
<form action="https://reach.us4.list-manage.com/subscribe/post?u=ba39b9f0950146ad73e693181&id=cf5c573a1f" method="post" id="mc-embedded-subscribe-form" name="mc-embedded-subscribe-form" class="validate" target="_blank" novalidate>
<div class="control">
<input type="email" value="" name="EMAIL" class="email input" id="mce-EMAIL" placeholder="Enter your email" required>
<!-- real people should not fill this in and expect good things - do not remove this or risk form bot signups-->
<div style="position: absolute; left: -5000px;" aria-hidden="true"><input type="text" name="b_ba39b9f0950146ad73e693181_cf5c573a1f" tabindex="-1" value=""></div>
<input type="submit" value="Join Mailing List" name="subscribe" id="mc-embedded-subscribe" class="button btn">
</div>
</form>
</div>
</div>
</section>
<footer class="footer">
<div class="container">
<div class="columns is-tablet">
<div class="column is-2 footer-logo">
<a href="/">
<img src="images/Reach_vertical_dark_bg.svg" alt="footer logo">
</a>
</div>
<div class="column is-6">
<ul class="footer-list">
<li><a href="/">Home</a></li>
<li><a href="#">Learn More</a></li>
<li><a href="/resources.html">Resources</a></li>
<li><a href="/services.html">Services</a></li>
<li><a href="https://medium.com/reach-sh" rel="nofollow">Blog</a></li>
</ul>
</div>
<div class="column is-4 has-text-centered social-footer">
<p>Follow us on:</p>
<ul class="social-container">
<!-- <li><a href="https://t.me/reach_sh" target="_blank"><i class="fab fa-telegram-plane"></i></a></li> -->
<li><a href="https://discord.gg/AZsgcXu" target="_blank"><i class="fab fa-discord"></i></a></li>
<li><a href="https://github.com/reach-sh" target="_blank"><i class="fab fa-github"></i></a></li>
<li><a href="https://www.reddit.com/r/reach_sh" target="_blank"><i class="fab fa-reddit-alien"></i></a></li>
<li><a href="https://www.youtube.com/channel/UCnrHr0UG2pRkHCO-EloEkjw" target="_blank">
<div class="youtube-svg">
<?xml version="1.0" encoding="UTF-8"?>
<svg width="18px" height="22px" viewBox="0 0 18 22" version="1.1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<!-- Generator: Sketch 58 (84663) - https://sketch.com -->
<title>Youtube</title>
<desc>Created with Sketch.</desc>
<defs>
<path d="M18.22536,16.79968 L17.04,16.79968 L17.04552,16.11112 C17.04552,15.80512 17.2968,15.5548 17.60376,15.5548 L17.67936,15.5548 C17.98704,15.5548 18.23904,15.80512 18.23904,16.11112 L18.22536,16.79968 Z M13.77912,15.32416 C13.4784,15.32416 13.2324,15.52624 13.2324,15.77368 L13.2324,19.1224 C13.2324,19.36936 13.4784,19.57096 13.77912,19.57096 C14.08104,19.57096 14.32728,19.36936 14.32728,19.1224 L14.32728,15.77368 C14.32728,15.526 14.08104,15.32416 13.77912,15.32416 Z M21,13.45096 L21,19.82152 C21,21.3496 19.67496,22.6 18.0552,22.6 L5.94504,22.6 C4.3248,22.6 3,21.3496 3,19.82152 L3,13.45096 C3,11.92288 4.3248,10.67224 5.94504,10.67224 L18.0552,10.67224 C19.67496,10.67224 21,11.92288 21,13.45096 Z M6.75288,20.5132 L6.75192,13.80256 L8.25312,13.80304 L8.25312,12.80872 L4.25136,12.80272 L4.25136,13.78024 L5.50056,13.78384 L5.50056,20.5132 L6.75288,20.5132 Z M11.25288,14.80216 L10.00128,14.80216 L10.00128,18.3856 C10.00128,18.904 10.03272,19.1632 9.99936,19.25464 C9.8976,19.53256 9.44016,19.82776 9.26184,19.28464 C9.2316,19.1896 9.25824,18.9028 9.25776,18.41032 L9.25272,14.80216 L8.00808,14.80216 L8.01192,18.35368 C8.01288,18.898 7.99968,19.30384 8.01624,19.48864 C8.04672,19.81432 8.03592,20.194 8.33808,20.41096 C8.90112,20.81656 9.9804,20.35048 10.2504,19.77064 L10.248,20.51056 L11.25312,20.51176 L11.25288,14.80216 L11.25288,14.80216 Z M15.2568033,18.90568 L15.25416,15.9232 C15.2532,14.78656 14.40288,14.10592 13.24872,15.0256 L13.25376,12.80824 L12.0036,12.81016 L11.9976,20.46376 L13.02576,20.44888 L13.11936,19.97224 C14.43288,21.17728 15.25872,20.35144 15.2568033,18.90568 Z M19.17384,18.5104 L18.23544,18.51544 C18.23496,18.55264 18.23352,18.5956 18.23304,18.6424 L18.23304,19.16608 C18.23304,19.4464 18.00144,19.67464 17.72016,19.67464 L17.53632,19.67464 C17.25456,19.67464 17.02296,19.4464 17.02296,19.16608 L17.02296,19.108 L17.02296,18.532 L17.02296,17.78872 L19.17192,17.78872 L19.17192,16.97992 C19.17192,16.3888 19.1568,15.79792 19.10784,15.46 C18.954,14.39104 17.45352,14.22136 16.6956,14.76856 C16.45776,14.93944 16.27608,15.16816 16.17048,15.47536 C16.06392,15.7828 16.01088,16.2028 16.01088,16.73632 L16.01088,18.51472 C16.01136,21.47104 19.60224,21.0532 19.17384,18.5104 Z M14.35992,8.85568 C14.42448,9.01264 14.5248,9.13984 14.66088,9.23584 C14.79528,9.3304 14.96712,9.37792 15.17304,9.37792 C15.35352,9.37792 15.51336,9.3292 15.65256,9.22864 C15.79128,9.12856 15.90816,8.97904 16.00368,8.7796 L15.97992,9.27064 L17.37504,9.27064 L17.37504,3.3376 L16.2768,3.3376 L16.2768,7.9552 C16.2768,8.20528 16.07088,8.41 15.81912,8.41 C15.5688,8.41 15.36216,8.20528 15.36216,7.9552 L15.36216,3.3376 L14.21592,3.3376 L14.21592,7.33936 C14.21592,7.84912 14.22528,8.18896 14.2404,8.36128 C14.256,8.5324 14.29536,8.69656 14.35992,8.85568 Z M10.13208,5.5048 C10.13208,4.93528 10.1796,4.49056 10.27392,4.16992 C10.36896,3.85048 10.5396,3.59368 10.7868,3.4 C11.03328,3.20536 11.34888,3.10792 11.73264,3.10792 C12.05544,3.10792 12.33192,3.17128 12.5628,3.29536 C12.79488,3.42016 12.97392,3.58216 13.098,3.78208 C13.22448,3.98272 13.3104,4.18888 13.35624,4.39984 C13.40304,4.61368 13.42608,4.93624 13.42608,5.37136 L13.42608,6.87184 C13.42608,7.42216 13.404,7.82704 13.36104,8.08408 C13.31856,8.34184 13.22736,8.58088 13.086,8.80504 C12.9468,9.0268 12.76704,9.19264 12.54912,9.29848 C12.3288,9.40528 12.0768,9.4576 11.79216,9.4576 C11.47416,9.4576 11.20632,9.41368 10.98552,9.322 C10.764,9.2308 10.59288,9.09328 10.47096,8.91064 C10.34784,8.72776 10.2612,8.50504 10.20888,8.24536 C10.15632,7.98592 10.13136,7.59568 10.13136,7.0756 L10.13208,5.5048 L10.13208,5.5048 Z M11.2248,7.8616 C11.2248,8.1976 11.47488,8.47192 11.77944,8.47192 C12.08424,8.47192 12.33336,8.1976 12.33336,7.8616 L12.33336,4.7032 C12.33336,4.36768 12.08424,4.09336 11.77944,4.09336 C11.47488,4.09336 11.2248,4.36768 11.2248,4.7032 L11.2248,7.8616 Z M7.36368,9.4564 L8.67984,9.4564 L8.68128,4.906 L10.23648,1.00792 L8.79696,1.00792 L7.97016,3.90328 L7.1316,1 L5.70696,1 L7.36152,4.90816 L7.36368,9.4564 Z" id="path-1"></path>
</defs>
<g id="site" stroke="none" stroke-width="1" fill="none" fill-rule="evenodd">
<g id="styleguide" transform="translate(-585.000000, -84.000000)">
<g id="github-copy-3" transform="translate(572.000000, 73.000000)">
<g id="Icons/Socials/Youtube" transform="translate(10.000000, 10.000000)">
<rect id="Base" x="0" y="0" width="24" height="24"></rect>
<mask id="mask-2" fill="white">
<use xlink:href="#path-1"></use>
</mask>
<use id="YouTube" fill="#858695" fill-rule="nonzero" xlink:href="#path-1"></use>
<g id="grey" mask="url(#mask-2)" fill="#858695" fill-rule="evenodd">
<rect id="Rectangle" x="0" y="0" width="24" height="24"></rect>
</g>
</g>
</g>
</g>
</g>
</svg>
</div>
</a></li>
<li><a href="https://twitter.com/reachlang" target="_blank"><i class="fab fa-twitter"></i></a></li>
</ul>
</div>
</div>
</div>
<div class="container copyright-wrap has-text-centered">
<span>© Copyright 2021 Reach</span>
</div>
</footer>
<script type="text/javascript" src="lib/main.js"></script>
</body>
</html>