La startup blockchain Kadena lève 12 millions de dollars grâce à la vente de SAFT

Le fournisseur de plateformes Blockchain Kadena a levé 12 millions de dollars grâce à une vente de Simple Agreement for Future Tokens (SAFT).

Annonçant le succès du tour jeudi, la startup a déclaré que les participants comprenaient Devonshire Investors, la branche d'investissement privée des propriétaires de Fidelity Investments, ainsi que SIG, Asimov Investments, Multicoin Capital et SV Angel.

Basé sur leCadre SAFT– une sorte de contrat d’investissement qui fait office de promesse de livraison de jetons à une date ultérieure – le tour était limité aux investisseurs accrédités et fait suite à une précédente vente SAFT de 2,25 millions de dollars qui a étéannoncéen janvier.

Les fonds serviront au développement de la plateforme Chainweb de la société, a déclaré le cofondateur de Kadena , Stuart Popejoy, à CoinDesk – en particulier, pour aider à construire son écosystème technique.

Le protocole Chainweb de l'entreprise vise à utiliser des blockchains parallèles avec des racines Merkle partagées pour résoudre les problèmes de mise à l'échelle et de sécurité, commesignalé précédemmentLes différentes chaînes peuvent être dédiées à différents cas d’utilisation sans encombrer l’ensemble du réseau.

Cependant, « il y a un tas de choses qui doivent être mises en place » avant que le protocole public ne soit prêt à être lancé plus tard cette année, a déclaré Popejoy, qui était auparavant développeur de blockchain chez JPMorgan Chase.

À cette fin, Kadena a l'intention de commencer à publier des outils que la communauté au sens large pourra tester, y compris une boîte à outils de vérification formelle pour aider à identifier les bugs, a-t-il déclaré.

« La vérification formelle est un sujet qui est apparu à plusieurs reprises dans les discussions sur la blockchain, généralement après un énorme bug d' Ethereum », a-t-il déclaré, notant que les contrats intelligents, en particulier, impliquent souvent la manipulation de grosses sommes d'argent.

Popejoy a expliqué :

« Comme nous pouvons le constater, les insectes peuvent avoir des impacts considérables.Bug de paritéCe n'était qu'un bug… mais il a permis à des gens de perdre des millions de dollars. Nous avons donc une vérification formelle, et cela permet à l'ordinateur de prouver mathématiquement que le réseau est exempt de bugs.

Kadena a présenté un prototype fonctionnel de l'outil de vérification formelle en 2017, mais se prépare maintenant à le rendre public pour que les développeurs puissent l'utiliser, a déclaré Popejoy.

Le lancement du réseau de test Chainweb est prévu pour août, tandis que le réseau complet devrait être lancé en décembre, a-t-il ajouté.

Réseau de miniaturesimage via Shutterstock