congratulations to Ph.D. Bolton Bailey Bolton Bailey for completing his thesis defense on formalizing soundness of SNARKS in Lean/mathlib, including an axiom for schwartz-zippel, proof of linear PCP snarks (groth16), proof (sketch) for PIOPs (Marlin) eprint.iacr.org/2023/656.pdf

“状态租赁”确实只是解决状态爆炸问题的一个部分/一种方案，光靠它是不够的，而且不同链也需要不同的方案。 Nervos/CKB 从这么几个方面入手来解决状态爆炸问题： 1. 和大部分其他链不同，CKB 的设计目标并不追求高性能。高性能的后果一定是状态高速增长。相反，CKB

Arriving at Austin for Consensus. Let me know if you want to meet! DM.

Please join us for the 3rd MEV Workshop at SBC (MEV-SBC ‘24)! August 6 in NYC collective.flashbots.net/t/the-mev-work…

Common law: stealing ten times without being punished earns everyone a license to steal. -- my wicked interpretation of James Grimmelmann's legal lecture at IC3 this morning.

What an unbelievable stat: according to a recent report by Chainalysis, ~4% of Turkey's GDP is going to stablecoin purchases. Turkey is among the Top 20 economies globally by GDP. Source: bitcoinke.io/wp-content/upl… (h/t gurnoor singh narula)

Jianyu Niu Partha 🐞 IC3 this wasn't recorded, but the content is mostly covered in these two: - youtube.com/watch?v=HNdbw4… - youtube.com/watch?v=eUyFUV…

🔥NEW SERIES: IC3 is teaming up with The Defiant on a research series that explores how academia plays an important role in helping shaping the industry. Join us for the first live episode about MEV feat. 🤖 (IC3 alumni & co-founder of Flashbots) Justin Ðrake 🦇🔊

My very first hackathon prize! Proud to have made *some* technical contributions, although still tiny. Learned many useful hacks from excellent teammates nevertheless. Hope to be able to contribute more in future hackathons!

Yay, our first zkVM

a short parable on the first half of 🤖 's unwritten negative latency overhead thesis... h/t to the decentralization accelerationist Andrew Miller inside an accelerationist org collective.flashbots.net/t/why-wait-for…

Increasingly optimistic that the most fundamental problem in Web3.0 is about oracles (L2, DA, bridges, RWA, etc. are all special caes); increasingly pessimistic if the oracle problem has fully trustless solutions. Maybe the semi-trusted solution by Chainlink is best we can do.

Certificate authorities are likely the most ubiqituous oracles today (linking public keys & physical entities), yet they persist as trusted 3rd parties for decades. Here is my pessimism: how can we, who fail to remove trust elements in CAs, believe we'll succeed for Web3 oracles?

🧵 A PROFESSIONAL UPDATE: About two months ago, I decided to quit my career in journalism to join Ashley Stanhope in the world of crypto. We quietly started building our new boutique full-service comms firm Hardfork Media. 1/6

Analyzing activities on Celsius. I know Custody and Earn accounts, but what is the "Earn - interest; Earn, Custoday or Withheld - Rewards" account? What about "Withheld"? Do transactions involving these accounts add to the "Earn" account balances? Advice appreciated🙏

Are you looking to make an impact in DeFi security/privacy, or build the next generalized security AI during your PhD? If you're into hacking + defending, or find my research profile interesting, apply to join me at the University of Sydney! 😁 Learn more: lzhou1110.github.io

From the CBER Conference NYU Stern, Campbell Harvey (camharvey.eth) Duke Fuqua moderates a fireside chat with CFTC Commissioner @CFTCmersinger: youtu.be/sKfORBIsORI Andreas Park Josh White Hanna Halaburda Will Diamond Omid Malekan 🧙🏽‍♂️ Lee Schneider alz Jiasun Li Lewis Cohen

A quick look into token airdrops shows a salient spike in Q2 every year. Founders, why are you guys all so obsessed with Q2 for launching airdrops?

Slides and talk recordings from MEV-SBC'24 are now available! You can find those links for each talk on the event page: collective.flashbots.net/t/the-mev-work…