BOScoin is a South Korean company that is developing a self-evolving cryptocurrency platform for trust contracts. It uses an embedded decision-making system called Congress Network and has a Proof-of-Stake (PoS) consensus mechanism. BOScoin is working to construct an algorithm for smart contracts that will ensure binary responses. BOScoin tries to solve this problem of undecidability of smart contracts by using a domain-specific language understandable by the average user. It also tries to mathematically demonstrate the decidability of its smart contracts’ implementation. To do this, they've introduced the concept of Trust Contracts; which are securely executable contracts based on a technology called Owlchain.

Kadena is a software development company that builds blockchain-based platforms for a range of businesses. They develop purpose-built blockchain solutions for their clients by using proprietary solutions that are aimed at being both secure and scalable. Kadena offers both private and public blockchain platforms, with smart contracts written in the Pact programming language. They've also developed an innovative proof-of-work architecture called ChainWeb that could have a variety of applications.
Kadena's founders have experience working for the U.S. Securities and Exchange Commission (SEC) and JPMorgan Chase Bank. The company has raised significant funding and is well positioned to be play a big role in developing future blockchain solutions for large financial institutions.