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
|
Return-Path: <orlovsky@lnp-bp.org>
Received: from smtp2.osuosl.org (smtp2.osuosl.org [140.211.166.133])
by lists.linuxfoundation.org (Postfix) with ESMTP id 3CF62C0032
for <bitcoin-dev@lists.linuxfoundation.org>;
Sun, 10 Sep 2023 20:04:36 +0000 (UTC)
Received: from localhost (localhost [127.0.0.1])
by smtp2.osuosl.org (Postfix) with ESMTP id 7C1AE40134
for <bitcoin-dev@lists.linuxfoundation.org>;
Sun, 10 Sep 2023 20:04:35 +0000 (UTC)
DKIM-Filter: OpenDKIM Filter v2.11.0 smtp2.osuosl.org 7C1AE40134
Authentication-Results: smtp2.osuosl.org; dkim=pass (2048-bit key,
unprotected) header.d=lnp-bp.org header.i=@lnp-bp.org header.a=rsa-sha256
header.s=protonmail3 header.b=I/s+PJVw
X-Virus-Scanned: amavisd-new at osuosl.org
X-Spam-Flag: NO
X-Spam-Score: -0.901
X-Spam-Level:
X-Spam-Status: No, score=-0.901 tagged_above=-999 required=5
tests=[BAYES_40=-0.001, DKIM_SIGNED=0.1, DKIM_VALID=-0.1,
DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_LOW=-0.7,
SPF_HELO_NONE=0.001, SPF_PASS=-0.001] autolearn=ham autolearn_force=no
Received: from smtp2.osuosl.org ([127.0.0.1])
by localhost (smtp2.osuosl.org [127.0.0.1]) (amavisd-new, port 10024)
with ESMTP id mt7jX-zfC6nz
for <bitcoin-dev@lists.linuxfoundation.org>;
Sun, 10 Sep 2023 20:04:34 +0000 (UTC)
X-Greylist: delayed 10270 seconds by postgrey-1.37 at util1.osuosl.org;
Sun, 10 Sep 2023 20:04:33 UTC
DKIM-Filter: OpenDKIM Filter v2.11.0 smtp2.osuosl.org 11BAE400DD
Received: from mail-0201.mail-europe.com (mail-0201.mail-europe.com
[51.77.79.158])
by smtp2.osuosl.org (Postfix) with ESMTPS id 11BAE400DD
for <bitcoin-dev@lists.linuxfoundation.org>;
Sun, 10 Sep 2023 20:04:33 +0000 (UTC)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=lnp-bp.org;
s=protonmail3; t=1694376266; x=1694635466;
bh=beh964XFC81ut7CP47wmYPb2T6bsPK4UIn3lyScJyVk=;
h=Date:To:From:Subject:Message-ID:Feedback-ID:From:To:Cc:Date:
Subject:Reply-To:Feedback-ID:Message-ID:BIMI-Selector;
b=I/s+PJVw4y/9CoMCM1cFR4xVuNpHRIWVZVEPYc5pOQAfsHQicEv2PdVFGhE2t4pYa
qlROhI6PnivcMDMZsLFRcLxZl6xUk63GhX5DX5PrEg2WcLEG1DEUu1CWmUTzAWtut2
kMl2b3br0fkfrAjyAQlddfwYGq3P/mL+SxexHOo7KPNDjOlA+C0dmaTQg6eeuhi49B
x7p/f9f/Ez2Aa9AO8uLKjCxwZeSeJnuXbvPPnB54ubnZsPf1/Dn5NWkRvvSzDaR4Fs
gwTzQL1QqFgORbJylk1IL6GLaufCI9Vzco2W9UNzrP7VV25c7N69uDlI5RoNeCYa7Q
A801IJ0QcI7Cg==
Date: Sun, 10 Sep 2023 20:04:19 +0000
To: Bitcoin Protocol Discussion <bitcoin-dev@lists.linuxfoundation.org>
From: Dr Maxim Orlovsky <orlovsky@lnp-bp.org>
Message-ID: <XDPm1ve5FC6e68LI_ZK4f_oRGDArvptCDh1ofEXNNZV9TaTQ_XRALF2KIdIknQOw-TXKJHedJ-5xHi0sbipTrF7qIe4ynp2Qxp823BGcXcY=@lnp-bp.org>
Feedback-ID: 18134079:user:proton
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
X-Mailman-Approved-At: Sun, 10 Sep 2023 20:06:10 +0000
Subject: [bitcoin-dev] Trustless 2-way-peg without softfork
X-BeenThere: bitcoin-dev@lists.linuxfoundation.org
X-Mailman-Version: 2.1.15
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: Sun, 10 Sep 2023 20:04:36 -0000
Hi,
Several years ago my team from Pandora Project working on censorship-resist=
ant distributed machine learning proposed Prometheus: a protocol for high-l=
oad computing on top of Bitcoin. The protocol operates as a multi-party gam=
e setting where an oracle ("worker") is provided with an arbitrary computat=
ionally complex task (any Turing-complete computing, machine learning train=
ing or inference etc) and the network is able to reach a consensus on wheth=
er a result reported by the worker is true. The consensus is reached via op=
tional rounds of verification and arbitrage. The protocol is cryptoeconomic=
ally-safe, i.e. has a proven Nash equilibrium. The protocol was later trans=
ferred to LNP/BP Standards Association (https://lnp-bp.org) and was kept in=
a backlog of what can be done in a future as a layer on top of Bitcoin.
I'd like to emphasize that Prometheus works on Bitcoin, requires just sever=
al Bitcoin tx per task, and _doesn't require any soft fork_. All economic s=
etting is done with Bitcoin as a means of payment, and using existing Bitco=
in script capabilities.
Link to the paper describing the protocol: <https://github.com/Prometheus-W=
G/prometheus-spec/blob/master/prometheus.pdf>
Only today I have realized that Prometheus protocol can be used to build cr=
yptoeconomically-safe (i.e. trustless) 2-way-peg on the Bitcoin blockchain =
without any soft-forks: a "worker" in such a case acts as an oracle for som=
e extra-bitcoin system (sidechain, client-side-validated protocol, zk rollu=
p etc) validating it, and the protocol will reach consensus on whether the =
state reported by the oracle is correct.
In other words, this is an alternative to BIP-300 and other similar soft-fo=
rks having the only purpose of doing 2-way pegs. It also enables the two-wa=
y trustless transfer of Bitcoins between Bitcoin blockchain, RGB and, in a =
future, potential new layer 1 called "prime" (to learn more about prime you=
can check my Baltic Honeybadger talk <https://www.youtube.com/live/V3vvybs=
c1A4?feature=3Dshared&t=3D23631>).
Kind regards,
Dr Maxim Orlovsky
Twitter: @dr_orlovsky
Nostr: npub13mhg7ksq9efna8ullmc5cufa53yuy06k73q4u7v425s8tgpdr5msk5mnym
LNP/BP Standards Association
Twitter: @lnp_bp
|
