Remco
@recmo
Followers
7K
Following
14K
Media
163
Statuses
4K
🪩 World | Math & Engineering @ 2π.com
Earth
Joined October 2009
RT @a16zcrypto: “It will be extremely difficult to distinguish between something that’s been made by sophisticated actors using AI, at a ve….
0
16
0
RT @inversed_tech: Happy 2nd anniversary to our friends and partners @worldcoin @tfh_technology @worldcoinfnd for this milestone that show….
0
4
0
RT @Optimism: Today we celebrate two years of @worldcoin. World is building a real human network on an open protocol, powered by the OP S….
0
51
0
RT @TACEO_IO: We've been so inspired by the vision of @worldcoin but even more by the team. This is one of the most fruitful collaborations….
0
4
0
This is a 1996 @Kasparov63 defeats Deep Blue moment. We know what comes next, but right now incredibly @FakePsyho is the last human standing!.
Humanity has prevailed (for now!). I'm completely exhausted. I figured, I had 10h of sleep in the last 3 days and I'm barely alive. I'll post more about the contest when I get some rest. (To be clear, those are provisional results, but my lead should be big enough)
9
2
20
RT @mmaker: We updated our paper on Fiat-Shamir!. We now take a closer look at the gap between what symmetric cryptography has focused on f….
eprint.iacr.org
We analyze a variant of the Fiat–Shamir transformation based on an ideal permutation. The transformation relies on the popular duplex sponge paradigm, and minimizes the number of calls to the...
0
28
0
RT @a16zcrypto: AI vs. ID: How do we prove who's human and who's AI in a world of agents, bots, deep fakes, and more? The answer may be a p….
0
44
0
I should do a proper analysis of this, but the basic idea is replace every non-algebraic op with a PRF and then evaluate on a random input. Use resulting values as value numbering. It's so simple and yet so effective at finding redundant expressions.
@cronokirby There's some fun in the intersection though, my favorite trick is to use the Schwartz–Zippel lemma for global value numbering.
5
0
8
RT @dr_zircuit: 1/ This is the coolest product built with zk that I have seen ever. You can turn any physical objects into private keys!. I….
0
40
0
teaching my 4yo that some number can stand in a rectangle and some are special and can only stand in a line. you are never too young for number theory.
5
1
27
RT @OmerShlomovits: What @recmo and the team are doing in ProveKit is incredible!. Examples: .Efficient modular multiplication: . https://t.….
github.com
0
3
0
RT @m1guelpf: big day for @worldcoin . - now available in 🇺🇸.- orb mini (phone format) out 2026.- verify razer id w/ world id + orbs in @Ra….
0
29
0
Also part of (nearly) every ZKP!.
60 years ago this month, the Fast Fourier Transform (FFT) was introduced by Cooley & Tukey (1965) - one of the most important algorithms in signal processing and data analysis. In 1805, Gauss - studying the orbits of asteroids Pallas and Juno - came up with a method to
5
2
40