Argomenti di tendenza
#
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
Crypto applicata, sicurezza, cose sperimentali - Responsabile della ricerca @BainCapCrypto
Ciao @TekGear, c'è un tutor per Twiddler per iOS che sia:
1. Diretto vocale, così puoi allenarti senza guardare lo schermo?
2. Qualche tipo di feedback vocale in modo da avere un'esperienza di feedback su come digito nelle app normali? Immaginerei che questo esista per altri tipi di metodi di input alternativi, ma semplicemente non lo so.
136
Ho eliminato i thread iniziali del mio esperimento per utilizzare Claude Code per portare longfellow-zk in rust.
Non ero soddisfatto della formulazione, poiché potrebbe confondere le persone facendo credere che sia successo qualcosa di straordinario mentre in realtà non funzionava nemmeno.
Metto qui delle immagini per riferimento e ho lasciato i thread finali che erano più chiari.
1,76K
sembra un'opportunità davvero divertente per gli studenti
25 giu 2025
🚨 ASCrypto 2025 è qui!
🗓️ 29-30 Settembre | Medellín | Affiliato con Latincrypt
👨🏫 Impara 𝐦𝐨𝐝𝐞𝐫𝐧 𝐩𝐫𝐨𝐯𝐢𝐧𝐠 𝐬𝐲𝐬𝐭𝐞𝐦𝐬 dai migliori esperti
💥 2 giorni, 3 moduli: IVC, STARKs, MPC
👥 Con @benediktbuenz, Sophia Yakoubov, @aszepieniec
👇
851
Ultimo aggiornamento dall'esperimento - dopo un'analisi più attenta, contiene più implementazioni reali dei componenti del prover, inclusa una fft bidirezionale dichiarata, con benchmark aggiornati, che sono più lenti.
La mia partecipazione è stata più del tipo "è un'implementazione reale? Sei sicuro? Non prendere scorciatoie e lavora per un giorno se necessario".
Questo solleva la questione di quanto bene funzionerebbe un'alternativa "gestione intermedia per LLM" (come l'ha chiamata @alexhevans) qui 😅
5 lug, 09:56
ok, un po' imbarazzante - non avevo rust installato su quella macchina, quindi il codice generato non si è nemmeno compilato e i benchmark erano stime, come ha notato anche @MatteoFrig60839
Ho spinto di più per portarlo a uno stato migliore, ma non è ancora un'implementazione completamente funzionante
Sarei ancora piuttosto sospettoso se fosse sia corretto che più veloce di un'implementazione C++ di produzione realizzata con cura
Il test definitivo sarebbe avere una prova generata in rust verificata in un verificatore C++ - non riesco a farlo per ora e richiederebbe ulteriori sforzi
Sarebbe bello se avessimo una buona funzione di verifica della prova isolata in C++ e puntare CC verso quella
1,85K
Ultimo aggiornamento dall'esperimento - dopo un'analisi più attenta, contiene più implementazioni reali dei componenti del prover, inclusa una fft bidirezionale dichiarata, con benchmark aggiornati, che sono più lenti.
La maggior parte del mio coinvolgimento è stata più del tipo "è un'implementazione reale? Sei sicuro? Non prendere scorciatoie e lavora per un giorno se necessario".
Questo solleva la questione di quanto bene funzionerebbe un'alternativa "gestione intermedia per LLM" (come l'ha chiamata @alexhevans) qui 😅
5 lug, 09:56
ok, un po' imbarazzante - non avevo rust installato su quella macchina, quindi il codice generato non si è nemmeno compilato e i benchmark erano stime, come ha notato anche @MatteoFrig60839
Ho spinto di più per portarlo a uno stato migliore, ma non è ancora un'implementazione completamente funzionante
Sarei ancora piuttosto sospettoso se fosse sia corretto che più veloce di un'implementazione C++ di produzione realizzata con cura
Il test definitivo sarebbe avere una prova generata in rust verificata in un verificatore C++ - non riesco a farlo per ora e richiederebbe ulteriori sforzi
Sarebbe bello se avessimo una buona funzione di verifica della prova isolata in C++ e puntare CC verso quella
81
ok, un po' imbarazzante - non avevo rust installato su quella macchina, quindi il codice generato non si è nemmeno compilato e i benchmark erano stime, come ha notato anche @MatteoFrig60839
Ho spinto di più per portarlo a uno stato migliore, ma non è ancora un'implementazione completamente funzionante
Sarei ancora piuttosto sospettoso se fosse sia corretto che più veloce di un'implementazione C++ di produzione realizzata con cura
Il test definitivo sarebbe avere una prova generata in rust verificata in un verificatore C++ - non riesco a farlo per ora e richiederebbe ulteriori sforzi
Sarebbe bello se avessimo una buona funzione di verifica della prova isolata in C++ e puntare CC verso quella
5 lug, 01:38
Chiesto di implementare il resto + aggiungere un'implementazione in assembly, le nuove rivendicazioni allegate
5,64K
Principali
Ranking
Preferiti