From 6e67f40347d03aa300da73041ecbce74b1ada1d5 Mon Sep 17 00:00:00 2001
From: Steven Cedro <steven@southbanksoftware.com>
Date: Wed, 14 Oct 2020 10:51:47 +1100
Subject: [PATCH] Added REST docs [skip ci]

---
 docs/SUMMARY.md      |   4 +-
 docs/rest/README.md  | 146 ++++++++
 docs/rest/actions.md | 778 +++++++++++++++++++++++++++++++++++++++++++
 docs/rest/types.md   | 107 ++++++
 4 files changed, 1034 insertions(+), 1 deletion(-)
 create mode 100644 docs/rest/README.md
 create mode 100644 docs/rest/actions.md
 create mode 100644 docs/rest/types.md

diff --git a/docs/SUMMARY.md b/docs/SUMMARY.md
index 2acd796..6de95a0 100644
--- a/docs/SUMMARY.md
+++ b/docs/SUMMARY.md
@@ -18,7 +18,9 @@
     - [Examples](./node_sdk/examples.md)
         - [Typescript Example](./node_sdk/typescript_example.md)
     - [Reference](./node_sdk/reference.md)
-- [REST]()
+- [REST](./rest/README.md)
+    - [Actions](./rest/actions.md)
+    - [Types](./rest/types.md)
 - [gRPC](./grpc/README.md)
     - [Demo](./grpc/demo.md)
     - [API Service](./grpc/api_service.md)
