brechy.eth

372 posts

brechy.eth banner
brechy.eth

brechy.eth

@brechy

Learning

Katılım Eylül 2022
439 Takip Edilen615 Takipçiler
brechy.eth retweetledi
vitalik.eth
vitalik.eth@VitalikButerin·
Many people have claimed that with AI-assisted bug finding, secure code (and hence trustless anything) will be impossible. I have a much more optimistic take, and AI-assisted formal verification is a major part of the reason why: vitalik.eth.limo/general/2026/0…
English
443
396
2.5K
415.2K
parsley3D
parsley3D@Parsley3D·
I will whisper something to your ear "modafinil and bouldering* operate the alpha accordingly
English
3
0
4
217
brechy.eth retweetledi
Ethereum Foundation
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
200
396
2K
1.9M
brechy.eth
brechy.eth@brechy·
@QuangVDao @alxkzmn Thank you for bringing this up. It's true that the EC operations are not part of the proof and the verification is re-execution The setup seems correct though, this comes from the usage of the Miden ECDSA precompile @alexanderlee314 @bobbinth
English
0
0
4
95
Quang Dao
Quang Dao@QuangVDao·
@alxkzmn You may also want to double-check your Miden bench For instance, in ECDSA, the computation is never proven in the STARK. It's executed natively during proving and re-executed natively during verification (not a problem with Miden but rather with your bench setup)
English
2
0
10
348
alexkuzmin.eth 💙💛
alexkuzmin.eth 💙💛@alxkzmn·
Competing teams peer-reviewing each other’s results is what we envisioned when we started the CSP benchmarks project 😍 After all, as of now we’re a team of two maintaining benchmarks of some 5 target circuits across 15 systems.
Quang Dao@QuangVDao

@ClementWalter @eth_proofs The FRI config used in the benchmark provides 13 bits of security. Which explains the abnormally <100kb proof size @eth_proofs

English
4
2
26
3.2K
brechy.eth retweetledi
Mario Havel
Mario Havel@TMIYChao·
Ethereum Protocol Study Group for 2026 is finally announced! Starting in less than a week, it took us a while to push out the announcement because we were preparing the biggest curriculum so far blog.ethereum.org/2026/02/17/eth…
English
24
59
319
18.8K
brechy.eth retweetledi
Peer (Prev. ZKP2P)
Peer (Prev. ZKP2P)@peerxyz·
ZKP2P is now Peer: Finance for Humans
English
67
110
566
140.1K
brechy.eth retweetledi
Jens Groth
Jens Groth@JensGroth16·
Good research is being done on lookup and permutation arguments. The connection to shuffle proofs seems under appreciated, so I wrote up a comparison. @__zkhack__
Nexus@NexusLabs

Zero-knowledge proofs are going full circle. Techniques from 2000s-era e-voting are now powering cutting-edge zkVMs. Same core ideas, new execution. Faster, leaner, and finally ready for scale. Ready for a @JensGroth16 masterclass? blog.nexus.xyz/permutation-pr…

English
10
10
98
9.5K
brechy.eth
brechy.eth@brechy·
@ralexstokes It's a fun project but you could do specific optimizations just for the given scenario. Blocks and challenges should be updated constantly
English
0
0
0
120
stokes
stokes@ralexstokes·
paradigm kernel optimization leaderboard but for an EVM indexer any takers
English
10
2
81
6.2K
brechy.eth retweetledi
Jimmy
Jimmy@jimmygchen·
Hello Fusaka🥳 Great job to everyone who pushed hard to make the fork happen in 2025, and for making it a successful one. Proud of the work we've achieved together. The road to Fusaka was long and bumpy, but we got here!🦓
English
5
8
49
2.3K
brechy.eth
brechy.eth@brechy·
"Ironically, the more Ethereum optimizes for efficiency, the stronger its pull toward centralization." "Rather than paying for global storage or subsidizing full nodes indefinitely, Ethereum could instead reward state-serving events" Great second part on "The Future of State" by @CPerezz19 ethresear.ch/t/the-future-o…
English
4
4
48
4.6K
brechy.eth retweetledi
Ethproofs
Ethproofs@eth_proofs·
Target acquired: Happy to share our new Client-Side Proving dashboard — a collaboration with the amazing CSP team at @PrivacyEthereum ethproofs.org/csp-benchmarks
vitalik.eth@VitalikButerin

Next target: viable client-side proving (on desktop and mobile) This would enable private account abstraction: control private funds by making zk-proofs that you are able to spend from your main wallet, which could be a Safe etc (without revealing the wallet address, of course) This allows total convergence: your ETH account becomes a universal authorization mechanism, and can even secure offchain applications (including things like eg. zupass)

English
19
40
178
48.9K

Keşfet

@Parsley3D @QuangVDao @alxkzmn @alexanderlee314 @bobbinth @__zkhack__ @ralexstokes @ProtonPrivacy