Alex
@alexanderlhicks.com
๐ค 326
๐ฅ 152
๐ 10
Working on formal verification & AI at Ethereum. verified-zkevm.org
pinned post!
I'm hiring at the EF:
jobs.lever.co/ethereumfoun...
If you're into Ethereum, cryptography, and formal verification, please get in touch! ๐
loading . . .
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...
https://jobs.lever.co/ethereumfoundation/7697c129-8a41-4e4a-84b0-0142e7af0e44
2 months ago
0
2
2
I'm hiring at the EF:
jobs.lever.co/ethereumfoun...
If you're into Ethereum, cryptography, and formal verification, please get in touch! ๐
loading . . .
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...
https://jobs.lever.co/ethereumfoundation/7697c129-8a41-4e4a-84b0-0142e7af0e44
2 months ago
0
2
2
reposted by
Alex
Jake Hanrahan
5 months ago
๐ฅ Popular Front (fastest growing grassroots conflict reporting platform in the world) is now on
@bsky.app
. Follow us here:
@popularfront.co
add a skeleton here at some point
6
228
43
reposted by
Alex
Kenny Paterson
6 months ago
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.
add a skeleton here at some point
2
60
18
The GOAT
6 months ago
1
0
0
reposted by
Alex
Deirdre Connollyยน ยฒ
7 months ago
LIVE FROM SOFรA BULGARIA, IT'S REAL WORLD CRYPTO!
#realworldcrypto
3
69
23
reposted by
Alex
Nico
7 months ago
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
1
1
1
The
@ethereum.foundation
is running another round of academic grants with a very broad wishlist:
esp.ethereum.foundation/academic-gra...
8 months ago
0
7
1
reposted by
Alex
Steven Murdoch
9 months ago
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...
loading . . .
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...
https://www.computerweekly.com/news/366618322/Review-of-legal-rule-on-computer-evidence-long-overdue-say-Post-Office-scandal-victims
1
31
18
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...
10 months ago
1
4
1
reposted by
Alex
Sofia
10 months ago
Omg, you have to show the video, its so amazing! ๐
loading . . .
4
88
19
The Ethereum Foundation is running a cryptanalysis project focusing on Poseidon, with grants and bounties up for grabs!
www.poseidon-initiative.info
loading . . .
Poseidon Cryptanalysis
Scrutinizing Poseidon for Good
https://www.poseidon-initiative.info/
10 months ago
1
11
7
Now that everyone is back to trying out bluesky, is there a starter pack of starter packs?
11 months ago
0
1
0
you reached the end!!
feeds!
log in