Zen is a decentralized financial platform, built from scratch with the goal of providing people with a secure, scalable and useful infrastructure for creating their own financial instruments, and trading them directly without intermediaries.The Zen blockchain is secured by multiple proof-of-work algorithms, with token-holder voting on the balance between them. Multi-hash mining creates robust incentives for miners to deliver efficient, reliable security.Zen smart contracts are written and secured by a subset of the F* functional programming language, allowing users to: A) Prove the amount of resources a contract will consume and provide the necessary fees for running the contract to miners, removing the need for a “gas” based system.B) Prove their contracts meet a given specification, meaning they can prove the contract will definitely do (or not do) something given a specific set of parameters.The Zen platform comes with a built-in solution for oracles, which provide contracts with useful real world data.Finally, Zen is integrated with the Bitcoin blockchain, allowing contracts to observe and respond to native bitcoin transactions
Tripio is the first travel marketplace based on the blockchain. It leverages the decentralized network provided by blockchain technologies to directly connect global customers and service providers. Moreover, it builds a service ecosystem based on transparent, tamper-resistant trust and incentives. The blockchain technologies Tripio leverages help reduce transactional and operational costs in travel industries, as well as improve customer experience in their respective products and services. On the Tripio platform, a service provider can publish her unique service terms and conditions using smart contracts. From the moment a purchase initiates to the end of the travel, every step along the way can be enforced and monitored by smart contracts. Should disputes arise, Tripio provides dispute resolution by means of community selfgovernment mechanisms. Tripio comprises of its dApps and a set of Tripio Protocols that forms the basis of the new ecosystem. The Tripio dApp and the Tripio Protocals are powered by the ERC-20 utility token called the TRIO token. Customers may use Tripio dApps directly. At the same, any third-party may build its own dApp by leveraging the open Ethereum protocols.