Evangelist of @Logos_network, Founder of @thebtcpodcast & @hashingitoutpod, physics phd. I am focused on building asshole-resistant technology. I also garden.

the tubes.
Joined October 2012
So I built an app called Muster on the @Logos_network tech stack (it just ships Basecamp with the modules pre-built in) to see if I could watch where information goes throughout the entire transaction pipeline: from starting a conversation to looking at the data settled on chain. I want to see what infrastructure we rely on for each action (it's WILDLY different), what coordination looks like, how you can have stronger confidence in the coordinated agreement, and how you can be damn sure what you're signing is what it is supposed to be. Furthermore, I'm curious about how you can surface this information, and the consequences of this info, to the user so they can make better decisions without being tooooo encumbered with data in their face. So here's a demo video.
10
8
1
36
1,616
was a real pleasure talking with yall's team and look forward to collaborating and digging in more!
Privacy can be thought of as a security property. It has to designed in, not bolted on. The @Logos_network team stopped by to discuss the protocol design choices behind their L1 stack for anonymous, censorship-resistant & decentralized computing. One area sparked our curiosity: why use a mix network over Tor? 🎙️ Giuliano Mega explains below
1
8
333
I enjoyed so much of this conversation, go watch and listen!
3 years after 9/11 and the US govt's enacted surveillance act (The PATRIOT Act), Nick Merrill - an ISP provider, got a letter from the FBI accompanied by a gag order. He spent years challenging in court. 25 years later, he tells the whole story: youtu.be/yxdZWtd3epE
1
4
201
Corey Petty retweeted
Transactions face two hazard classes, each needing its own defence. Security constrains opportunistic insiders. Privacy limits information available to outsiders. PriFi combines both, strengthening commitments at each link in the transaction lifecycle. logos.co/media/article/prifi…
1
6
22
1,298
I have done a thing..what if I can use @Logos_devs Storage to distribute and install my Android apps? F-droid is ok..but it looks..old...and we already plan to distribute Basecamp packages via Logos Storage...why can't I just dod that same for my Android apps? Spoiler: I can
1
1
1
10
399
I'm devastated that I'm now triggered by the word "honest" when reading things because I automatically attribute it to AI.
5
11
307
Corey Petty retweeted
Join a private proof-of-stake network without ever funding a wallet from an exchange. EmPoWering: run proof of work on your device → earn entry to Blend → send your first transaction. No permission required.
2
7
18
1,126
Corey Petty retweeted
Learn more about how EmPoWering works: xitter.cf/Logos_network/status/2…
1/ A private network needs a private way in. Introducing EmPoWering: a way to let people use proof of work to receive their first testnet tokens from the network and access Logos’ privacy layer. Start with zero, contribute computation, and join the network. Here’s how ↓
2
4
228
I think there's a type of poetry to really good engineering or analysis. How someone attacks a problem is just as interesting if not more than the solution they come up with. I wonder how that gets cultivated, or even acknowledged, with AI....
2
1
178
Join the Logos 0.3.0 genesis as a bootstrap node. You need a node identity on the machine that will run the node, and one public key to post here. 1. Generate your config and keystore (module installed and daemon running) ``` logosctl module load blockchain_module logosctl call blockchain_module generate_user_config '{"output": "user_config.yaml", "use_persistence_paths": true}' ``` The result prints the absolute path of your user_config.yaml. Your keystore.yaml is in the same directory. 2. Reply with your stake key ``` grep -A 8 'public_keys' <dir>/keystore.yaml | grep Stake ``` 3. Back up keystore.yaml. Your genesis stake is assigned to this key and the module will not generate a second keystore in the same place. Lose the file, lose the stake.
2
6
1
20
1,117
I’ve had a few people write to ask me to follow up on a (reply!) tweet I wrote that’s gotten a lot of retweets. I considered deleting it just to avoid the headache, but I think that would make people more paranoid. So let me share my thoughts.
Replying to @kmad @matthew_pines
I think we might lose public key cryptography.
48
300
36
1,912
268,758
Corey Petty retweeted
Scan in Verify Sign Scan out Your signing device never needs to connect to your computer.
5
4
2
26
1,285
Replying to @kmad @matthew_pines
I think we might lose public key cryptography.
248
430
457
5,346
2,018,421
Corey Petty retweeted
Today I call upon the blockchain industry to calmly begin planning for "bunker mode". My personal recommendation is to set in motion a controlled mass migration of assets to fresh addresses, i.e. addresses whose pubkeys remain hidden behind a hash. Holders, starting with large and sophisticated ones, should consider moving the bulk of their funds to addresses that have never signed a transaction. And when they do sign one, they should also move remaining funds to a new address (possibly generated from the same seed phrase). Don't rush. While I believe there is cause for action a rushed migration would do more harm than good. Don't panic either. Moving assets to protected addresses is a simple, preventative step which does not require new cryptography or new wallets. IMO it is now reasonable to brace for the possibility that ECDSA breaks before qday, in the worst case in months not years. By "break" I mean fast private key recovery (e.g. in one week) on available hardware (e.g. a large GPU cluster). Recent days have been humbling for human mathematical intuition. Long-held, unquestioned hypotheses have fallen. This includes the n log(n) bound for integer multiplication and the 3SUM conjecture. In hindsight, May's unexpected disproof of the Erdős unit distance conjecture was our warning shot. Yesterday's OpenAI drop made it clear that mathematical superintelligence is upon us. They say there are weeks where decades happen. We are about to live through weeks where centuries of mathematical progress happen. Could our magic 64-byte ECDSA signatures be too good to be true? Was it just security through obscurity all this time? Elliptic curves feel especially vulnerable to superintelligence. Curves carry rich structure, with room for fancy tricks like Schoof, Frobenius, pairings. (By contrast, hashes are designed to minimise algebraic structure.) Separately, as Ewin Tang can attest, an efficient quantum algorithm sometimes foreshadows an efficient classical one. We should be open to the possibility of a classical counterpart to Shor that breaks elliptic curves and RSA at once. Also noteworthy is the striking under-representation of cryptographic breakthroughs among the 722 mathematical results OpenAI published. I've witnessed first-hand the US government censoring academic quantum cryptanalysis results. Backroom interventionism is my base case. I urge large, sophisticated actors to lead by example. Project11's "risq list" (bitcoin-risq-list.projecteleven[.]com) is a great tracker of exposed BTC pubkeys. Binance, Bitbank, Robinhood, Bitfinex, and Tether have an opportunity to harden their cold storage. Next month I'll address institutions in London in a live Q&A (forum.ethereuminstitutional[.]org/london-2026). Again, please do not rush. Wallets holding under 50 BTC enjoy partial cover from "Satoshi's shield", i.e. his 20K exposed addresses that hold 50 BTC each. Load-bearing signers like oracles and L2 security councils should consider rotating ECDSA pubkeys with every signed message and/or multi-signing with a hash-based schemes like SPHINCS. Exiting bunker mode safely will require post-AI cryptography. My inclination is to go all-in on hash-based cryptography and avoid structured mathematical assumptions entirely, whether from curves, lattices, or isogenies. A single battle-tested hash (e.g. from the SHA or BLAKE families) yields plausible post-AI security. The Ethereum roadmap on strawmap[.]org fully embraces hash-based cryptography with end-to-end formal verification as a response to the quantum threat. Those timelines must now be revisited and accelerated in light of mathematical superintelligence. I'll be pushing for maximum defensive acceleration.
5,960
6,259
2,292
25,547
6,658,995
Thanks for having me on guys, had a great time!
A bank moves billions on-chain. The amount is hidden. The trade is hidden. Someone can still see who’s involved, when they’re active, which infra they’re using, and who processed it. That’s not privacy. That’s payload privacy with the metadata left on. Dr. Corey Petty, Chief Evangelist at @Logos_network , joins us to discuss why settlement privacy is privacy theater if the rest of the pipeline leaks:payload ≠ metadata ≠ operator. People don’t get wrecked on the contents. They get wrecked on the metadata. Interview is live: youtu.be/ULKHR5jpnmQ
2
5
119
A bank moves billions on-chain. The amount is hidden. The trade is hidden. Someone can still see who’s involved, when they’re active, which infra they’re using, and who processed it. That’s not privacy. That’s payload privacy with the metadata left on. Dr. Corey Petty, Chief Evangelist at @Logos_network , joins us to discuss why settlement privacy is privacy theater if the rest of the pipeline leaks:payload ≠ metadata ≠ operator. People don’t get wrecked on the contents. They get wrecked on the metadata. Interview is live: youtu.be/ULKHR5jpnmQ
4
1
5
681
Corey Petty retweeted
We'll be live with Logos Tech Updates in ~60 minutes, streaming on @Logos_devs and @Logos_network. We'll go through the Testnet v0.3 release notes and answer your technical questions. Release notes: roadmap.logos.co/testnets/v0… Join us and take part in the discussion.
1
6
13
380
Corey Petty retweeted
Logos Blockchain node, now running on @dappnode. Kudos to @krrisis for the idea and for lending his box for building and testing. @Logos_network is coming soon to all @dappnode users.
2
7
19
697
Corey Petty retweeted
Get in the game, get the prize, clear eyes, full heart, privacy as a first class feature. (Can’t lose)
New λPrize: LP-0001, NFT Wallet Support and Private Ownership Proof ($5,000) Prove you hold an NFT from a collection without revealing which one or which account holds it. On most chains, token-gating exposes both. LP-0001 brings the private version to LEZ wallets.
1
3
290
Corey Petty retweeted
Logos testnet v0.3 is live! Run a Logos node with all three infra modules: blockchain, storage and messaging. docs.logos.co/run-a-node If you prefer a UI, try Basecamp on your desktop: docs.logos.co/run-an-app
1
4
3
20
1,226