From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id AF02C8239C for ; Wed, 27 Dec 2017 23:09:46 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=fabrice.le_fessant@ocamlpro.com; spf=Pass smtp.mailfrom=fabrissimo@gmail.com; spf=None smtp.helo=postmaster@mail-qk0-f176.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of fabrice.le_fessant@ocamlpro.com) identity=pra; client-ip=209.85.220.176; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="fabrissimo@gmail.com"; x-sender="fabrice.le_fessant@ocamlpro.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of fabrissimo@gmail.com designates 209.85.220.176 as permitted sender) identity=mailfrom; client-ip=209.85.220.176; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="fabrissimo@gmail.com"; x-sender="fabrissimo@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-qk0-f176.google.com) identity=helo; client-ip=209.85.220.176; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="fabrissimo@gmail.com"; x-sender="postmaster@mail-qk0-f176.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AwIcFaRNZp/dN6dR86bIl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0IvnzrarrMEGX3/hxlliBBdydt6odzbKO+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZLebxlViDanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPde?= =?us-ascii?q?RWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbY?= =?us-ascii?q?UwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0vRz+s87lkRwPpiC?= =?us-ascii?q?cfNj427mfXitBrjKlGpB6tvgFzz5LIbI2QMvd1Y6HTcs4ARWdZUclRWS5ODIOy?= =?us-ascii?q?YYUMEuQPI/pXopLnqFcStxazHxWgCP/txzJOm3T43bc60+MkEQze3AIvBckBsG?= =?us-ascii?q?7VrNrpKqgZTOa7w7fVxjvDcfxWwiz955LOchA9vPqBWrxwftDKxkk1FgPKkkuf?= =?us-ascii?q?pZbhPzyLzusNvXaU7/F7Ve21jW4ntxp8oj+zycg2j4nJgpoVykrD9Slj3Ik1It?= =?us-ascii?q?i4RVd9bNW5HpVQsCSaOJF3QsMkW2xovCc6yqQbuZ66YScKyYgnxh7GZ/yDaYeI?= =?us-ascii?q?5B3jWPyWITdii3Jofq+0iRWq8UW41OHwSs253ExJoydFiNXAqG4B2wDJ5sSaSP?= =?us-ascii?q?Zw/0Gs0iuV2Q/J8OFLO0U0mLLbK5E/xr4wkYIesUHZES/3nEX6lbaWdkY49uSx?= =?us-ascii?q?5eTrf7frq56GO497jQH+NasumsihDugiLgcOWG2b9fy91L3l40L5XK1HguMqnq?= =?us-ascii?q?TdqpzXJsQWqrSnDwNLzoov8QuzAjWn3dgAmHkINlNFeBaJj4jzPFHOJej1Dfml?= =?us-ascii?q?jFu3ijdrxuvGPqbgApXIKXjOi7jhfbNn5E5dzAo/18xQ55VRCr0ZOvL8RlfxtM?= =?us-ascii?q?DEDh8+KwG73/zoCNB51o8HXWKPA7SZML/JvF+T5uMvJvGMa5UPtDb8Lfgl/f/u?= =?us-ascii?q?gmUjlV8TZ6n6lacQPU65E+guB0jRNWTtj8sFCDdXlgU7Re3uzlaFVGgASWy1Wv?= =?us-ascii?q?cS7zshCYmrRaPODq6gm6eI2jvzSpNfbHpHAV3KFXrfeYifQP4KdAqVKcZkliQe?= =?us-ascii?q?Uv6qTIp3hkLmjxPz17cydrmcwSYfr5+2kYEtv+A=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0B8AQDgGURahrDcVdFcGwEBAQEDAQEBC?= =?us-ascii?q?QEBAYQkdCeEBoEHMpgBggGJB5BBH4lzQhUBAQEBAQEBAQEBEgEBAQgLCwgoL4I?= =?us-ascii?q?4JAGCPQoBBAEjVgULCwMBBzcCAiEBEgEFARwGE4oWAw0ImX5AjBCCJ4czDYMaA?= =?us-ascii?q?SUSg3qCEoZtgmtFhQWCZQWjDz2QN4R+k32NYokNFCWBFzWBckwjUjIGgXEJhE5?= =?us-ascii?q?BN4lrAQEB?= X-IPAS-Result: =?us-ascii?q?A0B8AQDgGURahrDcVdFcGwEBAQEDAQEBCQEBAYQkdCeEBoE?= =?us-ascii?q?HMpgBggGJB5BBH4lzQhUBAQEBAQEBAQEBEgEBAQgLCwgoL4I4JAGCPQoBBAEjV?= =?us-ascii?q?gULCwMBBzcCAiEBEgEFARwGE4oWAw0ImX5AjBCCJ4czDYMaASUSg3qCEoZtgmt?= =?us-ascii?q?FhQWCZQWjDz2QN4R+k32NYokNFCWBFzWBckwjUjIGgXEJhE5BN4lrAQEB?= X-IronPort-AV: E=Sophos;i="5.45,467,1508796000"; d="scan'208,217";a="307019306" Received: from mail-qk0-f176.google.com ([209.85.220.176]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 27 Dec 2017 23:09:37 +0100 Received: by mail-qk0-f176.google.com with SMTP id 143so33207558qki.2 for ; Wed, 27 Dec 2017 14:09:37 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=8dFE+uAGjNCT1nrkCnYIeI7lJBrFmERMuG7M662rJCY=; b=SrlmUqkWklZ2DIUCdxDHYPRMD8kxWkhGi0aDqz/XRJrc0B3Dq4KYmui0r6YCMKxREb YkPNdTVVa8ulugOdwrT8P9vxrwMdzJQCnb9HEvgCbAnHPsJiqsooIy6Go1xW+dni1DMD ycJO3mou8JDN0eFLxS7l4ikOo2+2v7XiTdB6TPPSirYw7CZ5iBOrRKqO/jZQ4hXKqTsF naH6whBnA8eo6ma36ruhB0bjYfxPD5kVVH2Qm8bd6WN72xR3/RuTyNNniNopZCcSFV6E O0eLdhcoXxzn910T7PFsdf0rMGmMJgNL9ZLcnEFkV8tDHsIOGoArfnNVIpfhM4c/E9oD INUw== X-Gm-Message-State: AKGB3mLiOM0en1oqqq36xZOR80aVUrQUXpG3rMrDT149hN4i8n/ReeQp nsDqIcqPw4kxF6VrRQoifJAqcCGdyC9jq+1hpVo= X-Google-Smtp-Source: ACJfBotU8Yx7tHvDYCsiW0GqknEohdJGbwAGjGoz7mDV2YEffiTbVHuitTh7vdNZt+Nul4F1v/7FeoUDxzJUVrIWLm4= X-Received: by 10.55.136.133 with SMTP id k127mr36620199qkd.150.1514412575944; Wed, 27 Dec 2017 14:09:35 -0800 (PST) MIME-Version: 1.0 References: In-Reply-To: From: Fabrice Le Fessant Date: Wed, 27 Dec 2017 22:09:24 +0000 Message-ID: To: Viet Le Cc: Van Chan Ngo , OCaml Mailing List Content-Type: multipart/alternative; boundary="94eb2c072772a1f456056159a7b2" X-Validation-by: fabrice.le_fessant@ocamlpro.com Subject: Re: [Caml-list] Blockchains in OCaml --94eb2c072772a1f456056159a7b2 Content-Type: text/plain; charset="UTF-8" On Mon, Dec 25, 2017 at 2:28 PM Viet Le wrote: > There aren't many materials / blockchain implementations in OCaml but I > found some interesting links: > [...] > http://www.liquidity-lang.org/ > [...] > OCamlPro is doing a lot of work on blockchains these days. There is indeed Liquidity, a smart-contract language for Tezos that we already released on Github. We are also developing some tooling around Ethereum, we will probably release some parts as libraries, when they become mature enough. Fabrice --94eb2c072772a1f456056159a7b2 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
On Mon, Dec 25= , 2017 at 2:28 PM Viet Le <vietlq8= 5@gmail.com> wrote:
There aren't many materials / blockchain implementations = in OCaml but I found some interesting links:
[...]
[...]
=C2=A0
OCamlPro is doing a lot of work on blockchains these days. There is= indeed Liquidity, a smart-contract language for Tezos that we already rele= ased on Github. We are also developing some tooling around Ethereum, we wil= l probably release some parts as libraries, when they become mature enough.=

Fabrice


=
--94eb2c072772a1f456056159a7b2--