reorg and add to the spec

filecoin-project · Jul 11, 2019 · eb0ef36 · eb0ef36
1 parent e3c6e90
commit eb0ef36
Show file tree

Hide file tree

Showing 4 changed files with 128 additions and 315 deletions.
diff --git a/content/docs/proof-of-spacetime.md b/content/docs/proof-of-spacetime.md
@@ -0,0 +1 @@
+../../proof-of-spacetime.md
diff --git a/content/menu/index.md b/content/menu/index.md
@@ -30,6 +30,7 @@ headless: true
 **Proofs**
 
 * [ZigZag]({{< relref "/docs/zigzag-circuit.md" >}})
+* [PoSt]({{< relref "/docs/proof-of-spacetime.md" >}})
 
 [**Glossary**]({{< relref "/docs/definitions.md" >}})
 

diff --git a/drafts/proof-of-spacetime.md b/drafts/proof-of-spacetime.md