Etheorem: Formell verifizierte Konsens-Spezifikation für Ethereum

22. September 2026 Kryptowährungen

Ethereum betreibt ein Multi-Client-Modell, in dem mehrere unabhängige Implementierungen (Lighthouse, Prysm, Teku, Lodestar, Grandine) dieselbe Konsens-Logik ausführen. Historisch führten unterschiedliche Interpretationen der Python-Referenz-Spezifikation (pyspec) zu gefährlichen Chain-Splits. Das Projekt Etheorem liefert eine in Lean 4 geschriebene, ausführbare und mathematisch formell verifizierte Konsens-Spezifikation für die Forks Fulu, Gloas und Heze. Durch maschinell geprüfte Beweise ersetzt es informelle Dokumentation und reine Testvektoren und bietet damit mathematische Garantien für die Ethereum-Netzwerk-Resilienz. Formale Verifikation der Ethereum-Konsens-Spezifikation Etheorem besteht alle pyspec-Testvektoren für Statusübergänge, Fork-Choice undWeiterlesen

Vergleich eindimensionaler und mehrdimensionaler Gebührenmechanismen in der Ethereum-Fee-Markt-Reform (EIP-7999, EIP-8368, EIP-8372)

22. September 2026 Kryptowährungen

Die Gestaltung des Fee Markets entscheidet über die Skalierbarkeit, Dezentralisierung und Stabilität von Ethereum. Eindimensionale Mechanismen teilen einen einzigen Base Fee zwischen Execution, Data und State und können entweder das State-Wachstum stark erhöhen oder den Transaktions-Durchsatz reduzieren. Mehrdimensionale Modelle wie EIP-7999 trennen die Preise der drei Ressourcen und versprechen eine effizientere Allokation, sind jedoch komplexer in der Implementierung. Grundlagen der Fee-Markt-Modelle Eindimensionale Mechanismen: Ein gemeinsamer Base Fee (wie in EIP-8037/8368/8372) wird nach dem EIP-1559-Update-Rule berechnet und reagiert auf den höherenWeiterlesen

Verschlüsselter Mempool auf Ethereum mittels Threshold-IBE ohne Batch-Entschlüsselung – ein Drei-Block-Ansatz

21. September 2026 Kryptowährungen

Der vorliegende Entwurf beschreibt ein neuartiges Konzept für einen verschlüsselten Mempool auf Ethereum, das auf Schwellenwert-identitätsbasierter Verschlüsselung (Threshold IBE) beruht und bewusst auf die komplexe Batch-Entschlüsselung verzichtet. Durch die Einführung einer deterministischen Drei-Block-Pipeline (Bₙ → Bₙ₊₁ → Bₙ₊₂) soll die Gefahr toxischer Formen von Maximal Extractable Value (MEV) – insbesondere Frontrunning und Sandwich-Angriffe – reduziert werden, während gleichzeitig der kryptografische Lösungsraum für Enshrined-Mempools erweitert wird. Problemstellung: MEV und die Notwendigkeit verschlüsselter Mempools MEV-Angriffe entziehen Nutzern jährlich Milliardenwerte. Schätzungen aus demWeiterlesen

Ethereum Interop Layer (EIL): Architektur, Funktionsweise und Bedeutung für die L2-Fragmentierung

20. September 2026 Kryptowährungen

Mit dem schnellen Wachstum von Layer-2-Netzwerken (L2s) ist die Liquidität auf Ethereum stark zersplittert. Nutzer müssen für jede Interaktion zwischen Rollups separate Gas-Zahlungen, Brücken und teilweise eigene Wallet-Konfigurationen verwenden. Der Ethereum Interop Layer (EIL) bietet eine account-basierte Interoperabilität, die Cross-L2-Transaktionen mit nur einer Nutzersignatur ermöglicht – ganz ohne zentrale Solver, Relayer oder unsichere Brücken. Warum L2-Fragmentierung ein Problem darstellt Die Fragmentierung führt zu hohen Reibungsverlusten und erhöhten Angriffsflächen. Traditionelle Intent- und Bridge-Modelle setzen Server-Intermediäre ein, die Zensur-Resistenz und Privatsphäre gefährden.Weiterlesen

Design eines Ethereum-verseuchten Mempools mittels Threshold IBE

19. September 2026 Kryptowährungen

Der zunehmende Einfluss von Miner-Extractable Value (MEV) auf Ethereum erfordert neue Mechanismen, um die Privatsphäre und Fairness von Transaktionen zu schützen. Encrypted Mempools bieten genau das: Sie verhindern, dass Market-Making-Nutzer durch Front-Running oder andere MEV-Angriffe benachteiligt werden. Der vorliegende Artikel beschreibt ein konkretes Design, das Threshold Identity-Based Encryption (Threshold IBE) nutzt, um einen verschlüsselten Mempool zu realisieren, und erklärt, warum dieses Konzept trotz offener Herausforderungen einen wichtigen Schritt nach vorne darstellt. Warum verschlüsselte Mempools wichtig sind Auf Ethereum können AngreiferWeiterlesen

