Ian Miers
@secparam
Followers
11K
Following
1K
Media
233
Statuses
9K
CS Prof. Security and applied cryptography. University of Maryland. I do cryptography and cryptocurrency work in Washington DC.
Washington DC/ UMD
Joined April 2012
I should point out this tweet might not age well. Markets and orgs can change. But seeing so many folks from major projects, including Bitcoin, say yep, this is the way to do private payments—in terms of tech, culture around security and bugs, and philosophy—is really touching.
1
0
35
Huge thanks to the devs who kept slugging through the trenches in those times.
1
0
35
Glad Zcash is exciting again. It's come a long way since Matt and I started working on it as a "make Bitcoin private" project. One of the coolest things I've worked on in my life. And a tough few years when private payments seemed to only matter in the dark corners of the web.
Hey I’m glad everyone’s excited about Zcash again! It’s one of the coolest things I’ve ever worked on in my life.
19
26
321
The flip side is, most FHE does not get you integrity, so to add that you need, e.g., zk proofs. So fully untrsuted for privacy and integrity FHE evaluation is even more expensive.
2
0
12
Once you accept that FHE fundamentally depends on a non-collusion/non-compromise assumption for threshold decryption, there is one very modest security advantage over MPC: Key holders are less exposed than in MPC. They only decrypt, they don't compute the function.
3
0
9
Since this seems overlooked: the point is an FHE protocol involving multiple parties has the same security assumptions and trade-offs as an MPC one. Who holds keys/shares and should they be trusted not to collude? For MPC, this is well understood, but for FHE, it’s not.
1
0
11
To be clear, there are legitimate use cases for this, and some very impressive research. BUT, the discussion around security for them should be "ok, where's the key?"
3
1
36
Scenario B is where we see proposed protocols IRL: darkpools, private anti-money laundering systems, etc. No one person is trusted to hold the key, theres a committee for threshold decryption. But the security of the entire solution depends on the committee not just "encryption"!
5
0
23
Given Enc(data), FHE lets you compute Enc(f(data)) for any f. But someone has to decrypt the result! There two scenarios a) Your data, your key, you just outsourced computation. Safe, but rarely worth the FHE overhead. b) Its multiple people's secret data, so who gets the key?
3
0
30
There's no such thing as Fully-Homomorphic Decryption. Anytime you see a system using FHE to compute on your sensitive data, remember: someone has the key. If its not you, do you trust them?
145
71
472
ZK proofs could be part of new anti-money laundering systems for digital assets. But many of the ideas out there "miss the game we are playing," @secparam said at the DC Privacy Summit.
1
4
16
We're releasing ZisK v0.13 today - The version that makes this milestone possible. ZisK is fully open source, quantum resistant, and provides 128-bit security, ensuring trustless and future-proof verifiability for Ethereum. https://t.co/DBVn0FcGtW
github.com
⚠️ Disclaimer: Software Under Development ⚠️ This software is currently under active development and has not been audited for security or correctness. Please be aware of the following: The softwar...
2
2
39
This is why having "some set of nodes" do MPC or FHE decryption is risky. Blockchains have convinced people they can trust random incentivized strangers on the Internet. But signatures are a very special case
Regular reminder: A key property of a blockchain is that even a 51% attack *cannot make an invalid block valid*. This means even 51% of validators colluding (or hit by a software bug) cannot steal your assets. However, this property does not carry over if you start trusting
4
3
55
Updating. FHE is MPC with 9,000% of the compute on an untrusted server and less bandwidth. But the interesting application are the same, as are the trust requirements.
9
10
69
To take Bitcoin as an example. The "recommended" options are 1) mixing services that are under active attack by analytics services and themselves leave a footprint, 2) a thing called Cashu, that’s bleeding-edge tech and requires you to find a trustworthy issuer not to rob you.
1
0
12
There are work arounds, but even for intelligence services and trained professionals, they are very tricky. They are nearly impossible if you need to spend the cryptocurrency you get. Which activists need to do. Its not an investment for them.
2
0
9
Cryptocurrency is twitter for your bank account. Its all public, just not under your real name. But just like social media, doxing is easy. Chain analysis plus AI-powered OSINT makes linking identities trivial. And under dictatorships, potentially deadly for dissidents.
2
5
29
Reminder: Some of the people building blockchain surveillance sold spyware to dictators in their last job. You can't ethically recommend crypto to activists as a privacy tool. Even privacy coins require caution, as they need enough users in a country. https://t.co/eAol3Mva3X.
vice.com
Coinbase said it's aware of the Neutrino founders' controversial past, but their technology is the best the major exchange has encountered.
6
15
82
Assume banks want to stop criminal activity, comply with the law, and the costs of a compliance program are pretty small. Why is current banking structured so that they don't have to know their customer's customer? What would go wrong if that changed?
1
0
3