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 🤝

Sono entusiasta di presentare il nostro lavoro sui benchmark multimodali open source per le azioni al workshop CodeML dell'ICML questo venerdì! Sarò presente venerdì e sabato e mi piacerebbe chiacchierare e prendere un caffè con chiunque stia costruendo o valutando agenti d'uso informatico e modelli d'azione. Contattatemi!

io che accendo il segnale per tutti i miei ragazzi

Presentiamo il nuovo USA Cluster di @commonwarexyz 🇺🇸. 50 validatori (2vCPU/4GB RAM). Tempo di blocco di 75 ms. Finalità di 120 ms.