Estonia

Guardtime

Company with Blockchain technology in search of zero trust systems i.e. systems that can provide formally verifiable mathematical proof of the correctness of operations.