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)

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

    已推荐到看一看 和朋友分享想法
    最多200字,当前共 发送