1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
|
Return-Path: <danrobinson010@gmail.com>
Received: from smtp1.linuxfoundation.org (smtp1.linux-foundation.org
[172.17.192.35])
by mail.linuxfoundation.org (Postfix) with ESMTPS id 38AF797A
for <bitcoin-dev@lists.linuxfoundation.org>;
Mon, 18 Dec 2017 20:32:30 +0000 (UTC)
X-Greylist: whitelisted by SQLgrey-1.7.6
Received: from mail-vk0-f67.google.com (mail-vk0-f67.google.com
[209.85.213.67])
by smtp1.linuxfoundation.org (Postfix) with ESMTPS id 97B8D403
for <bitcoin-dev@lists.linuxfoundation.org>;
Mon, 18 Dec 2017 20:32:29 +0000 (UTC)
Received: by mail-vk0-f67.google.com with SMTP id k132so1210575vke.10
for <bitcoin-dev@lists.linuxfoundation.org>;
Mon, 18 Dec 2017 12:32:29 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025;
h=mime-version:from:date:message-id:subject:to;
bh=/zcvLLV+J4Hd4vVUx9KqSFbORC4+wb7DS6vkxr6E0gY=;
b=YUVp4HYIqDKXBnDJL0Ax5LBajWBSZfxW60qksMKMOVtXUmLkTVIvwH2DBLpT9OqoUH
Jb0cbhJw4dBKBJYcuPBxSyQqEOCa3Ln1drlWrN26GOa6ef3o2ponPR7Ea20c8gi7jlJ6
iE7Jaf49o5g8ce07HpQdU3YYljmV+rZuNpwMs19aSgydFofPA+7fRnxlsQmfBVCTeHBu
Hyp8kNMzkNGl/MaoN2PpWYhXrSHJa+klsxPoQ+VlDrGgMQ3tXR7LKzcz1lv5ViVjcSnB
lvPK3XcJCtsapsXdbs51FkwAcUG3bWw2DmPiHd225PNW2VtpwE/NwIfmPlNUzY+4cVe4
Trlg==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=1e100.net; s=20161025;
h=x-gm-message-state:mime-version:from:date:message-id:subject:to;
bh=/zcvLLV+J4Hd4vVUx9KqSFbORC4+wb7DS6vkxr6E0gY=;
b=dmWXFN1LR6JUsCIT1ee3U0BlstajIfPZI6F4grTcHWm85p/yl1MmVeTPHgS0YHCAQN
rcBz0/k1+IHkkDuKIqClEQ2SC2W3pUqSrglrc7eAQUajA115yctGoTprVBQcZFv0OE+8
OtZb21Ozq23q5K3IH6KSA8C8rlOot7Eb4ocMBap+4+6hwBxbexBQ88vVo/405YEl2aLh
m8ckbtAPlSBzzyPDHDieiz7mRnIQkpzf8HgBF7r0YOqqHYtajdrPGOIsECBouFiFlzUS
7gB2v3Cwyvy9ihJQLlYHAAtaBV1EwHxVrGUboz3/i88GMDFa1XeJeoVmD/158e6S0R00
uA8A==
X-Gm-Message-State: AKGB3mLAkJ5/tF4Xll7y05TC3GJwl0vhP2y/JVQX4ssIHHnQ9W7m4ycE
769Mg6O1hMQ7XkO5B6z9b/YgBUTmQ8vcWF24lDn3yg==
X-Google-Smtp-Source: ACJfBoukXyV+ZWlTPQ+eYWL+storRBIlw2HzGoXd4s0iZtdgmBcQId/FWh5KDDdYOtW+DKWPwTPRnNqvcA3iFnAUF9k=
X-Received: by 10.31.248.66 with SMTP id w63mr1042790vkh.92.1513629148527;
Mon, 18 Dec 2017 12:32:28 -0800 (PST)
MIME-Version: 1.0
From: Daniel Robinson <danrobinson010@gmail.com>
Date: Mon, 18 Dec 2017 20:32:17 +0000
Message-ID: <CAD438HvzYAMVTU8A0OiNnj2nvYgMApdS8NNfzE86Ae_OsTfuaA@mail.gmail.com>
To: Bitcoin Protocol Discussion <bitcoin-dev@lists.linuxfoundation.org>
Content-Type: multipart/alternative; boundary="94eb2c14c876b841a20560a33ffa"
X-Spam-Status: No, score=-1.7 required=5.0 tests=BAYES_00,DKIM_SIGNED,
DKIM_VALID,DKIM_VALID_AU,FREEMAIL_ENVFROM_END_DIGIT,FREEMAIL_FROM,
HTML_MESSAGE,RCVD_IN_DNSWL_NONE autolearn=no version=3.3.1
X-Spam-Checker-Version: SpamAssassin 3.3.1 (2010-03-16) on
smtp1.linux-foundation.org
X-Mailman-Approved-At: Mon, 18 Dec 2017 20:39:02 +0000
Subject: [bitcoin-dev] Ivy: a higher-level language targeting Bitcoin Script
X-BeenThere: bitcoin-dev@lists.linuxfoundation.org
X-Mailman-Version: 2.1.12
Precedence: list
List-Id: Bitcoin Protocol Discussion <bitcoin-dev.lists.linuxfoundation.org>
List-Unsubscribe: <https://lists.linuxfoundation.org/mailman/options/bitcoin-dev>,
<mailto:bitcoin-dev-request@lists.linuxfoundation.org?subject=unsubscribe>
List-Archive: <http://lists.linuxfoundation.org/pipermail/bitcoin-dev/>
List-Post: <mailto:bitcoin-dev@lists.linuxfoundation.org>
List-Help: <mailto:bitcoin-dev-request@lists.linuxfoundation.org?subject=help>
List-Subscribe: <https://lists.linuxfoundation.org/mailman/listinfo/bitcoin-dev>,
<mailto:bitcoin-dev-request@lists.linuxfoundation.org?subject=subscribe>
X-List-Received-Date: Mon, 18 Dec 2017 20:32:30 -0000
--94eb2c14c876b841a20560a33ffa
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Today, we=E2=80=99re releasing Ivy, a prototype higher-level language and
development environment for creating custom Bitcoin Script programs. You
can see the full announcement here
<https://blog.chain.com/ivy-for-bitcoin-a-smart-contract-language-that-comp=
iles-to-bitcoin-script-bec06377141a>,
or check out the docs <https://docs.ivy-lang.org/bitcoin/> and source code
<https://github.com/ivy-lang/ivy-bitcoin>.
Ivy is a simple smart contract language that can compile to Bitcoin Script.
It aims to improve on the useability of Bitcoin Script by adding
affordances like named variables and clauses, static (and domain-specific)
types, and familiar syntax for function calls.
To try out Ivy, you can use the Ivy Playground for Bitcoin
<https://ivy-lang.org/bitcoin/>, which allows you to create and test
simulated contracts in a sandboxed environment.
This is prototype software intended for educational and research purposes
only. Please don't try to use Ivy to control real or testnet Bitcoins.
--94eb2c14c876b841a20560a33ffa
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
<div dir=3D"ltr"><div dir=3D"auto">Today, we=E2=80=99re releasing Ivy, a pr=
ototype higher-level language and development environment for creating cust=
om Bitcoin Script programs. You can see the full announcement <a href=3D"ht=
tps://blog.chain.com/ivy-for-bitcoin-a-smart-contract-language-that-compile=
s-to-bitcoin-script-bec06377141a" target=3D"_blank">here</a>, or check out =
the <a href=3D"https://docs.ivy-lang.org/bitcoin/" target=3D"_blank">docs</=
a>=C2=A0and=C2=A0<a href=3D"https://github.com/ivy-lang/ivy-bitcoin" target=
=3D"_blank">source code</a>.</div><div dir=3D"auto"><br></div><div dir=3D"a=
uto">Ivy is a simple smart contract language that can compile to Bitcoin Sc=
ript. It aims to improve on the useability of Bitcoin Script by adding affo=
rdances like named variables and clauses, static (and domain-specific) type=
s, and familiar syntax for function calls.</div><div dir=3D"auto"><br></div=
><div dir=3D"auto">To try out Ivy, you can use the <a href=3D"https://ivy-l=
ang.org/bitcoin/" target=3D"_blank">Ivy Playground for Bitcoin</a>, which a=
llows you to create and test simulated contracts in a sandboxed environment=
.</div><div dir=3D"auto"><br></div><div dir=3D"auto">This is prototype soft=
ware intended for educational and research purposes only. Please don't =
try to use Ivy to control real or testnet Bitcoins.</div><div dir=3D"auto">=
<br></div></div>
--94eb2c14c876b841a20560a33ffa--
|
