Blockchains de 3eme Génération


La société OCamlPro est l'un des principaux acteurs dans le domaine des blockchains de 3ème génération. OCamlPro cumule une expertise exceptionnelle dans les blockchains, dans la fiabilité logicielle et dans les méthodes formelles. OCamlPro a développé la blockchain Tezos, développe le langage Liquidity et participe au projet MoneyTrack.

Missions Expertise Outils Projets

Missions


Nos missions sont d'apporter la fiabilité dans les applications des blockchains. Pour cela, nous fournissons plusieurs approches:

  • L'utilisation d'une blockchain de 3ème génération telle que Tezos, développée en OCaml, apporte un degré de confiance nettement supérieur. Par son implication dans le développement de Tezos, OCamlPro apporte la compétence unique de pouvoir adapter Tezos aux cas d'usage les plus multiples.
  • Nous utilisons OCaml, et notre langage Liquidity, pour développer les smarts contracts. Ces langages combinent une sémantique claire et des vérifications amonts dont sont dépourvus la plupart des langages de smart contracts concurrents (Solidity, etc.).

Expertise


OCamlPro fait bénéficier ses partenaires d'une expertise rare, développée dès 2014 :

  • Conception de blockchain 3ème génération : nous avons développé la blockchain Tezos depuis sa première ligne de code jusqu'à la reprise de son développement par la Fondation Tezos.
  • Soutien ICO : nous avons construit l'ensemble de l'infrastructure de l'ICO Tezos, combinant des apports depuis Bitcoin et Ethereum et un site web sécurisé de génération de clés. L'ICO de Tezos a permis de lever l'équivalent de 230 millions USD, sans problème de sécurité.
  • Infrastructures P2P : Bien avant l'avènement des blockchains, plusieurs ingénieurs d'OCamlPro ont été des contributeurs importants de projets open-source autour des systèmes distribués et peer-to-peer : MLdonkey (client P2P multi-protocole), Ocsigen (serveur web en OCaml), Peerple (réseau social en P2P).

Outils


OCamlPro conçoit des outils pour améliorer la fiabilité des blockchains :

  • Le langage Liquidity: nous avons développé le langage Liquidity, qui cible la blockchain Tezos et son langage de bas niveau, Michelson. Liquidity apporte une sémantique formelle, qui ne laisse aucun doute sur le fonctionnement d'un smart contract. Un atelier de vérification de contrats en Liquidity est en cours de développement chez OCamlPro.
  • Les outils Why3, Alt-Ergo et Coq: OCamlPro possède une expérience rare dans le domaine des méthodes formelles, qui peuvent être utilisées pour vérifier la correction des smarts contracts avant leur déploiement. Nos experts maîtrisent des outils tels que l'atelier de vérfication de programmes Why3, le prouveur automatique Alt-Ergo et l'assistant de preuves Coq.

Projets


Nous participons à plusieurs projets collaboratifs, dont certains autour de la blockchain:

  • Le projet MoneyTrack: le projet MoneyTrack vise à fournir un nouveau moyen de paiement digitalisé, sécurisé par la blockchain, pour la consommation dirigée (tickets cadeaux, etc.).
© 2017 OCamlPro SAS, All rights reserved.
Nous Contacter
Mentions Légales