Runtime Verification

The laboratory gathered experts in the field to study and discuss technology research and development, commercial application, industrial strategy, etc., to provide guidance for entrepreneurs, to provide reference for industry development and policy formulation

IRIS Network is an inter chain service infrastructure and protocol used to build reliable and distributed business applications. It is also the hub of cosmos ecosystem that focuses on providing cross chain services.

Chainx network is built on the basis of Substrate, is a cross level and cross chain interworking asset gateway, which is composed of PCX, DEX, Cross chain and relay module, Bitcoin two-tier financial platform and Boca two-tier relay chain.

Hashquark is one of the largest cryptocurrency verifiers in the world.

A technology start-up focusing on trusted identity authentication and data privacy protection of intelligent Internet of things.

The Mask network is the gateway to the new opened Internet. You can send encrypted posts to your friends, participate in the lucky draw of cryptocurrency by using Mask network, and share encrypted files on the platform you have used.