brechy.eth

Learning

[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:

https://t.co/0ceMBZ6uqj

[brechy.eth @brechy]

@Parsley3D Sounds good, let me know next time

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

[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

[casio @casiojapi]

EL TRUQUITO

[brechy.eth @brechy]

A mortgage on Ethereum. No banks, all Defipunk

[BORDEL @BordelWTF]

71% funded, 22h left, DeFi will win.
👉https://t.co/ftzrAAkAhH

[joshdavis.eth 🐙 @joshdavislight]

Protocol study group starts today. See you at the kickoff.

[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

https://t.co/IhmaB3wdy0

[Peer (Prev. ZKP2P) @peerxyz]

ZKP2P is now Peer: Finance for Humans

[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__

[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

[Mario Havel @TMIYChao]

@ProtonPrivacy big props for supporting @etheriumfndn
ht @brechy

[brechy.eth @brechy]

@TMIYChao @ProtonPrivacy @etheriumfndn Can't wait to pay with my ER20 tokens

[alexkuzmin.eth 💙💛 @alxkzmn]

1/2 As of Q3 2025, the fastest client-side-feasible ZK-SNARK (@aztecnetwork's Barretenberg) is ~4x faster than the fastest *ZK* VM (@ligero_inc's Ligetron). The fastest non-ZK SNARK (@IrreducibleHW's Binius64) is ~36x faster than the fastest non-ZK VM (@KakarotZkEvm's Cairo-M).

[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!🦓

[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

https://t.co/ZwvqPz7d0w

[vitalik.eth @VitalikButerin]

Plinko PIR tutorial:

https://t.co/i7W9a5MCHi

[brechy.eth @brechy]

@ihor_diachenko @oskarth @alxkzmn @PrivacyEthereum Hard to beat, but huge setup though 🥲

[Ethproofs @eth_proofs]

Target acquired: Happy to share our new Client-Side Proving dashboard — a collaboration with the amazing CSP team at @PrivacyEthereum

https://t.co/5aq5nhsz6z

[brechy.eth @brechy]

The @EFDevcon team cooked