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.

The Aztec Protocol is an efficient zero-knowledge privacy protocol designed to enable private transactions on the Ethereum blocckhain. Their zero-knowledge proofs enable private transactions that can facilitate a variety of inter-operable financial applications on Ethereum. Aztec is a ConsenSys portfolio company.

T

Veritaseum develops blockchain-based software solutions for capital markets. Their goal is to decentralize access to these markets, with both centralized and decentralized solutions, for a range of financial institutions. The company assists their clients in building bespoke decentralized applications. Veritaseum's software solutions are built upon their platform, which allows for the creation of Veritas sub-tokens that serve the specific needs of the client.