We have been working very hard over the last two years to build ProveKit! A new zero knowledge proving toolkit built on top of Noir. It already powers the World ID protocol and makes it perform well on low end devices, is post quantum secure and fast! world.org/blog/engineering/p…

if anyone is at KBW this week, lmk. in Seoul for a bit

It's an underappreciated triumph of Ethereum client developers that PeerDAS has now been running for nearly a year with basically no problems. PeerDAS was a complex task: it's the first large-scale instance of a blockchain that achieves consensus on the availability of data without needing any single node to download the entire block. Decentralized consensus without replication. And yet, it worked.

compilation times btw

Excited to introduce @Cosign: the curated professional network for the startup community: cosign.co Our goal is to create the following: - A comprehensive startup directory of investors, companies, and operators, including what they worked on and who they worked on it with. - Cosign graph: Who shaped your career? Who were you actually in the trenches with? Who would work with you again? Who thinks you’re someone to watch? - Durable reputation: Great endorsements happen every day on X and disappear into the feed. Cosign attaches those signals permanently to people and companies. - Discovery: Who are the best fintech angels? Which AI companies should I watch? Who are the best designers? - Intent network: Privately signal “I’d invest in them,” “I’d hire them,” “I’d work with them,” or eventually even “I’d acquire this company.” Match people when interest exists on both sides. Imagine if Wikipedia, LinkedIn, and OG AngelList had a baby. Though Cosign is a community, not a business. In order to join, you need to be cosigned. Or you can apply directly. David Booth and I started this idea 7 years ago but didn’t have the firepower to make it work. Now we do. No one has really touched LinkedIn in 20 years. Excited to take a swing. cosign.co

Solar by @paradigm is a Solidity compiler we've been quietly building which will eliminate unsafe Solidity - we have started finally being able to produce more gas optimized assembly free code than the legendary @optimizoor Solady

Every government should just have an MCP/Plugin to all its APIs instead of apps and handhold people on how to connect it to ChatGPT / Claude etc. Would save everyone time, money and make every process a million times more efficient Doing that w/ Gov dot gr as we speak as a hack

Meeting with President @OrsiYamandu to discuss Praxis Uruguay 🇺🇾 Thank you for your support!

One step closer to 4-8x faster Ethereum finality! It took some time and lots of tokens, but we now have a formally verified proposal for a decoupled consensus protocol in I* (a future Ethereum upgrade)! Not yet a full spec (up next), but it includes all the key consensus-relevant details to become one. Since Ethereum aspires to be live without most of the stake online, the protocol involves many more components than a normal BFT protocol, and its correctness involves much more than standard safety and liveness. Those nuanced properties are now verified! What's more, I came away convinced that all protocol design will involve AI-assisted Formal Verification in the future, both for correctness and iteration speed. The work wasn't limited to just: Design the protocol -> Formally verify it Instead, the loop became more like: Design -> Formal Model -> Find exactly what breaks and why -> Redesign it. For a fairly complicated protocol like this one, I think having the Lean model be part of the design loop played a big role in accelerating the process. A future with agents paired with formal models is a superpower for Ethereum development, because they can then use those models to find exactly where an argument breaks down, formalize counterexamples, test proposed fixes, iterate on the protocol. Many details that would slip under the radar when asking agents (and indeed, humans) can now be specified exactly and checked by the Lean kernel. This then forces agents to be more precise and lets them make verifiable progress on their own. It's been incredible to see this play out, seeing agents find gaps and propose protocol changes to fix them. In other words, autoresearch can speed up protocol design, formal verification is here to stay, and Ethereum Finality will get faster.

Semi is here Today, we're launching high volume production

It's pencils down, people. Writing code by hand is no longer an economically viable skill for most programmers at most companies. But the future of making software has never been brighter. Don't you dare black pill this beautiful moment! piped.video/vDjW_dRyKXY?si=6Fsf…

We’ve made sending strangers a copy of our passport feel remarkably normal. But no firm wants to be the test case for whether its regulator accepts a ZK proof. Collecting less of our data shouldn’t be the brave choice.

Claude Opus 5.5 has the best visual design of any model I have tested so far

Launch day! 🗽🇺🇸

The privacy layer for onchain finance is now live. Meet TACEO Merces Bank infrastructure, asset managers and cross-chain protocols already integrating, read more: core.taceo.io/articles/merce…

it's never been a better time to build privacy infrastructure onchain. Happy to be a partner of TACEO! World class privacy team, pun intended.

In 12 weeks, we built a research facility that is run entirely by AI. AI designs, executes, and observes experiments end-to-end across biology, chemistry, and materials science. We’re introducing SciUniverse: a benchmark that measures AI’s ability to do real-world scientific research.

After years in pure software, advances in coding agents made me want to revisit my PhD work in AI x Science and see what was now possible with the latest models. Turns out, many of my friends were thinking the same thing. C5R is the result :)

Proud to be a descendant of the giants that built western civilization and looking forward to playing my small part in building its future

holy shit i asked claude to make a video on western civiization