-
knaccc
UkoeHB whoa, your Mechanics-of-MobileCoin paper is incredible. how did you find time for that?!
-
moneromooo
If you've looked at it in detail, then you probably can answer that question: what, if anything, can intel do if there were malicious and/or compromised ?
-
knaccc
i only just found a link to the paper a couple of hours ago, and scan read some of it. I am by no means endorsing MobileCoin :)
-
knaccc
it is a very interesting approach though
-
knaccc
and exactly as you say, relies on Intel not being malcious/incompetent
-
moneromooo
It looks like you thought I was asking you. I was asking UkoeHB.
-
knaccc
ah ok
-
knaccc
there is an interesting philosophical question that I think their approach raises. Which is: even if SGX presents a serious risk, does that mean it should not be used as part of a defense-in-depth strategy?
-
knaccc
the idea of asking a remote node to scan for outputs with a private view key that only their private enclave can have visiblity of is fascinating
-
knaccc
selsta interesting, yes i'd imagine they'd allow for a higher-security option for people that wanted to store more than just toy-money
-
knaccc
selsta based on my extremely limited understanding of how SGX works, I think it is possible to get an intel-authenticated attestation from a remote cpu that a certain public key can be used to encrypt code and data that only that secure enclave can see/process, and then for a wallet to then send the private view key in a secure way to that remote secure enclave for some compute-intensive EC
-
knaccc
scanning work to be done
-
knaccc
but of course, there could be implementation flaws, intentional backdoors, or a man-in-the-middle attack where intel's leaked keys are used to attest that an insecure enclave is really a secure enclave
-
knaccc
i'm not entirely clear about how the intel authentication part works
-
UkoeHB
they contracted me since september, hired me a couple weeks ago
-
luigi1111w
<selsta> Or does this have to be done on a protocol level? <= if protocol level = blockchain level, then almost certainly not.
-
luigi1111w
yes
-
moneromooo
Am I missing several lines from selsta here... two replies but nohting from selsta...
-
UkoeHB
re: Intel malicious/compromised
-
UkoeHB
1. they can read MobileCoin's transaction graph (i.e. see all ring members)
-
UkoeHB
2. they can censor new enclaves issued by MobileCoin Foundation/related to MobileCoin (would compromise the integrity of their SGX product line - ruin their reputation)
-
UkoeHB
3. in an extreme case, they could build a 0-day into the SGX software to replace enclave contents with their own code (very hard in many ways, but possible)
-
UkoeHB
4. Fog lets users find their owned outputs (like MyMonero, except instead of private-view-key-custody they read encrypted tags containing users' public view keys, then sort and store). Enclaves are used so the Fog operator can't see the view public keys. If enclaves broken, then output:user groupings would be known.
-
UkoeHB
yeah I don't see selsta commenting either
-
luigi1111w
grr
-
moneromooo
Fog ?
-
UkoeHB
it's this service thing that lets mobile be more efficient
-
moneromooo
So, intel can pierce ring signatures, and syncers can't verify those rings signatures. Is that correct ?
-
selsta
Basically MyMonero with view keys stored in a secure enclave
-
UkoeHB
ring signatures are still real - you just can see them if enclaves broken
-
UkoeHB
it's a step above MyMonero because operator doesn't see amounts
-
selsta
why?
-
moneromooo
Real, but they're dumped after going through SGX, no ? So syncers don't see them ?
-
UkoeHB
syncers don't see them correct
-
UkoeHB
selsta: outputs have enc(pub view key) attached, Fog then groups outputs:pub_view_key, and user collects them
-
moneromooo
So it doesn't look like an improvement.
-
sethsimmons
Fog on top of Monero would be nice
-
moneromooo
Except in "lightweightness".
-
sethsimmons
For a more trustless LWS
-
UkoeHB
it's a probabilistic improvement: what's the probability that an enclave is breached 'right now' and contents being read
-
moneromooo
It cannot be improvement since if that probbility is 0%, you get "intel cannot spy", which is what monero has. And that does not remove "syncers cannot check".
-
luigi1111w
the spy thing isn't right
-
luigi1111w
intel can't see more than every monero node can now
-
UkoeHB
yeah ^
-
luigi1111w
syncers cannot check is potentially valid though
-
moneromooo
So reading the tx graph (point 1) is wrong ? Or did I misinterpret it ?
-
luigi1111w
I think basically point 3 above
-
UkoeHB
yeah I have a whole section on the 'validation framework, and beyond' in my last chapter - not release...
-
luigi1111w
moneromooo tx graph = what is public in monero right now
-
UkoeHB
in my view the tx graph includes all decoys
-
moneromooo
OK
-
moneromooo
So it boils down to preventing syncers from verifying, and instead having a proof it was checked by intel.
-
moneromooo
I guess it does become more and more interesting for large ring sizes.
-
moneromooo
Assumign this proof doesn't also grow superlinearly.
-
moneromooo
Why don't they keep the signatures, and let syncers choose whether they want to download/verify or not ?
-
UkoeHB
the proof is on a pub key owned by the enclave - the enclave signs validated block contents with that key
-
moneromooo
(which is what we do)
-
moneromooo
OK, if it's whole blocks, then it seems it must scale well.
-
UkoeHB
I don't think signature contents can be preserved without losing forward secrecy
-
UkoeHB
block contents*
-
gingeropolous
so who can run a validator node?
-
sethsimmons
Anyone with an SGX-capable CPU, in theory
-
sethsimmons
Not sure how you actually join consensus, though, and there is no monetary reward for validation.
-
sethsimmons
There are no docs for doing so ATM
-
sethsimmons
Just a support email to reach out to if you want to become a validator.
-
gingeropolous
oh gawd
-
sethsimmons
Only altruistic validators will join as their is no game-theoretic incentive to draw decentralization of validators.
-
knaccc
UkoeHB the SGX has an asymmetric keypair that is supposed to be unique to that particular CPU, right? so does Intel just provide an Intel-signed signature once as part of the chip manufacturing process, which then later you can use to check that the per-CPU secure enclave public key you're looking at is really from a "secure" intel chip? So there is a well-known intel public key published
-
knaccc
somewhere that we need to rely on not being compromized?
-
sethsimmons
Unless the foundation chooses to subsidize them directly or they collect fees (that isn't clear how fees are collected/used)
-
sethsimmons
Fees are currently quite high ($0.65 flat fee per TX, 0.01MOB), so fees could be substantial if they are split between validators somehow and not just burned.
-
gingeropolous
so you can sybil the validator network and print money?
-
sethsimmons
Idk, it isn't clear.
-
sethsimmons
I would doubt it, there is no mention of fees being collected by validators that I could find.
-
gingeropolous
heh, how's that sgx thing work with VMs?
-
gingeropolous
well no, if no one else except validators actually check the integrity of transactions .. i guess i just really don't understand the stellar consensus protocol
-
luigi1111w
it works, but attestation can be wonky
-
knaccc
if the per-CPU keypair is created using the same manufacturing technique that yubikeys use, then the pain threat is intel misusing/having a compromised signing key
-
knaccc
main* threat
-
knaccc
or maybe they just have a back-door that allows them to exfiltrate it
-
selsta
My largest obvious issue with mobilecoin are insta mined supply and the distribution. That has been quite intransparent (almost shady), but that is off topic for this channel.
-
luigi1111w
agreed
-
sethsimmons
<selsta "My largest obvious issue with mo"> Yeah, technically it makes some tradeoffs that could be OK for the specific use-case (even if I dislike the trust model).
-
sethsimmons
That's not the biggest issue at this point, but am definitely curious if any of their work could be helpful to Monero now or in the future, especially as a base/starting point for a Rust implementation.
-
UkoeHB
knaccc: there is a bit more to it than that
-
UkoeHB
because they want to blacklist compromised devices
-
knaccc
UkoeHB oh so you're supposed to connect to an intel site somewhere to find revocations? and how have devices become compromised?!
-
UkoeHB
idk if there exist compromised devices, but they want to blacklist them if they are discovered
-
UkoeHB
basically Intel will stop attesting to data provided by enclaves on compromised devices
-
UkoeHB
each new piece of data must get its own Intel signature
-
moneromooo
Is there a difference between "miner" and "validator" ?
-
UkoeHB
there are no miners - it was a premine
-
moneromooo
*all* premined ?
-
sethsimmons
100% baby
-
moneromooo
That can't be right...
-
sethsimmons
It is
-
UkoeHB
yes, stellar consensus protocol + mining = no one has done it afaik
-
moneromooo
Even bytecoin was 80%...
-
knaccc
UkoeHB whoaaaa, so you need to constantly talk to an intel server somewhere to get attestations every time you want to execute a different kind of code in the secure enclave of a particular cpu?!
-
sethsimmons
15% has been sold at least so far, but 100% was mined in the genesis block.
-
moneromooo
jesus... so it's an outright scam basically. I assumed the premine was a few percent or so.
-
sethsimmons
-
sethsimmons
Page 133
-
moneromooo
Stellar is also 100% premined ?
-
sethsimmons
Not sure
-
sethsimmons
I don't think so but its been years since I dug into them.
-
sethsimmons
Forgot they existed TBH
-
UkoeHB
knaccc: not quite, you just attest to a public key, then anyone can open a communication channel with the enclave
-
knaccc
UkoeHB oh ok, that's more reasonable, thanks for explaining. Btw am in awe of your paper-writing talents, as always :)
-
UkoeHB
hah thanks :) I think they are slowly getting better over the years
-
rupee[m]
<moneromooo "Stellar is also 100% premined ?"> stellar started with 100 billion lumens and there is 1% inflation
-
hyc
still can't beliee anyone would look at anybody's proprietary security mechanisms as acceptable. for anything.
-
UkoeHB
rupee[m]: how do they mint new coins?
-
rupee[m]
i'm not that familiar with it actually, but from searching the web I found:
-
rupee[m]
"The Stellar distributed network has a built-in, fixed, nominal inflation mechanism. New lumens are added to the network at the rate of 1% each year. Each week, the protocol distributes these lumens to any account that gets over .05% of the “votes” from other accounts in the network."
-
rupee[m]
-
rupee[m]
"Basically every week, once you are setup to receive inflationary rewards, you account will be debited with XLM. Distribution of inflation and any fees used on the network is based on the voting power you possess, the number of votes is based on the number of Lumens, XLM, you own. The minimum amount of you need to vote is 0.05% of all Lumens in existence which for most XLM owners will mean joining a pool which
-
rupee[m]
many will also charge you for the privilege e.g. 10% of any rewards earned."
-
UkoeHB
some kind of staking?
-
gingeropolous
yes, all non-mining protocols require premine because mining is also a way to distribute coins afaict
-
gingeropolous
sry, scrollback.
-
hyc
self-perpetuating wealth. if you bought into the ICO, you keep earning coins in perpetuity
-
hyc
doesn't sound like it'd yield very broad distribution
-
gingeropolous
its just central banking 2.0
-
gingeropolous
if you control the money, you control the votes, and if you control the votes, you control the money. wcgw?
-
hyc
yeah
-
gingeropolous
what do they call it? byzantine agreement?
-
UkoeHB
scp uses the 'federated byzantine agreement model'
-
gingeropolous
aka the Central Banking Model. i wonder if the central banking model could actually be called that
-
UkoeHB
?
-
gingeropolous
i just wonder if you actually compared the two approaches, how similar they'd be
-
UkoeHB
quite different I imagine
-
gingeropolous
I dunno. The central banks decide and reach a consensus on what the money supply should be.
-
gingeropolous
but i guess mobilecoin doesn't think of itself as a money, just a payment platform ... ?
-
UkoeHB
mobilecoin has thoughts? has ai come that far? alternate universe?
-
hyc
mobilecoin was created to fund signal, didn't whtshisface already state that explicitly? moxie or whoever?
-
rupee[m]
"I started MobileCoin to fund Signal. That’s it."
-
rupee[m]
-
rupee[m]
and "once the dust settles" MobileCoin intends to not own many coins
-
rupee[m]
that almost implies to me that the intention is for the transaction fees to go to either MobileCoin or Signal (in addition to the money they raise from selling the coins)
-
rupee[m]
wouldn't be a very sustained funding model if they stop bringing in revenue once all the coins are sold
-
rupee[m]
Who decides the transaction fee rate? I read it's 0.01 MOB right now but they are planning to reduce it
-
sethsimmons
Foundation I guess
-
sethsimmons
I would assume they either forgot to change it or didn't expect the pump to go so well
-
UkoeHB
someone opened a 200mill USD short position when the price was like 4$ - didn't end well for them
-
selsta
UkoeHB: do you know why the circulating supply is not known? and mobilecoin also said they might will not share that info?
-
selsta
might not*
-
UkoeHB
can't say - contract
-
rupee[m]
I wonder if that "short position" was one of the founders just tryiing to lock in their gains in case the price crashed on announcement
-
rupee[m]
or to lock in profits despite having some sort of restrictions on their ability to sell their pre-sale coins
-
UkoeHB
well they lost all their collateral (probably 400-600mill +)
-
rupee[m]
why would someone bet so massively against it. seems more likely to me they were trying to lock in profit and then got caught without enough collateral to finance the hedge
-
UkoeHB
actually probably not that much - I think they just had to pay back interest, which was maybe 40-100mill usd max
-
midipoet
Why is Mobilecoin discussed in here?
-
midipoet
It's an ICO is it not?
-
midipoet
Does that discussion belong here?
-
rupee[m]
it's a new implementation of RingCT and other technology that monero uses (developed). Perhaps there are concepts we can learn from their code
-
sethsimmons
Started out discussing the technical approaches
-
sethsimmons
But devolved a bit
-
rupee[m]
Personally, I would like to see monero have view keys that reveal both incoming and outgoing transactions if it can be done in a way that doesn't damage the privacy of users in a meaningful way
-
rupee[m]
I suspect that will give MOB an advantage when trying to get listed on exchanges
-
UkoeHB
we tried to figure it out here:
monero-project/research-lab #58
-
midipoet
It's devolved quite a bit indeed, but I am not a moderator, so perhaps it's legit convo for MRL channel.
-
rupee[m]
no, thanks for getting the conversation back on track.
-
sarang
Outgoing view keys are tricky to do in a way that can't be gamed
-
sarang
It's straightforward as a convenience feature, but implies a certain level of trust in keyholders
-
moneromooo
I believe someone proposed a way. Named... Kingsomething. It was on github.
-
moneromooo
-
luigi1111w
ye
-
luigi1111w
but heavy