fara.eth

103 posts

fara.eth

fara.eth

@fbwoolf

Ethproofs @ Ethereum Foundation | @eth_proofs

Katılım Şubat 2012
343 Takip Edilen296 Takipçiler
Sabitlenmiş Tweet
fara.eth
fara.eth@fbwoolf·
The EF mandate reminds us that protocol design choices shape decentralization: “If Ethereum supports only a narrow set of account types… those use cases that require smart accounts can only be served through intermediaries.” Protocol limitations create centralization pressure. Expanding native account capabilities (eg. EIP-8141) helps ensure advanced UX inherits Ethereum’s CROPS guarantees instead of relying on trusted middleware. EIP-8141 (link below)👇
Ethereum Foundation@ethereumfndn

Today, the Foundation’s Board released the EF Mandate. This document, which was first intended for EF members, reaffirms the promise of Ethereum, and the role of EF within this ecosystem.

English
2
4
18
2K
fara.eth retweetledi
Thomas Coratger
Thomas Coratger@tcoratger·
Ethereum is exploring some improvements in its consensus design. The key idea: a dynamically available heartbeat chain that never stops producing blocks, even under failures. Why this matters (and why current designs fall short) 👇
English
2
7
30
1.9K
fara.eth
fara.eth@fbwoolf·
Proud to see @eth_proofs v3.2 live! This upgrade brings the real transparency zkEVM proving needs — security, reliability, cost, and actual progress, not just speed. Huge shoutout to @corcoranwill for the outstanding design and coordination that made this effort happen. Well executed! 👏🚀
Ethproofs@eth_proofs

Ethproofs v3.2 is live 🚀 If proving is part of Ethereum’s future, the ecosystem needs a public way to see what is real: - not just speed, - but security, - reliability, - cost, - hard blocks, - and who is actually making progress. That’s what this upgrade is about.

English
0
0
12
375
fara.eth
fara.eth@fbwoolf·
The EF mandate reminds us that protocol design choices shape decentralization: “If Ethereum supports only a narrow set of account types… those use cases that require smart accounts can only be served through intermediaries.” Protocol limitations create centralization pressure. Expanding native account capabilities (eg. EIP-8141) helps ensure advanced UX inherits Ethereum’s CROPS guarantees instead of relying on trusted middleware. EIP-8141 (link below)👇
Ethereum Foundation@ethereumfndn

Today, the Foundation’s Board released the EF Mandate. This document, which was first intended for EF members, reaffirms the promise of Ethereum, and the role of EF within this ecosystem.

English
2
4
18
2K
fara.eth
fara.eth@fbwoolf·
10/10 Next episode: the P2P layer challenges of distributing these larger post-quantum objects across Ethereum. Watch the full episode 👇
English
1
0
1
98
fara.eth
fara.eth@fbwoolf·
1/10 Part 4 of the @leanEthereum miniseries dives into leanVM — a minimalist zkVM designed to aggregate post-quantum signatures directly in Ethereum’s consensus layer. Why build a VM for this instead of fixed circuits? 🧵
English
3
7
41
2.3K
fara.eth retweetledi
Ethproofs
Ethproofs@eth_proofs·
Make sure to catch part 4/6 of the @leanEthereum miniseries on leanVM with @tcoratger and Emile from the Ethereum Foundation.
Zero Knowledge Podcast@zeroknowledgefm

What does a zkVM designed specifically for Ethereum consensus look like? In this episode (4/6 of the @LeanEthereum miniseries), researchers from the Ethereum Foundation, Thomas Coratger (@tcoratger) and Emile, discuss with @nico_mnbl the design and implementation of leanVM, the minimal VM used for post-quantum signature aggregation. They cover: – Why leanVM uses a VM instead of fixed circuits to support flexible XMSS aggregation and recursive proof composition – The leanVM architecture: a minimal instruction set (4 opcodes) designed for simplicity and formal verification – The proving stack behind LeanVM: multilinear arithmetization, sum-check, and the Weir commitment scheme – Implementation details: CPU-optimized proving with Plonky3, SIMD techniques, and Poseidon2 hashing – Benchmarks and constraints around recursion and XMSS aggregation throughput They also discuss specification design, benchmarking methodology, and open questions around implementing post-quantum cryptography in Ethereum. Listen to the full episode. —-------------------- TIMECODES 03:36 Why LeanVM Was Chosen 07:50 LeanVM Minimalist Design 08:34 Simplicity Over Speed 19:34 Security and Field Selection 20:41 Performance and Aggregation Benchmarks 28:14 Ethereum Python Specification

English
1
2
21
1.2K
fara.eth
fara.eth@fbwoolf·
In part 3/6 of the @leanEthereum series on @zeroknowledgefm, go deep on what it actually takes to build SNARK security from first principles with @GiacomoFenzi and @asanso. $1M proximity prize. Correlated agreement attacks. Hash-based proof systems. leanVM. If you care about Ethereum’s long-term security, watch this — and revisit Ethproofs calls 6 & 6b (links in 🧵).
English
2
9
48
4.4K

Keşfet

@eth_proofs @corcoranwill @nico_mnbl @tcoratger @leanEthereum @zeroknowledgefm @GiacomoFenzi @asanso