To login to Space and Time Studio dapp:

Navigate to the Space and Time Studio dapp and click on "Sign in" in the upper-right most corner.

Enter your Username and Password, and click "Login"

  OR

Click the "Connect a wallet" button at the bottom, and use your wallet to sign into your Space and Time account.

Once authenticated, you should see the "Sign in" button replaced by a "My account" button in the upper right, where you can manage your account and subscription settings.

🔥 New User? Click here to create an account! 🔥

Once logged in to Space and Time Studio, you can run a tamperproof query directly in the query editor:

• Click on the "Queries" menu tab, to pull up the "Query Editor"
• In the main query editor space, click on the Proof of SQL button (looks like a database with a key) to the immediate left of the "Run Query" button - this will open a pop-out box
• At the top of that pop-out next to the "Proof of SQL" title, click the toggle switch so that it reads "ENABLED" (this will also add a small green indicator to the Proof of SQL button)
• Click the "Run Query" button!

If you would like to follow-along with the SQL above:

SELECT Event_Date
, sum(TempC) as SumTemp
, count(*) as CntTemp
, sum(TempC) / count(*) as AvgTemp
FROM SXTDemo_TP.Temperature_v01
GROUP BY Event_Date

📘

A script to create the tamperproof table above can be found in the recipe, "Create a Tamperproof Table.

👍

Contrats, you've run a tamperproof query! All queries submitted through the "Query Editor" will now also generate a ZK proof, and be verified using the SxT verifier network.

If not already complete, follow these instructions to install the Space and Time CLI.

To login to the Space and Time network using the CLI, make sure you've installed the Space and Time CLI and have a valid space and time user, then copy/paste the commands below into a terminal:

1. Set environment variables (replacing values below with your SxT credentials) and login to the SxT network:

API_URL="https://api.spaceandtime.app"
USERID="your_userid"
USER_PUBLIC_KEY="your-public-key"
USER_PRIVATE_KEY="your-private-key"

sxtcli authenticate login --url=$API_URL --userId=$USERID --publicKey=$USER_PUBLIC_KEY --privateKey=$USER_PRIVATE_KEY

# assuming this file exists, containing user secrets:
. ~/.keys/.env

sxtcli authenticate login --url=$API_URL --userId=$USERID --publicKey=$USER_PUBLIC_KEY --privateKey=$USER_PRIVATE_KEY

This command will return two tokens:

• ACCESS_TOKEN - used to authenticate any API calls to the network
• REFRESH_TOKEN - used to request a new ACCESS_TOKEN

2. Optionally, it's a good idea to copy the ACCESS_TOKEN to an environment variable. This can be done manually, i.e., ACCESS_TOKEN="eyJ0eXBlIjoiY..." or by directing the CLI output to a parser like awk:

ACCESS_TOKEN=$(sxtcli authenticate login --url=$API_URL --userId=$USERID --publicKey=$USER_PUBLIC_KEY --privateKey=$USER_PRIVATE_KEY | awk 'NR==2{ print $2 }' )
echo $ACCESS_TOKEN

3. Optionally, let's test our ACCESS_TOKEN by submitting a request to the network. Assuming your ACCESS_TOKEN is stored in an environment variable as above, you can retrieve your UserID details, or run queries (with a valid subscription or trial):

curl --request GET \
     --url https://api.spaceandtime.app/v1/auth/validtoken \
     --header 'accept: application/json' \
     --header "authorization: Bearer $ACCESS_TOKEN"

curl --request POST \
--url "https://api.spaceandtime.app/v1/sql" \
--header "accept: application/json" \
--header "authorization: Bearer $ACCESS_TOKEN" \
--header "content-type: application/json" \
--data '{
    "sqlText": "Select count(*) as Blocks_Yesterday from Ethereum.Blocks where time_stamp between current_date-1 and current_date"
}'

👍

Contrats, you've authenticated to the Space and Time network and generated an ACCESS_TOKEN using the CLI!

Hint: If you plan to use the CLI frequently, you might consider:

• It's a best practice to store user secrets in a dotenv (.env) file
• Check out this this community project for CLI shortcuts

Running a natively verified tamperproof query using the API is nearly identical to running a normal SQL query request, except using the tamperproof SQL API endpoint. Using this API will generate the query results, the ZK Proof, and use the SxT verifier network to perform the verification - all automatically in one step!

To run a query using the CLI, open a terminal window, log into the Space and Time network to get an ACCESS_TOKEN, saved to an environment variable ACCESS_TOKEN, and then submit the API call:

SQL="SELECT Event_Date, sum(TempC) as SumTemp, count(*) as CntTemp, sum(TempC) / count(*) as AvgTemp FROM SXTDemo_TP.Temperature_v01 GROUP BY Event_Date"

curl --request POST \
     --url https://api.spaceandtime.app/v2/sql/tamperproof-query \
     --header 'content-type: application/json' \
     --header "authorization: Bearer $ACCESS_TOKEN" \
     --data '{ "sqlText": "'"$SQL"'" }'

👍

Contrats, you've run a tamperproof query!

Optionally, let's run the same query above but using the normal SQL endpoint. The query result is the same, but note that you'll get MORE information back from the tamperproof endpoint than you will from the normal endpoint. This is because the tamperproof endpoint will include, among other metadata information, the verification hash. The endpoint signature between the two is identical, except for the URL:

SQL="SELECT Event_Date, sum(TempC) as SumTemp, count(*) as CntTemp, sum(TempC) / count(*) as AvgTemp FROM SXTDemo_TP.Temperature_v01 GROUP BY Event_Date"
     
curl --request POST \
     --url https://api.spaceandtime.app/v1/sql \
     --header 'content-type: application/json' \
     --header "authorization: Bearer $ACCESS_TOKEN" \
     --data '{ "sqlText": "'"$SQL"'" }'