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.
pscott.eth ⚡️| ✨
Co-fondatore @UncapLabs --- Ex @SnapshotLabs / Ex @Ledger
pscott.eth ⚡️| ✨ ha ripubblicato
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.
10,83K
questo è come appare il massimo copium
22 lug, 01:07
L'Ether è tornato vicino all'estremità superiore della sua fascia di trading. Se ne possiedi, questo è un ottimo momento per vendere. Per quanto mi dispiaccia dirlo, vendere Ether e comprare Bitcoin con i proventi è un affare migliore che tenere l'Ether.
8,05K
Questo tipo starnazza molto. Rispetto
22 lug, 05:15
📦 16.293 righe di Rust
Senza gas. Senza costi di gas. Infrastruttura Paymaster scalabile per Starknet.
In arrivo - molto, molto presto.
491
L'ho detto in passato e lo dirò di nuovo:
Il tungsteno è una scommessa a leva su @EliBenSasson
21 lug, 17:46
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.
188
Principali
Ranking
Preferiti