[incubator-teaclave-website] branch asf-site updated: Update documentation

[mssun]

This is an automated email from the ASF dual-hosted git repository.

mssun pushed a commit to branch asf-site
in repository https://gitbox.apache.org/repos/asf/incubator-teaclave-website.git


The following commit(s) were added to refs/heads/asf-site by this push:
     new 3a7cbc9  Update documentation
3a7cbc9 is described below

commit 3a7cbc99af45c7c8f0074590bc3adfa0a33afe13
Author: Mingshen Sun <b...@mssun.me>
AuthorDate: Fri May 22 21:27:43 2020 -0700

    Update documentation
---
 404.html                                           |  6 +-
 assets/js/{12.75a77f64.js => 12.dde6fd75.js}       |  2 +-
 assets/js/{13.53fe6ffb.js => 13.8003bfdc.js}       |  2 +-
 assets/js/{14.982e7f59.js => 14.e7a066c1.js}       |  2 +-
 assets/js/{15.404953cf.js => 15.3ae932b7.js}       |  2 +-
 assets/js/16.838b6cab.js                           |  1 +
 assets/js/{16.16811c39.js => 17.7237a221.js}       |  2 +-
 assets/js/{17.3b53cab2.js => 18.484a652d.js}       |  2 +-
 assets/js/{18.cc672e9a.js => 19.43840dad.js}       |  2 +-
 assets/js/{19.7770d004.js => 20.513dfe69.js}       |  2 +-
 assets/js/{20.2db6b956.js => 21.5e6fc120.js}       |  2 +-
 assets/js/{21.83af2c39.js => 22.d858049f.js}       |  2 +-
 assets/js/{22.87cc6526.js => 23.60b1b1df.js}       |  2 +-
 assets/js/{23.5bd8248c.js => 24.3b471d58.js}       |  2 +-
 assets/js/{24.d5ad8f71.js => 25.06e856eb.js}       |  2 +-
 assets/js/{25.8bd7a31e.js => 26.6978babf.js}       |  2 +-
 assets/js/{26.5f001b9b.js => 27.8133683f.js}       |  2 +-
 assets/js/{27.0fac9036.js => 28.391af208.js}       |  2 +-
 assets/js/{3.5102bdf5.js => 3.d85925cb.js}         |  2 +-
 assets/js/{6.45a6f6d3.js => 6.857803c3.js}         |  2 +-
 assets/js/{7.04b069a1.js => 7.06059810.js}         |  2 +-
 assets/js/{8.96abfe2d.js => 8.cef6f42b.js}         |  2 +-
 assets/js/{app.f2909307.js => app.56c9d373.js}     |  4 +-
 cli/index.html                                     |  4 +-
 community/index.html                               |  4 +-
 config/index.html                                  |  4 +-
 contributors/index.html                            |  4 +-
 dcap/index.html                                    |  4 +-
 docker/index.html                                  |  4 +-
 .../third_party => docs/access-control}/index.html | 74 +++++++++++++++++-----
 docs/index.html                                    |  4 +-
 docs/mutual-attestation/index.html                 |  4 +-
 docs/my-first-function/index.html                  |  4 +-
 docs/rust-guildeline/index.html                    |  4 +-
 docs/threat-model/index.html                       |  4 +-
 executor/index.html                                |  4 +-
 index.html                                         |  4 +-
 keys/index.html                                    |  4 +-
 services/index.html                                |  4 +-
 teaclave/common/protected_fs_rs/index.html         |  4 +-
 teaclave/common/rusty_leveldb_sgx/index.html       |  4 +-
 teaclave/examples/index.html                       |  4 +-
 teaclave/index.html                                |  6 +-
 teaclave/sdk/index.html                            |  4 +-
 teaclave/tests/index.html                          |  4 +-
 teaclave/third_party/index.html                    |  4 +-
 worker/index.html                                  |  4 +-
 47 files changed, 130 insertions(+), 89 deletions(-)

diff --git a/404.html b/404.html
index 158c540..f419dfb 100644
--- a/404.html
+++ b/404.html
@@ -7,13 +7,13 @@
     <meta name="generator" content="VuePress 1.5.0">
     
     <meta name="description" content="Apache Teaclave (incubating) is an open 
source universal secure computing platform, making computation on 
privacy-sensitive data safe and simple.">
-    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.f2909307.js" 
as="script"><link rel="preload" href="/assets/js/4.ebc9842c.js" 
as="script"><link rel="prefetch" href="/assets/js/10.9e8c1487.js"><link 
rel="prefetch" href="/assets/js/11.adc2008f.js"><link rel="prefetch" 
href="/assets/js/12.75a77f64.js"><link rel="prefetch" 
href="/assets/js/13.53fe6ffb.js"><link rel="prefetch" 
href="/assets/js/14.982e7f59.js"><link rel="prefe [...]
+    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.56c9d373.js" 
as="script"><link rel="preload" href="/assets/js/4.ebc9842c.js" 
as="script"><link rel="prefetch" href="/assets/js/10.9e8c1487.js"><link 
rel="prefetch" href="/assets/js/11.adc2008f.js"><link rel="prefetch" 
href="/assets/js/12.dde6fd75.js"><link rel="prefetch" 
href="/assets/js/13.8003bfdc.js"><link rel="prefetch" 
href="/assets/js/14.e7a066c1.js"><link rel="prefe [...]
     <link rel="stylesheet" href="/assets/css/0.styles.1bb28a62.css">
   </head>
   <body>
-    <div id="app" data-server-rendered="true"><div 
class="theme-container"><div class="theme-default-content"><h1>404</h1> 
<blockquote>There's nothing here.</blockquote> <a href="/" 
class="router-link-active">
+    <div id="app" data-server-rendered="true"><div 
class="theme-container"><div class="theme-default-content"><h1>404</h1> 
<blockquote>How did we get here?</blockquote> <a href="/" 
class="router-link-active">
       Take me home.
     </a></div></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.f2909307.js" defer></script><script 
src="/assets/js/4.ebc9842c.js" defer></script>
+    <script src="/assets/js/app.56c9d373.js" defer></script><script 
src="/assets/js/4.ebc9842c.js" defer></script>
   </body>
 </html>
