David J. Pearce

2.8K posts

David J. Pearce banner
David J. Pearce

David J. Pearce

@whileydave

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

Wellington Bergabung Mayıs 2011
3.4K Mengikuti1.4K Pengikut
David J. Pearce me-retweet
Linea.eth
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.
Boundless@boundless_xyz

.@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.

English
106
111
860
63.5K
David J. Pearce me-retweet
Valentin Wüstholz
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! ✉️
RISC Zero@RiscZero

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.

English
4
7
77
7.5K
David J. Pearce me-retweet
Linea.eth
Linea.eth@LineaBuild·
Linea’s Arithmetization Team Olivier Begassat (@zk_evm) Amelie Chatelain David Pearce Francois Bojarski Lorenzo Gentile
English
8
18
166
20.7K
David J. Pearce me-retweet
Linea.eth
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.
English
388
449
2.4K
477.6K
David J. Pearce me-retweet
Leo Alt
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
🏴 LevS (of ether) 🏴 💙💛🇮🇱☀️🦁🗡️@levs57

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.

English
6
10
120
24.9K
David J. Pearce
David J. Pearce@whileydave·
The equivalent of luddites destroying looms? Coders deliberately putting bad code into github repos 😂
English
0
0
3
211
David J. Pearce me-retweet
Jonathan Blow
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.
English
62
46
1.3K
356.2K
David J. Pearce me-retweet
Armin Ronacher ⇌
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.
English
34
55
746
55.6K
David J. Pearce me-retweet
Jonathan Blow
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!) loglog.games/blog/leaving-r…
English
32
27
567
60.7K
David J. Pearce
David J. Pearce@whileydave·
Bit of a shame about the production though. Not sure why they left it like that 🤷‍♂️
English
0
0
0
109
David J. Pearce me-retweet
Alastair Donaldson
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! imperial.ac.uk/jobs/search-jo…
English
1
17
56
11.4K
David J. Pearce me-retweet
Paul Gafni
Paul Gafni@Paul_Gafni·
As a prelude to the upcoming zkVM 1.2.0 release, I want to share a quick history of “precompiles” in zkVMs. 
 🧵⬇️
English
8
19
85
19.2K
David J. Pearce
David J. Pearce@whileydave·
Formal Verification Hangout @ DevCon!
David J. Pearce tweet media
Français
1
0
3
244

Jelajahi

@boundless_xyz @RiscZero @zk_evm @Andr3jH @elonmusk @BarackObama @taylorswift13 @cristiano