-
midipoet
rehrar: this might be fun for a community call
theonline.town
-
midipoet
have no idea the privacy risk/concerns - just saw the idea and thought it neat
-
Inge-
fort3hlulz: wow. that was a far more positive aantonop than in Doug's interview.
-
Inge-
I remember he said something about some issues with the wallet and was laggimg a bit in knowledge of where monero currently is technologically
-
sgp_
Inge-: the progress of coming around seems slow but it's definitely happening
-
Inge-
he also correctly understands the perfectly binding / perfectly blinding tradeoff
-
sarang
You are referring to the idea of "supply auditing"?
-
Inge-
Yes
-
sarang
Well, for some people, only a fully transparent supply count meets their needs
-
sarang
And as long as they understand the tradeoffs that implies, ok
-
Inge-
in XMR case you need to either understand the math enough or trust the mathematicians - as well as the implementation to not introduce inflation bugs
-
sarang
I thought the blog post did a reasonable job trying to highlight the subtleties
-
sarang
Even something like Zcash, with its transparent migrations, has major tradeoffs and the same issues within pools
-
sarang
If "audit the supply" means "count available supply in the clear" then neither Monero nor Zcash nor related assets will meet your needs
-
hyc
realistically you only need to prove that inputs = outputs is always true, or is ever false
-
sarang
Well any asset dealing with commitment-based pools runs the risk that an implementation error or cryptographic break could cause issues
-
sarang
We mitigate the former via audits and review, and the latter is frankly very unlikely
-
sarang
Note that transparent migrations do _not_ solve this problem, but only offload it in ways that I'm not comfortable with
-
fort3hlulz
Yeah I'm happy with the response for sure
-
fort3hlulz
I'm surprised he even responded, but good to see he seems to have a better grasp of the nuance than I suspected
-
fort3hlulz
Think this interim step of people seeing Monero as a mixer is an annoying but necessary building block for Monero adoption
-
fort3hlulz
Once they use Monero for actual transactions the logical next step is to just stay in Monero
-
fort3hlulz
Perfect example is r/darknetmarkets
-
fort3hlulz
More and more people recommending to just stay in Monero and use XMR.to when necessary
-
hyc
what response are y'all talking about, I must've missed the beginning of this conv
-
sarang
I don't think viewing Monero as a mixer is helpful
-
sarang
Mixers are opt-in
-
sarang
This is _not_ what Monero does
-
fort3hlulz
Long term no
-
fort3hlulz
But that is whats happening
-
fort3hlulz
And I think we can latch onto that to help users end up staying within Monero
-
hyc
well, it's definitely common advice now for people to say "but BTC, go thru XMR before spending"
-
fort3hlulz
There are many metadata and KYC risks with users using Monero as a mixer alone
-
hyc
s/but/buy
-
monerobux
hyc meant to say: well, it's definitely common advice now for people to say "buy BTC, go thru XMR before spending"
-
fort3hlulz
I'm not advocating for people to use it as a mixer, quite the opposite
-
fort3hlulz
But rather latching onto the narrative to push people to just stay in XMR and use services like xmr.to when necessary
-
fort3hlulz
hyc: Yup this seems to be an evolutionary shift in Monero's adoption
-
sarang
Transferring between Monero and other assets likely incurs additional risk
-
fort3hlulz
For sure
-
sarang
But I do _not_ like the general idea of viewing Monero as a mixer
-
fort3hlulz
As the failings in privacy in Bitcoin become more apparent to actual users, they are shifting through Monero
-
sarang
It's a very different operation
-
fort3hlulz
sarang: Me neither
-
fort3hlulz
It's a bad way to use Monero (or any other privacy tech)
-
sarang
Not even that
-
fort3hlulz
It also stands out if you only buy Monero when you "need privacy"
-
sarang
I mean that if you mix in something like Bitcoin, _every_ user in the mix is participating for sure
-
sarang
In Monero, decoys do not participate
-
sarang
Monero ideally implies plausible deniability for any particular transaction viewed on chain
-
sarang
Bitcoin mixing does not
-
sarang
In a mixer, you definitely participated
-
sarang
What effect this has in the real world has yet to be determined AFAIK
-
hyc
replace "mixer" with "magic obfuscator"
-
hyc
they don't care about the finer technical points
-
fort3hlulz
That's why I used "go-between" in my tweet :P
-
fort3hlulz
I dont like the term mixer either, and avoided it intentionally
-
lza_menace
can someone send a link? i just turned on my relay
-
fort3hlulz
-
lza_menace
ty
-
sarang
Well, the technical points do come into play because of terminology
-
fort3hlulz
That's what he responded to and has the video in my sub-tweet
-
sarang
I've seen "ring signature" used to mean "limited anonymity set"
-
sarang
This is only partially correct, but sometimes misunderstood
-
sarang
e.g. Zcoin's Lelantus/Sigma use limited anonymity sets that are not strictly ring signatures
-
hyc
indeed, that comes up a lot too
-
sarang
Assuming "ring signature" == "limited anonymity set" is not totally correct
-
sarang
it's a slight but important misuse of technical terminolog
-
sarang
*terminology
-
sarang
same with "zero knowledge proof", which is almost univerally misunderstood
-
fort3hlulz
Yeah sooooo much misuse of terminology
-
sarang
I prefer "signer-ambiguous transaction protocol"
-
fort3hlulz
Due to a lack of understanding of nuance
-
hyc
but they still have a point, otherwise why keep worrying about enlarging the ringsize
-
sarang
which is a very uncool-sounding phrase
-
fort3hlulz
sarang: Just flows off the tongue π
-
sarang
"ring size" is also a bad term
-
fort3hlulz
So this is something I'm curious on
-
sarang
?
-
fort3hlulz
How can I best describe the privacy improvements of a mixin increase from 11-100+
-
fort3hlulz
It's not anonymity set
-
fort3hlulz
Ring size doesn't mean anything to most people
-
sarang
OK so
-
fort3hlulz
I'm not sure how to best communicate that
-
sarang
"linkable ring signature" is a technical term for a construction meeting a variety of possible definitions
-
hyc
I always campaigned for "decoys/ number of decoys" but nobody else went with it
-
sarang
If you're not a cryptographer, you almost certainly don't care what those definitions are
-
sarang
"zero knowledge proof" is a technical term for a _huge_ range of constructions that have _nothing_ inherently to do with anonymity sets
-
sarang
Again, if you're not a cryptographer, you almost certainly don't care what those definitions are
-
sarang
You can use linkable signatures to build signer-ambiguous transaction protocols
-
sarang
You can use ZKPs to build them too
-
sarang
If you assume "zkp" == "full anonymity set" then you are not correct
-
sarang
That equality _can_ be true for certain protocols, but it's not true in general
-
sarang
This muddling of terms has become very common in general use
-
hyc
and that will continue... hell, our own users can't even spell Monero half the time
-
sarang
Zcoin uses ZKPs for limited anonymity sets
-
sarang
So does Triptych
-
sarang
So does Arcturus
-
sarang
So does Omniring
-
sarang
So does RCT3
-
sarang
Zcash uses ZKPs for full anonymity sets (within specified pools)
-
fluffypony
so does Wafflecoin
-
fluffypony
kidding, I just made that up
-
sarang
You can use Triptych to build a linkable ring signature, which its preprint does
-
hyc
proof-of-syrup
-
fluffypony
nom
-
sarang
So yeah, "ring size" is a typical term (I use it all the time, often not strictly correctly) that doesn't always apply to ring signatures =p
-
sarang
If Monero moves to Triptych/Arcuturus/Omniring/whatever, it will also use ZKPs, but for limited anonymity sets
-
sarang
just like Zcoin now does
-
sarang
"ZKP == full anonymity" is great for marketing, but is incorrect
-
» sarang is done ranting now
-
lza_menace
I can only relate to what you've said because it's similar in the industry I work in - the market is constantly spewing buzzwords that have become all interchangeable
-
fort3hlulz
So I should keep using the term "ring size" to describe the increases in anonymity brought about by a move from 11>100+ with Arcturus etc?
-
fluffypony
we should start a marketing campaign to correct the incorrect use of the term "ZKP"
-
fluffypony
and then after that we can go after "crypto means cryptography:
-
fort3hlulz
I'm just not sure what that conveys to a less technical user in reality, and am struggling to find a better way
-
fort3hlulz
fluffypony: I like it :D Hunt down the false narratives one by one
-
fluffypony
:-P
-
fort3hlulz
lza_menace: This is every industry, sadly, they benefit by confusing users with lingo and buzzwords that sounds better/worth more money
-
fort3hlulz
The less users understand the nuance the more likely they are to buy in blindly
-
fort3hlulz
i.e. "5G" being the next big thing, even though the vast majority of users will see practically no benefits
-
fort3hlulz
Because 5G can mean many different things
-
fort3hlulz
The meaning is robbed from it (intentionally IMO) to make it sound good but hard to discern true meaning/nuance
-
fort3hlulz
But I digress
-
» fort3hlulz is done ranting now
-
sarang
fort3hlulz: I think "per-transaction anonymity set size" is the most correct reference
-
sarang
fluffypony: I would _love_ to see people understand that "zkp" != "full anonymity set"
-
sarang
it's fantastic marketing, and _can_ be true (ideally, in theory, etc.)
-
sarang
but those two quoted phrases don't inherently have _anything_ to do with each other
-
fort3hlulz
sarang: Yeah I've leaned towards anonymity set with some sort of nuance in the description, as that seems to be the best overall answer to bring clarity
-
sarang
Monero also uses ZKPs in its transaction protocol
-
sarang
and other constructions that are witness-indistinguishable but not ZKPs
-
sarang
and the difference doesn't mean a freaking thing if you're not super into definitions :)
-
sarang
fort3hlulz: "anonymity set" is better because people don't/shouldn't care if that's achieved via a signature, or a ZKP, or whatever
-
sarang
in practice it's irrelevant
-
sarang
and only comes into play for security models/proofs and certain types of scaling
-
sarang
Every time I see something like "Project X uses zero-knowledge proofs" I die a little inside :/
-
fort3hlulz
Haha absolutely
-
hyc
our project uses algebra
-
sarang
lol
-
sarang
"special honest verifier zero knowledge" implies existence of a proof simulator
-
sarang
If you do not care what a proof simulator is, you likely also do not care what SHVZK is, and that's totally ok
-
sarang
:)
-
fort3hlulz
You lost me π
-
sarang
and that's ok!
-
sarang
The gist is that ring signatures and ZKPs are used as building blocks for transaction protocols
-
sarang
and those protocols may have implications for anonymity sets
-
sarang
But to make big extrapolations back to the building blocks isn't a good idea
-
fort3hlulz
Got it
-
sarang
"Our bank vault is impenetrable because it uses steel" is a similar phrasing
-
sarang
Maybe it is, maybe it isn't... depends how you used the steel to build the vault
-
sarang
If you forgot to build a door, it isn't =p
-
sarang
Building blocks != final product
-
fort3hlulz
Thanks for the deep dive + rant sarang π
-
sarang
:/
-
fort3hlulz
Gotta step away for a bit
-
fort3hlulz
Rants are good haha
-
fort3hlulz
It was a joke :D
-
sarang
It just gets frustrating to read the same inaccurate things over and over again
-
fort3hlulz
I bet as someone who actually knows the difference
-
sarang
and it's very subtle to explain
-
fort3hlulz
I have a slight understanding but I haven't dedicated years to learn/teach/build on it
-
fort3hlulz
I'm sure its way more frustrating to you,and its already frustrating to me :P
-
sarang
I don't blame anyone for not getting the differences; they're super technical and boring
-
sarang
but to make claims about those differences is just reckless IMO
-
sarang
sometimes it's for reporting; other times it's for marketing; etc.
-
niocbrrrrrr
-
niocbrrrrrr
something everyone can understand
-
sarang
sigh
-
sarang
It may also be worth noting that a huge focus on the size of the per-transaction anonymity is not the only/optimal metric for privacy
-
sarang
e.g. early research into Zcash showed that a _huge_ number of shielded operations were trivially traceable despite a very large anonymity set
-
sarang
pre-CT Monero transactions are generally traceable despite variable anonymity sets
-
sarang
Threat models involving network observation may change this risk
-
sarang
etc.
-
sarang
Privacy != anon set
-
sarang
A broader, more holistic view toward privacy, coupled with strong education about threat models, is almost certainly a better approach for most users
-
niocbrrrrrr
how to communicate this succinctly
-
sarang
Tough call
-
niocbrrrrrr
maybe an ecosystem involving ducks :)
-
hyc
ball and 3 cups
-
hyc
there's only so much education you can do. cars are quite complex systems. everyone gets a few weeks worth of driver training, and off they go.
-
niocbrrrrrr
yep
-
sarang
If only drivers were trained like pilots...
-
sarang
where you're tested in real time on all sorts of emergencies
-
sarang
I remember during my in-flight final examination, when the examiner "failed" my GPS system and said there was an emergency, and we needed to land :)
-
sarang
and then later "failed" the engine!
-
rehrar
midipoet: found an open source version
-
rehrar
-
Inge-
In my simple and naive world, a ZKP just means you can prove something about a thing without giving away other information about that thing
-
Inge-
hyc: waddayamean we can't even spell romero half the time?
-
sarang
Inge-: informally
-
rehrar
-
sarang
but in marketing, that's taken to mean "you can prove sender, recipient, amount without showing anything about them"
-
rehrar
sarang: try this silly little thing with me.
-
rehrar
FOSS
-
sarang
?
-
niocbrrrrrr
.romerito
-
monerobux
To buy or not to buy: that is the question
-
rehrar
it's a way to do video conferencing, but with a game? basically if you are close to someone you hear them well, but you can leave and not hear conversations like irl
-
rehrar
midipoet just showed it to me
-
niocbrrrrrr
Inge-: today's spelling is monerrrrrro
-
rehrar
basically just a proximity-based dynamic video chat
-
rehrar
lol, everyone ran away
-
midipoet
rehrar: your version looks neat as well!
-
rehrar
join midipoet
-
midipoet
I can, but for five mins
-
midipoet
Have to have a shower
-
rehrar
-
niocbrrrrrr
rehrar: I sent you a song with chickens the other day
-
midipoet
How annoying.
-
rehrar
oh yeah! I remember.
-
rehrar
was pretty funny
-
rehrar
didn't have time to respond in the moment, sorry
-
niocbrrrrrr
np
-
Inge-
oh is it virtual meeting thinggy?
-
sgp_
thoughts on changing the name of "unmixable outputs" to "stale outputs"?
-
selsta
CLI also uses sweep_unmixable
-
xmrscott[m]
I prefer unmixable as stale really doesn't allude to unmixable-ness
-
niocbrrrrrr
the reason stale is ng is because they are unmixable?
-
sgp_
niocbrrrrrr basically yes, however I'm thinking of more user-friendly names. We also don't really want to associate Monero with interactive mixing processes
-
needmoney90
Unconsolidated?
-
needmoney90
Uncombined?
-
lza_menace
anyone know if operator of cyphermarket.com is on irc/reddit?
-
jwinterm
lza_menace, I thought it was rehrar
-
lza_menace
oh, cool
-
lza_menace
I was thinking so because I thought he did the monopoly board
-
lza_menace
or at least I had seen him mention/link it somewhere
-
rehrar
Whatchoo need lza_menace ?
-
rehrar
Want a monopoly? I'll give you the best price.
-
lza_menace
nothing, just was vetting the store before sending any funds
-
lza_menace
your shop looks awesome
-
rehrar
Thanks. We're the best in the business.
-
rehrar
We're also the only one in the "selling merch for FOSS projects" business.
-
hyc
that's why you're the best