diff --git a/assets/js/12.75a77f64.js b/assets/js/12.dde6fd75.js
similarity index 97%
rename from assets/js/12.75a77f64.js
rename to assets/js/12.dde6fd75.js
index 685a369..8671a35 100644
--- a/assets/js/12.75a77f64.js
+++ b/assets/js/12.dde6fd75.js
@@ -1 +1 @@
-(window.webpackJsonp=window.webpackJsonp||[]).push([[12],{363:function(e,t,i){"use
 strict";i.r(t);var n=i(25),a=Object(n.a)({},(function(){var 
e=this,t=e.$createElement,i=e._self._c||t;return 
i("ContentSlotsDistributor",{attrs:{"slot-key":e.$parent.slotKey}},[i("h1",{attrs:{id:"configurations-in-teaclave"}},[i("a",{staticClass:"header-anchor",attrs:{href:"#configurations-in-teaclave"}},[e._v("#")]),e._v("
 Configurations in Teaclave")]),e._v(" "),i("p",[e._v("This Teaclave Config 
describe [...]
\ No newline at end of file
+(window.webpackJsonp=window.webpackJsonp||[]).push([[12],{369:function(e,t,i){"use
 strict";i.r(t);var n=i(25),a=Object(n.a)({},(function(){var 
e=this,t=e.$createElement,i=e._self._c||t;return 
i("ContentSlotsDistributor",{attrs:{"slot-key":e.$parent.slotKey}},[i("h1",{attrs:{id:"configurations-in-teaclave"}},[i("a",{staticClass:"header-anchor",attrs:{href:"#configurations-in-teaclave"}},[e._v("#")]),e._v("
 Configurations in Teaclave")]),e._v(" "),i("p",[e._v("This Teaclave Config 
describe [...]
\ No newline at end of file
diff --git a/assets/js/13.53fe6ffb.js b/assets/js/13.8003bfdc.js
similarity index 95%
rename from assets/js/13.53fe6ffb.js
rename to assets/js/13.8003bfdc.js
index f679e5c..12b2fb1 100644
--- a/assets/js/13.53fe6ffb.js
+++ b/assets/js/13.8003bfdc.js
@@ -1 +1 @@
-(window.webpackJsonp=window.webpackJsonp||[]).push([[13],{364:function(e,t,n){"use
 strict";n.r(t);var a=n(25),i=Object(a.a)({},(function(){var 
e=this,t=e.$createElement,n=e._self._c||t;return 
n("ContentSlotsDistributor",{attrs:{"slot-key":e.$parent.slotKey}},[n("h1",{attrs:{id:"data-center-attestation-service"}},[n("a",{staticClass:"header-anchor",attrs:{href:"#data-center-attestation-service"}},[e._v("#")]),e._v("
 Data Center Attestation Service")]),e._v(" "),n("p",[e._v("This directory [...]
\ No newline at end of file
+(window.webpackJsonp=window.webpackJsonp||[]).push([[13],{363:function(e,t,n){"use
 strict";n.r(t);var a=n(25),i=Object(a.a)({},(function(){var 
e=this,t=e.$createElement,n=e._self._c||t;return 
n("ContentSlotsDistributor",{attrs:{"slot-key":e.$parent.slotKey}},[n("h1",{attrs:{id:"data-center-attestation-service"}},[n("a",{staticClass:"header-anchor",attrs:{href:"#data-center-attestation-service"}},[e._v("#")]),e._v("
 Data Center Attestation Service")]),e._v(" "),n("p",[e._v("This directory [...]
\ No newline at end of file
diff --git a/assets/js/14.982e7f59.js b/assets/js/14.e7a066c1.js
similarity index 96%
rename from assets/js/14.982e7f59.js
rename to assets/js/14.e7a066c1.js
index acd128f..60924a8 100644
--- a/assets/js/14.982e7f59.js
+++ b/assets/js/14.e7a066c1.js
@@ -1 +1 @@
-(window.webpackJsonp=window.webpackJsonp||[]).push([[14],{365:function(e,t,a){"use
 strict";a.r(t);var n=a(25),r=Object(n.a)({},(function(){var 
e=this,t=e.$createElement,a=e._self._c||t;return 
a("ContentSlotsDistributor",{attrs:{"slot-key":e.$parent.slotKey}},[a("h1",{attrs:{id:"teaclave-docker"}},[a("a",{staticClass:"header-anchor",attrs:{href:"#teaclave-docker"}},[e._v("#")]),e._v("
 Teaclave Docker")]),e._v(" "),a("p",[e._v("This directory contains the docker 
infrastructure for build an [...]
\ No newline at end of file
+(window.webpackJsonp=window.webpackJsonp||[]).push([[14],{364:function(e,t,a){"use
 strict";a.r(t);var n=a(25),r=Object(n.a)({},(function(){var 
e=this,t=e.$createElement,a=e._self._c||t;return 
a("ContentSlotsDistributor",{attrs:{"slot-key":e.$parent.slotKey}},[a("h1",{attrs:{id:"teaclave-docker"}},[a("a",{staticClass:"header-anchor",attrs:{href:"#teaclave-docker"}},[e._v("#")]),e._v("
 Teaclave Docker")]),e._v(" "),a("p",[e._v("This directory contains the docker 
infrastructure for build an [...]
\ No newline at end of file
diff --git a/assets/js/15.404953cf.js b/assets/js/15.3ae932b7.js
similarity index 91%
rename from assets/js/15.404953cf.js
rename to assets/js/15.3ae932b7.js
index 2f3c717..fd4989d 100644
--- a/assets/js/15.404953cf.js
+++ b/assets/js/15.3ae932b7.js
@@ -1 +1 @@
-(window.webpackJsonp=window.webpackJsonp||[]).push([[15],{366:function(t,e,a){"use
 strict";a.r(e);var o=a(25),n=Object(o.a)({},(function(){var 
t=this,e=t.$createElement,a=t._self._c||e;return 
a("ContentSlotsDistributor",{attrs:{"slot-key":t.$parent.slotKey}},[a("h1",{attrs:{id:"teaclave-documentation"}},[a("a",{staticClass:"header-anchor",attrs:{href:"#teaclave-documentation"}},[t._v("#")]),t._v("
 Teaclave Documentation")]),t._v(" 
"),a("ul",[a("li",[a("RouterLink",{attrs:{to:"/teaclave/d [...]
\ No newline at end of file
+(window.webpackJsonp=window.webpackJsonp||[]).push([[15],{365:function(t,e,a){"use
 strict";a.r(e);var o=a(25),n=Object(o.a)({},(function(){var 
t=this,e=t.$createElement,a=t._self._c||e;return 
a("ContentSlotsDistributor",{attrs:{"slot-key":t.$parent.slotKey}},[a("h1",{attrs:{id:"teaclave-documentation"}},[a("a",{staticClass:"header-anchor",attrs:{href:"#teaclave-documentation"}},[t._v("#")]),t._v("
 Teaclave Documentation")]),t._v(" 
"),a("ul",[a("li",[a("RouterLink",{attrs:{to:"/teaclave/d [...]
\ No newline at end of file
diff --git a/assets/js/16.838b6cab.js b/assets/js/16.838b6cab.js
new file mode 100644
index 0000000..02e82ec
--- /dev/null
+++ b/assets/js/16.838b6cab.js
@@ -0,0 +1 @@
+(window.webpackJsonp=window.webpackJsonp||[]).push([[16],{366:function(e,a,t){"use
 strict";t.r(a);var s=t(25),n=Object(s.a)({},(function(){var 
e=this,a=e.$createElement,t=e._self._c||a;return 
t("ContentSlotsDistributor",{attrs:{"slot-key":e.$parent.slotKey}},[t("h1",{attrs:{id:"access-control-in-teaclave"}},[t("a",{staticClass:"header-anchor",attrs:{href:"#access-control-in-teaclave"}},[e._v("#")]),e._v("
 Access Control in Teaclave")]),e._v(" "),t("p",[e._v("Access control in 
multi-party [...]
\ No newline at end of file
diff --git a/assets/js/16.16811c39.js b/assets/js/17.7237a221.js
similarity index 97%
rename from assets/js/16.16811c39.js
rename to assets/js/17.7237a221.js
index a64f641..103fe71 100644
--- a/assets/js/16.16811c39.js
+++ b/assets/js/17.7237a221.js
@@ -1 +1 @@
-(window.webpackJsonp=window.webpackJsonp||[]).push([[16],{367:function(e,t,a){"use
 strict";a.r(t);var n=a(25),s=Object(n.a)({},(function(){var 
e=this,t=e.$createElement,a=e._self._c||t;return 
a("ContentSlotsDistributor",{attrs:{"slot-key":e.$parent.slotKey}},[a("h1",{attrs:{id:"mutual-attestation-why-and-how"}},[a("a",{staticClass:"header-anchor",attrs:{href:"#mutual-attestation-why-and-how"}},[e._v("#")]),e._v("
 Mutual Attestation: Why and How")]),e._v(" "),a("p",[e._v("The standard pro 
[...]
\ No newline at end of file
+(window.webpackJsonp=window.webpackJsonp||[]).push([[17],{367:function(e,t,a){"use
 strict";a.r(t);var n=a(25),s=Object(n.a)({},(function(){var 
e=this,t=e.$createElement,a=e._self._c||t;return 
a("ContentSlotsDistributor",{attrs:{"slot-key":e.$parent.slotKey}},[a("h1",{attrs:{id:"mutual-attestation-why-and-how"}},[a("a",{staticClass:"header-anchor",attrs:{href:"#mutual-attestation-why-and-how"}},[e._v("#")]),e._v("
 Mutual Attestation: Why and How")]),e._v(" "),a("p",[e._v("The standard pro 
[...]
\ No newline at end of file
diff --git a/assets/js/17.3b53cab2.js b/assets/js/18.484a652d.js
similarity index 99%
rename from assets/js/17.3b53cab2.js
rename to assets/js/18.484a652d.js
index a22a10c..f15c993 100644
--- a/assets/js/17.3b53cab2.js
+++ b/assets/js/18.484a652d.js
@@ -1 +1 @@
-(window.webpackJsonp=window.webpackJsonp||[]).push([[17],{368:function(e,t,a){"use
 strict";a.r(t);var n=a(25),s=Object(n.a)({},(function(){var 
e=this,t=e.$createElement,a=e._self._c||t;return 
a("ContentSlotsDistributor",{attrs:{"slot-key":e.$parent.slotKey}},[a("h1",{attrs:{id:"my-first-function"}},[a("a",{staticClass:"header-anchor",attrs:{href:"#my-first-function"}},[e._v("#")]),e._v("
 My First Function")]),e._v(" "),a("p",[e._v("This documentation will guide you 
through executing your [...]
\ No newline at end of file
+(window.webpackJsonp=window.webpackJsonp||[]).push([[18],{371:function(e,t,a){"use
 strict";a.r(t);var n=a(25),s=Object(n.a)({},(function(){var 
e=this,t=e.$createElement,a=e._self._c||t;return 
a("ContentSlotsDistributor",{attrs:{"slot-key":e.$parent.slotKey}},[a("h1",{attrs:{id:"my-first-function"}},[a("a",{staticClass:"header-anchor",attrs:{href:"#my-first-function"}},[e._v("#")]),e._v("
 My First Function")]),e._v(" "),a("p",[e._v("This documentation will guide you 
through executing your [...]
\ No newline at end of file
diff --git a/assets/js/18.cc672e9a.js b/assets/js/19.43840dad.js
similarity index 97%
rename from assets/js/18.cc672e9a.js
rename to assets/js/19.43840dad.js
index 2c787f2..e7d66c0 100644
--- a/assets/js/18.cc672e9a.js
+++ b/assets/js/19.43840dad.js
@@ -1 +1 @@
-(window.webpackJsonp=window.webpackJsonp||[]).push([[18],{369:function(e,t,a){"use
 strict";a.r(t);var n=a(25),r=Object(n.a)({},(function(){var 
e=this,t=e.$createElement,a=e._self._c||t;return 
a("ContentSlotsDistributor",{attrs:{"slot-key":e.$parent.slotKey}},[a("h1",{attrs:{id:"rust-development-guideline"}},[a("a",{staticClass:"header-anchor",attrs:{href:"#rust-development-guideline"}},[e._v("#")]),e._v("
 Rust Development Guideline")]),e._v(" "),a("p",[e._v("This doc defines some 
guideli [...]
\ No newline at end of file
+(window.webpackJsonp=window.webpackJsonp||[]).push([[19],{368:function(e,t,a){"use
 strict";a.r(t);var n=a(25),r=Object(n.a)({},(function(){var 
e=this,t=e.$createElement,a=e._self._c||t;return 
a("ContentSlotsDistributor",{attrs:{"slot-key":e.$parent.slotKey}},[a("h1",{attrs:{id:"rust-development-guideline"}},[a("a",{staticClass:"header-anchor",attrs:{href:"#rust-development-guideline"}},[e._v("#")]),e._v("
 Rust Development Guideline")]),e._v(" "),a("p",[e._v("This doc defines some 
guideli [...]
\ No newline at end of file
diff --git a/assets/js/19.7770d004.js b/assets/js/20.513dfe69.js
similarity index 97%
rename from assets/js/19.7770d004.js
rename to assets/js/20.513dfe69.js
index fddc857..03c9b0e 100644
--- a/assets/js/19.7770d004.js
+++ b/assets/js/20.513dfe69.js
@@ -1 +1 @@
-(window.webpackJsonp=window.webpackJsonp||[]).push([[19],{370:function(e,t,n){"use
 strict";n.r(t);var a=n(25),o=Object(a.a)({},(function(){var 
e=this,t=e.$createElement,n=e._self._c||t;return 
n("ContentSlotsDistributor",{attrs:{"slot-key":e.$parent.slotKey}},[n("h1",{attrs:{id:"threat-model"}},[n("a",{staticClass:"header-anchor",attrs:{href:"#threat-model"}},[e._v("#")]),e._v("
 Threat Model")]),e._v(" "),n("p",[e._v("With its strongest security setting 
applied, Teaclave guarantees data\n [...]
\ No newline at end of file
+(window.webpackJsonp=window.webpackJsonp||[]).push([[20],{370:function(e,t,n){"use
 strict";n.r(t);var a=n(25),o=Object(a.a)({},(function(){var 
e=this,t=e.$createElement,n=e._self._c||t;return 
n("ContentSlotsDistributor",{attrs:{"slot-key":e.$parent.slotKey}},[n("h1",{attrs:{id:"threat-model"}},[n("a",{staticClass:"header-anchor",attrs:{href:"#threat-model"}},[e._v("#")]),e._v("
 Threat Model")]),e._v(" "),n("p",[e._v("With its strongest security setting 
applied, Teaclave guarantees data\n [...]
\ No newline at end of file
diff --git a/assets/js/20.2db6b956.js b/assets/js/21.5e6fc120.js
similarity index 75%
rename from assets/js/20.2db6b956.js
rename to assets/js/21.5e6fc120.js
index ab2cd93..f9cf9f9 100644
--- a/assets/js/20.2db6b956.js
+++ b/assets/js/21.5e6fc120.js
@@ -1 +1 @@
-(window.webpackJsonp=window.webpackJsonp||[]).push([[20],{371:function(t,e,s){"use
 strict";s.r(e);var n=s(25),l=Object(n.a)({},(function(){var 
t=this.$createElement,e=this._self._c||t;return 
e("ContentSlotsDistributor",{attrs:{"slot-key":this.$parent.slotKey}},[e("p",[this._v("examples")])])}),[],!1,null,null,null);e.default=l.exports}}]);
\ No newline at end of file
+(window.webpackJsonp=window.webpackJsonp||[]).push([[21],{373:function(t,e,s){"use
 strict";s.r(e);var n=s(25),l=Object(n.a)({},(function(){var 
t=this.$createElement,e=this._self._c||t;return 
e("ContentSlotsDistributor",{attrs:{"slot-key":this.$parent.slotKey}},[e("p",[this._v("examples")])])}),[],!1,null,null,null);e.default=l.exports}}]);
\ No newline at end of file
diff --git a/assets/js/21.83af2c39.js b/assets/js/22.d858049f.js
similarity index 93%
rename from assets/js/21.83af2c39.js
rename to assets/js/22.d858049f.js
index dbaabef..6697b6b 100644
--- a/assets/js/21.83af2c39.js
+++ b/assets/js/22.d858049f.js
@@ -1 +1 @@
-(window.webpackJsonp=window.webpackJsonp||[]).push([[21],{372:function(e,t,n){"use
 strict";n.r(t);var i=n(25),o=Object(i.a)({},(function(){var 
e=this,t=e.$createElement,n=e._self._c||t;return 
n("ContentSlotsDistributor",{attrs:{"slot-key":e.$parent.slotKey}},[n("h1",{attrs:{id:"function-executors"}},[n("a",{staticClass:"header-anchor",attrs:{href:"#function-executors"}},[e._v("#")]),e._v("
 Function Executors")]),e._v(" "),n("p",[e._v("Function executor is one of the 
core component in a F [...]
\ No newline at end of file
+(window.webpackJsonp=window.webpackJsonp||[]).push([[22],{372:function(e,t,n){"use
 strict";n.r(t);var i=n(25),o=Object(i.a)({},(function(){var 
e=this,t=e.$createElement,n=e._self._c||t;return 
n("ContentSlotsDistributor",{attrs:{"slot-key":e.$parent.slotKey}},[n("h1",{attrs:{id:"function-executors"}},[n("a",{staticClass:"header-anchor",attrs:{href:"#function-executors"}},[e._v("#")]),e._v("
 Function Executors")]),e._v(" "),n("p",[e._v("Function executor is one of the 
core component in a F [...]
\ No newline at end of file
diff --git a/assets/js/22.87cc6526.js b/assets/js/23.60b1b1df.js
similarity index 95%
rename from assets/js/22.87cc6526.js
rename to assets/js/23.60b1b1df.js
index d2b8f57..0dd22f2 100644
--- a/assets/js/22.87cc6526.js
+++ b/assets/js/23.60b1b1df.js
@@ -1 +1 @@
-(window.webpackJsonp=window.webpackJsonp||[]).push([[22],{373:function(e,t,a){"use
 strict";a.r(t);var r=a(25),n=Object(r.a)({},(function(){var 
e=this,t=e.$createElement,a=e._self._c||t;return 
a("ContentSlotsDistributor",{attrs:{"slot-key":e.$parent.slotKey}},[a("h1",{attrs:{id:"keys-and-certificates-in-teaclave"}},[a("a",{staticClass:"header-anchor",attrs:{href:"#keys-and-certificates-in-teaclave"}},[e._v("#")]),e._v("
 Keys and Certificates in Teaclave")]),e._v(" "),a("p",[e._v("This dir [...]
\ No newline at end of file
+(window.webpackJsonp=window.webpackJsonp||[]).push([[23],{374:function(e,t,a){"use
 strict";a.r(t);var r=a(25),n=Object(r.a)({},(function(){var 
e=this,t=e.$createElement,a=e._self._c||t;return 
a("ContentSlotsDistributor",{attrs:{"slot-key":e.$parent.slotKey}},[a("h1",{attrs:{id:"keys-and-certificates-in-teaclave"}},[a("a",{staticClass:"header-anchor",attrs:{href:"#keys-and-certificates-in-teaclave"}},[e._v("#")]),e._v("
 Keys and Certificates in Teaclave")]),e._v(" "),a("p",[e._v("This dir [...]
\ No newline at end of file
diff --git a/assets/js/23.5bd8248c.js b/assets/js/24.3b471d58.js
similarity index 76%
rename from assets/js/23.5bd8248c.js
rename to assets/js/24.3b471d58.js
index 339546c..5ce26d2 100644
--- a/assets/js/23.5bd8248c.js
+++ b/assets/js/24.3b471d58.js
@@ -1 +1 @@
-(window.webpackJsonp=window.webpackJsonp||[]).push([[23],{374:function(t,s,e){"use
 strict";e.r(s);var n=e(25),l=Object(n.a)({},(function(){var 
t=this.$createElement,s=this._self._c||t;return 
s("ContentSlotsDistributor",{attrs:{"slot-key":this.$parent.slotKey}},[s("p",[this._v("sdk")])])}),[],!1,null,null,null);s.default=l.exports}}]);
\ No newline at end of file
+(window.webpackJsonp=window.webpackJsonp||[]).push([[24],{375:function(t,s,e){"use
 strict";e.r(s);var n=e(25),l=Object(n.a)({},(function(){var 
t=this.$createElement,s=this._self._c||t;return 
s("ContentSlotsDistributor",{attrs:{"slot-key":this.$parent.slotKey}},[s("p",[this._v("sdk")])])}),[],!1,null,null,null);s.default=l.exports}}]);
\ No newline at end of file
diff --git a/assets/js/24.d5ad8f71.js b/assets/js/25.06e856eb.js
similarity index 98%
rename from assets/js/24.d5ad8f71.js
rename to assets/js/25.06e856eb.js
index baa61f3..abdbc17 100644
--- a/assets/js/24.d5ad8f71.js
+++ b/assets/js/25.06e856eb.js
@@ -1 +1 @@
-(window.webpackJsonp=window.webpackJsonp||[]).push([[24],{375:function(e,t,n){"use
 strict";n.r(t);var s=n(25),a=Object(s.a)({},(function(){var 
e=this,t=e.$createElement,n=e._self._c||t;return 
n("ContentSlotsDistributor",{attrs:{"slot-key":e.$parent.slotKey}},[n("h1",{attrs:{id:"teaclave-services"}},[n("a",{staticClass:"header-anchor",attrs:{href:"#teaclave-services"}},[e._v("#")]),e._v("
 Teaclave Services")]),e._v(" "),n("p",[e._v("This directory contains protocol 
definitions and impleme [...]
\ No newline at end of file
+(window.webpackJsonp=window.webpackJsonp||[]).push([[25],{376:function(e,t,n){"use
 strict";n.r(t);var s=n(25),a=Object(s.a)({},(function(){var 
e=this,t=e.$createElement,n=e._self._c||t;return 
n("ContentSlotsDistributor",{attrs:{"slot-key":e.$parent.slotKey}},[n("h1",{attrs:{id:"teaclave-services"}},[n("a",{staticClass:"header-anchor",attrs:{href:"#teaclave-services"}},[e._v("#")]),e._v("
 Teaclave Services")]),e._v(" "),n("p",[e._v("This directory contains protocol 
definitions and impleme [...]
\ No newline at end of file
diff --git a/assets/js/25.8bd7a31e.js b/assets/js/26.6978babf.js
similarity index 96%
rename from assets/js/25.8bd7a31e.js
rename to assets/js/26.6978babf.js
index 1cfcafc..2e8fec3 100644
--- a/assets/js/25.8bd7a31e.js
+++ b/assets/js/26.6978babf.js
@@ -1 +1 @@
-(window.webpackJsonp=window.webpackJsonp||[]).push([[25],{376:function(t,e,s){"use
 strict";s.r(e);var n=s(25),a=Object(n.a)({},(function(){var 
t=this,e=t.$createElement,s=t._self._c||e;return 
s("ContentSlotsDistributor",{attrs:{"slot-key":t.$parent.slotKey}},[s("h1",{attrs:{id:"tests-in-teaclave"}},[s("a",{staticClass:"header-anchor",attrs:{href:"#tests-in-teaclave"}},[t._v("#")]),t._v("
 Tests in Teaclave")]),t._v(" "),s("p",[t._v("This directory contains all tests 
in Teaclave including  [...]
\ No newline at end of file
+(window.webpackJsonp=window.webpackJsonp||[]).push([[26],{377:function(t,e,s){"use
 strict";s.r(e);var n=s(25),a=Object(n.a)({},(function(){var 
t=this,e=t.$createElement,s=t._self._c||e;return 
s("ContentSlotsDistributor",{attrs:{"slot-key":t.$parent.slotKey}},[s("h1",{attrs:{id:"tests-in-teaclave"}},[s("a",{staticClass:"header-anchor",attrs:{href:"#tests-in-teaclave"}},[t._v("#")]),t._v("
 Tests in Teaclave")]),t._v(" "),s("p",[t._v("This directory contains all tests 
in Teaclave including  [...]
\ No newline at end of file
diff --git a/assets/js/26.5f001b9b.js b/assets/js/27.8133683f.js
similarity index 97%
rename from assets/js/26.5f001b9b.js
rename to assets/js/27.8133683f.js
index 71422f7..4fe7b93 100644
--- a/assets/js/26.5f001b9b.js
+++ b/assets/js/27.8133683f.js
@@ -1 +1 @@
-(window.webpackJsonp=window.webpackJsonp||[]).push([[26],{377:function(e,t,n){"use
 strict";n.r(t);var a=n(25),r=Object(a.a)({},(function(){var 
e=this,t=e.$createElement,n=e._self._c||t;return 
n("ContentSlotsDistributor",{attrs:{"slot-key":e.$parent.slotKey}},[n("h1",{attrs:{id:"dependencies-and-rust-packages-crates-vendoring"}},[n("a",{staticClass:"header-anchor",attrs:{href:"#dependencies-and-rust-packages-crates-vendoring"}},[e._v("#")]),e._v("
 Dependencies and Rust Packages (Crates) V [...]
\ No newline at end of file
+(window.webpackJsonp=window.webpackJsonp||[]).push([[27],{378:function(e,t,n){"use
 strict";n.r(t);var a=n(25),r=Object(a.a)({},(function(){var 
e=this,t=e.$createElement,n=e._self._c||t;return 
n("ContentSlotsDistributor",{attrs:{"slot-key":e.$parent.slotKey}},[n("h1",{attrs:{id:"dependencies-and-rust-packages-crates-vendoring"}},[n("a",{staticClass:"header-anchor",attrs:{href:"#dependencies-and-rust-packages-crates-vendoring"}},[e._v("#")]),e._v("
 Dependencies and Rust Packages (Crates) V [...]
\ No newline at end of file
diff --git a/assets/js/27.0fac9036.js b/assets/js/28.391af208.js
similarity index 95%
rename from assets/js/27.0fac9036.js
rename to assets/js/28.391af208.js
index 84a2f7a..546e665 100644
--- a/assets/js/27.0fac9036.js
+++ b/assets/js/28.391af208.js
@@ -1 +1 @@
-(window.webpackJsonp=window.webpackJsonp||[]).push([[27],{378:function(e,t,r){"use
 strict";r.r(t);var n=r(25),a=Object(n.a)({},(function(){var 
e=this,t=e.$createElement,r=e._self._c||t;return 
r("ContentSlotsDistributor",{attrs:{"slot-key":e.$parent.slotKey}},[r("h1",{attrs:{id:"teaclave-worker"}},[r("a",{staticClass:"header-anchor",attrs:{href:"#teaclave-worker"}},[e._v("#")]),e._v("
 Teaclave Worker")]),e._v(" "),r("p",[e._v("The worker layer in Teaclave is a 
thin layer to manage executo [...]
\ No newline at end of file
+(window.webpackJsonp=window.webpackJsonp||[]).push([[28],{379:function(e,t,r){"use
 strict";r.r(t);var n=r(25),a=Object(n.a)({},(function(){var 
e=this,t=e.$createElement,r=e._self._c||t;return 
r("ContentSlotsDistributor",{attrs:{"slot-key":e.$parent.slotKey}},[r("h1",{attrs:{id:"teaclave-worker"}},[r("a",{staticClass:"header-anchor",attrs:{href:"#teaclave-worker"}},[e._v("#")]),e._v("
 Teaclave Worker")]),e._v(" "),r("p",[e._v("The worker layer in Teaclave is a 
thin layer to manage executo [...]
\ No newline at end of file
diff --git a/assets/js/3.5102bdf5.js b/assets/js/3.d85925cb.js
similarity index 85%
rename from assets/js/3.5102bdf5.js
rename to assets/js/3.d85925cb.js
index 7653182..a2cf340 100644
--- a/assets/js/3.5102bdf5.js
+++ b/assets/js/3.d85925cb.js
@@ -1 +1 @@
-(window.webpackJsonp=window.webpackJsonp||[]).push([[3],{324:function(t,e,n){},353:function(t,e,n){"use
 strict";var i=n(324);n.n(i).a},379:function(t,e,n){"use strict";n.r(e);var 
i={functional:!0,props:{type:{type:String,default:"tip"},text:String,vertical:{type:String,default:"top"}},render:function(t,e){var
 n=e.props,i=e.slots;return 
t("span",{class:["badge",n.type],style:{verticalAlign:n.vertical}},n.text||i().default)}},r=(n(353),n(25)),a=Object(r.a)(i,void
 0,void 0,!1,null,"385f24c3 [...]
\ No newline at end of file
+(window.webpackJsonp=window.webpackJsonp||[]).push([[3],{324:function(t,e,n){},353:function(t,e,n){"use
 strict";var i=n(324);n.n(i).a},380:function(t,e,n){"use strict";n.r(e);var 
i={functional:!0,props:{type:{type:String,default:"tip"},text:String,vertical:{type:String,default:"top"}},render:function(t,e){var
 n=e.props,i=e.slots;return 
t("span",{class:["badge",n.type],style:{verticalAlign:n.vertical}},n.text||i().default)}},r=(n(353),n(25)),a=Object(r.a)(i,void
 0,void 0,!1,null,"385f24c3 [...]
\ No newline at end of file
diff --git a/assets/js/6.45a6f6d3.js b/assets/js/6.857803c3.js
similarity index 97%
rename from assets/js/6.45a6f6d3.js
rename to assets/js/6.857803c3.js
index a134219..55f3332 100644
--- a/assets/js/6.45a6f6d3.js
+++ b/assets/js/6.857803c3.js
@@ -1 +1 @@
-(window.webpackJsonp=window.webpackJsonp||[]).push([[6],{357:function(t,e,a){"use
 strict";a.r(e);var r=a(25),n=Object(r.a)({},(function(){var 
t=this,e=t.$createElement,a=t._self._c||e;return 
a("ContentSlotsDistributor",{attrs:{"slot-key":t.$parent.slotKey}},[a("h1",{attrs:{id:"community"}},[a("a",{staticClass:"header-anchor",attrs:{href:"#community"}},[t._v("#")]),t._v("
 Community")]),t._v(" "),a("p",[t._v("Welcome to the Teaclave community. Here 
are several ways that you can get involve [...]
\ No newline at end of file
+(window.webpackJsonp=window.webpackJsonp||[]).push([[6],{358:function(t,e,a){"use
 strict";a.r(e);var r=a(25),n=Object(r.a)({},(function(){var 
t=this,e=t.$createElement,a=t._self._c||e;return 
a("ContentSlotsDistributor",{attrs:{"slot-key":t.$parent.slotKey}},[a("h1",{attrs:{id:"community"}},[a("a",{staticClass:"header-anchor",attrs:{href:"#community"}},[t._v("#")]),t._v("
 Community")]),t._v(" "),a("p",[t._v("Welcome to the Teaclave community. Here 
are several ways that you can get involve [...]
\ No newline at end of file
diff --git a/assets/js/7.04b069a1.js b/assets/js/7.06059810.js
similarity index 98%
rename from assets/js/7.04b069a1.js
rename to assets/js/7.06059810.js
index f927ce0..d78ecf3 100644
--- a/assets/js/7.04b069a1.js
+++ b/assets/js/7.06059810.js
@@ -1 +1 @@
-(window.webpackJsonp=window.webpackJsonp||[]).push([[7],{358:function(e,t,r){"use
 strict";r.r(t);var n=r(25),o=Object(n.a)({},(function(){var 
e=this,t=e.$createElement,r=e._self._c||t;return 
r("ContentSlotsDistributor",{attrs:{"slot-key":e.$parent.slotKey}},[r("h1",{attrs:{id:"contributors"}},[r("a",{staticClass:"header-anchor",attrs:{href:"#contributors"}},[e._v("#")]),e._v("
 Contributors")]),e._v(" "),r("p",[e._v("Teaclave adopts 
"),r("a",{attrs:{href:"https://www.apache.org/theapachew [...]
\ No newline at end of file
+(window.webpackJsonp=window.webpackJsonp||[]).push([[7],{357:function(e,t,r){"use
 strict";r.r(t);var n=r(25),o=Object(n.a)({},(function(){var 
e=this,t=e.$createElement,r=e._self._c||t;return 
r("ContentSlotsDistributor",{attrs:{"slot-key":e.$parent.slotKey}},[r("h1",{attrs:{id:"contributors"}},[r("a",{staticClass:"header-anchor",attrs:{href:"#contributors"}},[e._v("#")]),e._v("
 Contributors")]),e._v(" "),r("p",[e._v("Teaclave adopts 
"),r("a",{attrs:{href:"https://www.apache.org/theapachew [...]
\ No newline at end of file
diff --git a/assets/js/8.96abfe2d.js b/assets/js/8.cef6f42b.js
similarity index 67%
rename from assets/js/8.96abfe2d.js
rename to assets/js/8.cef6f42b.js
index 6e577be..e2440fb 100644
--- a/assets/js/8.96abfe2d.js
+++ b/assets/js/8.cef6f42b.js
@@ -1 +1 @@
-(window.webpackJsonp=window.webpackJsonp||[]).push([[8],{359:function(e,t,a){"use
 strict";a.r(t);var r=a(25),s=Object(r.a)({},(function(){var 
e=this,t=e.$createElement,a=e._self._c||t;return 
a("ContentSlotsDistributor",{attrs:{"slot-key":e.$parent.slotKey}},[a("h1",{attrs:{id:"teaclave-a-universal-secure-computing-platform"}},[a("a",{staticClass:"header-anchor",attrs:{href:"#teaclave-a-universal-secure-computing-platform"}},[e._v("#")]),e._v("
 Teaclave: A Universal Secure Computing Platf [...]
\ No newline at end of file
+(window.webpackJsonp=window.webpackJsonp||[]).push([[8],{359:function(e,t,a){"use
 strict";a.r(t);var r=a(25),s=Object(r.a)({},(function(){var 
e=this,t=e.$createElement,a=e._self._c||t;return 
a("ContentSlotsDistributor",{attrs:{"slot-key":e.$parent.slotKey}},[a("h1",{attrs:{id:"teaclave-a-universal-secure-computing-platform"}},[a("a",{staticClass:"header-anchor",attrs:{href:"#teaclave-a-universal-secure-computing-platform"}},[e._v("#")]),e._v("
 Teaclave: A Universal Secure Computing Platf [...]
\ No newline at end of file
diff --git a/assets/js/app.f2909307.js b/assets/js/app.56c9d373.js
similarity index 76%
rename from assets/js/app.f2909307.js
rename to assets/js/app.56c9d373.js
index 4390d8f..3cc25d7 100644
--- a/assets/js/app.f2909307.js
+++ b/assets/js/app.56c9d373.js
@@ -1,4 +1,4 @@
-(window.webpackJsonp=window.webpackJsonp||[]).push([[0],[]]);!function(t){function
 e(e){for(var 
r,a,c=e[0],u=e[1],s=e[2],l=0,p=[];l<c.length;l++)a=c[l],Object.prototype.hasOwnProperty.call(o,a)&&o[a]&&p.push(o[a][0]),o[a]=0;for(r
 in 
u)Object.prototype.hasOwnProperty.call(u,r)&&(t[r]=u[r]);for(f&&f(e);p.length;)p.shift()();return
 i.push.apply(i,s||[]),n()}function n(){for(var t,e=0;e<i.length;e++){for(var 
n=i[e],r=!0,c=1;c<n.length;c++){var 
u=n[c];0!==o[u]&&(r=!1)}r&&(i.splice(e--,1),t=a( [...]
+(window.webpackJsonp=window.webpackJsonp||[]).push([[0],[]]);!function(t){function
 e(e){for(var 
r,a,c=e[0],u=e[1],s=e[2],l=0,p=[];l<c.length;l++)a=c[l],Object.prototype.hasOwnProperty.call(o,a)&&o[a]&&p.push(o[a][0]),o[a]=0;for(r
 in 
u)Object.prototype.hasOwnProperty.call(u,r)&&(t[r]=u[r]);for(f&&f(e);p.length;)p.shift()();return
 i.push.apply(i,s||[]),n()}function n(){for(var t,e=0;e<i.length;e++){for(var 
n=i[e],r=!0,c=1;c<n.length;c++){var 
u=n[c];0!==o[u]&&(r=!1)}r&&(i.splice(e--,1),t=a( [...]
 /* NProgress, (c) 2013, 2014 Rico Sta. Cruz - http://ricostacruz.com/nprogress
  * @license MIT */void 0===(o="function"==typeof(r=function(){var 
t,e,n={version:"0.2.0"},r=n.settings={minimum:.08,easing:"ease",positionUsing:"",speed:200,trickle:!0,trickleRate:.02,trickleSpeed:800,showSpinner:!0,barSelector:'[role="bar"]',spinnerSelector:'[role="spinner"]',parent:"body",template:'<div
 class="bar" role="bar"><div class="peg"></div></div><div class="spinner" 
role="spinner"><div class="spinner-icon"></div></div>'};function 
o(t,e,n){return t<e?e:t>n?n:t}function i(t){ret [...]
 /*!
@@ -10,4 +10,4 @@
   * vue-router v3.1.6
   * (c) 2020 Evan You
   * @license MIT
-  */function Io(t){return 
Object.prototype.toString.call(t).indexOf("Error")>-1}function Mo(t,e){return e 
instanceof t||e&&(e.name===t.name||e._name===t._name)}function No(t,e){for(var 
n in e)t[n]=e[n];return t}var 
Do={name:"RouterView",functional:!0,props:{name:{type:String,default:"default"}},render:function(t,e){var
 n=e.props,r=e.children,o=e.parent,i=e.data;i.routerView=!0;for(var 
a=o.$createElement,c=n.name,u=o.$route,s=o._routerViewCache||(o._routerViewCache={}),f=0,l=!1;o&&o._rout
 [...]
\ No newline at end of file
+  */function Io(t){return 
Object.prototype.toString.call(t).indexOf("Error")>-1}function Mo(t,e){return e 
instanceof t||e&&(e.name===t.name||e._name===t._name)}function No(t,e){for(var 
n in e)t[n]=e[n];return t}var 
Do={name:"RouterView",functional:!0,props:{name:{type:String,default:"default"}},render:function(t,e){var
 n=e.props,r=e.children,o=e.parent,i=e.data;i.routerView=!0;for(var 
a=o.$createElement,c=n.name,u=o.$route,s=o._routerViewCache||(o._routerViewCache={}),f=0,l=!1;o&&o._rout
 [...]
\ No newline at end of file
diff --git a/cli/index.html b/cli/index.html
index 85133be..2b49e97 100644
--- a/cli/index.html
+++ b/cli/index.html
@@ -7,7 +7,7 @@
     <meta name="generator" content="VuePress 1.5.0">
     
     <meta name="description" content="Apache Teaclave (incubating) is an open 
source universal secure computing platform, making computation on 
privacy-sensitive data safe and simple.">
-    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.f2909307.js" 
as="script"><link rel="preload" href="/assets/js/2.9317b79a.js" 
as="script"><link rel="preload" href="/assets/js/9.62caa342.js" 
as="script"><link rel="prefetch" href="/assets/js/10.9e8c1487.js"><link 
rel="prefetch" href="/assets/js/11.adc2008f.js"><link rel="prefetch" 
href="/assets/js/12.75a77f64.js"><link rel="prefetch" 
href="/assets/js/13.53fe6ffb.js"><link  [...]
+    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.56c9d373.js" 
as="script"><link rel="preload" href="/assets/js/2.9317b79a.js" 
as="script"><link rel="preload" href="/assets/js/9.62caa342.js" 
as="script"><link rel="prefetch" href="/assets/js/10.9e8c1487.js"><link 
rel="prefetch" href="/assets/js/11.adc2008f.js"><link rel="prefetch" 
href="/assets/js/12.dde6fd75.js"><link rel="prefetch" 
href="/assets/js/13.8003bfdc.js"><link  [...]
     <link rel="stylesheet" href="/assets/css/0.styles.1bb28a62.css">
   </head>
   <body>
@@ -59,6 +59,6 @@
 interactive with the platform. The command line tool has several 
subcommands:</p> <ul><li>encrypt/decrypt: These two subcommands are to 
encrypt/decrypt data used on the
 platform. Supported algorithms include AES-GCM (128bit and 256 bit), and
 Teaclave File (128bit).</li></ul></div> <footer class="page-edit"><!----> 
<!----></footer> <!----> </main></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.f2909307.js" defer></script><script 
src="/assets/js/2.9317b79a.js" defer></script><script 
src="/assets/js/9.62caa342.js" defer></script>
+    <script src="/assets/js/app.56c9d373.js" defer></script><script 
src="/assets/js/2.9317b79a.js" defer></script><script 
src="/assets/js/9.62caa342.js" defer></script>
   </body>
 </html>
diff --git a/community/index.html b/community/index.html
index da238d1..66c683c 100644
--- a/community/index.html
+++ b/community/index.html
@@ -7,7 +7,7 @@
     <meta name="generator" content="VuePress 1.5.0">
     
     <meta name="description" content="Apache Teaclave (incubating) is an open 
source universal secure computing platform, making computation on 
privacy-sensitive data safe and simple.">
-    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.f2909307.js" 
as="script"><link rel="preload" href="/assets/js/2.9317b79a.js" 
as="script"><link rel="preload" href="/assets/js/6.45a6f6d3.js" 
as="script"><link rel="prefetch" href="/assets/js/10.9e8c1487.js"><link 
rel="prefetch" href="/assets/js/11.adc2008f.js"><link rel="prefetch" 
href="/assets/js/12.75a77f64.js"><link rel="prefetch" 
href="/assets/js/13.53fe6ffb.js"><link  [...]
+    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.56c9d373.js" 
as="script"><link rel="preload" href="/assets/js/2.9317b79a.js" 
as="script"><link rel="preload" href="/assets/js/6.857803c3.js" 
as="script"><link rel="prefetch" href="/assets/js/10.9e8c1487.js"><link 
rel="prefetch" href="/assets/js/11.adc2008f.js"><link rel="prefetch" 
href="/assets/js/12.dde6fd75.js"><link rel="prefetch" 
href="/assets/js/13.8003bfdc.js"><link  [...]
     <link rel="stylesheet" href="/assets/css/0.styles.1bb28a62.css">
   </head>
   <body>
@@ -70,6 +70,6 @@ library. The domain: Trusted and Untrusted App in Rust.</li> 
<li><a href="https:
 prototype of Crypto.com Chain.</li> <li><a 
href="https://github.com/occlum/occlum"; target="_blank" rel="noopener 
noreferrer">Occlum<svg xmlns="http://www.w3.org/2000/svg"; aria-hidden="true" 
x="0px" y="0px" viewBox="0 0 100 100" width="15" height="15" class="icon 
outbound"><path fill="currentColor" 
d="M18.8,85.1h56l0,0c2.2,0,4-1.8,4-4v-32h-8v28h-48v-48h28v-8h-32l0,0c-2.2,0-4,1.8-4,4v56C14.8,83.3,16.6,85.1,18.8,85.1z"></path>
 <polygon fill="currentColor" points="45.7,48.7 51.3,54.3 77.2,28 [...]
 multi-process library OS for Intel SGX.</li> <li><a 
href="https://github.com/scs/substraTEE"; target="_blank" rel="noopener 
noreferrer">substraTEE<svg xmlns="http://www.w3.org/2000/svg"; 
aria-hidden="true" x="0px" y="0px" viewBox="0 0 100 100" width="15" height="15" 
class="icon outbound"><path fill="currentColor" 
d="M18.8,85.1h56l0,0c2.2,0,4-1.8,4-4v-32h-8v28h-48v-48h28v-8h-32l0,0c-2.2,0-4,1.8-4,4v56C14.8,83.3,16.6,85.1,18.8,85.1z"></path>
 <polygon fill="currentColor" points="45.7,48.7 51. [...]
 Framework for substrate blockchains.</li></ul></div> <footer 
class="page-edit"><!----> <!----></footer> <!----> </main></div><div 
class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.f2909307.js" defer></script><script 
src="/assets/js/2.9317b79a.js" defer></script><script 
src="/assets/js/6.45a6f6d3.js" defer></script>
+    <script src="/assets/js/app.56c9d373.js" defer></script><script 
src="/assets/js/2.9317b79a.js" defer></script><script 
src="/assets/js/6.857803c3.js" defer></script>
   </body>
 </html>
diff --git a/config/index.html b/config/index.html
index 02b5148..017a5c8 100644
--- a/config/index.html
+++ b/config/index.html
@@ -7,7 +7,7 @@
     <meta name="generator" content="VuePress 1.5.0">
     
     <meta name="description" content="Apache Teaclave (incubating) is an open 
source universal secure computing platform, making computation on 
privacy-sensitive data safe and simple.">
-    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.f2909307.js" 
as="script"><link rel="preload" href="/assets/js/2.9317b79a.js" 
as="script"><link rel="preload" href="/assets/js/12.75a77f64.js" 
as="script"><link rel="prefetch" href="/assets/js/10.9e8c1487.js"><link 
rel="prefetch" href="/assets/js/11.adc2008f.js"><link rel="prefetch" 
href="/assets/js/13.53fe6ffb.js"><link rel="prefetch" 
href="/assets/js/14.982e7f59.js"><link [...]
+    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.56c9d373.js" 
as="script"><link rel="preload" href="/assets/js/2.9317b79a.js" 
as="script"><link rel="preload" href="/assets/js/12.dde6fd75.js" 
as="script"><link rel="prefetch" href="/assets/js/10.9e8c1487.js"><link 
rel="prefetch" href="/assets/js/11.adc2008f.js"><link rel="prefetch" 
href="/assets/js/13.8003bfdc.js"><link rel="prefetch" 
href="/assets/js/14.e7a066c1.js"><link [...]
     <link rel="stylesheet" href="/assets/css/0.styles.1bb28a62.css">
   </head>
   <body>
@@ -87,6 +87,6 @@ configuration must be defined as a build config.</p></div> 
<footer class="page-e
       </a>
       →
     </span></p></div> </main></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.f2909307.js" defer></script><script 
src="/assets/js/2.9317b79a.js" defer></script><script 
src="/assets/js/12.75a77f64.js" defer></script>
+    <script src="/assets/js/app.56c9d373.js" defer></script><script 
src="/assets/js/2.9317b79a.js" defer></script><script 
src="/assets/js/12.dde6fd75.js" defer></script>
   </body>
 </html>
diff --git a/contributors/index.html b/contributors/index.html
index c223f19..6429cd5 100644
--- a/contributors/index.html
+++ b/contributors/index.html
@@ -7,7 +7,7 @@
     <meta name="generator" content="VuePress 1.5.0">
     
     <meta name="description" content="Apache Teaclave (incubating) is an open 
source universal secure computing platform, making computation on 
privacy-sensitive data safe and simple.">
-    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.f2909307.js" 
as="script"><link rel="preload" href="/assets/js/2.9317b79a.js" 
as="script"><link rel="preload" href="/assets/js/7.04b069a1.js" 
as="script"><link rel="prefetch" href="/assets/js/10.9e8c1487.js"><link 
rel="prefetch" href="/assets/js/11.adc2008f.js"><link rel="prefetch" 
href="/assets/js/12.75a77f64.js"><link rel="prefetch" 
href="/assets/js/13.53fe6ffb.js"><link  [...]
+    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.56c9d373.js" 
as="script"><link rel="preload" href="/assets/js/2.9317b79a.js" 
as="script"><link rel="preload" href="/assets/js/7.06059810.js" 
as="script"><link rel="prefetch" href="/assets/js/10.9e8c1487.js"><link 
rel="prefetch" href="/assets/js/11.adc2008f.js"><link rel="prefetch" 
href="/assets/js/12.dde6fd75.js"><link rel="prefetch" 
href="/assets/js/13.8003bfdc.js"><link  [...]
     <link rel="stylesheet" href="/assets/css/0.styles.1bb28a62.css">
   </head>
   <body>
@@ -60,6 +60,6 @@ Everyone is more than welcome to contribute and make the 
project better.</p> <h2
 following mentors.</p> <ul><li>Felix Cheung</li> <li>Furkan Kamaci</li> 
<li>Jianyong Dai</li> <li>Luciano Resende</li> <li>Matt Sicker</li> <li>Zhijie 
Shen</li></ul> <h2 id="committers"><a href="#committers" 
class="header-anchor">#</a> Committers</h2> <p>Committers are people who have 
made substantial contribution to the project and
 being active. Podling Project Management Committee (PPMC) helps to govern the
 project and is directly responsible for the oversight of Teaclave.</p> 
<ul><li><a href="https://github.com/mssun"; target="_blank" rel="noopener 
noreferrer">Mingshen Sun<svg xmlns="http://www.w3.org/2000/svg"; 
aria-hidden="true" x="0px" y="0px" viewBox="0 0 100 100" width="15" height="15" 
class="icon outbound"><path fill="currentColor" 
d="M18.8,85.1h56l0,0c2.2,0,4-1.8,4-4v-32h-8v28h-48v-48h28v-8h-32l0,0c-2.2,0-4,1.8-4,4v56C14.8,83.3,16.6,85.1,18.8,85.1z"></path>
 <polygon fill="currentColor [...]
-    <script src="/assets/js/app.f2909307.js" defer></script><script 
src="/assets/js/2.9317b79a.js" defer></script><script 
src="/assets/js/7.04b069a1.js" defer></script>
+    <script src="/assets/js/app.56c9d373.js" defer></script><script 
src="/assets/js/2.9317b79a.js" defer></script><script 
src="/assets/js/7.06059810.js" defer></script>
   </body>
 </html>
diff --git a/dcap/index.html b/dcap/index.html
index 3f49644..97c50ed 100644
--- a/dcap/index.html
+++ b/dcap/index.html
@@ -7,7 +7,7 @@
     <meta name="generator" content="VuePress 1.5.0">
     
     <meta name="description" content="Apache Teaclave (incubating) is an open 
source universal secure computing platform, making computation on 
privacy-sensitive data safe and simple.">
-    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.f2909307.js" 
as="script"><link rel="preload" href="/assets/js/2.9317b79a.js" 
as="script"><link rel="preload" href="/assets/js/13.53fe6ffb.js" 
as="script"><link rel="prefetch" href="/assets/js/10.9e8c1487.js"><link 
rel="prefetch" href="/assets/js/11.adc2008f.js"><link rel="prefetch" 
href="/assets/js/12.75a77f64.js"><link rel="prefetch" 
href="/assets/js/14.982e7f59.js"><link [...]
+    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.56c9d373.js" 
as="script"><link rel="preload" href="/assets/js/2.9317b79a.js" 
as="script"><link rel="preload" href="/assets/js/13.8003bfdc.js" 
as="script"><link rel="prefetch" href="/assets/js/10.9e8c1487.js"><link 
rel="prefetch" href="/assets/js/11.adc2008f.js"><link rel="prefetch" 
href="/assets/js/12.dde6fd75.js"><link rel="prefetch" 
href="/assets/js/14.e7a066c1.js"><link [...]
     <link rel="stylesheet" href="/assets/css/0.styles.1bb28a62.css">
   </head>
   <body>
@@ -77,6 +77,6 @@ DCAP-enabled application.</p></div> <footer 
class="page-edit"><!----> <!----></f
       </a>
       →
     </span></p></div> </main></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.f2909307.js" defer></script><script 
src="/assets/js/2.9317b79a.js" defer></script><script 
src="/assets/js/13.53fe6ffb.js" defer></script>
+    <script src="/assets/js/app.56c9d373.js" defer></script><script 
src="/assets/js/2.9317b79a.js" defer></script><script 
src="/assets/js/13.8003bfdc.js" defer></script>
   </body>
 </html>
diff --git a/docker/index.html b/docker/index.html
index 1645a1f..10f94cb 100644
--- a/docker/index.html
+++ b/docker/index.html
@@ -7,7 +7,7 @@
     <meta name="generator" content="VuePress 1.5.0">
     
     <meta name="description" content="Apache Teaclave (incubating) is an open 
source universal secure computing platform, making computation on 
privacy-sensitive data safe and simple.">
-    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.f2909307.js" 
as="script"><link rel="preload" href="/assets/js/2.9317b79a.js" 
as="script"><link rel="preload" href="/assets/js/14.982e7f59.js" 
as="script"><link rel="prefetch" href="/assets/js/10.9e8c1487.js"><link 
rel="prefetch" href="/assets/js/11.adc2008f.js"><link rel="prefetch" 
href="/assets/js/12.75a77f64.js"><link rel="prefetch" 
href="/assets/js/13.53fe6ffb.js"><link [...]
+    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.56c9d373.js" 
as="script"><link rel="preload" href="/assets/js/2.9317b79a.js" 
as="script"><link rel="preload" href="/assets/js/14.e7a066c1.js" 
as="script"><link rel="prefetch" href="/assets/js/10.9e8c1487.js"><link 
rel="prefetch" href="/assets/js/11.adc2008f.js"><link rel="prefetch" 
href="/assets/js/12.dde6fd75.js"><link rel="prefetch" 
href="/assets/js/13.8003bfdc.js"><link [...]
     <link rel="stylesheet" href="/assets/css/0.styles.1bb28a62.css">
   </head>
   <body>
@@ -99,6 +99,6 @@ Attaching to ...
       <a href="/keys/" class="prev">
         Keys and Certificates in Teaclave
       </a></span> <!----></p></div> </main></div><div 
class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.f2909307.js" defer></script><script 
src="/assets/js/2.9317b79a.js" defer></script><script 
src="/assets/js/14.982e7f59.js" defer></script>
+    <script src="/assets/js/app.56c9d373.js" defer></script><script 
src="/assets/js/2.9317b79a.js" defer></script><script 
src="/assets/js/14.e7a066c1.js" defer></script>
   </body>
 </html>
diff --git a/teaclave/third_party/index.html b/docs/access-control/index.html
similarity index 62%
copy from teaclave/third_party/index.html
copy to docs/access-control/index.html
index 97544c6..6f98461 100644
--- a/teaclave/third_party/index.html
+++ b/docs/access-control/index.html
@@ -3,11 +3,11 @@
   <head>
     <meta charset="utf-8">
     <meta name="viewport" content="width=device-width,initial-scale=1">
-    <title>Dependencies and Rust Packages (Crates) Vendoring | Apache Teaclave 
(Incubating)</title>
+    <title>Access Control in Teaclave | Apache Teaclave (Incubating)</title>
     <meta name="generator" content="VuePress 1.5.0">
     
     <meta name="description" content="Apache Teaclave (incubating) is an open 
source universal secure computing platform, making computation on 
privacy-sensitive data safe and simple.">
-    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.f2909307.js" 
as="script"><link rel="preload" href="/assets/js/2.9317b79a.js" 
as="script"><link rel="preload" href="/assets/js/26.5f001b9b.js" 
as="script"><link rel="prefetch" href="/assets/js/10.9e8c1487.js"><link 
rel="prefetch" href="/assets/js/11.adc2008f.js"><link rel="prefetch" 
href="/assets/js/12.75a77f64.js"><link rel="prefetch" 
href="/assets/js/13.53fe6ffb.js"><link [...]
+    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.56c9d373.js" 
as="script"><link rel="preload" href="/assets/js/2.9317b79a.js" 
as="script"><link rel="preload" href="/assets/js/16.838b6cab.js" 
as="script"><link rel="prefetch" href="/assets/js/10.9e8c1487.js"><link 
rel="prefetch" href="/assets/js/11.adc2008f.js"><link rel="prefetch" 
href="/assets/js/12.dde6fd75.js"><link rel="prefetch" 
href="/assets/js/13.8003bfdc.js"><link [...]
     <link rel="stylesheet" href="/assets/css/0.styles.1bb28a62.css">
   </head>
   <body>
@@ -55,20 +55,60 @@
   Thanks
   <svg xmlns="http://www.w3.org/2000/svg"; aria-hidden="true" x="0px" y="0px" 
viewBox="0 0 100 100" width="15" height="15" class="icon outbound"><path 
fill="currentColor" 
d="M18.8,85.1h56l0,0c2.2,0,4-1.8,4-4v-32h-8v28h-48v-48h28v-8h-32l0,0c-2.2,0-4,1.8-4,4v56C14.8,83.3,16.6,85.1,18.8,85.1z"></path>
 <polygon fill="currentColor" points="45.7,48.7 51.3,54.3 77.2,28.5 77.2,37.2 
85.2,37.2 85.2,14.9 62.8,14.9 62.8,22.9 71.5,22.9"></polygon></svg></a></li><li 
class="dropdown-item"><!----> <a hre [...]
   Current Event
-  <svg xmlns="http://www.w3.org/2000/svg"; aria-hidden="true" x="0px" y="0px" 
viewBox="0 0 100 100" width="15" height="15" class="icon outbound"><path 
fill="currentColor" 
d="M18.8,85.1h56l0,0c2.2,0,4-1.8,4-4v-32h-8v28h-48v-48h28v-8h-32l0,0c-2.2,0-4,1.8-4,4v56C14.8,83.3,16.6,85.1,18.8,85.1z"></path>
 <polygon fill="currentColor" points="45.7,48.7 51.3,54.3 77.2,28.5 77.2,37.2 
85.2,37.2 85.2,14.9 62.8,14.9 62.8,22.9 
71.5,22.9"></polygon></svg></a></li></ul></div></div> <!----></nav>  <ul cla 
[...]
-possibility of the <a href="https://en.wikipedia.org/wiki/Supply_chain_attack"; 
target="_blank" rel="noopener noreferrer">supply chain
-attack<svg xmlns="http://www.w3.org/2000/svg"; aria-hidden="true" x="0px" 
y="0px" viewBox="0 0 100 100" width="15" height="15" class="icon 
outbound"><path fill="currentColor" 
d="M18.8,85.1h56l0,0c2.2,0,4-1.8,4-4v-32h-8v28h-48v-48h28v-8h-32l0,0c-2.2,0-4,1.8-4,4v56C14.8,83.3,16.6,85.1,18.8,85.1z"></path>
 <polygon fill="currentColor" points="45.7,48.7 51.3,54.3 77.2,28.5 77.2,37.2 
85.2,37.2 85.2,14.9 62.8,14.9 62.8,22.9 71.5,22.9"></polygon></svg></a>, we 
vendored all TEE
-dependencies here.  During the build process, the trusted components will only
-consumes packages from this designated repository and will not download any 
code
-from external sources such as <a href="https://crates.io"; target="_blank" 
rel="noopener noreferrer">crates.io<svg xmlns="http://www.w3.org/2000/svg"; 
aria-hidden="true" x="0px" y="0px" viewBox="0 0 100 100" width="15" height="15" 
class="icon outbound"><path fill="currentColor" 
d="M18.8,85.1h56l0,0c2.2,0,4-1.8,4-4v-32h-8v28h-48v-48h28v-8h-32l0,0c-2.2,0-4,1.8-4,4v56C14.8,83.3,16.6,85.1,18.8,85.1z"></path>
 <polygon fill="currentColor" points="45.7,48.7 51.3,54.3 77.2,28.5 77.2,37.2 
85.2,37.2 [...]
-the following steps:</p> <ol><li>Add the crates you need in the corresponding 
Cargo.toml (e.g.
-<a href="https://github.com/mesalock-linux/crates-sgx/blob/master/Cargo.toml"; 
target="_blank" rel="noopener noreferrer">crates-sgx/Cargo.toml<svg 
xmlns="http://www.w3.org/2000/svg"; aria-hidden="true" x="0px" y="0px" 
viewBox="0 0 100 100" width="15" height="15" class="icon outbound"><path 
fill="currentColor" 
d="M18.8,85.1h56l0,0c2.2,0,4-1.8,4-4v-32h-8v28h-48v-48h28v-8h-32l0,0c-2.2,0-4,1.8-4,4v56C14.8,83.3,16.6,85.1,18.8,85.1z"></path>
 <polygon fill="currentColor" points="45.7,48.7 51.3,54 [...]
-and update the crate list in the README.txt (e.g.
-<a href="https://github.com/mesalock-linux/crates-sgx/blob/master/README.txt"; 
target="_blank" rel="noopener noreferrer">crates-sgx/README.txt<svg 
xmlns="http://www.w3.org/2000/svg"; aria-hidden="true" x="0px" y="0px" 
viewBox="0 0 100 100" width="15" height="15" class="icon outbound"><path 
fill="currentColor" 
d="M18.8,85.1h56l0,0c2.2,0,4-1.8,4-4v-32h-8v28h-48v-48h28v-8h-32l0,0c-2.2,0-4,1.8-4,4v56C14.8,83.3,16.6,85.1,18.8,85.1z"></path>
 <polygon fill="currentColor" points="45.7,48.7 51.3,54 [...]
-You may also utilize
-<a href="https://github.com/mesalock-linux/crates-sgx/blob/master/Makefile"; 
target="_blank" rel="noopener noreferrer">crates-sgx/Makefile<svg 
xmlns="http://www.w3.org/2000/svg"; aria-hidden="true" x="0px" y="0px" 
viewBox="0 0 100 100" width="15" height="15" class="icon outbound"><path 
fill="currentColor" 
d="M18.8,85.1h56l0,0c2.2,0,4-1.8,4-4v-32h-8v28h-48v-48h28v-8h-32l0,0c-2.2,0-4,1.8-4,4v56C14.8,83.3,16.6,85.1,18.8,85.1z"></path>
 <polygon fill="currentColor" points="45.7,48.7 51.3,54.3 7 [...]
-for automation.</li> <li><code>git add/commit</code> the changes of
-Cargo.toml/Cargo.lock/config/README.txt/vendor and submit a pull 
request.</li></ol></div> <footer class="page-edit"><!----> <!----></footer> 
<!----> </main></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.f2909307.js" defer></script><script 
src="/assets/js/2.9317b79a.js" defer></script><script 
src="/assets/js/26.5f001b9b.js" defer></script>
+  <svg xmlns="http://www.w3.org/2000/svg"; aria-hidden="true" x="0px" y="0px" 
viewBox="0 0 100 100" width="15" height="15" class="icon outbound"><path 
fill="currentColor" 
d="M18.8,85.1h56l0,0c2.2,0,4-1.8,4-4v-32h-8v28h-48v-48h28v-8h-32l0,0c-2.2,0-4,1.8-4,4v56C14.8,83.3,16.6,85.1,18.8,85.1z"></path>
 <polygon fill="currentColor" points="45.7,48.7 51.3,54.3 77.2,28.5 77.2,37.2 
85.2,37.2 85.2,14.9 62.8,14.9 62.8,22.9 
71.5,22.9"></polygon></svg></a></li></ul></div></div> <!----></nav>  <ul cla 
[...]
+Unlike in traditional settings where only one entitiy, group, or role is
+involved in an action, in multi-party computation tasks an access is aproved or
+denified by combinging the decisions of all stakeholders. Ownership is also
+set-like, because the result of a joint computation task very likely belongs to
+all parties that have provided data.</p> <p>We found that access control 
models in conventional systems like RBAC and ABAC
+are not powerful enough to govern data usages in Teaclave. Therefore, we
+invented our own access control model and mechanism.</p> <h2 id="model"><a 
href="#model" class="header-anchor">#</a> Model</h2> <p>The access control 
model of Teaclave is configured through the file
+<a href="../../services/access_control/model.conf">model.conf</a>.  The file 
has three
+sections:</p> <ul><li>requests</li> <li>terms</li> <li>matchers</li></ul> 
<p>Before diving into the details about how our access control model works, we
+recommend readers learn about <a 
href="https://en.wikipedia.org/wiki/Logic_programming"; target="_blank" 
rel="noopener noreferrer">logic
+programming<svg xmlns="http://www.w3.org/2000/svg"; aria-hidden="true" x="0px" 
y="0px" viewBox="0 0 100 100" width="15" height="15" class="icon 
outbound"><path fill="currentColor" 
d="M18.8,85.1h56l0,0c2.2,0,4-1.8,4-4v-32h-8v28h-48v-48h28v-8h-32l0,0c-2.2,0-4,1.8-4,4v56C14.8,83.3,16.6,85.1,18.8,85.1z"></path>
 <polygon fill="currentColor" points="45.7,48.7 51.3,54.3 77.2,28.5 77.2,37.2 
85.2,37.2 85.2,14.9 62.8,14.9 62.8,22.9 71.5,22.9"></polygon></svg></a> first, 
because
+our model configuration language is actually a home-baked tiny logic
+programming language.</p> <h3 id="request"><a href="#request" 
class="header-anchor">#</a> request</h3> <p>A request is a query that should be 
answered by the access control service. The
+response is either &quot;approved&quot; or &quot;denied.&quot; A request is 
defined as a tuple of
+any arity. For example,</p> <div class="language- extra-class"><pre 
class="language-text"><code>[requests]
+task_access_data = task, data
+</code></pre></div><p>defines a request called <code>task_access_data</code> 
which contains two fields named
+<code>usr</code> and <code>data</code>. This request can mean a task with the 
id <code>task</code> wants to
+access a piece of data hosted by Teaclave whose id is <code>data</code>.</p> 
<h3 id="term"><a href="#term" class="header-anchor">#</a> term</h3> <p>Terms 
are relations over certain domains. Each term can be viewed as a table
+storing facts about the entities revelant to the access control logic. For
+example,</p> <div class="language- extra-class"><pre 
class="language-text"><code>[terms]
+data_owner = data, usr
+task_participant = task, usr
+</code></pre></div><p>For the <code>task_access_data</code> request, there are 
three relevant domains: <code>data</code>,
+<code>usr</code>, and <code>task</code>. Furthermore, two relations are 
required by Teaclave to make
+a decision, which are</p> <ul><li><code>data_owner</code> relation over 
(<code>data</code> X <code>usr</code>), denoting which user owns
+a piece of data.</li> <li><code>task_participant</code> relation over 
(<code>task</code> X <code>usr</code>), denoting which
+users are the participants of a joint computation task.</li></ul> <p>An 
instance of the database describing the two terms could be</p> <div 
class="language- extra-class"><pre class="language-text"><code>data_owner 
data_1, usr_1
+data_owner data_2, usr_1
+data_owner data_2, usr_2
+
+task_participant task_1 usr_1
+task_participant task_1 usr_2
+</code></pre></div><p>The facts stored in this database instance indicate that 
<code>data_1</code> is owned
+exclusively by <code>usr_1</code>, while <code>data_2</code> is owned by 
<code>usr_1</code> and <code>usr_2</code>
+together. The facts also indicates that <code>task_1</code> has two 
participants, i.e.,
+<code>usr_1</code> and <code>usr_2</code>.</p> <h3 id="matcher"><a 
href="#matcher" class="header-anchor">#</a> matcher</h3> <p>The core logic used 
by Teaclave to resolve a request is defined as a matcher.
+We define the matcher for <code>task_access_data</code> request as the 
following</p> <div class="language- extra-class"><pre 
class="language-text"><code>[matcher]
+task_access_data = data_owner(task_access_data.data, _) &lt;= 
task_participant(task_access_data.task, _)
+</code></pre></div><p><code>data_owner(task_access_data.data, _)</code> and
+<code>task_participant(task_access_data.task, _)</code> are term queries. The 
return value
+of <code>data_owner(task_access_data.data, _)</code> is a subset of the 
<code>usr</code> domain,
+where each value <code>u</code> in the fact meets the condition that</p> <div 
class="language- extra-class"><pre class="language-text"><code>data_owern 
task_access_data.data u
+</code></pre></div><p>is in the terms database. <code>_</code> is called the 
query wild card and <code>&lt;=</code> is the
+subset operator. Therefore, the matcher basically means that, <em>the request 
for
+<code>task</code> to access <code>data</code> is approved only if all owners 
of <code>data</code> are have
+articipated in <code>task</code></em>.</p> <h2 id="implementation"><a 
href="#implementation" class="header-anchor">#</a> Implementation</h2> <p>The 
access control module of Teaclave is implemented as a standalone service.
+Other components should send RPC requests to the service and get access control
+decisions as RPC responses.</p> <p>The model configuration parser and request 
resolution engine are written in
+Python, powered by MesaPy. The access control service of Teaclave is a nice
+showcase of what MesaPy is capable of.</p> <p>The implementation is purely 
experimental at this point. The performance is not
+optimized and the engine is likely not robust enough to avoid crashes while
+dealing with badly shaped requests. Contributions are welcome!</p></div> 
<footer class="page-edit"><!----> <!----></footer> <!----> </main></div><div 
class="global-ui"><!----></div></div>
+    <script src="/assets/js/app.56c9d373.js" defer></script><script 
src="/assets/js/2.9317b79a.js" defer></script><script 
src="/assets/js/16.838b6cab.js" defer></script>
   </body>
 </html>
diff --git a/docs/index.html b/docs/index.html
index 48e0a39..0795867 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -7,7 +7,7 @@
     <meta name="generator" content="VuePress 1.5.0">
     
     <meta name="description" content="Apache Teaclave (incubating) is an open 
source universal secure computing platform, making computation on 
privacy-sensitive data safe and simple.">
-    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.f2909307.js" 
as="script"><link rel="preload" href="/assets/js/2.9317b79a.js" 
as="script"><link rel="preload" href="/assets/js/15.404953cf.js" 
as="script"><link rel="prefetch" href="/assets/js/10.9e8c1487.js"><link 
rel="prefetch" href="/assets/js/11.adc2008f.js"><link rel="prefetch" 
href="/assets/js/12.75a77f64.js"><link rel="prefetch" 
href="/assets/js/13.53fe6ffb.js"><link [...]
+    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.56c9d373.js" 
as="script"><link rel="preload" href="/assets/js/2.9317b79a.js" 
as="script"><link rel="preload" href="/assets/js/15.3ae932b7.js" 
as="script"><link rel="prefetch" href="/assets/js/10.9e8c1487.js"><link 
rel="prefetch" href="/assets/js/11.adc2008f.js"><link rel="prefetch" 
href="/assets/js/12.dde6fd75.js"><link rel="prefetch" 
href="/assets/js/13.8003bfdc.js"><link [...]
     <link rel="stylesheet" href="/assets/css/0.styles.1bb28a62.css">
   </head>
   <body>
@@ -56,6 +56,6 @@
   <svg xmlns="http://www.w3.org/2000/svg"; aria-hidden="true" x="0px" y="0px" 
viewBox="0 0 100 100" width="15" height="15" class="icon outbound"><path 
fill="currentColor" 
d="M18.8,85.1h56l0,0c2.2,0,4-1.8,4-4v-32h-8v28h-48v-48h28v-8h-32l0,0c-2.2,0-4,1.8-4,4v56C14.8,83.3,16.6,85.1,18.8,85.1z"></path>
 <polygon fill="currentColor" points="45.7,48.7 51.3,54.3 77.2,28.5 77.2,37.2 
85.2,37.2 85.2,14.9 62.8,14.9 62.8,22.9 71.5,22.9"></polygon></svg></a></li><li 
class="dropdown-item"><!----> <a hre [...]
   Current Event
   <svg xmlns="http://www.w3.org/2000/svg"; aria-hidden="true" x="0px" y="0px" 
viewBox="0 0 100 100" width="15" height="15" class="icon outbound"><path 
fill="currentColor" 
d="M18.8,85.1h56l0,0c2.2,0,4-1.8,4-4v-32h-8v28h-48v-48h28v-8h-32l0,0c-2.2,0-4,1.8-4,4v56C14.8,83.3,16.6,85.1,18.8,85.1z"></path>
 <polygon fill="currentColor" points="45.7,48.7 51.3,54.3 77.2,28.5 77.2,37.2 
85.2,37.2 85.2,14.9 62.8,14.9 62.8,22.9 
71.5,22.9"></polygon></svg></a></li></ul></div></div> <!----></nav>  <ul cla 
[...]
-    <script src="/assets/js/app.f2909307.js" defer></script><script 
src="/assets/js/2.9317b79a.js" defer></script><script 
src="/assets/js/15.404953cf.js" defer></script>
+    <script src="/assets/js/app.56c9d373.js" defer></script><script 
src="/assets/js/2.9317b79a.js" defer></script><script 
src="/assets/js/15.3ae932b7.js" defer></script>
   </body>
 </html>
diff --git a/docs/mutual-attestation/index.html 
b/docs/mutual-attestation/index.html
index 4c2e881..ab7eb2c 100644
--- a/docs/mutual-attestation/index.html
+++ b/docs/mutual-attestation/index.html
@@ -7,7 +7,7 @@
     <meta name="generator" content="VuePress 1.5.0">
     
     <meta name="description" content="Apache Teaclave (incubating) is an open 
source universal secure computing platform, making computation on 
privacy-sensitive data safe and simple.">
-    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.f2909307.js" 
as="script"><link rel="preload" href="/assets/js/2.9317b79a.js" 
as="script"><link rel="preload" href="/assets/js/16.16811c39.js" 
as="script"><link rel="prefetch" href="/assets/js/10.9e8c1487.js"><link 
rel="prefetch" href="/assets/js/11.adc2008f.js"><link rel="prefetch" 
href="/assets/js/12.75a77f64.js"><link rel="prefetch" 
href="/assets/js/13.53fe6ffb.js"><link [...]
+    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.56c9d373.js" 
as="script"><link rel="preload" href="/assets/js/2.9317b79a.js" 
as="script"><link rel="preload" href="/assets/js/17.7237a221.js" 
as="script"><link rel="prefetch" href="/assets/js/10.9e8c1487.js"><link 
rel="prefetch" href="/assets/js/11.adc2008f.js"><link rel="prefetch" 
href="/assets/js/12.dde6fd75.js"><link rel="prefetch" 
href="/assets/js/13.8003bfdc.js"><link [...]
     <link rel="stylesheet" href="/assets/css/0.styles.1bb28a62.css">
   </head>
   <body>
@@ -94,6 +94,6 @@ from the auditors.</p></div> <footer 
class="page-edit"><!----> <!----></footer>
       </a>
       →
     </span></p></div> </main></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.f2909307.js" defer></script><script 
src="/assets/js/2.9317b79a.js" defer></script><script 
src="/assets/js/16.16811c39.js" defer></script>
+    <script src="/assets/js/app.56c9d373.js" defer></script><script 
src="/assets/js/2.9317b79a.js" defer></script><script 
src="/assets/js/17.7237a221.js" defer></script>
   </body>
 </html>
diff --git a/docs/my-first-function/index.html 
b/docs/my-first-function/index.html
index 5c5f932..b87651f 100644
--- a/docs/my-first-function/index.html
+++ b/docs/my-first-function/index.html
@@ -7,7 +7,7 @@
     <meta name="generator" content="VuePress 1.5.0">
     
     <meta name="description" content="Apache Teaclave (incubating) is an open 
source universal secure computing platform, making computation on 
privacy-sensitive data safe and simple.">
-    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.f2909307.js" 
as="script"><link rel="preload" href="/assets/js/2.9317b79a.js" 
as="script"><link rel="preload" href="/assets/js/17.3b53cab2.js" 
as="script"><link rel="prefetch" href="/assets/js/10.9e8c1487.js"><link 
rel="prefetch" href="/assets/js/11.adc2008f.js"><link rel="prefetch" 
href="/assets/js/12.75a77f64.js"><link rel="prefetch" 
href="/assets/js/13.53fe6ffb.js"><link [...]
+    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.56c9d373.js" 
as="script"><link rel="preload" href="/assets/js/2.9317b79a.js" 
as="script"><link rel="preload" href="/assets/js/18.484a652d.js" 
as="script"><link rel="prefetch" href="/assets/js/10.9e8c1487.js"><link 
rel="prefetch" href="/assets/js/11.adc2008f.js"><link rel="prefetch" 
href="/assets/js/12.dde6fd75.js"><link rel="prefetch" 
href="/assets/js/13.8003bfdc.js"><link [...]
     <link rel="stylesheet" href="/assets/css/0.styles.1bb28a62.css">
   </head>
   <body>
@@ -146,6 +146,6 @@ $ SGX_MODE=SW PYTHONPATH=../../sdk/python python3 
builtin_echo.py 'Hello, Teacla
       </a>
       →
     </span></p></div> </main></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.f2909307.js" defer></script><script 
src="/assets/js/2.9317b79a.js" defer></script><script 
src="/assets/js/17.3b53cab2.js" defer></script>
+    <script src="/assets/js/app.56c9d373.js" defer></script><script 
src="/assets/js/2.9317b79a.js" defer></script><script 
src="/assets/js/18.484a652d.js" defer></script>
   </body>
 </html>
diff --git a/docs/rust-guildeline/index.html b/docs/rust-guildeline/index.html
index 74e6d2c..5129b4d 100644
--- a/docs/rust-guildeline/index.html
+++ b/docs/rust-guildeline/index.html
@@ -7,7 +7,7 @@
     <meta name="generator" content="VuePress 1.5.0">
     
     <meta name="description" content="Apache Teaclave (incubating) is an open 
source universal secure computing platform, making computation on 
privacy-sensitive data safe and simple.">
-    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.f2909307.js" 
as="script"><link rel="preload" href="/assets/js/2.9317b79a.js" 
as="script"><link rel="preload" href="/assets/js/18.cc672e9a.js" 
as="script"><link rel="prefetch" href="/assets/js/10.9e8c1487.js"><link 
rel="prefetch" href="/assets/js/11.adc2008f.js"><link rel="prefetch" 
href="/assets/js/12.75a77f64.js"><link rel="prefetch" 
href="/assets/js/13.53fe6ffb.js"><link [...]
+    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.56c9d373.js" 
as="script"><link rel="preload" href="/assets/js/2.9317b79a.js" 
as="script"><link rel="preload" href="/assets/js/19.43840dad.js" 
as="script"><link rel="prefetch" href="/assets/js/10.9e8c1487.js"><link 
rel="prefetch" href="/assets/js/11.adc2008f.js"><link rel="prefetch" 
href="/assets/js/12.dde6fd75.js"><link rel="prefetch" 
href="/assets/js/13.8003bfdc.js"><link [...]
     <link rel="stylesheet" href="/assets/css/0.styles.1bb28a62.css">
   </head>
   <body>
@@ -89,6 +89,6 @@ crates.</p></div> <footer class="page-edit"><!----> 
<!----></footer> <div class=
       </a>
       →
     </span></p></div> </main></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.f2909307.js" defer></script><script 
src="/assets/js/2.9317b79a.js" defer></script><script 
src="/assets/js/18.cc672e9a.js" defer></script>
+    <script src="/assets/js/app.56c9d373.js" defer></script><script 
src="/assets/js/2.9317b79a.js" defer></script><script 
src="/assets/js/19.43840dad.js" defer></script>
   </body>
 </html>
diff --git a/docs/threat-model/index.html b/docs/threat-model/index.html
index e4e1089..58e6a8f 100644
--- a/docs/threat-model/index.html
+++ b/docs/threat-model/index.html
@@ -7,7 +7,7 @@
     <meta name="generator" content="VuePress 1.5.0">
     
     <meta name="description" content="Apache Teaclave (incubating) is an open 
source universal secure computing platform, making computation on 
privacy-sensitive data safe and simple.">
-    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.f2909307.js" 
as="script"><link rel="preload" href="/assets/js/2.9317b79a.js" 
as="script"><link rel="preload" href="/assets/js/19.7770d004.js" 
as="script"><link rel="prefetch" href="/assets/js/10.9e8c1487.js"><link 
rel="prefetch" href="/assets/js/11.adc2008f.js"><link rel="prefetch" 
href="/assets/js/12.75a77f64.js"><link rel="prefetch" 
href="/assets/js/13.53fe6ffb.js"><link [...]
+    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.56c9d373.js" 
as="script"><link rel="preload" href="/assets/js/2.9317b79a.js" 
as="script"><link rel="preload" href="/assets/js/20.513dfe69.js" 
as="script"><link rel="prefetch" href="/assets/js/10.9e8c1487.js"><link 
rel="prefetch" href="/assets/js/11.adc2008f.js"><link rel="prefetch" 
href="/assets/js/12.dde6fd75.js"><link rel="prefetch" 
href="/assets/js/13.8003bfdc.js"><link [...]
     <link rel="stylesheet" href="/assets/css/0.styles.1bb28a62.css">
   </head>
   <body>
@@ -96,6 +96,6 @@ software hardening.</p></div> <footer 
class="page-edit"><!----> <!----></footer>
       </a>
       →
     </span></p></div> </main></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.f2909307.js" defer></script><script 
src="/assets/js/2.9317b79a.js" defer></script><script 
src="/assets/js/19.7770d004.js" defer></script>
+    <script src="/assets/js/app.56c9d373.js" defer></script><script 
src="/assets/js/2.9317b79a.js" defer></script><script 
src="/assets/js/20.513dfe69.js" defer></script>
   </body>
 </html>
diff --git a/executor/index.html b/executor/index.html
index 690088d..2391e09 100644
--- a/executor/index.html
+++ b/executor/index.html
@@ -7,7 +7,7 @@
     <meta name="generator" content="VuePress 1.5.0">
     
     <meta name="description" content="Apache Teaclave (incubating) is an open 
source universal secure computing platform, making computation on 
privacy-sensitive data safe and simple.">
-    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.f2909307.js" 
as="script"><link rel="preload" href="/assets/js/2.9317b79a.js" 
as="script"><link rel="preload" href="/assets/js/21.83af2c39.js" 
as="script"><link rel="prefetch" href="/assets/js/10.9e8c1487.js"><link 
rel="prefetch" href="/assets/js/11.adc2008f.js"><link rel="prefetch" 
href="/assets/js/12.75a77f64.js"><link rel="prefetch" 
href="/assets/js/13.53fe6ffb.js"><link [...]
+    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.56c9d373.js" 
as="script"><link rel="preload" href="/assets/js/2.9317b79a.js" 
as="script"><link rel="preload" href="/assets/js/22.d858049f.js" 
as="script"><link rel="prefetch" href="/assets/js/10.9e8c1487.js"><link 
rel="prefetch" href="/assets/js/11.adc2008f.js"><link rel="prefetch" 
href="/assets/js/12.dde6fd75.js"><link rel="prefetch" 
href="/assets/js/13.8003bfdc.js"><link [...]
     <link rel="stylesheet" href="/assets/css/0.styles.1bb28a62.css">
   </head>
   <body>
@@ -75,6 +75,6 @@ executor also provides interfaces to fetch and store data 
through the runtime.</
       </a>
       →
     </span></p></div> </main></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.f2909307.js" defer></script><script 
src="/assets/js/2.9317b79a.js" defer></script><script 
src="/assets/js/21.83af2c39.js" defer></script>
+    <script src="/assets/js/app.56c9d373.js" defer></script><script 
src="/assets/js/2.9317b79a.js" defer></script><script 
src="/assets/js/22.d858049f.js" defer></script>
   </body>
 </html>
diff --git a/index.html b/index.html
index b745294..292e147 100644
--- a/index.html
+++ b/index.html
@@ -7,7 +7,7 @@
     <meta name="generator" content="VuePress 1.5.0">
     
     <meta name="description" content="Apache Teaclave (incubating) is an open 
source universal secure computing platform, making computation on 
privacy-sensitive data safe and simple.">
-    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.f2909307.js" 
as="script"><link rel="preload" href="/assets/js/2.9317b79a.js" 
as="script"><link rel="preload" href="/assets/js/5.ffd48745.js" 
as="script"><link rel="prefetch" href="/assets/js/10.9e8c1487.js"><link 
rel="prefetch" href="/assets/js/11.adc2008f.js"><link rel="prefetch" 
href="/assets/js/12.75a77f64.js"><link rel="prefetch" 
href="/assets/js/13.53fe6ffb.js"><link  [...]
+    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.56c9d373.js" 
as="script"><link rel="preload" href="/assets/js/2.9317b79a.js" 
as="script"><link rel="preload" href="/assets/js/5.ffd48745.js" 
as="script"><link rel="prefetch" href="/assets/js/10.9e8c1487.js"><link 
rel="prefetch" href="/assets/js/11.adc2008f.js"><link rel="prefetch" 
href="/assets/js/12.dde6fd75.js"><link rel="prefetch" 
href="/assets/js/13.8003bfdc.js"><link  [...]
     <link rel="stylesheet" href="/assets/css/0.styles.1bb28a62.css">
   </head>
   <body>
@@ -92,6 +92,6 @@ purposes.</li></ul></div> <div class="footer">
     Apache Teaclave, Apache, the Apache feather, and the Apache Teaclave 
project logo are either
     trademarks or registered trademarks of the Apache Software Foundation.
   </div></main></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.f2909307.js" defer></script><script 
src="/assets/js/2.9317b79a.js" defer></script><script 
src="/assets/js/5.ffd48745.js" defer></script>
+    <script src="/assets/js/app.56c9d373.js" defer></script><script 
src="/assets/js/2.9317b79a.js" defer></script><script 
src="/assets/js/5.ffd48745.js" defer></script>
   </body>
 </html>
diff --git a/keys/index.html b/keys/index.html
index 24f271c..a14306b 100644
--- a/keys/index.html
+++ b/keys/index.html
@@ -7,7 +7,7 @@
     <meta name="generator" content="VuePress 1.5.0">
     
     <meta name="description" content="Apache Teaclave (incubating) is an open 
source universal secure computing platform, making computation on 
privacy-sensitive data safe and simple.">
-    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.f2909307.js" 
as="script"><link rel="preload" href="/assets/js/2.9317b79a.js" 
as="script"><link rel="preload" href="/assets/js/22.87cc6526.js" 
as="script"><link rel="prefetch" href="/assets/js/10.9e8c1487.js"><link 
rel="prefetch" href="/assets/js/11.adc2008f.js"><link rel="prefetch" 
href="/assets/js/12.75a77f64.js"><link rel="prefetch" 
href="/assets/js/13.53fe6ffb.js"><link [...]
+    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.56c9d373.js" 
as="script"><link rel="preload" href="/assets/js/2.9317b79a.js" 
as="script"><link rel="preload" href="/assets/js/23.60b1b1df.js" 
as="script"><link rel="prefetch" href="/assets/js/10.9e8c1487.js"><link 
rel="prefetch" href="/assets/js/11.adc2008f.js"><link rel="prefetch" 
href="/assets/js/12.dde6fd75.js"><link rel="prefetch" 
href="/assets/js/13.8003bfdc.js"><link [...]
     <link rel="stylesheet" href="/assets/css/0.styles.1bb28a62.css">
   </head>
   <body>
@@ -70,6 +70,6 @@ attestation</li></ul></div> <footer class="page-edit"><!----> 
<!----></footer> <
       </a>
       →
     </span></p></div> </main></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.f2909307.js" defer></script><script 
src="/assets/js/2.9317b79a.js" defer></script><script 
src="/assets/js/22.87cc6526.js" defer></script>
+    <script src="/assets/js/app.56c9d373.js" defer></script><script 
src="/assets/js/2.9317b79a.js" defer></script><script 
src="/assets/js/23.60b1b1df.js" defer></script>
   </body>
 </html>
diff --git a/services/index.html b/services/index.html
index 7ceefad..c61486a 100644
--- a/services/index.html
+++ b/services/index.html
@@ -7,7 +7,7 @@
     <meta name="generator" content="VuePress 1.5.0">
     
     <meta name="description" content="Apache Teaclave (incubating) is an open 
source universal secure computing platform, making computation on 
privacy-sensitive data safe and simple.">
-    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.f2909307.js" 
as="script"><link rel="preload" href="/assets/js/2.9317b79a.js" 
as="script"><link rel="preload" href="/assets/js/24.d5ad8f71.js" 
as="script"><link rel="prefetch" href="/assets/js/10.9e8c1487.js"><link 
rel="prefetch" href="/assets/js/11.adc2008f.js"><link rel="prefetch" 
href="/assets/js/12.75a77f64.js"><link rel="prefetch" 
href="/assets/js/13.53fe6ffb.js"><link [...]
+    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.56c9d373.js" 
as="script"><link rel="preload" href="/assets/js/2.9317b79a.js" 
as="script"><link rel="preload" href="/assets/js/25.06e856eb.js" 
as="script"><link rel="prefetch" href="/assets/js/10.9e8c1487.js"><link 
rel="prefetch" href="/assets/js/11.adc2008f.js"><link rel="prefetch" 
href="/assets/js/12.dde6fd75.js"><link rel="prefetch" 
href="/assets/js/13.8003bfdc.js"><link [...]
     <link rel="stylesheet" href="/assets/css/0.styles.1bb28a62.css">
   </head>
   <body>
@@ -99,6 +99,6 @@ system through the attested authentication and frontend 
services.</p></div> <foo
       </a>
       →
     </span></p></div> </main></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.f2909307.js" defer></script><script 
src="/assets/js/2.9317b79a.js" defer></script><script 
src="/assets/js/24.d5ad8f71.js" defer></script>
+    <script src="/assets/js/app.56c9d373.js" defer></script><script 
src="/assets/js/2.9317b79a.js" defer></script><script 
src="/assets/js/25.06e856eb.js" defer></script>
   </body>
 </html>
diff --git a/teaclave/common/protected_fs_rs/index.html 
b/teaclave/common/protected_fs_rs/index.html
index 1c1941a..eb38ebb 100644
--- a/teaclave/common/protected_fs_rs/index.html
+++ b/teaclave/common/protected_fs_rs/index.html
@@ -7,7 +7,7 @@
     <meta name="generator" content="VuePress 1.5.0">
     
     <meta name="description" content="Apache Teaclave (incubating) is an open 
source universal secure computing platform, making computation on 
privacy-sensitive data safe and simple.">
-    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.f2909307.js" 
as="script"><link rel="preload" href="/assets/js/2.9317b79a.js" 
as="script"><link rel="preload" href="/assets/js/10.9e8c1487.js" 
as="script"><link rel="prefetch" href="/assets/js/11.adc2008f.js"><link 
rel="prefetch" href="/assets/js/12.75a77f64.js"><link rel="prefetch" 
href="/assets/js/13.53fe6ffb.js"><link rel="prefetch" 
href="/assets/js/14.982e7f59.js"><link [...]
+    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.56c9d373.js" 
as="script"><link rel="preload" href="/assets/js/2.9317b79a.js" 
as="script"><link rel="preload" href="/assets/js/10.9e8c1487.js" 
as="script"><link rel="prefetch" href="/assets/js/11.adc2008f.js"><link 
rel="prefetch" href="/assets/js/12.dde6fd75.js"><link rel="prefetch" 
href="/assets/js/13.8003bfdc.js"><link rel="prefetch" 
href="/assets/js/14.e7a066c1.js"><link [...]
     <link rel="stylesheet" href="/assets/css/0.styles.1bb28a62.css">
   </head>
   <body>
@@ -61,6 +61,6 @@ from the Intel SGX Linux SDK.</p> <p>Beyond the original 
SGX-only implementation
 <em><strong>running in both SGX and Non-SGX environment</strong></em>. We 
ported the <a 
href="https://github.com/intel/linux-sgx/tree/master/sdk/protected_fs"; 
target="_blank" rel="noopener noreferrer">original C
 implementations<svg xmlns="http://www.w3.org/2000/svg"; aria-hidden="true" 
x="0px" y="0px" viewBox="0 0 100 100" width="15" height="15" class="icon 
outbound"><path fill="currentColor" 
d="M18.8,85.1h56l0,0c2.2,0,4-1.8,4-4v-32h-8v28h-48v-48h28v-8h-32l0,0c-2.2,0-4,1.8-4,4v56C14.8,83.3,16.6,85.1,18.8,85.1z"></path>
 <polygon fill="currentColor" points="45.7,48.7 51.3,54.3 77.2,28.5 77.2,37.2 
85.2,37.2 85.2,14.9 62.8,14.9 62.8,22.9 71.5,22.9"></polygon></svg></a> in  
<code>protected_fs_c</code> [...]
 CMake. Please refer to <code>build.rs</code> for more information.</p></div> 
<footer class="page-edit"><!----> <!----></footer> <!----> </main></div><div 
class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.f2909307.js" defer></script><script 
src="/assets/js/2.9317b79a.js" defer></script><script 
src="/assets/js/10.9e8c1487.js" defer></script>
+    <script src="/assets/js/app.56c9d373.js" defer></script><script 
src="/assets/js/2.9317b79a.js" defer></script><script 
src="/assets/js/10.9e8c1487.js" defer></script>
   </body>
 </html>
diff --git a/teaclave/common/rusty_leveldb_sgx/index.html 
b/teaclave/common/rusty_leveldb_sgx/index.html
index 4d3f5d6..f116364 100644
--- a/teaclave/common/rusty_leveldb_sgx/index.html
+++ b/teaclave/common/rusty_leveldb_sgx/index.html
@@ -7,7 +7,7 @@
     <meta name="generator" content="VuePress 1.5.0">
     
     <meta name="description" content="Apache Teaclave (incubating) is an open 
source universal secure computing platform, making computation on 
privacy-sensitive data safe and simple.">
-    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.f2909307.js" 
as="script"><link rel="preload" href="/assets/js/2.9317b79a.js" 
as="script"><link rel="preload" href="/assets/js/11.adc2008f.js" 
as="script"><link rel="prefetch" href="/assets/js/10.9e8c1487.js"><link 
rel="prefetch" href="/assets/js/12.75a77f64.js"><link rel="prefetch" 
href="/assets/js/13.53fe6ffb.js"><link rel="prefetch" 
href="/assets/js/14.982e7f59.js"><link [...]
+    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.56c9d373.js" 
as="script"><link rel="preload" href="/assets/js/2.9317b79a.js" 
as="script"><link rel="preload" href="/assets/js/11.adc2008f.js" 
as="script"><link rel="prefetch" href="/assets/js/10.9e8c1487.js"><link 
rel="prefetch" href="/assets/js/12.dde6fd75.js"><link rel="prefetch" 
href="/assets/js/13.8003bfdc.js"><link rel="prefetch" 
href="/assets/js/14.e7a066c1.js"><link [...]
     <link rel="stylesheet" href="/assets/css/0.styles.1bb28a62.css">
   </head>
   <body>
@@ -71,6 +71,6 @@ as slice).</li> <li>Correctness -- self-checking 
implementation, good test cover
 like the original implementation.</li> <li>Clarity; commented code, clear 
structure (hopefully doing a better job than
 the original implementation).</li> <li>Coming close-ish to the original 
implementation; clarifying the translation of
 typical C++ constructs to Rust.</li></ul></div> <footer 
class="page-edit"><!----> <!----></footer> <!----> </main></div><div 
class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.f2909307.js" defer></script><script 
src="/assets/js/2.9317b79a.js" defer></script><script 
src="/assets/js/11.adc2008f.js" defer></script>
+    <script src="/assets/js/app.56c9d373.js" defer></script><script 
src="/assets/js/2.9317b79a.js" defer></script><script 
src="/assets/js/11.adc2008f.js" defer></script>
   </body>
 </html>
diff --git a/teaclave/examples/index.html b/teaclave/examples/index.html
index 82294ba..a383cc9 100644
--- a/teaclave/examples/index.html
+++ b/teaclave/examples/index.html
@@ -7,7 +7,7 @@
     <meta name="generator" content="VuePress 1.5.0">
     
     <meta name="description" content="Apache Teaclave (incubating) is an open 
source universal secure computing platform, making computation on 
privacy-sensitive data safe and simple.">
-    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.f2909307.js" 
as="script"><link rel="preload" href="/assets/js/2.9317b79a.js" 
as="script"><link rel="preload" href="/assets/js/20.2db6b956.js" 
as="script"><link rel="prefetch" href="/assets/js/10.9e8c1487.js"><link 
rel="prefetch" href="/assets/js/11.adc2008f.js"><link rel="prefetch" 
href="/assets/js/12.75a77f64.js"><link rel="prefetch" 
href="/assets/js/13.53fe6ffb.js"><link [...]
+    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.56c9d373.js" 
as="script"><link rel="preload" href="/assets/js/2.9317b79a.js" 
as="script"><link rel="preload" href="/assets/js/21.5e6fc120.js" 
as="script"><link rel="prefetch" href="/assets/js/10.9e8c1487.js"><link 
rel="prefetch" href="/assets/js/11.adc2008f.js"><link rel="prefetch" 
href="/assets/js/12.dde6fd75.js"><link rel="prefetch" 
href="/assets/js/13.8003bfdc.js"><link [...]
     <link rel="stylesheet" href="/assets/css/0.styles.1bb28a62.css">
   </head>
   <body>
@@ -56,6 +56,6 @@
   <svg xmlns="http://www.w3.org/2000/svg"; aria-hidden="true" x="0px" y="0px" 
viewBox="0 0 100 100" width="15" height="15" class="icon outbound"><path 
fill="currentColor" 
d="M18.8,85.1h56l0,0c2.2,0,4-1.8,4-4v-32h-8v28h-48v-48h28v-8h-32l0,0c-2.2,0-4,1.8-4,4v56C14.8,83.3,16.6,85.1,18.8,85.1z"></path>
 <polygon fill="currentColor" points="45.7,48.7 51.3,54.3 77.2,28.5 77.2,37.2 
85.2,37.2 85.2,14.9 62.8,14.9 62.8,22.9 71.5,22.9"></polygon></svg></a></li><li 
class="dropdown-item"><!----> <a hre [...]
   Current Event
   <svg xmlns="http://www.w3.org/2000/svg"; aria-hidden="true" x="0px" y="0px" 
viewBox="0 0 100 100" width="15" height="15" class="icon outbound"><path 
fill="currentColor" 
d="M18.8,85.1h56l0,0c2.2,0,4-1.8,4-4v-32h-8v28h-48v-48h28v-8h-32l0,0c-2.2,0-4,1.8-4,4v56C14.8,83.3,16.6,85.1,18.8,85.1z"></path>
 <polygon fill="currentColor" points="45.7,48.7 51.3,54.3 77.2,28.5 77.2,37.2 
85.2,37.2 85.2,14.9 62.8,14.9 62.8,22.9 
71.5,22.9"></polygon></svg></a></li></ul></div></div> <!----></nav>  <ul cla 
[...]
-    <script src="/assets/js/app.f2909307.js" defer></script><script 
src="/assets/js/2.9317b79a.js" defer></script><script 
src="/assets/js/20.2db6b956.js" defer></script>
+    <script src="/assets/js/app.56c9d373.js" defer></script><script 
src="/assets/js/2.9317b79a.js" defer></script><script 
src="/assets/js/21.5e6fc120.js" defer></script>
   </body>
 </html>
diff --git a/teaclave/index.html b/teaclave/index.html
index a1b1873..2f6e4b3 100644
--- a/teaclave/index.html
+++ b/teaclave/index.html
@@ -7,7 +7,7 @@
     <meta name="generator" content="VuePress 1.5.0">
     
     <meta name="description" content="Apache Teaclave (incubating) is an open 
source universal secure computing platform, making computation on 
privacy-sensitive data safe and simple.">
-    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.f2909307.js" 
as="script"><link rel="preload" href="/assets/js/2.9317b79a.js" 
as="script"><link rel="preload" href="/assets/js/8.96abfe2d.js" 
as="script"><link rel="prefetch" href="/assets/js/10.9e8c1487.js"><link 
rel="prefetch" href="/assets/js/11.adc2008f.js"><link rel="prefetch" 
href="/assets/js/12.75a77f64.js"><link rel="prefetch" 
href="/assets/js/13.53fe6ffb.js"><link  [...]
+    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.56c9d373.js" 
as="script"><link rel="preload" href="/assets/js/2.9317b79a.js" 
as="script"><link rel="preload" href="/assets/js/8.cef6f42b.js" 
as="script"><link rel="prefetch" href="/assets/js/10.9e8c1487.js"><link 
rel="prefetch" href="/assets/js/11.adc2008f.js"><link rel="prefetch" 
href="/assets/js/12.dde6fd75.js"><link rel="prefetch" 
href="/assets/js/13.8003bfdc.js"><link  [...]
     <link rel="stylesheet" href="/assets/css/0.styles.1bb28a62.css">
   </head>
   <body>
@@ -73,9 +73,9 @@ provides convenient endpoint APIs, client SDKs and command 
line tools.</li> <li>
 Components in Teaclave are designed in modular, and some like remote
 attestation can be easily embedded in other projects. In addition, Teaclave
 SGX SDK can also be used separately to write standalone SGX enclaves for other
-purposes.</li></ul> <h2 id="getting-started"><a href="#getting-started" 
class="header-anchor">#</a> Getting Started</h2> <h3 id="try-teaclave"><a 
href="#try-teaclave" class="header-anchor">#</a> Try Teaclave</h3> <ul><li><a 
href="/teaclave/docs/my-first-function.html">My First Function</a></li></ul> 
<h3 id="design"><a href="#design" class="header-anchor">#</a> Design</h3> 
<ul><li><a href="/teaclave/docs/threat-model.html">Threat Model</a></li> <li><a 
href="/teaclave/docs/mutual-attestati [...]
+purposes.</li></ul> <h2 id="getting-started"><a href="#getting-started" 
class="header-anchor">#</a> Getting Started</h2> <h3 id="try-teaclave"><a 
href="#try-teaclave" class="header-anchor">#</a> Try Teaclave</h3> <ul><li><a 
href="/teaclave/docs/my-first-function.html">My First Function</a></li></ul> 
<h3 id="design"><a href="#design" class="header-anchor">#</a> Design</h3> 
<ul><li><a href="/teaclave/docs/threat-model.html">Threat Model</a></li> <li><a 
href="/teaclave/docs/mutual-attestati [...]
 we aim to create a project that is maintained and owned by the community. All
 kinds of contributions are welcome.</p> <h2 id="community"><a 
href="#community" class="header-anchor">#</a> Community</h2> <ul><li>Join us on 
our <a href="https://lists.apache.org/list.html?d...@teaclave.apache.org"; 
target="_blank" rel="noopener noreferrer">mailing list<svg 
xmlns="http://www.w3.org/2000/svg"; aria-hidden="true" x="0px" y="0px" 
viewBox="0 0 100 100" width="15" height="15" class="icon outbound"><path 
fill="currentColor" d="M18.8,85.1h56l0,0c2.2,0,4-1.8,4-4v-32h-8v28h-48v-48h 
[...]
-    <script src="/assets/js/app.f2909307.js" defer></script><script 
src="/assets/js/2.9317b79a.js" defer></script><script 
src="/assets/js/8.96abfe2d.js" defer></script>
+    <script src="/assets/js/app.56c9d373.js" defer></script><script 
src="/assets/js/2.9317b79a.js" defer></script><script 
src="/assets/js/8.cef6f42b.js" defer></script>
   </body>
 </html>
diff --git a/teaclave/sdk/index.html b/teaclave/sdk/index.html
index ac880e0..15bd436 100644
--- a/teaclave/sdk/index.html
+++ b/teaclave/sdk/index.html
@@ -7,7 +7,7 @@
     <meta name="generator" content="VuePress 1.5.0">
     
     <meta name="description" content="Apache Teaclave (incubating) is an open 
source universal secure computing platform, making computation on 
privacy-sensitive data safe and simple.">
-    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.f2909307.js" 
as="script"><link rel="preload" href="/assets/js/2.9317b79a.js" 
as="script"><link rel="preload" href="/assets/js/23.5bd8248c.js" 
as="script"><link rel="prefetch" href="/assets/js/10.9e8c1487.js"><link 
rel="prefetch" href="/assets/js/11.adc2008f.js"><link rel="prefetch" 
href="/assets/js/12.75a77f64.js"><link rel="prefetch" 
href="/assets/js/13.53fe6ffb.js"><link [...]
+    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.56c9d373.js" 
as="script"><link rel="preload" href="/assets/js/2.9317b79a.js" 
as="script"><link rel="preload" href="/assets/js/24.3b471d58.js" 
as="script"><link rel="prefetch" href="/assets/js/10.9e8c1487.js"><link 
rel="prefetch" href="/assets/js/11.adc2008f.js"><link rel="prefetch" 
href="/assets/js/12.dde6fd75.js"><link rel="prefetch" 
href="/assets/js/13.8003bfdc.js"><link [...]
     <link rel="stylesheet" href="/assets/css/0.styles.1bb28a62.css">
   </head>
   <body>
@@ -56,6 +56,6 @@
   <svg xmlns="http://www.w3.org/2000/svg"; aria-hidden="true" x="0px" y="0px" 
viewBox="0 0 100 100" width="15" height="15" class="icon outbound"><path 
fill="currentColor" 
d="M18.8,85.1h56l0,0c2.2,0,4-1.8,4-4v-32h-8v28h-48v-48h28v-8h-32l0,0c-2.2,0-4,1.8-4,4v56C14.8,83.3,16.6,85.1,18.8,85.1z"></path>
 <polygon fill="currentColor" points="45.7,48.7 51.3,54.3 77.2,28.5 77.2,37.2 
85.2,37.2 85.2,14.9 62.8,14.9 62.8,22.9 71.5,22.9"></polygon></svg></a></li><li 
class="dropdown-item"><!----> <a hre [...]
   Current Event
   <svg xmlns="http://www.w3.org/2000/svg"; aria-hidden="true" x="0px" y="0px" 
viewBox="0 0 100 100" width="15" height="15" class="icon outbound"><path 
fill="currentColor" 
d="M18.8,85.1h56l0,0c2.2,0,4-1.8,4-4v-32h-8v28h-48v-48h28v-8h-32l0,0c-2.2,0-4,1.8-4,4v56C14.8,83.3,16.6,85.1,18.8,85.1z"></path>
 <polygon fill="currentColor" points="45.7,48.7 51.3,54.3 77.2,28.5 77.2,37.2 
85.2,37.2 85.2,14.9 62.8,14.9 62.8,22.9 
71.5,22.9"></polygon></svg></a></li></ul></div></div> <!----></nav>  <ul cla 
[...]
-    <script src="/assets/js/app.f2909307.js" defer></script><script 
src="/assets/js/2.9317b79a.js" defer></script><script 
src="/assets/js/23.5bd8248c.js" defer></script>
+    <script src="/assets/js/app.56c9d373.js" defer></script><script 
src="/assets/js/2.9317b79a.js" defer></script><script 
src="/assets/js/24.3b471d58.js" defer></script>
   </body>
 </html>
diff --git a/teaclave/tests/index.html b/teaclave/tests/index.html
index d157b79..d3d99a0 100644
--- a/teaclave/tests/index.html
+++ b/teaclave/tests/index.html
@@ -7,7 +7,7 @@
     <meta name="generator" content="VuePress 1.5.0">
     
     <meta name="description" content="Apache Teaclave (incubating) is an open 
source universal secure computing platform, making computation on 
privacy-sensitive data safe and simple.">
-    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.f2909307.js" 
as="script"><link rel="preload" href="/assets/js/2.9317b79a.js" 
as="script"><link rel="preload" href="/assets/js/25.8bd7a31e.js" 
as="script"><link rel="prefetch" href="/assets/js/10.9e8c1487.js"><link 
rel="prefetch" href="/assets/js/11.adc2008f.js"><link rel="prefetch" 
href="/assets/js/12.75a77f64.js"><link rel="prefetch" 
href="/assets/js/13.53fe6ffb.js"><link [...]
+    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.56c9d373.js" 
as="script"><link rel="preload" href="/assets/js/2.9317b79a.js" 
as="script"><link rel="preload" href="/assets/js/26.6978babf.js" 
as="script"><link rel="prefetch" href="/assets/js/10.9e8c1487.js"><link 
rel="prefetch" href="/assets/js/11.adc2008f.js"><link rel="prefetch" 
href="/assets/js/12.dde6fd75.js"><link rel="prefetch" 
href="/assets/js/13.8003bfdc.js"><link [...]
     <link rel="stylesheet" href="/assets/css/0.styles.1bb28a62.css">
   </head>
   <body>
@@ -75,6 +75,6 @@ This directory contains test driver and tests cases for 
Teaclave services. To
 run these tests, services need to be launched.</li> <li><code>fixtures</code>:
 Testing fixtures are some files and sample inputs/outputs for testing 
only.</li> <li><code>utils</code>:
 Common utilities for test drivers.</li></ul></div> <footer 
class="page-edit"><!----> <!----></footer> <!----> </main></div><div 
class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.f2909307.js" defer></script><script 
src="/assets/js/2.9317b79a.js" defer></script><script 
src="/assets/js/25.8bd7a31e.js" defer></script>
+    <script src="/assets/js/app.56c9d373.js" defer></script><script 
src="/assets/js/2.9317b79a.js" defer></script><script 
src="/assets/js/26.6978babf.js" defer></script>
   </body>
 </html>
diff --git a/teaclave/third_party/index.html b/teaclave/third_party/index.html
index 97544c6..a7759f4 100644
--- a/teaclave/third_party/index.html
+++ b/teaclave/third_party/index.html
@@ -7,7 +7,7 @@
     <meta name="generator" content="VuePress 1.5.0">
     
     <meta name="description" content="Apache Teaclave (incubating) is an open 
source universal secure computing platform, making computation on 
privacy-sensitive data safe and simple.">
-    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.f2909307.js" 
as="script"><link rel="preload" href="/assets/js/2.9317b79a.js" 
as="script"><link rel="preload" href="/assets/js/26.5f001b9b.js" 
as="script"><link rel="prefetch" href="/assets/js/10.9e8c1487.js"><link 
rel="prefetch" href="/assets/js/11.adc2008f.js"><link rel="prefetch" 
href="/assets/js/12.75a77f64.js"><link rel="prefetch" 
href="/assets/js/13.53fe6ffb.js"><link [...]
+    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.56c9d373.js" 
as="script"><link rel="preload" href="/assets/js/2.9317b79a.js" 
as="script"><link rel="preload" href="/assets/js/27.8133683f.js" 
as="script"><link rel="prefetch" href="/assets/js/10.9e8c1487.js"><link 
rel="prefetch" href="/assets/js/11.adc2008f.js"><link rel="prefetch" 
href="/assets/js/12.dde6fd75.js"><link rel="prefetch" 
href="/assets/js/13.8003bfdc.js"><link [...]
     <link rel="stylesheet" href="/assets/css/0.styles.1bb28a62.css">
   </head>
   <body>
@@ -69,6 +69,6 @@ You may also utilize
 <a href="https://github.com/mesalock-linux/crates-sgx/blob/master/Makefile"; 
target="_blank" rel="noopener noreferrer">crates-sgx/Makefile<svg 
xmlns="http://www.w3.org/2000/svg"; aria-hidden="true" x="0px" y="0px" 
viewBox="0 0 100 100" width="15" height="15" class="icon outbound"><path 
fill="currentColor" 
d="M18.8,85.1h56l0,0c2.2,0,4-1.8,4-4v-32h-8v28h-48v-48h28v-8h-32l0,0c-2.2,0-4,1.8-4,4v56C14.8,83.3,16.6,85.1,18.8,85.1z"></path>
 <polygon fill="currentColor" points="45.7,48.7 51.3,54.3 7 [...]
 for automation.</li> <li><code>git add/commit</code> the changes of
 Cargo.toml/Cargo.lock/config/README.txt/vendor and submit a pull 
request.</li></ol></div> <footer class="page-edit"><!----> <!----></footer> 
<!----> </main></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.f2909307.js" defer></script><script 
src="/assets/js/2.9317b79a.js" defer></script><script 
src="/assets/js/26.5f001b9b.js" defer></script>
+    <script src="/assets/js/app.56c9d373.js" defer></script><script 
src="/assets/js/2.9317b79a.js" defer></script><script 
src="/assets/js/27.8133683f.js" defer></script>
   </body>
 </html>
diff --git a/worker/index.html b/worker/index.html
index 7a46045..cfb3c73 100644
--- a/worker/index.html
+++ b/worker/index.html
@@ -7,7 +7,7 @@
     <meta name="generator" content="VuePress 1.5.0">
     
     <meta name="description" content="Apache Teaclave (incubating) is an open 
source universal secure computing platform, making computation on 
privacy-sensitive data safe and simple.">
-    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.f2909307.js" 
as="script"><link rel="preload" href="/assets/js/2.9317b79a.js" 
as="script"><link rel="preload" href="/assets/js/27.0fac9036.js" 
as="script"><link rel="prefetch" href="/assets/js/10.9e8c1487.js"><link 
rel="prefetch" href="/assets/js/11.adc2008f.js"><link rel="prefetch" 
href="/assets/js/12.75a77f64.js"><link rel="prefetch" 
href="/assets/js/13.53fe6ffb.js"><link [...]
+    <link rel="preload" href="/assets/css/0.styles.1bb28a62.css" 
as="style"><link rel="preload" href="/assets/js/app.56c9d373.js" 
as="script"><link rel="preload" href="/assets/js/2.9317b79a.js" 
as="script"><link rel="preload" href="/assets/js/28.391af208.js" 
as="script"><link rel="prefetch" href="/assets/js/10.9e8c1487.js"><link 
rel="prefetch" href="/assets/js/11.adc2008f.js"><link rel="prefetch" 
href="/assets/js/12.dde6fd75.js"><link rel="prefetch" 
href="/assets/js/13.8003bfdc.js"><link [...]
     <link rel="stylesheet" href="/assets/css/0.styles.1bb28a62.css">
   </head>
   <body>
@@ -84,6 +84,6 @@ to the docs of executor and runtime for more 
details.</p></div> <footer class="p
       </a>
       →
     </span></p></div> </main></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.f2909307.js" defer></script><script 
src="/assets/js/2.9317b79a.js" defer></script><script 
src="/assets/js/27.0fac9036.js" defer></script>
+    <script src="/assets/js/app.56c9d373.js" defer></script><script 
src="/assets/js/2.9317b79a.js" defer></script><script 
src="/assets/js/28.391af208.js" defer></script>
   </body>
 </html>


---------------------------------------------------------------------
To unsubscribe, e-mail: commits-unsubscr...@teaclave.apache.org
For additional commands, e-mail: commits-h...@teaclave.apache.org