The CertiK platform is envisaged to be a formal verification framework for building fully trustworthy smart contacts and blockchain ecosystems. Different from the traditional testing approaches to detect bugs, the CertiK platform attempts to mathematically prove that blockchain ecosystems are bug-free. The Foundation has developed modular verification techniques to decompose such an otherwise prohibitive proof task into smaller ones that can be automatically solved in a decentralized style. These proof objects can be built and encoded in the CertiK platform’s transactions and will then be validated by other participants. Thus, the CertiK platform’s blockchain is intended to work as certificates to exhibit the end-to-end correctness and security of the verified smart contracts, libraries of decentralized applications (DApp), and the implementations of the blockchain itself.
Thunder is a new crypto token that supports high throughput and confirms transactions in seconds. This is enabled by a paradigm-shifting blockchain protocol, developed by leading experts in cryptography and distributed systems, and accompanied by a rigorous mathematical analysis of security.
RSK is an open-source smart contract platform with a 2-way peg to Bitcoin that also rewards the Bitcoin miners via merge-mining, allowing them to actively participate in the Smart Contract revolution. RSK goal is to add value and functionality to the Bitcoin ecosystem by enabling smart-contracts, near instant payments and higher-scalability.
Carry is a protocol that powers the next generation of apps for offline retail. At its heart is an incentive mechanism that drives consumers to Carry merchant stores. The whole system is geared toward enabling consumers, merchants and advertisers alike. The Carry Protocol offers: (1) Crypto-enabled payment terminals for offline businesses; (2) Branded tokens for offline brands and shops—the “loyalty points” of the future; (3) A wallet API for payments that enables consumers to manage their own privacy and optionally monetize their transaction data; (4) A targeted advertising system based on the opt-in transaction data blockchain.
DxChain is a big data and machine learning network which is powered by a computing-centric blockchain with a native protocol token (also called "DXC Token"). The end users could use this network as a data exchange platform to trade data and as a business intelligence analytics platform to analyze data for supporting business insights.
The first blockchain technology-based platform content community created specifically for ACG. The ACGN Chain has built an ACG content incubation ecosystem by re-defining industry rules concerning credit, advertising, IPR protection and content creation, breaking the industrial monopoly and highlighting user value.
The Blockcloud ICO (BLOC Token) is laying the groundwork for a new Internet of Things protocol. The team has clearly identified the assets that such a network will need, and is in the process of building a foundation that answers the unique challenges inherently presented by the scale of an IoT solution. We see a team that has clear academic and entrepreneurial experience, and that has compartmentalized these challenges such that each is tackled in the whitepaper - fairness, trust, incentivization, security, scalability - all are addressed as unique hurdles, and unique solutions are then proposed. This type of segmentation is lacking in many ambitious projects, and we see it as a clear differentiator (along with the team's academic rigor) which could offer Blockcloud a major advantage in the competitive IoT market.
To liberate businesses by simplifying, streamlining, and widening access to global capital. Our digital capital raising platform improves the overall process for companies and investors through the use of blockchain, automation, and machine learning. We are bringing the new digital form of capital raising into the regulated space, and into the mainstream.