From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id D0BA17FFE1 for ; Thu, 6 Oct 2016 06:00:07 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=arthurb@tezos.com; spf=Neutral smtp.mailfrom=contact@tezos.com; spf=None smtp.helo=postmaster@mail-ua0-f179.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of arthurb@tezos.com) identity=pra; client-ip=209.85.217.179; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="contact@tezos.com"; x-sender="arthurb@tezos.com"; x-conformance=sidf_compatible Received-SPF: Neutral (mail3-smtp-sop.national.inria.fr: domain of contact@tezos.com does not assert whether or not 209.85.217.179 is permitted sender) identity=mailfrom; client-ip=209.85.217.179; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="contact@tezos.com"; x-sender="contact@tezos.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ua0-f179.google.com) identity=helo; client-ip=209.85.217.179; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="contact@tezos.com"; x-sender="postmaster@mail-ua0-f179.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A8tHfsR2u25RXmD07smDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?segTKPad9pjvdHbS+e9qxAeQG96KsbQf0qGG6ujJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL2PbrnD61zMOABK3bVMz?= =?us-ascii?q?fbWvXNWLxJTun8mJuLTrKz1SgzS8Zb4gZD6Xli728vcsvI15N6wqwQHIqHYbM8?= =?us-ascii?q?5fxGdvOE7B102kvpT4r9Zf9HFbsvclsspBSrnSfqIiTLUeAi5ie2c+7cjv8BvE?= =?us-ascii?q?RxCn530GU2xQnAAbLRLC6UTTRIvxrzGynPBw2TWfNMu+GbkuRTS/9a1DVBL6jz?= =?us-ascii?q?xBPDk8pjKEwvdshb5W9Ury7yd0xJTZNdmY?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BuAQDiy/VXhrPZVdFeHgYMGAEXAQYBg?= =?us-ascii?q?k82AQEBAQF1fL0/hTM7EQEBAQEBAQEBAQEBEgEBAQgLCwkZL4IyGIIwER0BAS8?= =?us-ascii?q?JJSoNAiQSAQUBIzSILKJNgTI+MopbZ4RJAQEFiEcJEIYsg1CIGAstgluZf4E6j?= =?us-ascii?q?j6BboRniR+PMjGBETRrglyBfj40AYg1AQEB?= X-IPAS-Result: =?us-ascii?q?A0BuAQDiy/VXhrPZVdFeHgYMGAEXAQYBgk82AQEBAQF1fL0?= =?us-ascii?q?/hTM7EQEBAQEBAQEBAQEBEgEBAQgLCwkZL4IyGIIwER0BAS8JJSoNAiQSAQUBI?= =?us-ascii?q?zSILKJNgTI+MopbZ4RJAQEFiEcJEIYsg1CIGAstgluZf4E6jj6BboRniR+PMjG?= =?us-ascii?q?BETRrglyBfj40AYg1AQEB?= X-IronPort-AV: E=Sophos;i="5.31,452,1473112800"; d="scan'208,217";a="195778649" Received: from mail-ua0-f179.google.com ([209.85.217.179]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 06 Oct 2016 05:59:44 +0200 Received: by mail-ua0-f179.google.com with SMTP id r64so6743533uar.3 for ; Wed, 05 Oct 2016 20:59:44 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=tezos-com.20150623.gappssmtp.com; s=20150623; h=mime-version:from:date:message-id:subject:to; bh=BdRO0KcTNudPoM0CUY6GYELlKVSnFI5zvzB90DKXaow=; b=h77eDHaTVAiwE05QXfHYBDdNm8plIq6vFVP2fajPBEroRW+fHZXUf2nsuLFrV961Ot 3rqlHaesmHw5k0bMNsozdDaRhjXFddx3GWNUA1eUNhIkiNNb+EzkSjrYVTfCnEml9IT1 uLxT1Un9LOH8OtYHhhTvwx+uZQPVkbcM45535Cwi5arDXGa0JgyrFX4fovmlgRegy5zx z83GcqmS7l/cYJHYPLB65ZRU0UuC5q5+6EcNj/8Y8FfrxZvZYEuM6BoOpu6M2am6kNub vBZsXpeWkBz7UuQLuWNLpVQmE/7GPFcqVc+j80om09sYEc33kiSVaUUfnVjrDwdP80BF 6K4w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=BdRO0KcTNudPoM0CUY6GYELlKVSnFI5zvzB90DKXaow=; b=DqPZfUNpEQR3KsKog94Tbc5wVy4n+30HERkSs8vEc4vCQewDdkLYb78vPUkBqCAjhR YFRxmmjlUEpliqj1QlkFULpKhw1xHWUnoPGqV9uhAdGyuk87aQOJKmJwM8pGJ91OJuMT uz3Aw94gFgMDwA5X7Tp2mx3u2/TdTGOD2Mn80pV378lKNqsGgL4v3dRfRDw9Kx+QG8iL GLeaBosSj+4DjRbG6NZglQ/IaS4WpQEf757eu/jAAjRb+Y/CB/F17jzErYyZi5nW0IkZ Rkp2/9q2zfJqmnRoZemaKaDUi/C/5ZtxcRnDERKHceP5R0NiHgOq/6w6Kpc8PT/0rPi1 c8VA== X-Gm-Message-State: AA6/9Rm+RRxDLBQ9cW0+aLRJYu0B2XfF1PgzlvBRnHUOx41ehLa+rGngg5Rlq8VGG8uC5kTwvkQE5MEiB2LhzQ== X-Received: by 10.176.0.108 with SMTP id 99mr8143313uai.82.1475726382648; Wed, 05 Oct 2016 20:59:42 -0700 (PDT) MIME-Version: 1.0 From: Arthur Breitman Date: Thu, 06 Oct 2016 03:59:32 +0000 Message-ID: To: caml-list@inria.fr, ocaml-jobs@inria.fr Content-Type: multipart/alternative; boundary=001a113f2ba0d2e0bc053e2a5205 X-Validation-by: arthurb@tezos.com Subject: [Caml-list] Blockchains in OCaml --001a113f2ba0d2e0bc053e2a5205 Content-Type: text/plain; charset=UTF-8 Since blockchains tend to be a hot topic these days*, I am pleased to announce that OCaml is also present in this domain with the Tezos project. Tezos is a cryptographic ledger (in the same vein as Bitcoin or Ethereum) written from scratch entirely in OCaml, in partnership with OCamlPro. We are lucky to rely on some great OCaml libraries like Irmin and Lwt, and have contributed some libraries of our own like ocplib-json-typed (for reliable manipulation of JSON values) and ocplib-resto (for type safe HTTP/JSON RPCs). Tezos is a self-amending ledger. While other protocols achieve consensus about the state of their transactions, Tezos reaches a meta-consensus about its own protocol. This allows us to gradually build governance rules into the ledger by letting the participants choose under which condition the protocol may be amended. We start with a simple voting procedure to accept or reject a proposed patch to a set of OCaml modules representing the protocol. Over time, complex rules can evolve. For instance, we may introduce a form of constitutionalism by having the protocol require and enforce that any proposed modification be formally verified and guaranteed to preserve specific properties. If you find this intriguing and enjoy working in OCaml, please reach out: we're hiring! If you lean on the academic side and have experience with formal verification, reach out as well! We'd be interested in proving the correctness of some aspects of the protocol or sponsoring research in the field in general (within our modest means). Best, Arthur * perhaps hotter than it ought to be but, past the hype, there remains susbtance --001a113f2ba0d2e0bc053e2a5205 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Since blockchains tend to be a hot topic=C2=A0these days*, I am pleased = to announce that OCaml is also present in this domain with the Tezos projec= t.
Tezos is a cryptographic ledger (in the same vein as Bitcoin or E= thereum) written from scratch entirely in OCaml, in partnership with OCamlP= ro.=C2=A0

We are lucky to rely on some great OCaml libraries like=C2=A0Irmin=C2=A0and=C2=A0Lwt,=C2=A0and have= contributed=C2=A0= some libraries of our own like=C2=A0ocplib-json-typed (for reliable manipulation of JSON values)= and=C2=A0ocplib-resto=C2=A0(for=C2=A0type safe=C2=A0HTTP/JSON RPCs).=

Tezos is a self-amending ledger. While other protocols achieve cons= ensus about the state of their transactions, Tezos reaches a meta-consensus= about its own protocol. This allows us to gradually build governance rules= into the ledger by letting the participants choose under which condition t= he protocol may be amended.

We start with a simple voting procedure = to accept or reject a proposed patch to a set of OCaml modules representing= the protocol. Over time, complex rules can evolve. For instance, we may in= troduce a form of constitutionalism by having the protocol require and enfo= rce that any proposed modification be formally verified and guaranteed to p= reserve specific properties.

If you find this intriguing and enjoy w= orking in OCaml, please reach out: we're hiring! If you lean on the aca= demic side and have experience with formal verification, reach out as well!= We'd be interested in proving the correctness of some aspects of the p= rotocol or sponsoring research in the field in general (within our modest m= eans).
Best,
Arthur

* perhaps hotter than it ought to be but, past the= hype, there remains susbtance
--001a113f2ba0d2e0bc053e2a5205--