David J. Pearce
@whileydave
Followers
1K
Following
4K
Media
167
Statuses
3K
[email protected] | Formal Verification, Compilers & Static Analysis | @WhileyLang | Researcher in Smart Contracts @ConsenSys | Opinions are my own.
Wellington
Joined May 2011
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
.@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
110
866
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
4
7
77
Linea’s Arithmetization Team Olivier Begassat (@zk_evm) Amelie Chatelain David Pearce Francois Bojarski Lorenzo Gentile
8
19
169
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.
390
453
2K
100% this. RISCV is actually very inefficient for ZK, there's no reason why a custom ISA shouldn't be chosen for this
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
The equivalent of luddites destroying looms? Coders deliberately putting bad code into github repos 😂
0
0
3
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.
65
46
1K
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
752
@Andr3jH 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
Most active GitHub users (by contributions). https://paulmillr.com - active.md
9
8
418
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
32
27
576
Bit of a shame about the production though. Not sure why they left it like that 🤷♂️
0
0
0
Here’s our panel on applying Formal Verification to the Ethereum Protocol!!
1
2
8
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
imperial.ac.uk
Please note that job descriptions are not exhaustive, and you may be asked to take on additional duties that align with the key responsibilities ment...
1
17
55
As a prelude to the upcoming zkVM 1.2.0 release, I want to share a quick history of “precompiles” in zkVMs. 🧵⬇️
8
19
86
The EF gets serious about Formal Verification? Great!
argot.org
Building the critical infrastructure for Ethereum applications.
0
1
1