-
Notifications
You must be signed in to change notification settings - Fork 3
/
Copy pathdocumentation.html
152 lines (136 loc) · 10.4 KB
/
documentation.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
<!DOCTYPE html>
<html>
<head>
<!-- Global site tag (gtag.js) - Google Analytics -->
<script async src="https://www.googletagmanager.com/gtag/js?id=G-DG68B6L79K"></script>
<script>
window.dataLayer = window.dataLayer || [];
function gtag(){dataLayer.push(arguments);}
gtag('js', new Date());
gtag('config', 'G-DG68B6L79K');
</script>
<!-- <script type="text/javascript" src="https://rchain.atlassian.net/s/d41d8cd98f00b204e9800998ecf8427e-T/b4ichp/b/2/a44af77267a987a660377e5c46e0fb64/_/download/batch/com.atlassian.jira.collector.plugin.jira-issue-collector-plugin:issuecollector/com.atlassian.jira.collector.plugin.jira-issue-collector-plugin:issuecollector.js?locale=en-US&collectorId=16b975c9"></script> -->
<script src="js/jquery-3.3.1.min.js"></script>
<title>RChain Documentation</title>
<meta name="viewport" content="width=device-width, initial-scale=1.0" charset="UTF-8">
<meta name="google-site-verification" content="NvXu2Qnyi90bS-ubPtaorKKja1_p8SHfQ0zPoqG0sIg" />
<link rel='stylesheet' href='css/layout.css' />
<link rel='stylesheet' href='css/documentation.css' />
<link href="https://fonts.googleapis.com/css?family=Montserrat" rel="stylesheet">
<link href="https://fonts.googleapis.com/css?family=Lato" rel="stylesheet">
<link rel="shortcut icon" href="assets/favicon-red.png" />
<meta property="og:title" content="RChain Documentation" />
<meta property="og:type" content="website" />
<meta name="description" content="We're building a fundamentally new blockchain platform using Rholang, Casper, and LADL. Learn about what sets us apart from other blockchain platforms." />
<meta property="og:description" content="We're building a fundamentally new blockchain platform using Rholang, Casper, and LADL. Learn about what sets us apart from other blockchain platforms." />
<meta property="og:url" content="https://developer.rchain.coop/documentation" />
<meta property="og:image" content="https://developer.rchain.coop/assets/twitter-img.png" />
<meta name="twitter:card" content="summary_large_image" />
<meta name="twitter:title" content="RChain Documentation" />
<meta name="twitter:image" content="https://developer.rchain.coop/assets/twitter-img.png" />
<meta name="twitter:url" content="https://developer.rchain.coop/documentation" />
<meta name="twitter:description" content="We're building a fundamentally new blockchain platform using Rholang, Casper, and LADL. Learn about what sets us apart from other blockchain platforms." />
</head>
<body>
<div id="navOpen" onclick="navOpen()">
<div class="burger"></div>
<div class="burger"></div>
<div class="burger"></div>
</div>
<div class="nav" id="nav">
<div id="navClose" onclick="navClose()">X</div>
<div class="item" onclick="">
<a href="index.html">Home</a>
</div>
<div class="item" onclick="">
<a href="documentation.html">Documentation</a>
</div>
<!-- <div class="item" onclick=""> -->
<!-- <a href="/conference">Conference</a> -->
<!-- </div> -->
<div class="item" onclick="">
<a href="token-swap.html">REV Issuance</a>
</div>
<div class="item" onclick="">
<a href="https://rchain.coop" target="_blank">Rchain.Coop</a>
</div>
</div>
<div class="masthead">
<div id="logoWrapper">
<img src="assets/rchain-redwhite-logo.png" alt="rchain">
</div>
</div>
<div class="pageTitle">RChain Documentation</div>
<div class="main">
<div id="intro" class="g-cards section">
<div class="header expander">Introduction to RChain<span class="expandIcon">+</span><span class="collapseIcon">-</span></div>
<div class="expandable">
<div class="intro">RChain is a decentralized, economically sustainable public compute infrastructure. While the RChain design is inspired by that of earlier blockchains, it also realizes decades of research across the fields of concurrent and distributed computation, mathematics, and programming language design.</div>
<div class="item">
<a href="https://www.youtube.com/watch?v=f1D4vowiMiI" target="_blank" class="img"><img src="assets/video.svg">What is RChain all about?</a>
<a href="https://architecture-docs.readthedocs.io/index.html" target="_blank" class="img"><img src="assets/read.svg">RChain Platform Architecture</a>
<a href="https://rchain.atlassian.net/wiki/spaces/CORE/overview" target="_blank" class="img"><img src="assets/read.svg">RChain: Technical specifications and release plans</a>
<a href="https://blog.rchain.coop/" target="_blank" class="img">RChain Blog</a>
</div>
</div>
</div>
<div id="rholang" class="g-cards section">
<div class="header expander">Rholang<span class="expandIcon">+</span><span class="collapseIcon">-</span></div>
<div class="expandable">
<div class="intro">Rholang is a new language for writing smart contracts that run on the RChain platform.</div>
<div class="intro">The language is a reflective higher-order process calculus, based on Milner's asynchronous polyadic pi calculus. As such, it is inherently concurrent, which makes it better suited to distributed programming than languages based on Turing machines or Church's lambda calculus, which are inherently sequential.</div>
<div class="item">
<a href="assets/rholang-spec-0.2.pdf" target="_blank" class="img"><img src="assets/read.svg">Rholang specification</a>
<a href="http://developer.rchain.coop/tutorial">Rholang Tutorial</a>
<a href="assets/illegal moves.pdf" target="_blank" class="img"><img src="assets/read.svg">Clarifications on pattern-matching</a>
<a href="https://www.youtube.com/watch?v=fJuug_oECx8&feature=youtu.be" class="img"><img src="assets/video.svg">Rholang is Simple</a>
</div>
</div>
</div>
<div id="casper" class="g-cards section">
<div class="header expander">What is Casper?<span class="expandIcon">+</span><span class="collapseIcon">-</span></div>
<div class="expandable">
<div class="intro">Casper is a particular family of proof-of-stake algorithms with strong mathematical foundations first described by an Ethereum research group.</div>
<div class="item">
<a href="casper.html" class="img"><img src="assets/read.svg">What is Casper?</a>
<a href="https://rchain.atlassian.net/wiki/spaces/CORE/pages/92536846/Casper+for+RChain" class="img" target="_blank"><img src="assets/read.svg">Casper for RChain</a>
<a href="https://medium.com/rchain-cooperative/a-visualization-for-the-future-of-blockchain-consensus-b6710b2f50d6" class="watch" target="_blank" class="img"><img src="assets/read.svg">Correct-by-construction Casper: A Visualization for the Future of Blockchain Consensus</a>
<a href="https://github.com/ethereum/research/blob/master/papers/cbc-consensus/AbstractCBC.pdf" target="_blank" class="img"><img src="assets/read.svg">Casper the Friendly Ghost: A “Correct-by-Construction” Blockchain Consensus Protocol by Vlad Zamfir</a>
</div>
</div>
</div>
<div id="ladl" class="g-cards section">
<div class="header expander">What is LADL?<span class="expandIcon">+</span><span class="collapseIcon">-</span></div>
<div class="expandable">
<div class="intro">LADL is a process to create spatial-behavioral type systems. Such a system not only describes the structure of datatypes, but also the behavior of the processes.</div>
<div class="item">
<a href="ladl.html"><img src="assets/read.svg">What is LADL?</a>
<a href="https://www.youtube.com/watch?v=rZawYtTdObo" target="_blank" class="img"><img src="assets/video.svg">LADL algorithm and type theory</a>
<a href="https://link.springer.com/chapter/10.1007/11580850_19" class="watch" target="_blank" class="img"><img src="assets/read.svg">Namespace Logic</a>
<a href="https://arxiv.org/abs/1307.7766" class="watch" target="_blank" class="img"><img src="assets/read.svg">Policy as Types</a>
<a href="https://docs.google.com/document/d/1sGlObhGhoEizBXC30Ww4h1KHKGkmcy4NiCKitIBqiUg/edit#heading=h.9jt0is6s50ai" class="watch" target="_blank" class="img"><img src="assets/read.svg">DAO Attack Deep Dive</a>
</div>
</div>
</div>
</div>
<div id="footer">
<div class="footer-social">
<ul>
<li><a href="https://www.facebook.com/rchaincooperative/" target="_blank"><img src="assets/fb-circle.png"><span class="socialText">Facebook</span></a></li>
<li><a href="https://twitter.com/rchain_coop" target="_blank"><img src="assets/twitter-circle2.png"><span class="socialText">Twitter</span></a></li>
<li><a href="https://github.com/rchain" target="_blank"><img src="assets/github-circle.png"><span class="socialText">Github</span></a></li>
<li><a href="https://medium.com/rchain-cooperative" target="_blank"><img src="assets/medium-circle.png"><span class="socialText">Medium</span></a></li>
<li><a href="https://www.reddit.com/r/RChain/" target="_blank"><img src="assets/reddit-circle2.png"><span class="socialText">Reddit</span></a></li>
<li><a href="https://t.me/rchaincoop" target="_blank"><img src="assets/telegram2.png"><span class="socialText">Telegram</span></a></li>
<li><a href="https://discord.gg/NWkQnfH" target="_blank"><img src="assets/discord-circle.png"><span class="socialText">Discord</span></a></li>
<li><a href="https://www.youtube.com/channel/UCSS3jCffMiz574_q64Ukj_w" target="_blank"><img src="assets/youtube-circle.png"><span class="socialText">Youtube</span></a></li>
<li><a href="https://www.linkedin.com/company/rchain-cooperative/" target="_blank"><img src="assets/linkedin-circle.png"><span class="socialText">Linkedin</span></a></li>
</ul>
</div>
<script async data-uid="52c6186414" src="https://f.convertkit.com/52c6186414/c0b6054265.js"></script>
<div class="copy">© 2019 RChain Cooperative</div>
</div>
<script src="js/developer.rchain.js"></script>
<script src="documentation.html"></script>
</body>
</html>