Análise da OIC: Kinesis Velocity Token

0
28


O CertiK é uma estrutura de verificação formal que permite provar matematicamente que contratos inteligentes e ecossistemas de blocos não contêm bugs e são protegidos contra ataques de hackers.

loading...

Para dimensionamento, o CertiK desenvolveu uma abordagem baseada no uso de camadas ou camadas para decompor a tarefa de verificação em tarefas menores.

Assim, os registros de registro da CertiK agem como certificados, demonstrando a validade de ponta a ponta e a segurança de contratos inteligentes comprovados e ecossistemas de blocos comprovados, o que os torna totalmente confiáveis.

O produto consiste nos seguintes elementos:

1 Rotulagem inteligente. O CertiK desenvolveu uma nova abordagem para especificar DApps / sistemas usando rótulos ou atalhos.

2 Decomposição baseada em camadas. A equipe da CertiK é uma das primeiras a introduzir a verificação modular, implementando um novo conceito chamado de especificação de profundidade em camadas / camadas.

3 Prova plugável motor. Torna muito mais fácil resolver tais tarefas decompostas, e elas podem até ser resolvidas de maneira quase automática.

4 Objetos de prova verificáveis ​​por máquina. A plataforma CertiK cria objetos de validação automática (ou contra-exemplos) que podem ser rapidamente verificados por qualquer usuário.

5 Bibliotecas DApp certificadas. Para melhorar a qualidade e a confiabilidade do código de toda a comunidade, o CertiK oferece uma série de bibliotecas e plug-ins certificados para o ambiente de desenvolvimento integrado (IDE) para criar DApps confiáveis.

6 Serviços de certificação personalizados. Para DApps / sistemas com requisitos de alta confiabilidade (ou seja, carteiras digitais), a plataforma CertiK pretende fornecer serviços de certificação personalizados.

Roteiro

No primeiro trimestre de 2018, a equipe produziu versões alfa de marcadores, técnicas de verificação e marcações inteligentes.

Em abril, eles lançaram uma versão beta do protocolo e várias empresas de terceiros começaram a usá-lo. O site tem um vídeo para uma demonstração do protocolo de verificação.

Certik tem uma versão limitada do produto de trabalho. Eles já estão aceitando clientes e têm um fluxo de receita.

Concorrentes

zepelim é um provedor de serviços de teste e verificação, tem uma parcela significativa do mercado. A principal diferença do projeto é que a maior parte do processo de verificação é manual, portanto, sua escalabilidade é questionável.

Quantstamp é um protocolo de verificação existente para contratos inteligentes. Ele usa a mesma metodologia de verificação manual, que ainda é vulnerável a erros humanos e problemas de escalabilidade. No entanto, o projeto tem um valor de mercado de 100-150m em média.

Assim, a principal vantagem competitiva do CertiK são suas capacidades de automação, que por sua vez limitarão o erro humano e aumentarão a escalabilidade.

Verificação de tempo de execução é uma empresa que fornece soluções formais de verificação, que atualmente fornece serviços para verificar contratos inteligentes. Em seu desenvolvimento, eles também ofereceram uma solução para EVM (Ethereum Virtual Machines) chamada KEVM, embora seu desenvolvimento ainda esteja nos estágios iniciais.

Mercado

A Certik pretende conquistar uma fatia de mercado de trilhões de dólares. À medida que o mercado de blockchain cresce, hackers e criminosos virtuais podem custar milhões de dólares às redes. CertiK oferece uma solução para este problema. Além disso, durante o ciclo de desenvolvimento, quase 30-40% são gastos em testes de infraestrutura, e o CertiK, através do uso de suas bibliotecas e plugins, pode diminuir os custos nesse segmento.

Símbolo

O combustível digital nativo da Plataforma CertiK (“CTK”) é um componente importante do ecossistema na Plataforma CertiK. O CTK é um combustível utilitário funcional não reembolsável que será usado como a unidade de troca entre os participantes da Plataforma CertiK, bem como os incentivos econômicos que serão consumidos para incentivar os participantes a contribuir e manter o ecossistema na Plataforma CertiK..

A Plataforma CertiK introduz um novo esquema de mineração, chamado Proof-of-Proof (PoP), envolvendo a distribuição de incentivos do CTK.

Este esquema de PoP unifica toda a comunidade através do fluxo de CTKs entre cinco funções diferentes:

  • Os clientes podem enviar programas / sistemas que precisam de verificação (através dos serviços da Plataforma CertiK) ou quaisquer obrigações de prova (que atendam ao protocolo aberto) para a rede CertiK. Isso é feito iniciando e transmitindo uma transação especial de "solicitação de prova" associada a alguns incentivos do CTK oferecidos para qualquer pessoa que construa as provas.
  • Os caçadores de recompensas são aqueles que buscam incentivos CTK e gostariam de compartilhar seus recursos de computação. Eles irão construir e difundir os objetos de prova e esperar que as provas sejam validadas. Devido à importância significativa dessa função, somente os usuários que possuem uma certa quantidade de CTKs podem assumir essa função.
  • Os verificadores podem obter incentivos de CTK registrando transações de rotina ou verificando os objetos de prova enviados. Os caçadores de recompensas só podem receber seus incentivos quando as provas são validadas, e os verificadores também podem obter uma pequena parte desses incentivos.
  • Os sábios são aqueles que conectam seus mecanismos de prova através do protocolo aberto da Plataforma CertiK. Seus motores podem ser usados ​​aleatoriamente por caçadores de recompensas e serão avaliados através de testes A / B. Eles também podem obter alguns incentivos CTK, dependendo do resultado da avaliação de seus motores. Mecanismos excepcionais serão estudados e divulgados pela comunidade.
  • Os usuários podem se inscrever em todas as bibliotecas certificadas e nos plug-ins IDE da CertiK Platform para construir seus sistemas DApps / com alguns CTKs.

