Regulation is a necessary component of a well-functioning society, which can be made less complicated,
automatically enforceable and easy to monitor with regulatory technology.
BLOCKCHAIN-BASED OPEN network FOR DATA ASSETS
RegChain is an innovative, unique platform, which provides architectural support for transforming data into data assets, via automatically regulating blockchain transactions, and therefore achieving data compliance throughout its full lifecycle.
RegChain enables efficient and secure sharing of data assets with data privacy reserved to greatly optimise existing data services and create new types of business models.
Data assets on RegChain are trusted, verifiable, computable and accepted by the entire network.
SPECIFICATION SERVICE FOR RULES OF DATA COMPLIANCE
RegChain offers a formal domain-specific language to specify compliance rules for on-chain data and the governance of RegChain itself as well.
RegChain allows the user to manage the whole lifecycle of compliance rules on blockchain.
RegChain automatically generates a TEE-based trusted regulatory framework to check the satisfiability of compliance rules on the fly.
formal verification of smart contracts
RegChain enables systematic formal verification of smart contracts on important security, safety and compliance properties.
RegChain delivers both bounded theoretical guarantee on properties and reproducible counter-examples of property violations.
RegChain is capable of taking as input the source code and binary code of smart contracts with different runtime libraries.
TBTL is keen to work with parties interested in working with us on RegTech