David J. Pearce

[email protected] | Formal Verification, Compilers & Static Analysis | @WhileyLang | Researcher in Smart Contracts @ConsenSys | Opinions are my own.

[Linea.eth @LineaBuild]

A more intentional Ethereum.

Linea is supporting the Open Intents Framework as it moves from concept to adoption.

[Linea.eth @LineaBuild]

The Linea Stack is joining the @lfdecentralized family, as Lineth.

Open source shows you what the technology does today. Open governance shows you what it will do in ten years.

Neutral by design.

[David J. Pearce @whileydave]

Checkout my talk at @EthCC !!
https://t.co/nnHNZsQXxW

[Linea.eth @LineaBuild]

Linea was built to make the ZK rollup experience seamless for both developers and end users. Our mission is to scale Ethereum without breaking the developer workflow or compromising on user experience.

The next step forward is not just to prove Linea, but more.

That’s why we’re joining @boundless_xyz to support The Signal - an open-source ZK consensus client for Ethereum. With The Signal, Linea developers can access trustless Ethereum state from anywhere, enabling use cases like global onchain identity, cross-L2 payments, and seamless interactions across rollups.

Together, we’re building a future where rollups don’t just scale Ethereum, they unify it.

[Valentin Wüstholz @vwuestholz]

Our new fuzzer for zkVMs discovered a critical soundness bug in RISC Zero! 🔥

@RiscZero Thanks a lot for the shout-out! We're happy to contribute to making RISC Zero more safe! 🚀

Building complex ZK infrastructure? Let us help you secure it. Get in touch! ✉️

[Linea.eth @LineaBuild]

Linea’s Arithmetization Team

Olivier Begassat (@zk_evm)
Amelie Chatelain
David Pearce
Francois Bojarski
Lorenzo Gentile

[Linea.eth @LineaBuild]

Today, after six years of R&D, Linea has achieved a world-first with prover completeness: We are the first zkEVM to directly prove 100% of EVM execution through our zero-knowledge proofs.

[Leo Alt @leonardoalt]

100% this. RISCV is actually very inefficient for ZK, there's no reason why a custom ISA shouldn't be chosen for this

[David J. Pearce @whileydave]

The equivalent of luddites destroying looms? Coders deliberately putting bad code into github repos 😂

[Jonathan Blow @Jonathan_Blow]

A “sum type” is a union. A “product type” is a struct. C has had these since before 1970.

If someone uses these terms as though they were some new amazing inventions, they probably do not have much programming experience yet.

[Armin Ronacher ⇌ @mitsuhiko]

The more I build software, the more I despise dependencies. I greatly prefer people copy/pasting stuff into their own code bases or re-implement it. Unfortunately the vibe of the time does not embrace that idea much. I need that vibe shift.

[David J. Pearce @whileydave]

Yeah, elite was amazing!! https://t.co/jFEIdUedGl

[Justine Tunney @jartine]

@Andr3jH That might be true of startups. I'm over 40 and I'm one of the most active coders in the world. https://t.co/OwkIvkw8RV

[Jonathan Blow @Jonathan_Blow]

This seems like a very well-thought-out essay regarding the author's experience using Rust for game development (I am partway through reading; it's long!)

https://t.co/Gv5zLQPEoS

[David J. Pearce @whileydave]

BESU fleet mode rocks! https://t.co/K9lQPZGXy9

[David J. Pearce @whileydave]

Bit of a shame about the production though. Not sure why they left it like that 🤷‍♂️

[David J. Pearce @whileydave]

Here’s our panel on applying Formal Verification to the Ethereum Protocol!! https://t.co/P5VUPDUFle

[Alastair Donaldson @afd_icl]

We are hiring! The Dept of Computing at Imperial are looking to appoint *six* new faculty members. Focus areas:

- AI+ML
- Computer Graphics +Computer Vision
- Quantum Computing + Quantum Information
- Software Engineering

Please spread the word!

https://t.co/nMzi6zZpEy