WhileyDave@hachyderm.io | Formal Verification, Compilers & Static Analysis | @WhileyLang | Researcher in Smart Contracts @ConsenSys | Opinions are my own.
Joined May 2011
- Tweets 2,787
- Following 3,402
- Followers 1,423
- Likes 3,518
170 Photos and videos
David J. Pearce retweeted
May 26
A more intentional Ethereum.
Linea is supporting the Open Intents Framework as it moves from concept to adoption.
May 26
The Open Intents Framework is designed as shared infrastructure for intents.
A modular, open framework that the ecosystem can build intents on, together.
Today, it takes its next step: adoption at scale.
24
39
246
20,472
David J. Pearce retweeted
May 15
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.
Welcome, Lineth! 🎉 The Linea Stack — in production since 2023 — joins @lfdecentralized as an incubating project under its new name.
lfdecentralizedtrust.org/blo…
14
34
196
17,290
David J. Pearce retweeted
18 Jul 2025
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.
17 Jul 2025
.@LineaBuild is joining Boundless to help power The Signal - open-source ZK consensus client that distills Ethereum finality into a single proof.
Together, we are unlocking trustless ZK interoperability.
106
108
849
63,513
David J. Pearce retweeted
18 Jun 2025
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! ✉️
RISC Zero Security Disclosure
A missing constraint was recently discovered in the rv32im circuit. This issue affects any 3-register RISC-V instruction (including remu and divu) in risc0-zkvm 2.0.0, 2.0.1, and 2.0.2.
This vulnerability was reported by Christoph Hochrainer via our @HackenProof bug bounty program. We have evaluated the severity of the vulnerability as “Critical,” and paid a $50K bounty.
The issue has been patched and all partners have been migrated over to 2.1.0.
RISC Zero remains committed to providing the highest level of transparency, proactive security, and integrity.
4
7
76
7,566
David J. Pearce retweeted
9 Jun 2025
Linea’s Arithmetization Team
Olivier Begassat (@zk_evm)
Amelie Chatelain
David Pearce
Francois Bojarski
Lorenzo Gentile
7
18
161
20,756
David J. Pearce retweeted
9 Jun 2025
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.
383
445
2,397
477,791
David J. Pearce retweeted
20 Apr 2025
100% this. RISCV is actually very inefficient for ZK, there's no reason why a custom ISA shouldn't be chosen for this
20 Apr 2025
4./ Execution client then sits on top of it as a kind of an operating system kernel, handling finer details.
In fact, current execution client *is* a kind of such MMU. But arguably one can try to build much smaller, simpler one and for a different ISA.
6
10
120
24,907
11 Mar 2025
The equivalent of luddites destroying looms? Coders deliberately putting bad code into github repos 😂
2
213
David J. Pearce retweeted
15 Feb 2025
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.
62
46
1,256
356,396
David J. Pearce retweeted
24 Jan 2025
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.
34
55
738
55,620
David J. Pearce retweeted
3 Jan 2025
That might be true of startups. I'm over 40 and I'm one of the most active coders in the world. gist.github.com/paulmillr/26…
9
8
414
101,469
David J. Pearce retweeted
31 Dec 2024
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!)
loglog.games/blog/leaving-ru…
31
27
566
60,888
29 Nov 2024
Here’s our panel on applying Formal Verification to the Ethereum Protocol!! youtu.be/J71rLx8dBXY?si=7Rbt…
1
2
8
437
29 Nov 2024
Bit of a shame about the production though. Not sure why they left it like that 🤷♂️
110
David J. Pearce retweeted
26 Nov 2024
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!
imperial.ac.uk/jobs/search-j…
1
17
56
11,440