Populære emner
#
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
Anvendt krypto, sikkerhet, eksperimentelle ting - forskningssjef @BainCapCrypto
Slettet de første trådene i eksperimentet mitt for å bruke Claude Code til å portere longfellow-zk til rust
Var misfornøyd med innrammingen, siden det kunne forvirre folk at noe fantastisk skjedde mens det ikke engang fungerte
Satte bilder her for referanse, og lot de siste trådene være tydeligere
1,72K
Ser ut som en veldig morsom mulighet for studenter
25. juni 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
👇
802
Siste oppdatering fra eksperimentet - etter mer forsiktig prodding inneholder den mer reelle implementeringer av beviskomponentene, inkludert en påstått toveis fft, med oppdaterte benchmarks, som er tregere
Mesteparten av mitt engasjement har vært mer av typen "er det en reell implementering? Er du sikker? Ikke ta snarveier og jobb en dag om nødvendig"
Noe som bringer spørsmålet om hvor godt en alternativ "mellomledelse for LLM-er" (som @alexhevans kalte det) fungere her 😅
5. juli, 09:56
ok litt flaut - jeg hadde ikke rust installert på den maskinen, så den genererte koden ble ikke engang kompilert og referansene var estimater, som @MatteoFrig60839 også la merke til
Jeg dyttet mer for å få det til en bedre tilstand, men fortsatt ikke en fullt fungerende implementering
Jeg ville fortsatt vært ganske mistenksom hvis det både er riktig + raskere enn en nøye håndlaget produksjonsklasse C++-implementering
den ultimate testen med å få et rustgenerert bevis verifisert i en c++-verifikator - jeg kan ikke få rett foreløpig og ville kreve mer prodding
ville vært fint om vi hadde en god isolert fullbevisverifiseringsfunksjon i C++ og peker CC mot det
1,8K
Siste oppdatering fra eksperimentet - etter mer forsiktig prodding inneholder den mer reelle implementeringer av beviskomponentene, inkludert en påstått toveis fft, med oppdaterte benchmarks, som er tregere
Mesteparten av mitt engasjement har vært mer av typen "er det en reell implementering? Er du sikker? Ikke ta snarveier og jobb en dag om nødvendig"
Noe som bringer spørsmålet om hvor bra en alternativ "mellomledelse for LLM-er" (som @alexhevans kalte det) ville fungere her 😅
5. juli, 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
30
ok litt flaut - jeg hadde ikke rust installert på den maskinen, så den genererte koden ble ikke engang kompilert og referansene var estimater, som @MatteoFrig60839 også la merke til
Jeg dyttet mer for å få det til en bedre tilstand, men fortsatt ikke en fullt fungerende implementering
Jeg ville fortsatt vært ganske mistenksom hvis det både er riktig + raskere enn en nøye håndlaget produksjonsklasse C++-implementering
den ultimate testen med å få et rustgenerert bevis verifisert i en c++-verifikator - jeg kan ikke få rett foreløpig og ville kreve mer prodding
ville vært fint om vi hadde en god isolert fullbevisverifiseringsfunksjon i C++ og peker CC mot det
5. juli, 01:38
Bedt om å implementere resten + legge til en monteringsimplementering, de nye kravene vedlagt
5,59K
Bedt om å implementere resten + legge til en monteringsimplementering, de nye kravene vedlagt
4. juli, 22:55
Rust port of @Google Longfellow using Claude Code
Haven’t reviewed the code yet but it claims it has:
* equivalence tests
* better performance in benchmarks
1/2
3,9K
Topp
Rangering
Favoritter