Eighth issue
snail's intelligence
Project name: Orchid Protocol
Official website:orchid.com
Project description: The Internet was initially an open platform where people could learn and communicate freely. Unfortunately, as the internet has grown, it has become a place where people can be monitored, controlled and censored. We are creating a new civil contract between compute, storage and bandwidth distributed markets to provide a framework for new forms of digital citizenship.
Project name: CertiK
Official website: certik.org
Project description:CertiK is a formal verification framework for mathematically proving that smart contracts and blockchain ecosystems are flawless and hacker-resistant. To extend verification, CertiK developed a layer-based approach to decompose this otherwise forbidden verification task into smaller verification tasks. These smaller proof obligations can be encoded in a CertiK transaction and then proven and verified by the participants in a decentralized manner. As such, the CertiK ledger serves as a certificate demonstrating the end-to-end correctness and security of verified smart contracts and a verified blockchain ecosystem, making it fully trustworthy.
Project name: MobileCoin
Official website: mobilecoin.com
Project description: MobileCoin is a new cryptocurrency designed for use by all. We have started working on a system that focuses on scalability, usability and privacy.
Project name: Oasis Labs
Official website: oasislabs.com
Project description:Oasis Labs is rethinking blockchain for the real world. Built from cutting-edge technology, Oasis is the first smart contract platform to offer security, privacy and high scalability.
Project name: Neonexchange
Official website: neonexchange.org
Project Information: NEX uses an off-chain matching engine to achieve faster and more complex transactions across multiple blockchains (such as NEO and Ether)
Recommended>>
1、Weaknesses and limitations of deep reinforcement learning
2、Lesson 4 Use of the model
3、Can you navigate without a map DeepMind uses Street View for road recognition
4、Is it easier to invite the gods than to send them away App that wont let you cancel is a rogue
5、Could selfdriving be a death sentence for US truckers