Trendaavat aiheet
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Kobi Gurkan
applied crypto, security, experimental things - head of research @BainCapCrypto
Hey @TekGear is there a tutor for Twiddler for iOS that is:
1. Voice directed, so you can train without looking at a screen?
2. Some kind of voice feedback so I can have a feedback experience of how I type in regular apps? I would imagine this exists for other kinds of alternative input methods but I just don’t know it
604
looks like a really fun opportunity for students
25.6.2025
🚨 ASCrypto 2025 is here!
🗓️ Sept 29–30 | Medellín | Affiliated with Latincrypt
👨🏫 Learn 𝐦𝐨𝐝𝐞𝐫𝐧 𝐩𝐫𝐨𝐯𝐢𝐧𝐠 𝐬𝐲𝐬𝐭𝐞𝐦𝐬 from top experts
💥 2 days, 3 modules: IVC, STARKs, MPC
👥 With @benediktbuenz, Sophia Yakoubov, @aszepieniec
👇
902
Last update from the experiment - after more careful prodding, it contains more real implementations of the prover components, including a claimed bidirectional fft, with updated benchmarks, which are slower
Most of my involvement has been more of the sort of “is it a real implementation? Are you sure? Don’t take shortcuts and work for a day if needed”
Which brings the question of how well would an alternative “middle management for LLMs” (as @alexhevans called it) work here 😅
5.7. klo 09.56
ok a bit embarrassing - I didn't have rust installed on that machine, so the generated code didn't even compile and the benchmarks were estimates, as @MatteoFrig60839 also noticed
I prodded more to get it to a better state, but still not a fully working implementation
I would still be pretty suspicious if it's both correct + faster than a carefully hand crafted production grade C++ implementation
the ultimate test of having a rust generated proof verified in a c++ verifier - I can't get right for now and would require more prodding
would be nice if we had a good isolated full proof verification function in C++ and point CC towards that
1,91K
Last update from the experiment - after more careful prodding, it contains more real implementations of the prover components, including a claimed bidirectional fft, with updated benchmarks, which are slower
Most of my involvement has been more of the sort of “is it a real implementation? Are you sure? Don’t take shortcuts and work for a day if needed”
Which brings the question of how good would an alternative “middle management for LLMs” (as @alexhevans called it) would work here 😅
5.7. klo 09.56
ok a bit embarrassing - I didn't have rust installed on that machine, so the generated code didn't even compile and the benchmarks were estimates, as @MatteoFrig60839 also noticed
I prodded more to get it to a better state, but still not a fully working implementation
I would still be pretty suspicious if it's both correct + faster than a carefully hand crafted production grade C++ implementation
the ultimate test of having a rust generated proof verified in a c++ verifier - I can't get right for now and would require more prodding
would be nice if we had a good isolated full proof verification function in C++ and point CC towards that
144
ok a bit embarrassing - I didn't have rust installed on that machine, so the generated code didn't even compile and the benchmarks were estimates, as @MatteoFrig60839 also noticed
I prodded more to get it to a better state, but still not a fully working implementation
I would still be pretty suspicious if it's both correct + faster than a carefully hand crafted production grade C++ implementation
the ultimate test of having a rust generated proof verified in a c++ verifier - I can't get right for now and would require more prodding
would be nice if we had a good isolated full proof verification function in C++ and point CC towards that
5,69K
Johtavat
Rankkaus
Suosikit