Andrew Miller
@socrates1024
Followers
20,357
Following
3,657
Media
1,098
Statuses
26,155
sponsored skateboarder 🛡️ UIUC • Flashbots • Cycles
midwest
Joined March 2009
Don't wanna be here?
Send us removal request.
Explore trending content on Musk Viewer
Covid
• 768903 Tweets
#บวงสรวงข้ามฟ้าเคียงเธอ
• 310880 Tweets
Worship The Next Prince
• 241533 Tweets
TNP X ZEENUNEW
• 151638 Tweets
Botafogo
• 76803 Tweets
#BB26
• 49530 Tweets
Matt Gaetz
• 49450 Tweets
Caitlin Clark
• 48698 Tweets
#AEWDynamite
• 44215 Tweets
パワプロ
• 34047 Tweets
Abel
• 28908 Tweets
Van Jones
• 27740 Tweets
Gold Star
• 26926 Tweets
Ramirez
• 24412 Tweets
Kai Trump
• 22330 Tweets
関東甲信
• 21572 Tweets
Botox
• 17648 Tweets
Reviving Culture
• 17141 Tweets
Alisson
• 17079 Tweets
Rony
• 16506 Tweets
カルストンライトオ
• 16446 Tweets
BOSSNOEUL WORKSHOP DAY
• 14804 Tweets
Okada
• 12971 Tweets
Ospreay
• 12887 Tweets
梅雨明け
• 12726 Tweets
Janson
• 11872 Tweets
My grandma was really patient when I set her laptop up with Ubuntu, got her crossword puzzles working and everything. Next time I visited she just had a whole new laptop w/ windows and never brought it up again but I wasnt wearing the sweater she bought me so guess we're square
avg SF techie: “i use mac cause it’s easier, linux is scary”
grandma: “so i’m using the debian 12 version of linux and this is how you use FFMPEG”
265
3K
26K
11
326
9K
We evaluated TEE-based blockchain Secret Network to see if it was susceptible to AepicLeak, and ended up finding the master decryption key for the whole network. Read more and see a testnet demo at
Our survey of SGX attacks is out! Come learn about how SGX fails in real life. Check out our website including attacks on
@SecretNetwork
and
@CyberLink
PowerDVD.
5
96
265
76
305
974
#InternetOfThings
is when your toaster mines bitcoins to pay off its gambling debts to the fridge
24
934
950
I've been approved for tenure and promotion to associate professor!
Celebrating with this sick boardslide
85
12
501
Life Hack: If you drop something like your cell phone or a dish, try to catch it with your foot. Doesn't have to be perfect, just slow its fall and dissipate a bit of energy before it lands. With a bit of practice you can reduce your broken phone rate by up to 40%
65
32
471
The best part of the bible is the DRM metadata included at the end
18
42
372
Baby SNARK (do do dodo dodo)!
A tutorial on the simplest SNARK, its implementation, and most importantly its soundness proof.
Comes with code
and writeup
@sanket1729
@ZhangYe46023266
still rough around the edges, but pls enjoy
2
66
230
I can't believe it - I'm actually waiting in a *queue* to use the Bitcoin ATM on green st
7
64
188
Chainlink's new offchain reporting protocol is really elegant and practical; in the style of layer 2 and optimistic protocols it saves costs by only using the blockchain to post final results and as a backstop when rotating leaders, plus design nuance on periodic reporting times
For those wanting an in-depth technical overview of the design goals, computer science, and report generation process behind Chainlink Off-Chain Reporting, we encourage you to read the OCR protocol paper linked below.
6
79
441
5
27
183
bought fish with bitcoin... shopkeep made me wait FOUR BLOCKS before leaving
The future's already here, it's just waiting to be confitmed
11
18
177
Pleased to announce I've partnered with Amazon Web Services to leave an unused server running for 18 months
4
6
179
Today we're making public a resource exhaustion vulnerability affecting more than a dozen proof-of-stake cryptocurrencies. TL;DR: they don't adequately validate blocks before storing them in disk/ram. Our coordinated vulnerability disclosure began in november
.
“I Can’t Believe it’s not Stake” resource exhaustion attacks on UTXO-longest chain model PoS currencies with
@socrates1024
, Yunqi Li, Yuguang Chen, and Joseph Kuo at Decentralized systems lab at UIUC.
15
76
197
4
66
180
debunking TEE fud: a short argument reset to start the new year. collab with
@0xQuintus
Myth 1: “SGX is being deprecated!" Trusted hardware is over.” Actually Confidential Compute is booming. Normies are going to use this whether or not web3 does too
10
40
164
!! NSF CAREER: Composable Programming Abstractions for Secure Distributed Computing and Blockchain Applications We'll be working on new robust system designs, and making the full power of cryptography available to application programmers
@ECEILLINOIS
26
20
162
by data availability layer do you mean a whole other blockchain
16
6
158
Kids today don't understand the value of ten trillion dollars
5
19
147
Announcing the Ratel paper, led by
@lilioneviola
It lets you extend your Solidity contracts with confidential multiparty computation written in MP-SPDZ
Examples include a "dark pool" univ2 and a liquidation auction
10
37
153
PSA: The use of Zcash shielded transactions is *not enough* to ensure privacy. There are a host of concerns, side channels, cookies, etc. This page is a good start:
9
59
132
Congrats to Dr. Tom Yurek
@tom_yurek
, first PhD from Decentralized Systems Lab!
Incredible portfolio of work on honey badger protocols: aggressive batching in asynchronous protocols for anonymous messaging, distributed key generation, and generic MPC
7
11
142
@ofnumbers
Just joining in here to support
@NeerajKA
he's very funny and does a great job, both at shitposting and the rest of his job
2
1
126
As an unaccountability passholder I have absolutely zero obligation to make myself legible to you munchkins. Nonetheless, I have produced this schematic to illustrate how my personal strategic interests relate to one another. Thank you CT and lfg another decade
10
15
132
The average US person swallows 3000 shrimp in a year during their sleep
10
16
137
If I owned the trademark I would bring a lawsuit against anyone using "ZK" to mean "succinct" instead of "zero knowledge"
16
22
134
Unpopular opinions:
1. Cryptocurrency scarcity is a joke, it's backed by a few hundred geeks with 21M tattoos on their foreheads promising it's not just a phase they're going through.
2. What do $, stocks, and BTC all have in common? They're not backed by anything valuable
74
22
124
UniverseCoin, UniverseCoin. Blocks the size of a universe coin. Usually kind to smaller coins. UniverseCoin. TriangleCoin, TriangleCoin. TriangleCoin hates UniverseCoin. They have a fork, Triangle wins, TriangleCoin.
4
25
126
Now imagine all the roaming PokemonGO players are also passing keys, messages, and physical items when they encounter each other
#DarkMarket
7
65
121
Excited to announce that our research paper on SaUCy (Super amazing Universaity Composability) and the Interactive Lambda Calculus will appear at PLDI19.
preprint online now:
@_kevinliao
@matthewhammer
8
27
118
All trilemmas can be any two of:
- well defined
- insightful
- true
but never all three
7
18
115
Disable Input/Output Interfaces to make sure the security
7
39
105
Hiring up to one Ph.D student next year for Decentralized Systems Lab to explore one of two focus areas: 1) decentralized governance and bridging to political science 2) privacy smart contract programming models using ideal functionalities
6
32
112
Btw, this SGX-revm demo also runs on my $330 SGX legacy laptop, just so ppl know you don't necessarily need a cloud subscription to do this kind of development
5
7
109
The Cybertruck's weird boxy shape is to make it environment friendly. Shapes like this are easier to compress in a zip file, which makes computers happier and use less energy
The
@Tesla
#Cybertruck
is here, and pre-orders are open.
•Production starts in 'late 2021'
•A single-motor RWD model costs $39,900
•Triple-motor AWD with 500+ miles of range costs $69,900
429
892
3K
5
8
109
Attn all cryptocurrency researchers: The BITCOIN workshop is now *merged* into Financial Cryptography this year This means SUBMIT YOUR PAPERS IN SEPTEMBER theres no later deadline like previously
@paddyucl
@srg
@el33th4xor
@Ethan_Heilman
@real_or_random
1
33
92
This is a full circle moment... the Wikileaks donation blockade from Visa/Master cards is the event that got me interested in cryptocurrency a decade ago Now its fulfilling that narrative
The
@AssangeDAO
has now raised over US $42.3 million (13,563 ETH) for bidding in the 'Clock' auction which ends in 46 hours. All monies raised go to help free Julian Assange
Contribute:
Chat:
Info:
15
106
278
2
34
105
Announcing the soft launch of HoneyBadgerMPC - a robust MPC implementation for blockchains (v0.1-alpha prerelease)
Research paper and more information coming shortly
2
26
104
Thrilled to announce TxProbe, the latest in Bitcoin p2p topology inference. The goal is to probe whether two reachable nodes are in fact connected directly to each other. Achieving this relies on several subtle insights about how transactions are relayed
2
34
100
I'm expressing my support for a 2X fork. I think the risks of 2x are overstated, censorship is abhorrent, and divisiveness self-inflicted
28
20
97
Great to draw attention to Private Shared State. However focusing on FHE as a solution is really misleading. It's *threshold assumptions* that are doing the work here. But everyone talking about FHE omits this part from their explanation. 👏 Say 👏 who has 👏 the decryption keys
1/ Lack of on-chain privacy is one of the biggest issues in crypto
Although zk solutions, e.g., Aztec, enable private transactions and compute over private data, they have a major problem: handling private shared state
This is where FHE and startups like
@inconetwork
shine
15
55
277
5
19
101
Financial Cryptography '23 starts tomorrow with the first ever pre-conference tutorial: CFMMs with
@GuilleAngeris
@tarunchitra
@theo_diamandis
4
28
95
New half-semester course: 398SC: Smart Contracts and Blockchain Security. Filled up in 24 hours. Might auction off additional seats :p
11
19
95
Unpopular opinion: Closed peer review processes that do not at least publish the reviews alongside accepted papers are
a) wasteful of reviewer effort, a scarce resource
b) enable gatekeeping without accountability
This is sadly still the standard in academia with few exceptions
6
23
96
Segwit is awesome engineering and I
#longbet
it will be ratified in December. I admire Core for maintaining a consistent technical vision
10
37
94
Sealing with MRSIGNER is an SGX anti-pattern, since creates an unwanted privacy backdoor. Secret Network and all the upcoming TEE-based blockchains must avoid it. This and more in my blogpost at IC3
3
19
90
I invented MEV in 1998 while playing GoldenEye 64. Three player split screen deathmatch. Facility. Proximity mines only
6
5
93
I could supervise up to one PhD student intern at Flashbots this summer. I'm interested specifically in:
- writing kernel modules / SGX-step scripts to demonstrate and documenting side channel and replay attacks on SGX applications
- ideal functionality modeling of SUAVE
12
22
83
Delighted to partner with Cycles to make network credit a reality. An outstanding team, forged from the Cosmos, tackling a deep economic problem. Fintech in the front, permissionless privacy in the back.
Fwiw my strategy chart remains accurate this year
1/ We’re excited to announce that Andrew Miller joined our team last summer to lead Cycles protocol design, with a focus on secure privacy for payments and credit via TEEs & ZKPs. There’s few people better positioned for this kind of protocol design work than
@socrates1024
4
13
73
7
7
93
Great talk from
@buchmanster
outlining the case for TEEs in private compute on Cosmos, how the sidecar approach improves on alternatives, how to use mitigate TEE limitations w ZKP and in-enclave light clients.
Follow
@cyclesmoney
for TEEs and private graph stuff
1
21
93
Announcing "Decentralized Credit Networks" a new workshop October 26th at AFT in New Jersey this year:
Co-organized with Aniket Kate
@aniketpkate
See our call for contributed talks
6
22
87
I'm boycotting Consensus out of solidarity with Vitalik and because I was not offered a free ticket and
5
4
84
Check out Ralph Merkle's new paradigm for mechanical computing using only linkages and rotary joints (animation is of a shift register)
4
27
82
Zcash now has two independently developed full node consensus implementations! That's 2x more software decentralization than. Most blockchains
The Zcash Foundation is pleased to announce the release of the first stable, audited version of Zebra: Zebra 1.0.0
4
44
124
0
23
83
⚡🤖 Flashbots is hiring SGX Engineers
Join us to build SUAVE, keep Ethereum decentralized, and change how smart contract devs think about privacy tech.
10
24
84
we choose to build the L2s in this decade, and do the other things, not because they are easy, but because they are fashionably hard
6
8
82
train read words to the ai your
to differently keep out of thoughts
7
5
79
Leading a hackathon project next week: a decentralized IPFS https gateway using SGX to provide content integrity guarantee without any browser plugins.
Triple barrel, using - SUAVE Sirrah, Phala, and Cycles Quartz
Welcome to follow along from home, Ill post updates and tutorial
5
11
82
Nym is a very cool project that builds on top of the panoramic mixnet protocol. It is kind of a layer-0 privacy enhancement, the way Zcash is layer-1 and Bolt is layer-2
Today we are publicly launching our project to break surveillance’s stranglehold on the internet. Find out more at our website:
2
31
101
2
21
79
I'm joining U. Illinois @ Urbana-Champaign as an Assistant Professor in Computer Engineering and Computer Science
@ECEILLINOIS
@IllinoisCS
19
12
79
Huge $4M grant from Ethereum Foundation to Starkware for scalability through verifiable computation!
0
19
78
Here's my take on "identity". I want an independent organization that 1. Signs a public key for people, storing biometric information. 2. Let's you rekey at any time, revoking the old one. And that's it (it needs to do those jobs well)
9
19
78
If you read Harry Potter and liked the parts about horcruxes, you're sorta ready for secret sharing, threshold crypto, and MPC
2
25
79
New speedrunning category unlocked: "snip20% glitchless."
We found and demonstrated more privacy hazards in TEE-based blockchains, especially Secret Network, this time without breaking the TEE itself
@nerlsss
@lilioneviola
@tom_yurek
@iseriohn42
@sbellem
6
23
76
Cycles is a permissionless TEE&ZKP credit network that completely changes how you think of p2p lending. It's a fundamentally post-money and post-token application
Soon we’ll release the
@cyclesmoney
whitepaper on a new financial paradigm, so here's a few things you should know to prepare yourself.
We know that blockchains, crypto, and defi apps have long promised to replace banks and finance. But there’s a lot of problems with this 🧵
12
30
194
4
15
79
getting excited for IC3 blockchain camp
hackathon project prep is underway :O
themes include zkp, TEEs, consensus.... more governance,daos,public goods than prev years... looks great
9
6
79
If you're new to the Financial Cryptography conference but want to catch up on the lore, check out this documentary about the vibe from 1997. See how many heroes you can spot! (Japanese language, eng subtitles)
2
25
79
Decentralized Credit Networks workshop is tomorrow!
Speakers from industry web2 &web3 as well as academics from security and network theory.
If you can't make it, you'll have to follow along with live tweets and wait for the post-workshop writeup report.
3
15
75
Everyone thinking you're going to use FHE for blockchain, ask yourself, "who holds the decryption key?" If what you have in mind is threshold FHE then great, but really that's just MPC and subject to mostly the same challenges
FHE is becoming a reality! Here is an example of how to apply a filter to an encrypted image:
7
13
71
9
10
77
Publicly Auditable MPC-as-a-Service with succinct verification and universal setup.
In a nutshell, we made it so you can generate Marlin proofs from within MPC. Gives your MPC a (nearly) integrity upgrade as a backup guarantee
1
25
75
How do they put the money inside of a coin? If you break a coin open does the money spill out?
8
10
70
Our Sting Framework prototype is a cryptoeconomic complement to the Flashbots SGX Builder. If the TEE were breached, and protected transactions leaked to insiders, this mechanism incentivizes an insider to reveal this to the world and claim a reward
TEEs / trusted hardware are in theory a perfect complement to blockchains. But security concerns have slowed adoption.
The Sting Framework (SF) is a new defensive layer for TEEs and other systems that enforce secrecy. See our blog post or the TLDR below.
10
63
253
3
14
75
Technology is not neutral. But I think we need to recognize the asymmetry between cooperation and interference. All else equal, tools for communication are more beneficial than tools for censorship. This is why I work on crypto rather than computer vision for surveillance
3
14
74
Bug affecting
#TheDAO
described in commissioned security audit 2015 Also See section 5.14 of
5
45
70
I explained bitcoin to a really smart mathematician once. I thought I wasn't doing a good job since he was pretty quiet, but after a few minutes he said "Ah! Found one"
0
12
73
I think we aren't utilizing the "one shot signature" feature of TEEs to their fullest. Here's a sketch of "Kettle Cash", based on replacing "Quantum" with "TEE" from the e-check scheme from Sattah and Ben-David
8
12
74
This is a fantastic post.
Properly gives a zk proof of speedrun. The ZKP can validate a standard "demo" file like speedrunners use for tool assisted speed runs. This could plausible be used by speedrun community to hype a new strats/routes without before sharing the details
Finally, something for the Doomers to get excited about.
Zero Knowledge 🤝 DOOM
Together at last, powered by the RISC Zero zkVM
64
95
428
5
13
73
First in a series of TEE security focused livestreams.
Learn about TEEs with this hands-on intro tutorial and demo from Moe Mahhouk from flashbots
background reading
1
17
73
@VitalikButerin
Yo, do have any secret pseudonyms you post under? If so, would you take this opportunity to burn one or at least reveal a number of how many? If not, you totally could, I'd bet you're skilled enough to host at least two or three nyms
1
0
68
If I were to start a cryptocurrency-focused academic journal, I would call it "Transactions on the Blockchain"
4
9
72
Illinois is *literally overflowing* with blockchain-relevant courses, inc:
- Consensus protocols
- Graduate cryptography
- Undergraduate cryptography
- a blockchain course postponed till spring to make room
6
16
72
The "Liquidity" high-level language for tezos
(Tezos : Liquidity : Ocaml :: Ethereum : Solidity : Javascript)
0
29
71
ZeroWallet by
@aman_ladia
A new protocol inspired by OPAQUE that provides the portability of brain wallets with the security of 2/3 multisig
2
23
71
congrats to secret network on on deploying DCAP. This removes a point of failure where Intel could disconnect Secret Network from SGX.
The story of rise and fall of DCAP's predecessor EPID is interesting on its own. It's neat privacy crypto that made sense at the time
Secret Network v1.13 is now live on mainnet! 🎉
This upgrade added DCAP attestation, which enables node runners to use newer and more efficient hardware. This will lead to improved performance and scalability, and potentially reduced node running costs.
🧵(1/4)
4
21
84
7
14
69
Was encouraged to share a snapshot of my current intro resources list for SGX/TDX (ty
@__tux
):
- SGX
- TDX
5
15
73
With the advent of CryptoKitties, the Ethereum platform has finally delivered on its vision
2
7
67
Tip: "debug" your presentation slides by imagining the audience waking up from a nap at any point in the middle. Give them something to latch on to find their way back on topic. Most important: slide title should be a self contained message
3
3
67
If anyone is interested in making a mashup of programmable privacy and zk shielded pool let me know, I want to volunteer about 15 hours on this topic (1 hackathon sprint) this fall. Noir or Zcash + TDX preferred but happy to be flexible on platform / proving system
12
11
69
Tomorrow in Decentralized Systems Lab reading group:
@suryabakshi
will lead a discussion on Centralization in Block-Building and Proposed Builder Separation
Livestream link:
Starts at 12pm central
talk
3
10
68