Thibaut Schaeffer
@vanderkriek
Followers
1K
Following
930
Media
84
Statuses
581
@powdr_labs @zokratesproject
Berlin, Deutschland
Joined November 2010
RT @ETHBerlin: Over on the main stage right now we have @ethchris, a true @ethereum OG, recognised for developing @solidity_lang & improvemβ¦.
0
3
0
RT @zkWarsaw: π’ Exciting News! Join us at @zkwarsaw for cutting-edge insights into building advanced ZK VMs. π @vanderkriek from @powdr_laβ¦.
0
15
0
Big news! I'm excited to be tackling such cool challenges and can't think of a better team to deliver.
Introducing πππ€ππ, a modular stack for zkVMs!. Earlier this year, @ethchris, @vanderkriek & @leonardoalt started the πππ€ππ project to improve zkVM tooling. With the continued support from the @ethereum Foundation, the team will soon become πππ€ππ ππππ . More β
2
3
29
RT @falsedvmaster: If Chicken McNuggets are sold in packs of 6, 9, or 20, then 43 is the largest number of nuggets that cannot be ordered.
0
476
0
RT @jonwu_: Here's how it works:. - FTX creates $FTT.- Alameda buys or premines $FTT at super low price.- FTX pumps $FTT.- Alameda posts $Fβ¦.
0
319
0
RT @tobyordoxford: Each year the observable universe grows in diameter as there is more time for the light to have reached us. Each year thβ¦.
0
36
0
RT @SinaKian1: Today the Treasury Dept put Tornado Cash--a smart contract that tries to preserve privacy by scrambling eth addresses--on thβ¦.
0
8
0
RT @morganhousel: My only crypto take is that if you don't find some of it incredible you're not paying attention and if you don't find a lβ¦.
0
292
0
RT @TweetBails: @adamtranter If you can think of a better way of moving water around I'd like to hear it!.
0
1
0
RT @matthew_d_green: These images are from an investigation using much simpler hash function than the new one Appleβs developing. They showβ¦.
0
96
0
"But this sort of attack requires knowing the weights of the neural network, and we keep that private!" so you have a backdoor.
0
0
0
See this article for an intuition on how that could work.
1
0
2
Perceptual hash functions are fascinating but using them for anything this critical does sounds like a really bad idea.
This means that, depending on how they work, it might be possible for someone to make problematic images that βmatchβ entirely harmless images. Like political images shared by persecuted groups. These harmless images would be reported to the provider.
1
0
1
RT @leonardoalt: The EF's Formal Verification and Applied ZKP teams are together looking for someone to work on FVβ¦.
hackmd.io
# Formal Verification Researcher/Engineer - Zero Knowledge Applications ## Ethereum Foundation (rem
0
67
0
RT @zeroknowledgefm: Looking into zero knowledge tech, but not sure which language to use? Next zkSessions: ZK Language Roundup happens tmrβ¦.
events.ringcentral.com
Welcome to this zkSessions event focused on one of the most cutting-edge topics of zk technology: zk languages
0
16
0