Protokolldesign zur Überwindung zentralisierter Relayer-Märkte in EVM-basierten Shielded Pools

19. September 2026 Kryptowährungen

In kontobasierten Blockchains wie Ethereum gefährdet die Notwendigkeit eines transparenten Gas-Zahlers (msg.sender) die Privatsphäre von Nutzer:innen. Marktbasierte Relayer-Netzwerke verstärken dieses Problem, weil sie zu starker Zentralisierung, regulatorischer Angreifbarkeit und Zensuranfälligkeit führen. Das vorliegende Protokolldesign setzt auf intrinsische Reziprozitäts-Primitive – die Rollen „Lokomotive“ und „Waggon“ – um Relayer-Märkte aus den Shielded Pools zu verdrängen und gleichzeitig die Gas-Kosten effizient zu steuern. Zentralisierung von Relayer-Märkten – empirische Befunde Die Messungen von Huseynov et al. (2026) bei Railgun zeigen eindrücklich, dass 89 %Weiterlesen

Standardisiertes Evidence Review Framework für dezentrale Guilds auf Ethereum

19. September 2026 Kryptowährungen

Standardisiertes Evidence Review Framework für Dezentrale Guilds auf Ethereum Dezentrale Organisationen und autonome Agentensysteme stehen im Skalierungsprozess häufig vor dem Problem intransparenter, manueller Onboarding- und Verifikationsprozesse. Ohne einen kryptografisch belegbaren Attestierungs- und Prüfpfad können Zugangs- und Budgetrechte nicht automatisiert, sicher und dezentral vergeben werden. Das vorgestellte Framework verbindet strukturierte Evidenz-Einreichungen mit etablierten Ethereum-Standards, um ein verifizierbares, wiederverwendbares und ökonomisch abgesichertes Review-Verfahren zu ermöglichen. Problemstellung bei bestehenden Onboarding- und Verifikationsprozessen Prüf- und Onboarding-Prozesse in Guilds sind weitgehend ad-hoc, off-chain und kaumWeiterlesen

Automatisierte Absicherung und Protokollmigration von Ethereum gegen Quantenbedrohungen

18. September 2026 Kryptowährungen

Die Sicherheit von Blockchain-Systemen wie Ethereum beruht auf kryptografischen Primitive wie ECDSA, BLS-Signaturen und SNARKs. Diese Verfahren sichern Werte in Milliardenhöhe, sind jedoch mathematisch anfällig für Angriffe durch Quantencomputer (Shor-Algorithmus) oder neuartige Kryptoanalyse. Ohne geeignete Schutz- und Backup-Mechanismen droht die Ausfallsicherheit dezentraler Netzwerke zu gefährden – ein Szenario, das weder durch dezentrale Forks noch durch rein manuelle Notfallpläne allein gelöst werden kann. Warum kryptografische Schwachstellen in Ethereum kritisch sind Ein zentrales Risiko entsteht, sobald ein EOA (Externally Owned Account) zumWeiterlesen

Diskrepanz zwischen deterministischer Instruktionszählung und realer Ausführungszeit in RISC-V- und WASM-VMs für Blockchain-Protokolle

18. September 2026 Kryptowährungen

Blockchain-Protokolle verwenden häufig eine deterministische Zählung von Instruktionen – sogenannte „Steps“ – um DoS-Schutz und Block-Limit-Budgets zu definieren. Neuere Messungen zeigen jedoch, dass identische Schrittzahlen je nach Host-Mikroarchitektur, Cache-Lokalität oder Ausführungsengine bis zu 23-mal unterschiedliche Wall-Clock-Laufzeiten erzeugen können. Diese Diskrepanz gefährdet die Sicherheit von Protokollen, weil Angreifer Knoten asymmetrisch auslasten können, wenn die reale Ausführungszeit nicht mehr durch das Schritt-Budget gedeckt ist. Deterministische Schrittzählung in Blockchain-Virtual-Machines In vielen virtuellen Maschinen (VMs) wird das Ausführungsbudget in Steps angegeben, wobei ein StepWeiterlesen

RawVentures: Ein ETH-natives VC-DAO, das Staking-Rewards in Risikokapital umwandelt

18. September 2026 Kryptowährungen

RawVentures ist ein vorgeschlagenes, vollständig auf Ethereum basierendes Venture-Capital-DAO, das einen Teil der jährlichen Staking-Erträge nutzt, um Frühphasen-Investitionen zu finanzieren. Die Investitionsentscheidungen werden über ein Futarchy-System getroffen, das Vorhersagemärkte zu realen Projekt-Meilensteinen einsetzt. Das Modell verbindet liquide Proof-of-Stake-Renditen mit dezentraler Kapitalallokation und koppelt finanzielle Konsequenzen unmittelbar an nachweisbare Projektergebnisse. Wie Staking-Rewards zu Venture Capital werden Der Ausgangspunkt ist ein Lido-ähnliches Staking-Setup: Das Staking-Prinzipal bleibt unverändert im Staking-Vertrag (z. B. über stETH), während ein vorab definierter Prozentsatz der laufenden Rewards inWeiterlesen