Is there some more technical description somewhere? They probably do not use the Bitcoin Proof of Work technique?
The first paragraph mentions it's using Hyperledger's Fabric[1] blockchain implementation. I assume they're building their own smart contracts on top of that.