Cos'è OP_CAT e perché dovrei preoccuparmene? Il computer di Bitcoin è un po' come una calcolatrice scientifica ingombrante, quella che si usava a scuola. Ogni tasto è chiamato "op_code". E di tanto in tanto, la comunità di Bitcoin può concordare di aggiungere un nuovo tasto. OP_CAT è uno di questi potenziali tasti. Satoshi lo ha aggiunto, poi lo ha rimosso, ai tempi. Ciò che fa OP_CAT è qualcosa di piuttosto semplice: unisce due stringhe di caratteri, come "copia-incolla", quindi è un tasto piuttosto semplice e sicuro. Ma se lo aggiungi alla calcolatrice scientifica che è Bitcoin, improvvisamente permetti al computer di Bitcoin di verificare ZK-STARKs e altri sistemi di prova. Apre la strada ai rollup e a una scala massiccia, in un modo di auto-custodia che rimane fedele ai principi di Bitcoin e di Satoshi. Sono sicuro al 100% che Satoshi non è più in giro. Se ci fosse, avrebbe avuto OP_CAT (e molti altri op_codes) su Bitcoin molto, molto tempo fa.

Adoro questo intervento di @peter_szilagyi, soprattutto questo: "Quello che penso dovrebbe fare Ethereum è tornare a permettere a chiunque di eseguirlo (un nodo) su un tostapane." D'accordo!!!

Buongiorno mondo. Quale podcast di criptovalute è il tuo preferito? Condividi le tue raccomandazioni per favore 🔥

I principi fondamentali sono importanti.

La parte che amo di più nel essere CEO di StarkWare è ascoltare e farmi correggere dai membri del mio team che sono più intelligenti e più esperti di me.

Tempo di racconti -- Il provatore più veloce a ovest e come è nato. Quando abbiamo fondato StarkWare nel 2018, ci siamo messi a costruire il primo provatore STARK di livello produttivo. All'epoca, il fattore limitante era il costo del gas su Ethereum. Era più semplice ed economico costruire un provatore utilizzando numeri enormi (quelli a 256 bit). Questo ha portato a un semplice provatore STARK che sapevamo potesse essere reso più efficiente riducendo la dimensione del campo. Avanzando al 2023. Ormai il mondo intero è convinto che gli zkSTARK siano il gioco finale, e molti team iniziano a costruire sistemi utilizzando campi piccoli, che portano a provatori più veloci. Nell'estate del 2023 abbiamo avviato un progetto per scegliere la tecnologia di provamento di nuova generazione. Abbiamo esaminato tutte le tecnologie di provamento esistenti -- SNARK, cose basate su folding, GKR e altro ancora. Ci siamo resi conto molto rapidamente che il fattore di prestazione dominante è la dimensione del campo finito, ed i primi a 32 bit sono i migliori. Perché? (1) tutte le architetture HW moderne sono ottimizzate per quelli, (2) perché primi (e non binari?) perché le GPU non supportano bene la moltiplicazione binaria. OK, quindi ci rimangono tecnologie di provamento come GKR e STARK, su primi a 32b. Ora ci siamo trovati di fronte a un problema. Il campo migliore per un calcolo veloce è M31, ma manca della struttura di gruppo per avere STARK veloci. Fortunatamente, il brillante trio -- Ulrich Habock (allora a Polygon, ora a tempo pieno in StarkWare), David Levit e Shahar Papini hanno trovato un modo per utilizzare il "gruppo circolare" su M31 per ottenere una soluzione ottimale. Il nuovo team ha iniziato a implementare la matematica. Nel modo più efficiente che potessimo pensare, testando e convalidando l'efficienza, e costruendolo anche in un modo abbastanza modulare per essere utilizzato da altri team. Allo stesso tempo, l'infrastruttura dei vincoli AIR è stata ricostruita da zero, basata sulla nostra esperienza precedente, per portare a qualcosa di solido ed efficiente. E ora, Stwo sta entrando in produzione in Starknet, riducendo costi e latenza. I benchmark che abbiamo testato sono straordinari. Allo stesso tempo, più team esterni lo stanno utilizzando per costruire la loro infrastruttura. Penso che sarà il provatore open source di riferimento, e tutti voi siete invitati a usarlo. FINE.

Perché sono ottimista su Starknet? La migliore tecnologia. È vero, il TVL e il volume DeFi potrebbero aumentare. Ma sto pensando a lungo termine. L'ecosistema è in fermento, in attesa di un'altra scintilla, e la scintilla arriverà. E quando arriverà, gli utenti e gli sviluppatori scopriranno che la migliore tecnologia significa la migliore esperienza utente, la migliore sicurezza, le migliori funzionalità, e queste non verranno ridotte una volta che l'attività aumenterà. Perché è la migliore tecnologia? - Linguaggio di smart contract di nuova generazione e il migliore di sempre. Sì, Cairo è molto meglio di Solidity o del Rust di Solana. - Conti smart di nuova generazione (grazie all'astrazione degli account nativa) -> migliore esperienza utente per gli utenti finali, insieme a una sicurezza self-custodial di alto livello. - La maggiore potenza di calcolo on-chain -> gli exchange Perp, gli sviluppatori di giochi e altre app ad alta intensità di calcolo possono eseguire logiche complesse che non troverai da nessun'altra parte nella blockchain. - La connessione più sicura a Bitcoin ed Ethereum. - L'unico L2 che si sta muovendo attivamente verso una vera decentralizzazione completa. - La maggiore ridondanza per quanto riguarda sequencer e prover. La tecnologia di proving più sicura, veloce e solida là fuori. Quindi sto pensando a lungo termine, e sono super ottimista su Starknet. E dovresti esserlo anche tu.

Starknet sta entrando in modalità Grinta e sono un po' sorpreso (triste?) che nessuno stia portando tutto al livello successivo con Margagrintas🍹🍹🍹

Come ho quasi ottenuto un cubo di tungsteno da @ercwl Ho affermato (e lo faccio ancora) che le prove di frode non funzionano. Significa che la promessa che "chiunque può avviare un processo di arbitrato" non può reggere. Diversi anni fa, Eric mi chiese a cena: "ti piacerebbe scommettere un cubo di tungsteno su questo?" Ho risposto "Sì! Scommetto che nei prossimi 3 anni, nessun sistema basato su prove di frode offrirà una vera decentralizzazione di sequencer e validatori, e permetterà un deposito per le controversie sotto i $100, disponibile per l'utente medio." Il semplice motivo per cui i sistemi basati su prove di frode non possono offrire un deposito per le controversie a quel prezzo è che apre la porta a troll/DoS del sistema. Non abbiamo mai formalmente messo tutto questo per iscritto, e credo che sia passato un bel po' di tempo, ma sono ancora felice di fare questa scommessa oggi, con lui o con chiunque sia pronto alla sfida.

Opinione: Gli L2 dovrebbero essere decentralizzati. *La decentralizzazione è importante sugli L2 tanto quanto lo è sugli L1.* Starknet ha pubblicato la sua roadmap per la decentralizzazione un po' di tempo fa e l'ha seguita, passo dopo passo. Non vedo nessun altro team L2 con piani o lavori concreti in quella direzione.