Trend-Themen
#
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 ⚡️| ✨
Mitbegründer @UncapLabs --- Ex @SnapshotLabs / Ex @Ledger
pscott.eth ⚡️| ✨ erneut gepostet
Geschichtenzeit -- Der schnellste Prover im Westen und wie es dazu kam.
Als wir 2018 StarkWare gründeten, hatten wir uns zum Ziel gesetzt, den ersten produktionsreifen STARK-Prover zu entwickeln. Zu diesem Zeitpunkt war der limitierende Faktor die Gasgebühr auf Ethereum. Es war am einfachsten und günstigsten, einen Prover mit riesigen Zahlen (256-Bit-Zahlen) zu bauen. Das führte zu einem einfachen STARK-Prover, von dem wir wussten, dass er effizienter gemacht werden konnte, indem wir die Feldgröße reduzierten.
Schneller Vorlauf bis 2023. Die ganze Welt ist mittlerweile überzeugt, dass zkSTARKs das Endspiel sind, und viele Teams beginnen, Systeme mit kleinen Feldern zu entwickeln, die zu schnelleren Provern führen.
Im Sommer 2023 starteten wir ein Projekt, um die nächste Generation der Proving-Technologie auszuwählen. Wir haben alle bestehenden Proving-Technologien untersucht -- SNARKs, basierend auf Faltung, GKR und mehr.
Wir haben sehr schnell erkannt, dass der dominierende Leistungsfaktor die Größe des endlichen Feldes ist, und 32-Bit-Primzahlen am besten sind. Warum? (1) Alle modernen HW-Architekturen sind dafür optimiert, (2) warum Primzahlen (und nicht binär?) weil GPUs binäre Multiplikation nicht gut unterstützen.
OK, das lässt uns mit Proving-Technologien wie GKR und STARK über 32b Primzahlen.
Jetzt standen wir vor einem Problem. Das beste Feld für schnelle Berechnungen ist M31, aber es fehlt die Gruppenstruktur, um schnelle STARKs zu haben.
Glücklicherweise hat das brillante Trio -- Ulrich Habock (damals bei Polygon, jetzt Vollzeit bei StarkWare), David Levit und Shahar Papini einen Weg gefunden, die "Kreisgruppe" über M31 zu nutzen, um eine optimale Lösung zu erhalten.
Das neue Team begann, die Mathematik zu implementieren. Auf die effizienteste Weise, die wir uns vorstellen konnten, testeten und validierten wir die Effizienz und bauten es auch so, dass es modular genug für andere Teams ist. Gleichzeitig wurde die AIR-Beschränkungsinfrastruktur von Grund auf neu aufgebaut, basierend auf unseren vorherigen Erfahrungen, um etwas zu schaffen, das solide und effizient ist.
Und jetzt geht Stwo in die Produktion in Starknet, was Kosten und Latenz reduziert. Die Benchmarks, die wir getestet haben, sind unglaublich. Gleichzeitig nutzen mehrere externe Teams es, um ihre Infrastruktur aufzubauen. Ich denke, es wird der goldene Standard für Open-Source-Prover sein, und ihr seid alle eingeladen, es zu nutzen.
ENDE.
10,3K
so sieht Peak Copium aus
22. Juli, 01:07
Ether ist wieder nahe dem oberen Ende seiner Handelsrange. Wenn Sie welchen besitzen, ist dies eine großartige Gelegenheit zu verkaufen. So sehr es mir auch wehtut, das zu sagen, ist es besser, Ether zu verkaufen und mit den Erlösen Bitcoin zu kaufen, als Ether zu halten.
8,04K
Dieser Typ quakt viel. Respekt
22. Juli, 05:15
📦 16.293 Zeilen Rust
Gaslos. Gasfrei. Skalierbare Paymaster-Infrastruktur für Starknet.
Kommt bald - sehr, sehr bald.
457
Ich habe es in der Vergangenheit gesagt und ich sage es schon wieder:
Wolfram ist eine gehebelte Wette auf @EliBenSasson
21. Juli, 17:46
Wie ich fast einen Wolframwürfel von @ercwl bekommen hätte
Ich habe (und tue es immer noch) behauptet, dass Betrugsnachweise nicht funktionieren. Das bedeutet, das Versprechen, dass "jeder einen Schiedsprozess einleiten kann", kann nicht aufrechterhalten werden.
Vor mehreren Jahren fragte Eric mich beim Abendessen: "Möchtest du einen Wolframwürfel darauf wetten?"
Ich sagte: "Ja! Ich wette, dass in den nächsten 3 Jahren kein auf Betrugsnachweisen basierendes System eine echte Dezentralisierung von Sequenzierer und Validator bieten wird und eine Streitbond unter 100 $ zulässt, die für den durchschnittlichen Nutzer verfügbar ist."
Der einfache Grund, warum auf Betrugsnachweisen basierende Systeme eine Streitbond zu diesem Preis nicht anbieten können, ist, dass es die Tür öffnet, um das System zu trollen/DoS.
Wir haben das nie formell schriftlich festgehalten, und ich glaube, es ist schon eine lange Zeit vergangen, aber ich bin immer noch bereit, diese Wette heute zu machen, mit ihm oder mit jedem, der die Herausforderung annimmt.
170
Top
Ranking
Favoriten