A venda simbólica consiste em três rodadas de investimento. Cada rodada tem um período de bloqueio diferente que não coincide entre si. Significa que rodada

Equipe

CertiK tem uma equipe totalmente empenhada que conta com profissionais de jurídico, financeiro, relações públicas e TI.

Ronghui Gui é o co-fundador do projeto. Ele é professor assistente de ciência da computação na Universidade de Columbia. Ele recebeu seu doutorado em ciência da computação de Yale em 2016, onde sua tese recebeu o mais alto grau e foi nomeado para o prêmio da Association of Computing Machinery. Ele foi o designer e desenvolvedor líder do CertiKOS (um sistema operacional paralelo que é à prova de hackers).

Zhong Shao é outro co-fundador. Atualmente é professor e chefe do departamento de ciência da computação da Yale. Ele assume papéis de liderança em segurança cibernética, linguagens de programação, sistemas operacionais e software certificado. Ele e seu grupo FLINT, em Yale, desenvolveram o primeiro sistema operacional paralelo protegido por hackers do mundo, CertiKOS – um marco essencial na construção de sistemas ciberfísicos que terão proteção total contra bugs de software.

Vilhelm Sjöberg é um analista de pesquisa. Ele é pesquisador da Universidade de Yale. Ele é especialista no campo de testes de software, linguagens de programação e sistemas de tipos.

Assim, pode-se dizer que os fundadores têm realizações acadêmicas relevantes e experiência empresarial no campo.

Parceiros

Veredito

A CertiKrepresenta um negócio de trabalho real, que é dirigido por estrelas acadêmicas de universidades globais de primeira linha. Os fundadores têm fortes conhecimentos e conexões no setor. O modelo de negócios está funcionando, pois o projeto já está gerando receita e possui parcerias relevantes com todas as grandes plataformas de lançamento de blockchains e ICO.

Riscos

  • Nenhum outro membro da equipe mencionou no site, mas o CertiK afirma que vai contratar 20 desenvolvedores. -0,25
  • Roteiro curto. -1
  • O limite máximo é de cerca de US $ 50 milhões, o que é bastante alto. -1,5
  • Nenhuma informação sobre a distribuição de fichas de tokens da empresa (equipe, assessores, etc). -1
  • Que o projeto já está aceitando pagamentos fiduciários pode tornar os tokens complementares. -1
  • Nenhuma informação sobre sustentabilidade e competitividade do modelo de negócios da CertiK sobre os concorrentes. -1

Potencial de crescimento

  • Idéia e solução exclusivas que ajudarão a proteger sistemas contra hacks e bugs. +2
  • Equipe dos principais fundadores. Ter experiência e competência para executar sua visão. +2
  • O MVP está em beta. O produto já é usado até certo ponto. +2
  • O projeto tem vendas ativas. Várias ICOs já usaram o produto para suas vendas simbólicas. +1
  • O nível de campanha publicitária é alto. +1
  • Investidores iniciais fortes, incluindo NGC e Binance. +1,25
  • O mercado é lucrativo e grande. +1,5
  • Bom mecanismo de bloqueio para diferentes níveis de token. +1
  • Sinais de que será listado em uma boa troca. +1

Disposição

O projeto geral parece fundamentalmente forte, mas o limite máximo é um pouco preocupante e níveis de vendas diferentes (a circulação mensal de fichas estaria aumentando, e cada nível tem um bônus maior) é um pouco preocupante. Por outro lado, o CertiK tem muito hype, conexões, um projeto de trabalho e provavelmente será listado na bolsa com grande liquidez. Pontuação geral de 7 de 10.

Detalhes do Investimento

  • Tipo: Utilitário
  • Símbolo: CTK
  • Plataforma: ERC-20
  • Crowdsale: Sem venda pública, apenas lançamento aéreo
  • Investimento Mínimo:
  • Preço: N / A (sem venda pública, apenas lançamento aéreo)
  • Tampa dura: US $ 40 a US $ 50 milhões
  • Pagamentos Aceites: USD, ETH, BTC
  • Restrições impedidas de participar: China e EUA

Detalhes Gerais :

Local na rede Internet : https://certik.org/

Telegrama: https://t.me/certikorg

White paper: https://certik.org/docs/white_paper.pdf

Imagem em destaque cortesia da Shutterstock.

Tradução Automática: Universal CoinMarket Translator Group (UCTG)
Fonte: Hacked: Hacking Finance

Comentários do Facebook
Análise da OIC: Kinesis Velocity Token
Vote no Artigo

LEAVE A REPLY

Please enter your comment!
Please enter your name here

CommentLuv badge