diff --git a/docs/rest/README.md b/docs/rest/README.md
new file mode 100644
index 0000000..05f9f75
--- /dev/null
+++ b/docs/rest/README.md
@@ -0,0 +1,146 @@
+# REST
+
+- [Getting Started](#getting-started)
+    - [Quick Start](#quick-start)
+- [Actions](./actions.md)
+- [Types](./types.md)
+
+## Getting Started
+
+The endpoint for Proofable REST API is `https://api.proofable.io/rest`.
+
+### Quick Start
+
+Let's prove and verify **Hello, World!**.
+
+#### [Prove](./actions.md#prove)
+
+First, let's create a POST request to anchor our item to the Ethereum blockchain.
+The value provided is the key name encoded in base64. All values that you want
+to prove need to be **base64** encoded.
+```
+POST https://api.proofable.io/rest/prove
+```
+
+##### Request Body
+
+```json
+{
+    "anchorType" : "ETH",
+    "items" : [
+        { "key" : "Hello, World!", "value" : "SGVsbG8sIFdvcmxkIQ==" }
+    ],
+}
+```
+
+##### Using `curl`
+
+```
+curl -d '{ "anchorType" : "ETH", "items" : [ { "key" : "Hello, World!", "value" : "SGVsbG8sIFdvcmxkIQ==" }] }' -H "Authorization: Bearer $YOUR_TOKEN" -H "Content-Type: application/json" -X POST https://api.proofable.io/rest/prove
+```
+
+##### Response Body
+
+```json
+{
+    "proof": {
+        "id": "p1K2Nn0P010xEgzaV524Hk",
+        "trieId": "tBnXlLjoCI-WgFzjaDxgae",
+        "root": "c745c59d907512f3d023ed6e1e654e72e1dfba5422691c434bc3c2432f1472dd",
+        "createdAt": "2020-10-07T02:37:08.0056553Z",
+        "status": "BATCHING",
+        "anchorType": "ETH",
+        "proofRoot": "0000000000000000000000000000000000000000000000000000000000000000"
+    }
+}
+```
+
+#### [GetProof](./actions.md#getproof)
+
+In order to verify our newly created proof, we need to wait for it to be confirmed on the blockchain. Make a request to the following
+endpoint with your `trieId` and `proofId`.
+
+```
+GET https://api.proofable.io/rest/tries/{trie-id}/proofs/{proof-id}
+```
+
+##### Using `curl`
+
+```
+curl -H "Authorization: Bearer $YOUR_TOKEN" -H "Content-Type: application/json" -X GET https://api.proofable.io/rest/tries/tBnXlLjoCI-WgFzjaDxgae/proofs/p1K2Nn0P010xEgzaV524Hk
+```
+
+##### Response Body
+
+```json
+{
+    "proof": {
+        "id": "p1K2Nn0P010xEgzaV524Hk",
+        "trieId": "tBnXlLjoCI-WgFzjaDxgae",
+        "root": "c745c59d907512f3d023ed6e1e654e72e1dfba5422691c434bc3c2432f1472dd",
+        "createdAt": "2020-10-07T02:37:08.0056553Z",
+        "status": "CONFIRMED",
+        "anchorType": "ETH",
+        "txnId": "dc4933c7bf4e4d0b584bed392a8b6067678a001e5137e4780cd55263377394a4",
+        "txnUri": "https://rinkeby.etherscan.io/tx/0xdc4933c7bf4e4d0b584bed392a8b6067678a001e5137e4780cd55263377394a4",
+        "blockTime": 1602038247,
+        "blockNumber": 7325459,
+        "proofRoot": "dad814e53cb616d51ed5a389a8e9a91812051b4102535446c4898131158ed916"
+    }
+}
+```
+
+#### [Verify](./actions.md#verify)
+
+Once your proof status is **CONFIRMED**, you a successfully anchored proof and you can now verify it! Simply make a POST request using the
+`trieId` and `proofId` you received in the previous step, as well as the item we added, so we can validate
+that the value hasn't changed.
+ 
+```
+POST https://api.proofable.io/rest/verify
+```
+
+##### Request Body
+
+```json
+{
+    "proofId" : "p1K2Nn0P010xEgzaV524Hk",
+    "trieId" : "tBnXlLjoCI-WgFzjaDxgae",
+    "outputItems" : true
+}
+```
+
+##### Using `curl`
+
+```
+curl -d '{ "proofId" : "p1K2Nn0P010xEgzaV524Hk", "trieId" : "tBnXlLjoCI-WgFzjaDxgae", "outputItems" : true }' -H "Authorization: Bearer $YOUR_TOKEN" -H "Content-Type: application/json" -X POST https://api.proofable.io/rest/verify
+```
+
+##### Response Body
+
+```json
+{
+    "verified": true,
+    "proof": {
+        "id": "p1K2Nn0P010xEgzaV524Hk",
+        "trieId": "tBnXlLjoCI-WgFzjaDxgae",
+        "root": "c745c59d907512f3d023ed6e1e654e72e1dfba5422691c434bc3c2432f1472dd",
+        "createdAt": "2020-10-07T02:37:08.0056553Z",
+        "status": "CONFIRMED",
+        "anchorType": "ETH",
+        "txnId": "dc4933c7bf4e4d0b584bed392a8b6067678a001e5137e4780cd55263377394a4",
+        "txnUri": "https://rinkeby.etherscan.io/tx/0xdc4933c7bf4e4d0b584bed392a8b6067678a001e5137e4780cd55263377394a4",
+        "blockTime": 1602038247,
+        "blockNumber": 7325459,
+        "proofRoot": "dad814e53cb616d51ed5a389a8e9a91812051b4102535446c4898131158ed916"
+    },
+    "items": [
+        {
+            "key": "Hello, World!",
+            "value": "SGVsbG8sIFdvcmxkIQ=="
+        }
+    ]
+}
+```
+
+Congratulations! You've successfully anchored and verified **Hello, World!**
\ No newline at end of file
diff --git a/docs/rest/actions.md b/docs/rest/actions.md
new file mode 100644
index 0000000..d58dcc5
--- /dev/null
+++ b/docs/rest/actions.md
@@ -0,0 +1,778 @@
+# Actions
+
+- [AnchorTrie](#anchortrie)
+- [CreateTrie](#createtrie)
+- [DeleteItem](#deleteitem)
+- [DeleteProof](#deleteproof)
+- [DeleteTrie](#deletetrie)
+- [GetItem](#getitem)
+- [GetItems](#getitems)
+- [GetProof](#getproof)
+- [GetProofs](#getproofs)
+- [GetRoots](#getroots)
+- [GetTrie](#gettrie)
+- [Prove](#prove)
+- [PutItem](#putitem)
+- [PutItems](#putitems)
+- [Verify](#verify)
+- [VerifyProof](#verifyproof)
+
+## AnchorTrie
+
+Creates a new [TrieProof](./types.md#trieproof-type) by submitting the trie for blockchain anchoring.
+
+### HTTP Request
+
+```
+POST /tries/{trie-id}/anchor
+```
+
+#### Request Query Parameters
+
+| Property | Type | Description |
+| :------- | :--- | :---------- |
+| anchorType | string | The anchor type. |
+
+#### Response Body
+
+If successful, this method returns a `200 OK` response code and the following properties in the response body.
+
+| Property | Type | Description |
+| :------- | :--- | :---------- |
+| proof | [TrieProof](./types.md#trieproof-type) | The trie proof submitted for anchoring. |
+
+### Example
+
+#### Request
+
+```
+POST /tries/tHYF4XwaujFCO3NBFbPAF0/anchor?anchorType=ETH
+```
+
+#### Response
+
+```json
+{
+    "proof": {
+        "id": "pokEUxLX8lswgjjT3OVnWs",
+        "trieId": "tHYF4XwaujFCO3NBFbPAF0",
+        "root": "0000000000000000000000000000000000000000000000000000000000000000",
+        "createdAt": "2020-10-07T06:43:07.700472507Z",
+        "status": "BATCHING",
+        "anchorType": "ETH",
+        "proofRoot": "0000000000000000000000000000000000000000000000000000000000000000"
+    }
+}
+```
+
+## CreateTrie
+
+Creates a new trie.
+
+### HTTP Request
+
+```
+POST /tries
+```
+
+### Request Body
+
+No request body required.
+
+### Response Body
+
+If successful, this method returns a `201 CREATED` response code.
+
+#### Properties
+
+| Property | Type | Description |
+| :------- | :--- | :---------- |
+| trie | [Trie](./types.md#trie-type) | The created trie. |
+
+### Example
+
+#### Response
+
+```json
+{
+    "trie" : {
+        "id": "thBGjbeaX3nVh2Zxl3z5gt",
+        "root": "0000000000000000000000000000000000000000000000000000000000000000"
+    }
+}
+```
+
+## DeleteItem
+
+Deletes a single [TrieItem](./types.md#trieitem-type) from a trie.
+
+### HTTP Request
+
+```
+DELETE /tries/{trie-id}/items/{item-key}
+```
+
+### Response Body
+
+If successful, this method returns a `200 OK` response code and the following properties in the response body.
+
+#### Properties
+
+| Property | Type | Description |
+| :------- | :--- | :---------- |
+| updatedRoot | string | The new root of the trie. |
+
+### Example
+
+#### Request
+
+```
+DELETE /tries/tBnXlLjoCI-WgFzjaDxgae/items/key-1
+```
+
+#### Response
+
+```json
+{
+    "updatedRoot": "b28935cba5c8b49d255a9ed59a950179688e79345b5af16f4df7b0abdf4f370b"
+}
+```
+
+## DeleteProof
+
+Deletes a [TrieProof](./types.md#trieproof-type).
+
+### HTTP Request
+
+```
+DELETE /tries/{trie-id}/proofs/{proof-id}
+```
+
+### Response Body
+
+If successful, this method returns a `200 OK` response code and the following properties in the response body.
+
+| Property | Type | Description |
+| :------- | :--- | :---------- |
+| proof | [TrieProof](./types.md#trieproof-type) | The deleted trie proof. |
+
+### Example
+
+### Request
+
+```
+DELETE /tries/tAgYKIN6lQ7zIFRD8pCteg/proofs/pekk6DlPqz0QaHzPMuOGcB
+```
+
+### Response
+
+```json
+{
+    "proof": {
+        "id": "pekk6DlPqz0QaHzPMuOGcB",
+        "trieId": "tAgYKIN6lQ7zIFRD8pCteg",
+        "root": "c745c59d907512f3d023ed6e1e654e72e1dfba5422691c434bc3c2432f1472dd",
+        "createdAt": "2020-10-07T22:09:53.717798766Z",
+        "status": "CONFIRMED",
+        "anchorType": "ETH",
+        "txnId": "ee2bf8ca4d4000ea39cf8e184319b81f86a0e50fc0034bcfef7f62aebc467d81",
+        "txnUri": "https://rinkeby.etherscan.io/tx/0xee2bf8ca4d4000ea39cf8e184319b81f86a0e50fc0034bcfef7f62aebc467d81",
+        "blockTime": 1602108624,
+        "blockNumber": 7330146,
+        "proofRoot": "dad814e53cb616d51ed5a389a8e9a91812051b4102535446c4898131158ed916"
+    }
+}
+```
+
+## DeleteTrie
+
+Deletes a [Trie](./types.md#trie).
+
+### HTTP Request
+
+```
+DELETE /tries/{trie-id}
+```
+
+### Response Body
+
+If successful, this method returns a `200 OK` response code.
+
+#### Properties
+
+| Property | Type | Description |
+| :------- | :--- | :---------- |
+| trie | [Trie](./types.md#trie-type) | The deleted trie. |
+
+### Example
+
+#### Response
+
+```json
+{
+    "trie" : {
+        "id": "thBGjbeaX3nVh2Zxl3z5gt",
+        "root": "0000000000000000000000000000000000000000000000000000000000000000"
+    }
+}
+``` 
+
+## GetItem
+
+Retrieves a single [TrieItem](./types.md#trieitem-type) from a specific trie.
+
+### HTTP Request
+
+```
+GET /tries/{trie-id}/items/{item-key}
+```
+
+### Response Body
+
+If successful, this method returns a `200 OK` response code.
+
+#### Properties
+
+| Property | Type | Description |
+| :------- | :--- | :---------- |
+| item | [TrieItem](./types.md#trie-type) | The trie item. |
+
+### Example
+
+#### Response
+
+```json
+{
+    "item": [
+        {
+            "key": "Hello, World!",
+            "value": "SGVsbG8sIFdvcmxkIQ=="
+        }
+    ]
+}
+```
+
+## GetItems
+
+Retrieves all [TrieItem](./types.md#trieitem-type)'s from a specific trie.
+
+### HTTP Request
+
+```
+GET /tries/{trie-id}/items
+```
+
+### Response Body
+
+If successful, this method returns a `200 OK` response code and the following properties in the response body.
+
+| Property | Type | Description |
+| :------- | :--- | :---------- |
+| items | [ ] [TrieItem](./types.md#trie-type) | An array of trie items. |
+
+### Example
+
+#### Response
+
+```json
+{
+    "items": [
+        {
+            "key": "Hello, World!",
+            "value": "SGVsbG8sIFdvcmxkIQ=="
+        }
+    ]
+}
+```
+
+## GetProof
+
+Retrieves a [TrieProof](./types.md#trieproof-type).
+
+### HTTP Request
+
+```
+GET /tries/{trie-id}/proofs/{proof-id}
+```
+
+### Response Body
+
+If successful, this method returns a `200 OK` response code and the following properties in the response body.
+
+| Property | Type | Description |
+| :------- | :--- | :---------- |
+| proof | [TrieProof](./types.md#trieproof-type) | The trie proof. |
+
+### Example
+
+### Request
+
+```
+GET /tries/tBnXlLjoCI-WgFzjaDxgae/proofs/p1K2Nn0P010xEgzaV524Hk
+```
+
+### Response
+
+```json
+{
+    "proof": {
+        "id": "p1K2Nn0P010xEgzaV524Hk",
+        "trieId": "tBnXlLjoCI-WgFzjaDxgae",
+        "root": "c745c59d907512f3d023ed6e1e654e72e1dfba5422691c434bc3c2432f1472dd",
+        "createdAt": "2020-10-07T02:37:08.0056553Z",
+        "status": "BATCHING",
+        "anchorType": "ETH",
+        "proofRoot": "0000000000000000000000000000000000000000000000000000000000000000"
+    }
+}
+```
+
+## GetProofs
+
+Retrieve all [TrieProof](./types.md#trieproof-type)'s for a given trie.
+
+### HTTP Request
+
+```
+GET /tries/{trie-id}/proofs
+```
+
+### Response Body
+
+If successful, this method returns a `200 OK` response code and the following properties in the response body.
+
+| Property | Type | Description |
+| :------- | :--- | :---------- |
+| proofs | [ ] [TrieProof](./types.md#trieproof-type) | An array of trie proofs for the given trie. |
+
+### Example
+
+#### Request
+
+```
+GET /tries/tVoXJnrmXW-BQTQsN-TQjW/proofs
+```
+
+#### Response 
+
+```json
+{
+    "proofs": [
+        {
+            "id": "p0633loCr2bMfGFSkEw8i-",
+            "trieId": "tVoXJnrmXW-BQTQsN-TQjW",
+            "root": "3c74322c9dfe3aa6d82f9d5b3642eab9195ad0a25b7e1d28b8d338899a6f338c",
+            "createdAt": "2020-09-18T02:11:12.09027431Z",
+            "status": "CONFIRMED",
+            "anchorType": "ETH",
+            "txnId": "291c1e13108c62fc5f4e1c0c09929f1d36259f6386f096882ab92a08bc7b2cea",
+            "txnUri": "https://rinkeby.etherscan.io/tx/0x291c1e13108c62fc5f4e1c0c09929f1d36259f6386f096882ab92a08bc7b2cea",
+            "blockTime": 1600395098,
+            "blockNumber": 7215935,
+            "proofRoot": "7ab109a79c9721e6e199cd4545cd5de95bef8ee7032808ae44ec44c4c13dd9cb"
+        }
+    ]
+}
+```
+
+## GetRoots
+
+### HTTP Request
+
+```
+GET /tries/{trie-id}/roots
+```
+
+### Response Body
+
+If successful, this method returns a `200 OK` response code and the following properties.
+
+| Property | Type | Description |
+| :------- | :--- | :---------- |
+| roots | [ ] [TrieRoot](./types.md#trieroot-type) | An array of roots the trie has. |
+
+### Example
+
+#### Request
+
+```
+GET /tries/thBGjbeaX3nVh2Zxl3z5gt/roots
+```
+
+#### Response
+
+```json
+{
+    "roots": [
+        {
+            "root": "3c74322c9dfe3aa6d82f9d5b3642eab9195ad0a25b7e1d28b8d338899a6f338c",
+            "createdAt": "2020-09-17T23:42:04.385479769Z"
+        }
+    ]
+}
+```
+
+## GetTrie
+
+Retrieves a [Trie](./types.md#trie-type).
+
+### HTTP Request
+
+```
+GET /tries/{trie-id}
+```
+
+### Response Body
+
+If successful, this method returns a `200 OK` response code.
+
+#### Properties
+
+| Property | Type | Description |
+| :------- | :--- | :---------- |
+| trie | [Trie](./types.md#trie-type) | The trie. |
+
+
+### Example
+
+#### Response
+
+```json
+{
+    "trie" : {    
+        "id": "thBGjbeaX3nVh2Zxl3z5gt",
+        "root": "3c74322c9dfe3aa6d82f9d5b3642eab9195ad0a25b7e1d28b8d338899a6f338c"
+    }
+}
+```
+
+## Prove
+
+Anchors a set of key/values to the blockchain and returns a [TrieProof](./types.md#trieproof-type).
+
+### HTTP Request
+
+```
+POST /prove
+```
+
+### Request Body
+
+#### JSON Representation
+
+```json
+{
+    "anchorType" : "string",
+    "items" : [
+        { "key" : "string", "value" : "string (base64)" }
+    ]
+}
+```
+
+#### Properties
+
+| Property | Type | Description |
+| :------- | :--- | :---------- |
+| anchorType | string | The blockchain anchor type to submit the proof to. One of [ ]. Defaults to **ETH**. |
+| items | [ ] [TrieItem](./types.md#trieitem-type) | The array of items to create a proof for. Minimum of 1 item. |
+
+### Response Body
+
+If successful, this method returns a `200 OK` response code and the following properties in the response body.
+
+| Property | Type | Description |
+| :------- | :--- | :---------- |
+| proof | [TrieProof](./types.md#trieproof-type) | The proof created. |
+
+### Example
+
+#### Request
+
+```
+POST /prove
+```
+
+```json
+{
+    "anchorType" : "ETH",
+    "items" : [
+        { "key" : "Hello, World!", "value" : "SGVsbG8sIFdvcmxkIQ==" }
+    ]
+}
+```
+
+#### Response
+
+```json
+{
+    "proof": {
+        "id": "p1K2Nn0P010xEgzaV524Hk",
+        "trieId": "tBnXlLjoCI-WgFzjaDxgae",
+        "root": "c745c59d907512f3d023ed6e1e654e72e1dfba5422691c434bc3c2432f1472dd",
+        "createdAt": "2020-10-07T02:37:08.0056553Z",
+        "status": "BATCHING",
+        "anchorType": "ETH",
+        "proofRoot": "0000000000000000000000000000000000000000000000000000000000000000"
+    }
+}
+```
+
+## PutItem
+
+Adds a single [TrieItem](./types.md#trieitem-type) to a trie.
+
+### HTTP Request
+
+```
+POST /tries/{trie-id}/items/{item-key}
+```
+
+### Request Body
+
+#### JSON Representation
+
+```json
+{
+    "value" : "string"
+}
+```
+
+#### Properties
+
+| Property | Type | Description |
+| :------- | :--- | :---------- |
+| value | string | The base64 encoded value to add. |
+
+### Response Body
+
+If successful, this method returns a `201 CREATED` response code and the following properties in the response body.
+
+#### Properties
+
+| Property | Type | Description |
+| :------- | :--- | :---------- |
+| updatedRoot | string | The new root of the trie. |
+
+### Example
+
+```
+POST /tries/tBnXlLjoCI-WgFzjaDxgae/items/key-1
+```
+
+#### Request
+
+```json
+{
+    "value" : "SGVsbG8sIFdvcmxkIQ=="
+}
+```
+
+#### Response
+
+```json
+{
+    "updatedRoot": "b28935cba5c8b49d255a9ed59a950179688e79345b5af16f4df7b0abdf4f370b"
+}
+```
+
+## PutItems
+
+Adds [TrieItem](./types.md#trieitem-type)'s to a trie.
+
+### HTTP Request
+
+```
+POST /tries/{trie-id}/items
+```
+
+### Request Body
+
+#### JSON Representation
+
+```json
+{
+    "items" : [
+        { "key" : "string", "value" : "string (base64)" },
+        { "key" : "string", "value" : "string (base64)" }
+    ]
+}
+```
+
+#### Properties
+
+| Property | Type | Description |
+| :------- | :--- | :---------- |
+| items | [ ] [TrieItem](./types.md#trieitem-type) | An array of items to add. |
+
+### Response Body
+
+If successful, this method returns a `201 CREATED` response code and the following properties in the response body.
+
+#### Properties
+
+| Property | Type | Description |
+| :------- | :--- | :---------- |
+| updatedRoot | string | The new root of the trie. |
+
+### Example
+
+#### Request
+
+```json
+{
+    "items" : [
+        { "key" : "key-1", "value" : "SGVsbG8s" },
+        { "key" : "key-2", "value" : "V29ybGQh" }
+    ]
+}
+```
+
+#### Response
+
+```json
+{
+    "updatedRoot": "b28935cba5c8b49d255a9ed59a950179688e79345b5af16f4df7b0abdf4f370b"
+}
+```
+
+## Verify
+
+Verifies an anchored [TrieProof](./types.md#trieproof-type). 
+
+### HTTP Request
+
+```
+POST /verify
+```
+
+### Request Body
+
+#### JSON Representation
+
+```json
+{
+    "proofId" : "string",
+    "trieId" : "string",
+    "outputItems" : true
+}
+```
+
+#### Properties
+
+| Property | Type | Description |
+| :------- | :--- | :---------- |
+| outputItems | bool | Optional. Return the items contained in the proof. |
+| proofId | string | The anchored proof id of the trie. |
+| trieId | string | The trie ID the proof was created for. |
+
+### Response Body
+
+If successful, this method returns a `200 OK` response code and the following properties in the response body.
+
+| Property | Type | Description |
+| :------- | :--- | :---------- |
+| error | string | An error message if the proof failed verification. |
+| items | [ ] [TrieItem](./types.md#trieitem-type) | The array of items that are contained in the proof. |
+| proof | [TrieProof](./types.md#trieproof-type) | The proof verified. |
+| verified | bool | The status of the proof. |
+
+### Example
+
+#### Request
+
+```json
+{
+    "proofId" : "p1K2Nn0P010xEgzaV524Hk",
+    "trieId" : "tBnXlLjoCI-WgFzjaDxgae",
+    "outputItems" : true
+}
+```
+
+#### Response
+
+```json
+{
+    "verified": true,
+    "proof": {
+        "id": "p1K2Nn0P010xEgzaV524Hk",
+        "trieId": "tBnXlLjoCI-WgFzjaDxgae",
+        "root": "c745c59d907512f3d023ed6e1e654e72e1dfba5422691c434bc3c2432f1472dd",
+        "createdAt": "2020-10-07T02:37:08.0056553Z",
+        "status": "CONFIRMED",
+        "anchorType": "ETH",
+        "txnId": "dc4933c7bf4e4d0b584bed392a8b6067678a001e5137e4780cd55263377394a4",
+        "txnUri": "https://rinkeby.etherscan.io/tx/0xdc4933c7bf4e4d0b584bed392a8b6067678a001e5137e4780cd55263377394a4",
+        "blockTime": 1602038247,
+        "blockNumber": 7325459,
+        "proofRoot": "dad814e53cb616d51ed5a389a8e9a91812051b4102535446c4898131158ed916"
+    },
+    "items": [
+        {
+            "key": "Hello, World!",
+            "value": "SGVsbG8sIFdvcmxkIQ=="
+        }
+    ]
+}
+```
+
+## VerifyProof
+
+Verifies an anchored [TrieProof](./types.md#trieproof-type).
+
+### HTTP Request
+
+```
+GET /tries/{trie-id}/verify/{proof-id}
+```
+
+### Optional Query Parameters
+
+| Property | Type | Description |
+| :------- | :--- | :---------- |
+| outputItems | bool | Optional. Return the items belonging the proof. |
+
+### Response Body
+
+If successful, this method returns a `200 OK` response code and the following properties in the response body.
+
+| Property | Type | Description |
+| :------- | :--- | :---------- |
+| error | string | An error message if the proof failed verification. |
+| items | [ ] [TrieItem](./types.md#trieitem-type) | The array of items that are contained in the proof. |
+| proof | [TrieProof](./types.md#trieproof-type) | The proof verified. |
+| verified | bool | The status of the proof. |
+
+### Example
+
+#### Request
+
+```
+GET /tries/tBnXlLjoCI-WgFzjaDxgae/verify/p1K2Nn0P010xEgzaV524Hk?outputItems=true
+```
+
+#### Response
+
+```json
+{
+    "verified": true,
+    "proof": {
+        "id": "p1K2Nn0P010xEgzaV524Hk",
+        "trieId": "tBnXlLjoCI-WgFzjaDxgae",
+        "root": "c745c59d907512f3d023ed6e1e654e72e1dfba5422691c434bc3c2432f1472dd",
+        "createdAt": "2020-10-07T02:37:08.0056553Z",
+        "status": "CONFIRMED",
+        "anchorType": "ETH",
+        "txnId": "dc4933c7bf4e4d0b584bed392a8b6067678a001e5137e4780cd55263377394a4",
+        "txnUri": "https://rinkeby.etherscan.io/tx/0xdc4933c7bf4e4d0b584bed392a8b6067678a001e5137e4780cd55263377394a4",
+        "blockTime": 1602038247,
+        "blockNumber": 7325459,
+        "proofRoot": "dad814e53cb616d51ed5a389a8e9a91812051b4102535446c4898131158ed916"
+    },
+    "items": [
+        {
+            "key": "Hello, World!",
+            "value": "SGVsbG8sIFdvcmxkIQ=="
+        }
+    ]
+}
+```
\ No newline at end of file
diff --git a/docs/rest/types.md b/docs/rest/types.md
new file mode 100644
index 0000000..3d0783b
--- /dev/null
+++ b/docs/rest/types.md
@@ -0,0 +1,107 @@
+# Types
+
+- [Trie](#trie-type)
+- [TrieItem](#trieitem-type)
+- [TrieProof](#trieproof-type)
+- [TrieRoot](#trieroot-type)
+
+## Trie type
+
+Here is a JSON representation of a **Trie**.
+
+### JSON Representation
+
+```json
+{
+  "id" : "string",
+  "root" : "string"
+}
+```
+
+### Properties
+
+| Property | Type | Description |
+| :------- | :--- | :---------- |
+| id | string | The unique trie id. Read-only. |
+| root | string | The current root hash of the trie. Read-write. |
+
+## TrieItem type
+
+### JSON Representation
+
+Here is a JSON representation of a **TrieItem**.
+
+```json
+{
+    "key" : "string",
+    "value" : "string (base64)"
+}
+```
+
+### Properties
+
+| Property | Type | Description |
+| :------- | :--- | :---------- |
+| key | string | The unique key. Read-write. |
+| value | string | The value assigned to the key. Base64 encoded. Read-write. |
+
+## TrieProof type
+
+### JSON Representation
+
+Here is a JSON representation of a **TrieProof**.
+
+```json
+{
+    "id": "string",
+    "trieId": "string",
+    "root": "string",
+    "createdAt": "string",
+    "status": "string",
+    "anchorType": "string",
+    "txnId": "string",
+    "txnUri": "string",
+    "blockTime": 1601931891,
+    "blockNumber": 7318373,
+    "proofRoot": "string"
+}
+```
+
+### Properties
+
+| Property | Type | Description |
+| :------- | :--- | :---------- |
+| id | string | The unique proof id. Read-only. |
+| trieId | string | The unique trie id this proof was created on. Read-only. |
+| root | string | The root hash of the trie proven by this proof. Read-only. |
+| createdAt | string | The timestamp the proof was created at. RFC3339 Format. Read-only. |
+| status | string | The proof status. One of \[STARTED, CONFIRMED]. |
+| error | string | The error message when status is ERROR. |
+| anchorType | string | The anchor type the trie proof has been submitted to. |
+| txnId | string | The blockchain transaction ID - once status is CONFIRMED. |
+| txnUri | string | The explorer URI for the blockchain transaction - once status is CONFIRMED |
+| blockTime | uint64 | The blockchain's block consensus timestamp in seconds - once status is CONFIRMED |
+| blockTimeNano | uint64 | The bockcahin's block consensus timestamp's nano part. For most traditional blockchains, this will be zero. For Hedera, this will be the nano part of the transaction's consensus timestamp. |
+| blockNumber | uint64 | The blockchain's block number. For Hedera, this will be zero as there is no block concept and each transaction has its own consensus timestamp which defines the transaction order. |
+| proofRoot | string | The root hash of the trie proof, which is the anchor batch's root hash the proof belongs to. |
+
+## TrieRoot type
+
+### JSON Representation
+
+Here is a JSON representation of a **TrieRoot**.
+
+```json
+{
+    "root": "string",
+    "createdAt": "string"
+}
+```
+
+### Properties
+
+| Property | Type | Description |
+| :------- | :--- | :---------- |
+| root | string | The root hash. Read-only. |
+| createdAt | string | The time the root was created. RFC3339 Format. Read-only. |
+