Non riesco a immaginare di sostenere un nuovo ingegnere nell'apprendere a programmare dalle basi come ho fatto io, questo è quanto siamo veramente messi male nel 2025.

OH in slack riguardo a @commonwarexyz: "sì, la struttura del repo e i comandi suggeriscono di essere stati progettati da qualcuno che sa quello che sta facendo."

Ho passato un ottimo momento a diffondere la parola su ZKarnage e @TheProofLab oggi al @frontiertower, grazie a @HouseofZK per l'invito! Mi è stato detto da più fonti che la parte migliore erano i cappelli rosa -- ne ho sempre un paio con me se mi trovi a un evento Crypto a SF!

Finalmente mi sto dedicando a eseguire un prover di @boundless_xyz e, avendo assaporato molti piatti ZK nel mio tempo, penso di poter dire con autorità che questo è del buon cibo. 🍱

Perché il crittografo ha avuto una crisi esistenziale? Perché si è reso conto che il sottile e impalpabile filo che separa la civiltà matematica dalla completa anarchia è la bilinearità. E nonostante anni di studio, dimostrazioni e sessioni di debug notturne, si sveglia ancora nel mezzo della notte in un sudore freddo chiedendosi se capisce davvero perché e(aP, bQ) = e(P, Q)^(ab) o se è solo molto bravo a imitare i rituali che fanno sì che il controllo della coppia diventi verde.

a volte penso che "zero knowledge" sarebbe meglio chiamato "zero understanding"

ehi @RiscZero + @boundless_xyz, perché non c'è alcun provatore Risc0 o Boundless su @eth_proofs?

Programmare con zkVM è così: il thread 'write' ha generato un panico in runtime/tests/elf_tests.rs:71:13: stdout dovrebbe contenere: Sup, world! Hello, world! ma ha ottenuto: Sup, world! ����H␊┌┌⎺← ┬⎺⎼┌␍! S┤⎻← ┬⎺⎼┌␍! ���� ↑↑↑↑ ␤␋┼├_␉┤°°␊⎼ ⎽├␍⎺┤├ ↑↑↑↑ ├␤⎼␊▒␍ '␤␋┼├_␉┤°°␊⎼' ⎻▒┼␋␌┐␊␍ ▒├ ⎼┤┼├␋┊␊/├␊⎽├⎽/␊┌°_├␊⎽├⎽↓⎼⎽:71:13: ⎽├␍␊⎼⎼ ⎽␤⎺┤┌␍ ␌⎺┼├▒␋┼: G┤␊⎽├ °␋┼␋⎽␤␊␍ ␊│␊␌┤├␋⎺┼ ␋┼

@YourBuddyConner sta cucinando

Al prossimo @HouseofZK di San Francisco, @YourBuddyConner di @TheProofLab presenterà 'ZKarnage: Rompere i provatori ZK per costruire un Ethereum più forte' 🌉 🗓 23 luglio, 14:00-17:00 📍 @frontiertower, SF 🎟️ I provatori a conoscenza zero sono la spina dorsale della rivoluzione di scalabilità Layer 2 di Ethereum, elaborando miliardi di dollari in transazioni ogni giorno. ZKarnage è un'iniziativa di stress testing dal vivo su mainnet che attacca sistematicamente i sistemi di provatori ZK con transazioni "killer di provatori" progettate per esporre vulnerabilità, colli di bottiglia nelle prestazioni e inefficienze economiche prima che attori malintenzionati possano sfruttarle. Conner fornirà un'introduzione completa a ZKarnage, spiegherà cosa sono gli zkEVM e come funzionano, e approfondirà i profili di attacco specifici utilizzati per sfruttare questi sistemi. Questo intervento dimostrerà la metodologia per spingere i provatori ZK al loro limite utilizzando operazioni computazionalmente intensive e un uso complesso delle precompilazioni 🤝