Populaire onderwerpen
#
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
Toegepaste crypto, veiligheid, experimentele dingen - Hoofd Onderzoek @BainCapCrypto
Kobi Gurkan heeft opnieuw gepost
TEEs vereisen van nature vertrouwen in operators en fabrikanten, maar het is ook mogelijk om ze op manieren te gebruiken die de beveiliging van een systeem strikt *verbeteren* zonder nieuwe vertrouwensflessenhalsen in te voeren. Ik heb geschreven over twee gebruiksgevallen waarin dit mogelijk is:
2,46K
Hey @TekGear is er een tutor voor Twiddler voor iOS die:
1. Stemgestuurd is, zodat je kunt trainen zonder naar een scherm te kijken?
2. Een soort stemfeedback heeft, zodat ik een feedbackervaring kan hebben van hoe ik typ in reguliere apps? Ik zou me voorstellen dat dit bestaat voor andere soorten alternatieve invoermethoden, maar ik weet het gewoon niet.
601
Verwijderde de initiële threads van mijn experiment om Claude Code te gebruiken om longfellow-zk naar rust te porteren.
Was niet tevreden met de framing, omdat het mensen in de war kon brengen dat er iets geweldig was gebeurd terwijl het zelfs niet werkte.
Plaats hier afbeeldingen ter referentie, en heb de laatste threads die duidelijker waren achtergelaten.
1,81K
het lijkt een echt leuke kans voor studenten
25 jun 2025
🚨 ASCrypto 2025 is hier!
🗓️ 29-30 september | Medellín | Geaffilieerd met Latincrypt
👨🏫 Leer 𝐦𝐨𝐝𝐞𝐫𝐧 𝐩𝐫𝐨𝐯𝐢𝐧𝐠 𝐬𝐲𝐬𝐭𝐞𝐦𝐬 van top experts
💥 2 dagen, 3 modules: IVC, STARKs, MPC
👥 Met @benediktbuenz, Sophia Yakoubov, @aszepieniec
👇
899
Laatste update van het experiment - na zorgvuldiger aandringen bevat het meer echte implementaties van de prover-componenten, inclusief een geclaimde bidirectionele fft, met bijgewerkte benchmarks, die langzamer zijn.
Het grootste deel van mijn betrokkenheid was meer van het soort "is het een echte implementatie? Weet je het zeker? Neem geen shortcuts en werk een dag als dat nodig is."
Wat de vraag oproept hoe goed een alternatieve "middenmanagement voor LLM's" (zoals @alexhevans het noemde) hier zou werken 😅
5 jul, 09:56
ok, een beetje gênant - ik had rust niet geïnstalleerd op die machine, dus de gegenereerde code compileerde zelfs niet en de benchmarks waren schattingen, zoals @MatteoFrig60839 ook opmerkte
Ik heb meer geprutst om het in een betere staat te krijgen, maar het is nog steeds geen volledig werkende implementatie
Ik zou nog steeds behoorlijk achterdochtig zijn als het zowel correct als sneller is dan een zorgvuldig handgemaakte productieklare C++-implementatie
de ultieme test van het hebben van een rust-gegeneerde bewijs dat wordt geverifieerd in een C++-verifier - dat krijg ik nu niet goed en zou meer prutsen vereisen
het zou fijn zijn als we een goede geïsoleerde volledige bewijsverificatiefunctie in C++ hadden en CC daar naartoe konden wijzen
1,9K
Laatste update van het experiment - na zorgvuldiger aandringen bevat het meer echte implementaties van de prover-componenten, inclusief een geclaimde bidirectionele fft, met bijgewerkte benchmarks, die langzamer zijn.
Het grootste deel van mijn betrokkenheid was meer van het soort "is het een echte implementatie? Weet je het zeker? Neem geen shortcuts en werk een dag als dat nodig is."
Wat de vraag oproept hoe goed een alternatieve "middenmanagement voor LLM's" (zoals @alexhevans het noemde) hier zou werken 😅
5 jul, 09:56
ok, een beetje gênant - ik had rust niet geïnstalleerd op die machine, dus de gegenereerde code compileerde zelfs niet en de benchmarks waren schattingen, zoals @MatteoFrig60839 ook opmerkte
Ik heb meer geprutst om het in een betere staat te krijgen, maar het is nog steeds geen volledig werkende implementatie
Ik zou nog steeds behoorlijk achterdochtig zijn als het zowel correct als sneller is dan een zorgvuldig handgemaakte productieklare C++-implementatie
de ultieme test van het hebben van een rust-gegeneerde bewijs dat wordt geverifieerd in een C++-verifier - dat krijg ik nu niet goed en zou meer prutsen vereisen
het zou fijn zijn als we een goede geïsoleerde volledige bewijsverificatiefunctie in C++ hadden en CC daar naartoe konden wijzen
141
ok, een beetje gênant - ik had rust niet geïnstalleerd op die machine, dus de gegenereerde code compileerde zelfs niet en de benchmarks waren schattingen, zoals @MatteoFrig60839 ook opmerkte
Ik heb meer geprutst om het in een betere staat te krijgen, maar het is nog steeds geen volledig werkende implementatie
Ik zou nog steeds behoorlijk achterdochtig zijn als het zowel correct als sneller is dan een zorgvuldig handgemaakte productieklare C++-implementatie
de ultieme test van het hebben van een rust-gegeneerde bewijs dat wordt geverifieerd in een C++-verifier - dat krijg ik nu niet goed en zou meer prutsen vereisen
het zou fijn zijn als we een goede geïsoleerde volledige bewijsverificatiefunctie in C++ hadden en CC daar naartoe konden wijzen
5 jul, 01:38
Gevraagd om de rest te implementeren + een assemblage-implementatie toe te voegen, de nieuwe claims zijn bijgevoegd
5,69K
Boven
Positie
Favorieten