sipa changed the topic of #bitcoin-wizards to: This channel is for discussing theoretical ideas with regard to cryptocurrencies, not about short-term Bitcoin development | http://bitcoin.ninja/ | This channel is logged. | For logs and more information, visit http://bitcoin.ninja
Chris_Stewart_5 has quit [Ping timeout: 260 seconds]
waxwing_ has quit [Read error: Connection reset by peer]
waxwing_ has joined #bitcoin-wizards
Topogetcyrpto_ has joined #bitcoin-wizards
Topogetcyrpto has quit [Ping timeout: 258 seconds]
Topogetcyrpto_ is now known as Topogetcyrpto
Dizzle has quit [Remote host closed the connection]
Dizzle has joined #bitcoin-wizards
Ylbam has quit [Quit: Connection closed for inactivity]
belcher has quit [Quit: Leaving]
belcher has joined #bitcoin-wizards
Alopex has quit [Remote host closed the connection]
Alopex has joined #bitcoin-wizards
btcdrak has quit [Quit: Connection closed for inactivity]
PRab has quit [Remote host closed the connection]
smooth_ is now known as smooth
wasi has quit [Ping timeout: 260 seconds]
wasi has joined #bitcoin-wizards
belcher is now known as JM-IRCRelay
JM-IRCRelay is now known as belcher
Alopex has quit [Remote host closed the connection]
veleiro has joined #bitcoin-wizards
Alopex has joined #bitcoin-wizards
belcher has quit [Quit: Leaving]
belcher has joined #bitcoin-wizards
jhogan42 has quit [Quit: My MacBook Air has gone to sleep. ZZZzzz…]
nooblord has quit [Quit: Leaving]
gielbier has quit [Ping timeout: 260 seconds]
jhogan42_ has joined #bitcoin-wizards
waxwing_ has quit [Ping timeout: 258 seconds]
Topogetcyrpto_ has joined #bitcoin-wizards
alpalp has joined #bitcoin-wizards
Topogetcyrpto has quit [Ping timeout: 248 seconds]
Topogetcyrpto_ is now known as Topogetcyrpto
c0rw1n has quit [Ping timeout: 250 seconds]
riclas has quit [Ping timeout: 260 seconds]
c0rw1n has joined #bitcoin-wizards
jhogan42_ has quit [Quit: My MacBook Air has gone to sleep. ZZZzzz…]
ThomasV has joined #bitcoin-wizards
pro has quit [Quit: Leaving]
Topogetcyrpto has quit [Quit: Topogetcyrpto]
snthsnth has joined #bitcoin-wizards
alpalp has quit [Ping timeout: 258 seconds]
Alopex has quit [Remote host closed the connection]
PRab has joined #bitcoin-wizards
Alopex has joined #bitcoin-wizards
Giszmo1 has quit [Quit: Leaving.]
Dizzle has quit [Quit: Leaving...]
Alopex has quit [Remote host closed the connection]
Alopex has joined #bitcoin-wizards
<uiuc-slack3>
<amiller> could you not just summarize mimblewimble with
<uiuc-slack3>
<amiller> something like a zero knowledge proof that says
<uiuc-slack3>
<amiller> ZkPoK_(inputs,outputs) { (txs): txs is a list of valid transactions, inputs are all the inputs of the txs, and outputs are some permutation of all the outputs of the txs }
<uiuc-slack3>
<amiller> all the stuff about sinking signatures and the crypto behind it is all just about implementing that efficiently (if you didn't care about efficiency, you could compile a reference protocol just from that spec)
<uiuc-slack3>
<amiller> it's clear from looking at it that it decouples the inputs/outputs within a block
legogris has quit [Remote host closed the connection]
mrkent has quit []
legogris has joined #bitcoin-wizards
cyphase_eviltwin has quit [Ping timeout: 260 seconds]
cyphase has joined #bitcoin-wizards
<aj>
amiller: there's also cut-through across (and within, aiui) blocks -- if you spend A to B/C then spend B to D, you only end up with {A},{C,D}
<uiuc-slack3>
<amiller> i see
<uiuc-slack3>
<amiller> that's a good point, that's easy enough to add: ZkPoK_(inputs,outputs) { (txs): txs is a list of valid transactions, inputs are all the inputs of the txs (with cut throughs removed), and outputs are some permutation of all the outputs of the txs (with cut throughs removed) }
CrazyLoaf has quit [Quit: Connection closed for inactivity]
GAit has joined #bitcoin-wizards
GAit has quit [Quit: Leaving.]
molz has joined #bitcoin-wizards
mrkent has joined #bitcoin-wizards
edvorg has joined #bitcoin-wizards
moli has quit [Ping timeout: 260 seconds]
mrkent has quit [Ping timeout: 260 seconds]
snthsnth has quit [Ping timeout: 252 seconds]
DigiByteDev has joined #bitcoin-wizards
GAit has joined #bitcoin-wizards
Topogetcyrpto has joined #bitcoin-wizards
molz has quit [Ping timeout: 258 seconds]
mrkent has joined #bitcoin-wizards
pero has joined #bitcoin-wizards
v20100 has joined #bitcoin-wizards
mrkent has quit [Ping timeout: 260 seconds]
MoALTz_ is now known as MoALTz
GAit has quit [Read error: Connection reset by peer]
GAit has joined #bitcoin-wizards
GAit has quit [Client Quit]
hashtag has quit [Ping timeout: 250 seconds]
ThomasV has quit [Ping timeout: 250 seconds]
hashtag has joined #bitcoin-wizards
waxwing_ has joined #bitcoin-wizards
waxwing_ is now known as waxwing
Topogetcyrpto_ has joined #bitcoin-wizards
Topogetcyrpto has quit [Ping timeout: 260 seconds]
Topogetcyrpto_ is now known as Topogetcyrpto
jtimon has joined #bitcoin-wizards
PaulCapestany has quit [Read error: Network is unreachable]
nicolagreco has quit [Read error: Connection reset by peer]
nicolagreco has joined #bitcoin-wizards
PaulCapestany has joined #bitcoin-wizards
kkode has joined #bitcoin-wizards
moli has joined #bitcoin-wizards
WungFu has quit [Quit: Leaving]
nonaTure has joined #bitcoin-wizards
Guyver2 has quit [Remote host closed the connection]
skyraider has joined #bitcoin-wizards
mrkent has joined #bitcoin-wizards
Hunger-- is now known as Hunger-
Topogetcyrpto has quit [Ping timeout: 258 seconds]
nooblord has joined #bitcoin-wizards
DigiByteDev has quit [Quit: DigiByteDev]
mrkent has quit [Ping timeout: 260 seconds]
Topogetcyrpto has joined #bitcoin-wizards
Giszmo has joined #bitcoin-wizards
nonaTure has quit [Ping timeout: 252 seconds]
nikivi has joined #bitcoin-wizards
NewLiberty has joined #bitcoin-wizards
nonaTure has joined #bitcoin-wizards
arowser has quit [Ping timeout: 248 seconds]
arowser has joined #bitcoin-wizards
NewLiberty_ has joined #bitcoin-wizards
NewLiberty has quit [Ping timeout: 250 seconds]
murch has quit [Remote host closed the connection]
murch has joined #bitcoin-wizards
<kanzure>
in a proof-of-publication system where clients are responsible for remembering coin history proofs, it's not necessarily the case that a central issuer (for centrally issued assets) would have to make all (issued) inflation as publicly discernable events. in fact i thnk you could do private inflation.
<kanzure>
(note i'm not talking about a side effect of the probabilistic payment/verification ideas)
molz has joined #bitcoin-wizards
<kanzure>
if that's not true, then i think you could at least get "inflation with plausible deniability" to be true, which is weird.
Noldorin has quit [Ping timeout: 260 seconds]
<kanzure>
ah no, that's a property of the coin rules that you and your recipients subscribe to. so you would probably collectively coordinate to not prefer rules that include those sorts of capabilities.
moli has quit [Ping timeout: 260 seconds]
smk has joined #bitcoin-wizards
Guyver2 has joined #bitcoin-wizards
paveljanik has joined #bitcoin-wizards
roconnor has joined #bitcoin-wizards
ThomasV has joined #bitcoin-wizards
GAit has joined #bitcoin-wizards
mrkent has joined #bitcoin-wizards
mrkent has quit [Ping timeout: 260 seconds]
smk has quit [Ping timeout: 260 seconds]
nikivi has quit [Quit: irc]
adiabat has quit [Remote host closed the connection]
nikivi has joined #bitcoin-wizards
nikivi has quit [Read error: Connection reset by peer]
Topogetcyrpto has quit [Ping timeout: 258 seconds]
Topogetcyrpto_ is now known as Topogetcyrpto
GAit has quit [Quit: Leaving.]
arowser has quit [Ping timeout: 258 seconds]
harrymm has quit [Ping timeout: 252 seconds]
arowser has joined #bitcoin-wizards
zooko has joined #bitcoin-wizards
mrkent has joined #bitcoin-wizards
nooba has joined #bitcoin-wizards
mrkent has quit [Ping timeout: 252 seconds]
nooblord has quit [Ping timeout: 268 seconds]
nooba has quit [Read error: Connection reset by peer]
nooblord has joined #bitcoin-wizards
chjj_ has joined #bitcoin-wizards
nooblord has quit [Read error: Connection reset by peer]
MoALTz has quit [Read error: Connection reset by peer]
nooblord has joined #bitcoin-wizards
harrymm has joined #bitcoin-wizards
MoALTz has joined #bitcoin-wizards
ThomasV has quit [Ping timeout: 260 seconds]
warren has quit [Ping timeout: 248 seconds]
zooko has quit [Ping timeout: 258 seconds]
adam3us has quit [Ping timeout: 248 seconds]
chjj_ has quit [Read error: Connection reset by peer]
adam3us has joined #bitcoin-wizards
warren has joined #bitcoin-wizards
stan_ has joined #bitcoin-wizards
trippysa1mon has quit [Ping timeout: 248 seconds]
trippysalmon has joined #bitcoin-wizards
<petertodd>
kanzure: yes, I think in pure proof-of-publication systems you want to think carefully about how coins are issued!
<kanzure>
for some projects, invisible inflation is probably a feature...
<petertodd>
kanzure: e.g. a proposal of mine from ages ago was to have issuance be done with a merkle sum tree, so there was a clear record of every issuance, even if the exact txouts in each issuance were private
<musalbas>
while having strong auditability and transparency guarantees
<uiuc-slack3>
<amiller> the transparency is a result of trusting the central bank to publish everything
<musalbas>
i assume there is a level of trust involved, but with auditability mechanisms to detect misbehaviour
<amiller>
well, auditability mechanisms are usually incomplete
<amiller>
as in, they detect some but not all kinds of misbehavior
<amiller>
i think in the case of RSCoin, there is no particular way to detect if the central bank has omitted publishing something
<musalbas>
sure. i haven't read the entire paper yet
<musalbas>
one could propose an extension to RSCoin that pegs merkle roots of sets of transactions that banks have published to the Bitcoin blockchain, so that if banks ommit publication of items, it's detectable, while maintaining the scalability of RSCoin
<amiller>
that wouldn't necessarily help either, the bank could omit something before committing to it
<amiller>
viewing bitcoin as a proof-of-publication system, the point is that any user can publish a transaction directly
<musalbas>
people accepting transactions issued via the bank can require a bank to commit to the transaction first and provide the merkle-proof of it on the blockchain before accepting it as a valid transaction
<amiller>
whereas here if all you can do is submit your transactions to a mintette or the central bank, then those parties can omit it
<amiller>
thats true
<musalbas>
(it's actually what I'm working on now: improving trusted proof-of-publication systems like CT or centrally banked cryptocurrencies, by adding a layer of untrusted auditability/PoP via partial transparency, while maintaining scalability of CT-like systems)
<uiuc-slack3>
<amiller> i'm curious how the auditing would work anyway, i think it's possible with this scheme but not really explained in full detail in the RScoin paper
<uiuc-slack3>
<amiller> like, how do you check whether the bank is storing your transaction or not just because they commit to it
<uiuc-slack3>
<amiller> it seems like it would be up to individual parties to "check" frequently, which seems like a recipe for a lot of transactions to get missed before anyone notices
Topogetcyrpto_ has joined #bitcoin-wizards
<musalbas>
which sounds like the "monitors" role in a CT-like system who have to figure if certificates are rogue
<musalbas>
i'm not sure either but i assume i'll find out soon enough as the authors are my supervisors
Topogetcyrpto has quit [Ping timeout: 250 seconds]
Topogetcyrpto_ is now known as Topogetcyrpto
<uiuc-slack3>
<amiller> cool! you are working at UCL?
<musalbas>
yeah - in the information security research group
<amiller>
Enhanced certificate transparency and end-to-end encrypted mail
<amiller>
the main idea that it has a blockhcain like authenticated data structure for certificates and revocation lists
<amiller>
the main new idea is that the data structure is meant to be easy to audit for inconsistencies
<musalbas>
that seems interesting
<amiller>
they go into a lot of detail about how this auditing should work, Fig. 7 for example is all about the the tradeoff between how many "random consistency checks" are done per day, vs the probability of detection or time of detection (of some inconsistency or omitted record)
<amiller>
i think there should be something analogous for RScoin
<amiller>
also do you know what RScoin stands for
<amiller>
i have been asking for years
<musalbas>
no idea lol
<amiller>
prof meiklejohn always declines to answer :p
<musalbas>
i also tried to enhance key transparency for e2e encrypted communications by using a smart-contract based PKI (https://github.com/musalbas/trustery), but this paper is proposing something much more usable and without annoying web-of-trust crap
nikivi has quit [Quit: irc]
nikivi has joined #bitcoin-wizards
nikivi has quit [Client Quit]
<musalbas>
i'll persuade the answer out of her one day :)
JackH has quit [Remote host closed the connection]
CrazyLoaf has joined #bitcoin-wizards
laurentmt has joined #bitcoin-wizards
laurentmt has quit [Client Quit]
cyphase has quit [Ping timeout: 258 seconds]
Aranjedeath has joined #bitcoin-wizards
thomasthetank has joined #bitcoin-wizards
cyphase has joined #bitcoin-wizards
nonaTure has quit [Ping timeout: 250 seconds]
v20100 has joined #bitcoin-wizards
priidu has joined #bitcoin-wizards
cyphase has quit [Ping timeout: 258 seconds]
thomasthetank has quit [Quit: Page closed]
nabu has quit [Quit: Konversation terminated!]
cyphase has joined #bitcoin-wizards
blackwraith has joined #bitcoin-wizards
priidu has quit [Ping timeout: 252 seconds]
cyphase has quit [Ping timeout: 268 seconds]
JHistone has joined #bitcoin-wizards
cyphase has joined #bitcoin-wizards
Topogetcyrpto_ has joined #bitcoin-wizards
Topogetcyrpto has quit [Ping timeout: 260 seconds]
Topogetcyrpto_ is now known as Topogetcyrpto
BashCo has quit [Remote host closed the connection]
cyphase has quit [Ping timeout: 258 seconds]
cyphase has joined #bitcoin-wizards
moli has joined #bitcoin-wizards
cyphase has quit [Ping timeout: 258 seconds]
molz has quit [Ping timeout: 258 seconds]
BashCo has joined #bitcoin-wizards
needmoney90 has joined #bitcoin-wizards
cyphase has joined #bitcoin-wizards
needmoney90 has quit [Client Quit]
needmoney90 has joined #bitcoin-wizards
Davasny has joined #bitcoin-wizards
needmoney90 has quit [Quit: needmoney90]
execute has joined #bitcoin-wizards
ThomasV has joined #bitcoin-wizards
blackwraith has quit [Ping timeout: 268 seconds]
Topogetcyrpto_ has joined #bitcoin-wizards
Topogetcyrpto has quit [Ping timeout: 258 seconds]
Topogetcyrpto_ is now known as Topogetcyrpto
maaku has quit [Quit: No Ping reply in 180 seconds.]
maaku has joined #bitcoin-wizards
c0rw1n has quit [Remote host closed the connection]
needmoney90 has joined #bitcoin-wizards
kanzure has quit [Quit: leaving]
kanzure has joined #bitcoin-wizards
Guyver2__ has joined #bitcoin-wizards
kanzure has quit [Changing host]
kanzure has joined #bitcoin-wizards
Guyver2 has quit [Ping timeout: 252 seconds]
Guyver2__ is now known as Guyver2
v20100 has quit [Ping timeout: 260 seconds]
c0rw1n has joined #bitcoin-wizards
v20100 has joined #bitcoin-wizards
alferz has quit [Ping timeout: 244 seconds]
Noldorin has joined #bitcoin-wizards
Guyver2 has quit [Quit: :)]
pro has quit [Quit: Leaving]
alferz has joined #bitcoin-wizards
alferz has quit [Ping timeout: 244 seconds]
needmoney90 has quit [Quit: needmoney90]
needmoney90 has joined #bitcoin-wizards
pro has joined #bitcoin-wizards
v20100 has quit [Ping timeout: 258 seconds]
jhogan42 has joined #bitcoin-wizards
Sleepnbum has joined #bitcoin-wizards
Topogetcyrpto has quit [Ping timeout: 250 seconds]
ThomasV has quit [Ping timeout: 268 seconds]
Topogetcyrpto has joined #bitcoin-wizards
MoALTz has quit [Quit: Leaving]
jhogan42 has quit [Quit: My MacBook Air has gone to sleep. ZZZzzz…]
murch has quit [Remote host closed the connection]
JHistone has quit [Quit: Leaving]
jannes has quit [Quit: Leaving]
davec_ has quit [Read error: Connection reset by peer]