Alexander Hicks (@alexanderlhicks) 's Twitter Profile
Alexander Hicks

@alexanderlhicks

Working on formal verification & AI at @ethereumfndn

verified-zkevm.org

bsky.app/profile/alexan…

ID: 824630998579249152

linkhttps://alexanderlhicks.com calendar_today26-01-2017 14:52:05

166 Tweet

1,1K Followers

399 Following

tcoratger (@tcoratger) 's Twitter Profile Photo

[Proximity prize] Just updated the proximity-proof repo with: - More illustrations about the proximity gap concept - A complete walkthrough through the unique decoding regime proof using the Berlekamp-Welch decoder and the Polishchuk-Spielman Lemma github.com/tcoratger/prox…

Protocol Guild (@protocolguild) 's Twitter Profile Photo

1/ We are releasing the first-ever comp report for Ethereum core devs. Two striking takeaways: ⭐ they pass up at least 50% of their market value to maintain existential industry software ⭐ PG funding helps reduce this gap & retain talent long term ↓ Report & thread ↓

1/ We are releasing the first-ever comp report for Ethereum core devs. Two striking takeaways:  

⭐ they pass up at least 50% of their market value to maintain existential industry software 
⭐ PG funding helps reduce this gap & retain talent long term

↓ Report & thread ↓
Davide Crapis (@davidecrapis) 's Twitter Profile Photo

We’re starting a new AI Team at the Ethereum Foundation (the dAI Team). Our mission: make Ethereum the preferred settlement and coordination layer for AIs and the machine economy. The team will focus on two main areas: - AI Economy on Ethereum = giving AI agents and robots ways

We’re starting a new AI Team at the Ethereum Foundation (the dAI Team).
Our mission: make Ethereum the preferred settlement and coordination layer for AIs and the machine economy.

The team will focus on two main areas:
- AI Economy on Ethereum = giving AI agents and robots ways
Alexander Hicks (@alexanderlhicks) 's Twitter Profile Photo

Formalizing the cryptography (and interleaved codes in this case) used by zkVMs in ArkLib requires all the help we can get! Progress in AI means we'll be able to focus more on library architecture, foundations, and specifications, without being bottlenecked by missing proofs.

powdr labs (@powdr_labs) 's Twitter Profile Photo

In our latest article about powdr autoprecompiles, we ask ourselves 2 questions: - Can we make manually written precompiles obsolete? - How do autoprecompiles improve the state-of-the-art of ZK proofs for Ethereum block verification? More in the article or below👇

In our latest article about powdr autoprecompiles, we ask ourselves 2 questions:

- Can we make manually written precompiles obsolete?
- How do autoprecompiles improve the state-of-the-art of ZK proofs for Ethereum block verification?

More in the article or below👇
Ethereum Foundation (@ethereumfndn) 's Twitter Profile Photo

The Ethereum Foundation is committed to working alongside the ecosystem to make privacy a priority. Privacy is normal. Privacy is for everyone. blog.ethereum.org/2025/10/08/pri…

Succinct (@succinctlabs) 's Twitter Profile Photo

Succinct always puts security first. In collaboration with Nethermind Security and @EthereumFndn, we’ve formally verified the correctness of RISC-V constraints for SP1 Hypercube.

Succinct always puts security first.

In collaboration with <a href="/NethermindSec/">Nethermind Security</a> and @EthereumFndn, we’ve formally verified the correctness of RISC-V constraints for SP1 Hypercube.
Nethermind Security (@nethermindsec) 's Twitter Profile Photo

We are delighted to announce that the Nethermind Security Formal Verification team, led by Petar Maksimović | Nethermind, in tandem with Succinct, and with generous support from Ethereum Foundation, has formally verified the correctness of all of the core RV-64 chips from the SP1 HyperCube RISC-V zkVM in

We are delighted to announce that the <a href="/NethermindSec/">Nethermind Security</a> Formal Verification team, led by <a href="/PetarMax/">Petar Maksimović | Nethermind</a>, in tandem with <a href="/SuccinctLabs/">Succinct</a>, and with generous support from <a href="/ethereumfndn/">Ethereum Foundation</a>, has formally verified the correctness of all of the core RV-64 chips from the SP1 HyperCube RISC-V zkVM in
Nathan Sexer | nethan.eth 🧉 (@nathansexer) 's Twitter Profile Photo

The Ethereum World's Fair of Devconnect ARG - the first Ethereum World’s Fair in Buenos Aires might be the most important Ethereum event ever. Nov 17-22 📆 it is the biggest Ethereum's worldwide gathering. And it will be different from any other event… here's why you need to be at Devconnect in Argentina 👇 1/11

The Ethereum World's Fair of <a href="/EFDevcon/">Devconnect ARG - the first Ethereum World’s Fair</a> in Buenos Aires might be the most important Ethereum event ever. Nov 17-22 📆

it is the biggest Ethereum's worldwide gathering. And it will be different from any other event…

here's why you need to be at Devconnect in Argentina 👇

1/11
joshdavis.eth (@joshdavislight) 's Twitter Profile Photo

1/🧵 Applications for the EF 2026 Internship Program are now open. A paid, full-time, 12-week opportunity to work directly with the teams advancing the Ethereum protocol and ecosystem.

Justin.eth Drake (@drakefjustin) 's Twitter Profile Photo

Progress toward real-time proving for Ethereum L1 is nothing short of extraordinary. In May, SP1 Hypercube proved 94% of L1 blocks in under 12 seconds using 160 RTX 4090s. Five months later Pico Prism proves 99.9% of the same blocks in under 12 seconds, with just 64 RTX 5090s.

Formal Land 🌲 (@formalland) 's Twitter Profile Photo

Formal verification of ZK circuits for precompiles can be complex but critical for the security of zkVMs. Here, we present a method to verify Plonky3 circuits without making changes to the Rust code, while being scalable for the formal verification process. 👇

Raúl Kripalani (@raulvk) 's Twitter Profile Photo

Ethereum should strive for zero idle resources, at all times. Idle CPU, network bandwidth, memory == wasted potential. Short-term: - Ensure that Ethereum is putting all metal allocated to it to productive use, at every second. - Perf engineering should be a first-class priority

Ethproofs (@eth_proofs) 's Twitter Profile Photo

🎉 Ethproofs milestone achieved! We are thrilled to announce: With just over 3 days left in our countdown, ALL zkVMs on Ethproofs have successfully met the deadline—every verifier is now fully open-source! This is a huge win for transparency and verifiability in the zk

Ignacio Hagopian (@ignaciohagopian) 's Twitter Profile Photo

We published an article on how we’re approaching zkVM benchmarking for Ethereum: zkevm.ethereum.foundation/blog/benchmark… Hopefully it’s a useful starting point for diving deeper into the technical details of this effort.