Demo: automated insurance

February 8, 2018
demo cryptocurrency tezos michelson blockchain smart contracts applications oracles golang react web

Interactive demo

In the previous article, I described a system of smart contracts and servers that lets us provide insurance policies to users, and automatically evaluate and resolve them. I’ve worked with my colleagues to make the system more user friendly and we are proud to present an interactive demo. It’s a web application that lets people purchase an insurance policy easily, without any technical knowledge.

You can see the demo in action in these gifs:


You can try it for yourself too!

To use it, follow these steps:

  1. use the latest version of Chrome
  2. go to the demo website
  3. use the link to install the TezBox extension
  4. create an account (instructions below)
  5. after creating an account, follow the instructions on the website

After you install TezBox, you’ll have to create an account, here’s how:

  1. click the TezBox extension icon (next to the address bar)
  2. click Create TezBox
  3. choose a password (this is just the alphanet, so you don’t need to worry about losing it, you can always create a new account with play money)
  4. it can take a few seconds to create your account
  5. you should now have a new account with 100,000 tez
  6. if TezBox wallet box on the website doesn’t show your balance, click Refresh or refresh the page

Here’s a gif to help you with the first time setup:

That’s it. No hassle, no paperwork.

Note that this is still a work in progress and components of the system may be unavailable occasionally. If it doesn’t work, try again later.

Details & credits

The demo was built by Richard Učník and Ondřej Pospěch. It’s built with React and uses an extension called TezBox and a library called eztz.

TezBox is very similar to Metamask in the Ethereum ecosystem. A nice video that explains Metamask can be seen here. The eztz library provides functions to interact with Tezos nodes over their RPC API. Both TezBox and eztz are developed by Stephen Andrews.

TezBox has been updated and modified by Richard and Ondřej to work with our demo.

More resources about Tezos

If you are interested in the Tezos platform, you can find more resources at, the official developer resources, or the Tezos git repo. The community is mainly centered around the matrix chat room and The developer chat room on matrix is here.

Tezos tools: automated contract set up

March 21, 2018
automation cryptocurrency tezos michelson blockchain smart contracts applications oracles golang

Tezos applications: automated insurance

January 12, 2018
cryptocurrency tezos michelson blockchain smart contracts applications oracles golang

Getting started with Tezos #4: more complex oracle

November 17, 2017
cryptocurrency tezos michelson blockchain smart contracts oracles golang