Alex
@alexanderlhicks.com
330 followers 150 following 10 posts
Working on formal verification & AI at Ethereum. verified-zkevm.org
Posts Media Videos Starter Packs
Reposted by Alex
hanrahan.tv
🔥 Popular Front (fastest growing grassroots conflict reporting platform in the world) is now on @bsky.app.

Follow us here: @popularfront.co
Reposted by Alex
kennyog.bsky.social
I really appreciate all the hard work done by the #realworldcrypto steering committee and to AWS for stepping up to organise in Seattle in 2027, but I’m going to come out and say it: with the US as it now is, I think this choice of location is a mistake.
rwc.iacr.org
Big announcement: RWC 2027 in Seattle! April 5-7 subject to board approval.
Reposted by Alex
durumcrustulum.com
LIVE FROM SOFÍA BULGARIA, IT'S REAL WORLD CRYPTO! #realworldcrypto
alexanderlhicks.com
Does it not suggest when you should eat/fast? That's what makes the biggest difference for me.
Reposted by Alex
nicomnbl.bsky.social
from the archive: Or Sattath came on the ZKPodcast to discuss quantum computing and its impact on cryptography. These two are some of my 𝐟𝐚𝐯𝐨𝐮𝐫𝐢𝐭𝐞 episodes of the show.

Part 1 covers the computation model, why it breaks some cryptography and effects on mining

zeroknowledge.fm/podcast/288/

1/2
alexanderlhicks.com
Great choice of paper!
alexanderlhicks.com
The @ethereum.foundation is running another round of academic grants with a very broad wishlist:
esp.ethereum.foundation/academic-gra...
alexanderlhicks.com
Arbitrary* up to practical constraints that are being worked on and rapidly improved!
alexanderlhicks.com
Some of the exciting potentially-generally-useful tech to come out of the blockchain world are zkVMs that can prove the execution of arbitrary* code.
Thanks to @piapark.bsky.social there's a nice repository that now tracks features of the different zkVMs!
github.com/rkdud007/awe...
Screenshot of a table summarising features of zkVMs
Reposted by Alex
sofiaukraini.bsky.social
Omg, you have to show the video, its so amazing! 🎆
alexanderlhicks.com
The Ethereum Foundation is running a cryptanalysis project focusing on Poseidon, with grants and bounties up for grabs!
www.poseidon-initiative.info
Poseidon Cryptanalysis
Scrutinizing Poseidon for Good
www.poseidon-initiative.info
alexanderlhicks.com
Now that everyone is back to trying out bluesky, is there a starter pack of starter packs?