Alex
@alexanderlhicks.com
Working on formal verification & AI at Ethereum.
verified-zkevm.org
verified-zkevm.org
Pinned
Alex
@alexanderlhicks.com
· Aug 8
Ethereum Foundation - Researcher/Engineer (Formal Verification)
Role summary As a member of the Protocol Snarkification team, you will work towards snarkifying Ethereum by working to specify and verify the core cryptographic components of proof systems and their i...
jobs.lever.co
I'm hiring at the EF: jobs.lever.co/ethereumfoun...
If you're into Ethereum, cryptography, and formal verification, please get in touch! 🙂
If you're into Ethereum, cryptography, and formal verification, please get in touch! 🙂
I'm hiring at the EF: jobs.lever.co/ethereumfoun...
If you're into Ethereum, cryptography, and formal verification, please get in touch! 🙂
If you're into Ethereum, cryptography, and formal verification, please get in touch! 🙂
Ethereum Foundation - Researcher/Engineer (Formal Verification)
Role summary As a member of the Protocol Snarkification team, you will work towards snarkifying Ethereum by working to specify and verify the core cryptographic components of proof systems and their i...
jobs.lever.co
August 8, 2025 at 12:46 PM
I'm hiring at the EF: jobs.lever.co/ethereumfoun...
If you're into Ethereum, cryptography, and formal verification, please get in touch! 🙂
If you're into Ethereum, cryptography, and formal verification, please get in touch! 🙂
Reposted by Alex
🔥 Popular Front (fastest growing grassroots conflict reporting platform in the world) is now on @bsky.app.
Follow us here: @popularfront.co
Follow us here: @popularfront.co
April 27, 2025 at 7:27 PM
🔥 Popular Front (fastest growing grassroots conflict reporting platform in the world) is now on @bsky.app.
Follow us here: @popularfront.co
Follow us here: @popularfront.co
Reposted by Alex
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.
Big announcement: RWC 2027 in Seattle! April 5-7 subject to board approval.
March 29, 2025 at 4:38 PM
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.
Reposted by Alex
LIVE FROM SOFÍA BULGARIA, IT'S REAL WORLD CRYPTO! #realworldcrypto
March 26, 2025 at 7:14 AM
LIVE FROM SOFÍA BULGARIA, IT'S REAL WORLD CRYPTO! #realworldcrypto
Reposted by Alex
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
Part 1 covers the computation model, why it breaks some cryptography and effects on mining
zeroknowledge.fm/podcast/288/
1/2
February 26, 2025 at 3:20 PM
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
Part 1 covers the computation model, why it breaks some cryptography and effects on mining
zeroknowledge.fm/podcast/288/
1/2
The @ethereum.foundation is running another round of academic grants with a very broad wishlist:
esp.ethereum.foundation/academic-gra...
esp.ethereum.foundation/academic-gra...
January 26, 2025 at 9:55 PM
The @ethereum.foundation is running another round of academic grants with a very broad wishlist:
esp.ethereum.foundation/academic-gra...
esp.ethereum.foundation/academic-gra...
Reposted by Alex
The government is reviewing the legal presumption that electronic evidence is reliable. I was one of several experts to comment on this news. www.computerweekly.com/news/3666183...
Review of legal rule on computer evidence long overdue, say Post Office scandal victims | Computer Weekly
Computer Weekly talks to people who suffered miscarriages of justice at the hands of flawed computer evidence as well as experts in law and IT, as the government commits to review the legal presumptio...
www.computerweekly.com
January 24, 2025 at 2:24 PM
The government is reviewing the legal presumption that electronic evidence is reliable. I was one of several experts to comment on this news. www.computerweekly.com/news/3666183...
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...
Thanks to @piapark.bsky.social there's a nice repository that now tracks features of the different zkVMs!
github.com/rkdud007/awe...
December 11, 2024 at 2:38 PM
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...
Thanks to @piapark.bsky.social there's a nice repository that now tracks features of the different zkVMs!
github.com/rkdud007/awe...
Reposted by Alex
Omg, you have to show the video, its so amazing! 🎆
December 1, 2024 at 1:25 PM
Omg, you have to show the video, its so amazing! 🎆
The Ethereum Foundation is running a cryptanalysis project focusing on Poseidon, with grants and bounties up for grabs!
www.poseidon-initiative.info
www.poseidon-initiative.info
Poseidon Cryptanalysis
Scrutinizing Poseidon for Good
www.poseidon-initiative.info
November 28, 2024 at 1:31 PM
The Ethereum Foundation is running a cryptanalysis project focusing on Poseidon, with grants and bounties up for grabs!
www.poseidon-initiative.info
www.poseidon-initiative.info
Now that everyone is back to trying out bluesky, is there a starter pack of starter packs?
November 25, 2024 at 10:13 PM
Now that everyone is back to trying out bluesky, is there a starter pack of starter packs?