The Chopping Block @_choppingblock

“As close to mathematically perfect as you can get a ZK protocol”

dafauq?

.@tomhschmidt says software development is moving from building boats to building spaceships – and if your code has holes "it's f*cked" "Maybe the past 30, 40 years have been almost kind of like building a boat. You expect a boat's gonna take on some water, there's like a pump, you do your best – but you know it's not gonna have zero water in it" "Versus building a spaceship. You can't build a spaceship that has some holes in it. It has to be completely sealed or it's f*cked" "We're kind of moving to a more spaceship type approach to code where it has to be completely airtight, not roughly airtight – someone out there is gonna find it"

.@ilblackdragon says he called this over a year ago, calls Mythos "a marketing ploy," and then lays out exactly how AI is dismantling DeFi protocol by protocol "I wrote a blog post actually about over a year ago effectively spelling out that this is gonna happen, and the only solution is formal verification" "The asymmetry that happens between the attack and defense is just always gonna be on the attacker's side. You're using Opus or let's say you even have Mythos – but everybody else has five different models, they have more time to spend on attacking" "You have potentially thousands of people who are trying to attack you with different models, with different ensembles" "I actually think Mythos was more... I mean, it was a marketing ploy on Anthropic's side. Let's be clear what it was. If you're a security expert with these models indeed now you can find vulnerabilities – and it doesn't matter which one" "Why DeFi started getting hacked in November, October? Well, Opus 4 came out. And we could see effectively protocol after protocol, everything that was multiple times reviewed and audited started to crumble" "A lot of open source models kind of pulled up in April, and that's why we saw a bunch of more hacks – people figured out I can probably just use DeepSeek or whatever on my own GPUs and not tell the inference provider that I'm hacking something" "You're not just running code analysis – you're actually running an agent that is able to instrument an injection and see that something came out. You can literally run reinforcement learning on top of this to figure out how to do it"

Founder of @NEARProtocol, @ilblackdragon explains what formal verification is and how it can eliminate soundness bugs once and for all.

"If Saylor was a good storyteller, I think it'd be quite different. But all he does is literally post complete AI slop." – @mert

Michael Saylor @saylor

2 months ago

You weren’t meant to live an uncomfortable life. $STRC

1K 815 8K 3.6M 763

.@Mert on the cypherpunk paradox: "If you have the means to stop crime, you have to stop it. That is actually the law as well" "The solution would be to structure the system in such a way that you don't have that influence" "Arbitrum – the emergency council, 9 of 12 had to intervene because they have that means. Tornado Cash is immutable. They didn't stop because they couldn't, and the government is still going after them" "The cypherpunk thing is that you shouldn't have that control to begin with. But if you do have it and you don't stop it, then you've kind of just virtue signaled superficially. You put up this facade while not actually taking any of the steps to do the cypherpunk thing" "If you have the means to stop it and you don't stop it because you're saying you're a cypherpunk – well first of all, you're not a cypherpunk because you didn't structure it in an immutable decentralized way to begin with. But if you do have it, then you have to stop it"

.@ilblackdragon says "code is law until the code is wrong – and then we actually want real law" "All April everybody was in the war room figuring out who got hacked on what chain" "NEAR is now running AI anomaly detection on cross-chain deposits in real time." "Not scraping Twitter. On-chain data first."

backrooms but crypto 2021

Finally got a chance to listen to this. 1. @ethereumJoseph you should do more of these types of shows. Meaning: crypto native, wide variety of topics, lots of off-the-cuff talking. Your knowledge and experience shines and there’s a ton of people in this space that certainly learn from your perspective on Ethereum and orgs and the core of the issues and the ideal state of the world. Please tell the PR team that Tay say so, thank you. 😁

@Vertigris7 he should just go live on pump .fun

next chopping block guest?

Hunter Biden @HunterBiden

5 days ago

@gmoneyNFT Hyperliquid

1K 1K 8K 1.9M 516

The Rollup is just a Chopping Block wrapper

The Rollup @therollupco

5 days ago

🚨LIVE: BTC In Trouble?! ZCash Bug From CLAUDE?! EMERGENCY SHOW with Mert, Josh & Haseeb x.com/i/broadcasts/1…

20 16 78 56K 18

it’s officially a broke boy summer

Not feeling like yourself lately? You may be experiencing symptoms of Crypto-Induced Cognitive Collapse. A treatment option could be available for you.

Best account on CT

The Chopping Block @_choppingblock

6 days ago

Not feeling like yourself lately? You may be experiencing symptoms of Crypto-Induced Cognitive Collapse. A treatment option could be available for you.

1 3 26 3K 5

Amidst the market meltdown, we brought @ethereumJoseph on to defend ETH. We talked Saylor's folly, death spirals, quantum threats, AI exploits, and Hyperliquid eating the world. Here's his take on why it's not over for Ethereum yet ⤵️

The Chopping Block @_choppingblock

6 days ago

.@ethereumJoseph told us not to call it the Second Foundation but also told us SharpLink, BitMine, and ConsenSys are becoming Ethereum's "decentralized commercialization engines" sooooo Timestamps 00:00 Intro 01:06 Saylor Sells BTC & Market Panic 05:07 STRC Death Spiral & DAT

22 33 213 96K 138

“We’ve seen EF people “resign”, [I say that] because they’re going somewhere… We’re gunna see the EF focus on CROPS. We’re gunna see another body of the elite core developers focus more on platform, scalability, usability, and maybe even number go up with respect to ETH… Let’s not call it the Second Foundation…. But there will be another group of very important engineers and researchers who set up their own thing with positive language from the EF, and maybe even some financial support. There may even be some financial support from organisations that have long-term permanent capital... [Sharplink] has been talking to our friends at Bitmine about how we get together to be the decentralised commercialisation engines. Consensys is a big part of this as well.” — @ethereumJoseph on the latest @_choppingblock.

The Chopping Block @_choppingblock

6 days ago

.@ethereumJoseph told us not to call it the Second Foundation but also told us SharpLink, BitMine, and ConsenSys are becoming Ethereum's "decentralized commercialization engines" sooooo Timestamps 00:00 Intro 01:06 Saylor Sells BTC & Market Panic 05:07 STRC Death Spiral & DAT

22 33 213 96K 138