LONDON (IT BOLTWISE) – Charles Hoskinson arbeitet an einer neuen Programmiersprache für Cardano, die Nutzerwünsche (Transaction Intents) mit kryptografischen Belegen kombinieren soll. Im Zentrum stehen Proof-carrying data sowie Groth16-Proofs, mit denen Apps Bedingungen nachweisen können, ohne alle Berechnungen erneut auszuführen. Hoskinson nennt weder den Sprachnamen noch veröffentlicht er öffentlich Code oder einen Zeitplan für Entwicklerzugang. Technisch zielt der Ansatz darauf, die Ausführung komplexer Anforderungen stärker verifizierbar zu machen.
Es ist bemerkenswert, wie viel „Core-Engineering“ Charles Hoskinson weiterhin selbst übernimmt: Während viele Blockchain-Gründer nach dem Skalieren ihres Ökosystems eher auf Roadmaps, Governance oder Fundraising setzen, arbeitet Hoskinson laut eigenen Angaben an einer neuen Programmiersprache für Cardano. Der Punkt ist dabei nicht nur, dass eine weitere Sprache existiert, sondern wie sie die Lücke zwischen dem beschreibt, was ein Nutzer erreichen will, und dem, was ein System am Ende tatsächlich geprüft ausführen kann. Hoskinson sagte, er entwickle die Sprache persönlich zusammen mit Lucas Rosa, einem Engineer bei Input Output Global, der unter anderem an Aiken beteiligt war, einer der zentralen Smart-Contract-Optionen im Cardano-Umfeld.
Die angedachte Kombination lässt sich am besten als „Intent-zentrierte“ Ausführung mit kryptografischer Absicherung verstehen. Transaction Intents sollen es erlauben, dass Nutzer formulieren, welches Ergebnis sie wollen, ohne die vollständige Schrittfolge preiszugeben, wie die App dorthin gelangt. Ein konkretes Beispiel aus der Beschreibung: Ein Trader könnte einen Tausch eines Tokens gegen einen anderen anstoßen und dabei Bedingungen festlegen, etwa dass der finale Preis bestimmte Kriterien erfüllen muss. Entscheidend ist anschließend die zweite Ebene: Proof-carrying data, also Belege, die an eine Information „mittransportiert“ werden und zeigen, dass definierte Regeln eingehalten wurden. Eine nachgelagerte Anwendung könnte diese Belege dann prüfen, ohne die kompletten Rechnungen nachzustellen, die zuvor nötig waren, um das Ergebnis überhaupt zu erzeugen.
Für die Effizienz des Prüfens setzt die geplante Sprache laut Hoskinson außerdem auf Groth16-Proofs. Groth16 gehört zu den verbreiteten Zero-Knowledge- bzw. Proof-Systemen, weil die erzeugten Beweise verhältnismäßig klein sind und sich von verifizierenden Systemen schnell prüfen lassen. Genau dieser Charakter ist in einem Blockchain-Kontext relevant: Während komplexe Bedingungen im Hintergrund entstehen können, muss die Kette am Ende nur einen überprüfbaren Beweis verifizieren. Das Muster erinnert an eine klare Trennung von „Berechnung“ und „Nachweis“: Die aufwendige Logik läuft außerhalb oder zumindest außerhalb der teuersten Prüfpfade, und die On-Chain-Komponente prüft am Ende eine kompakte kryptografische Bestätigung. So wird es möglich, dass Apps nicht nur koordinieren (beispielsweise Trades abstimmen und Bedingungen berücksichtigen), sondern auch Informationen zwischen Diensten weiterreichen, die in einer abschließenden Kette von Prüfungen bereits verifiziert wurden.
Technisch betrachtet stellt dieser Ansatz eine Art Brücke zwischen den derzeitigen Cardano-Sprachwelten und einer stärker beweisorientierten Anwendungslogik dar. Cardano-Entwickler nutzen bereits Plutus, das auf Haskell basiert, und außerdem Aiken für Smart Contracts. Für die Midnight-Plattform, ebenfalls aus dem Umfeld von Input Output Global und auf Datenschutz fokussiert, gibt es wiederum eine eigene Sprache namens Compact, die auf Apps zugeschnitten ist, die mit vertraulichen Daten arbeiten. Die neue Sprache soll sich in dieses Ökosystem einordnen, aber mit einem zusätzlichen Fokus auf „verifizierbare Ausführung“: nicht nur Code zu schreiben, sondern Ergebnisse so zu verpacken, dass andere Komponenten sie durch kryptografische Beweise plausibilisieren können. Damit würde die Rolle von Smart Contracts tendenziell von „Logik ausführen“ hin zu „Beweise prüfen und koordinieren“ verschoben.
Aus Markt- und Entwicklerperspektive entscheidet sich daran, wie gut der Ansatz in reale Workflows passt. Gerade im DeFi- und Handelskontext sind Intents attraktiv, weil sie die Nutzerabsicht ausdrücken, ohne dass jeder Nutzer die vollständige Ausführungsstrategie technisch spezifizieren muss. Gleichzeitig sind Proof-carrying data und Groth16 darauf ausgelegt, dass nachgelagerte Checks nicht in eine vollständige Neuberechnung münden. Das kann die Systemarchitektur vereinfachen: Apps können Informationen austauschen, und ein Endpunkt auf der Kette kontrolliert dann nur noch einen kleinen Beweis. Ob das in der Praxis zu messbar weniger Rechenaufwand und klareren Schnittstellen führt, hängt jedoch stark davon ab, wie die Sprache Intents, Beweise und Verifikationspfade so zusammenführt, dass Entwickler nicht wieder in zusätzliche Hilfsschichten ausweichen müssen.
Interessant ist außerdem, dass Hoskinson bisher weder den Namen der Programmiersprache genannt noch öffentlich Code bereitgestellt oder einen konkreten Zeitpunkt für den Entwicklerzugang kommuniziert hat. Das bedeutet für Teams, die bereits heute in Plutus oder Aiken investieren, vor allem eins: Sie müssen die Entwicklung zunächst beobachten, ohne sofort Migration einzuplanen. Gleichzeitig verschiebt sich das strategische Signal, denn die Kombination aus Intent-Formalisierung und kryptografischem Beweismanagement adressiert genau die Komplexität, die in vielen produktiven DApps heute zu zusätzlichem Integrationsaufwand führt. Sobald ein öffentliches SDK, Beispielcode oder ein Testnet-Zugriff verfügbar wird, dürfte sich auch zeigen, wie ausgereift die Usability ist – also ob die Sprache „nur“ neue Primitive anbietet oder tatsächlich den Entwicklungsprozess vereinfacht. Bis dahin bleibt die wohl wichtigste Frage offen: Welche Abstraktionen wählt die Sprache, um Intents und Groth16-Verifikation so zu kapseln, dass sie für Entwickler handhabbar bleiben.
💳 Amazon-Kreditkarte mit 2.000 Euro Limit bestellen!
🔥 Heutige Hot Deals bei Amazon: Bis zu 80% Rabatte!
🎉 Amazon Haul-Store für absolute Schnäppchenjäger!
- ★ 23-stufiges KI-Go-Training – Für Spieler mit Grundkenntnissen der Regeln – Entwickelt als intelligenter Trainingspartner passt sich die KI Spielern von 18K bis 9D an. Ideal für alle, die die Grundregeln bereits beherrschen und ihr Spiel verbessern möchten.
- IHR EMOTIONALER AI-BEGLEITER: Eiliko ist mehr als nur ein Anhänger, es ist ein charismatischer KI-Freund. Mit einem dynamischen LED-Bildschirm, der eine Vielzahl von animierten Gesichtern und Ausdrucksformen anzeigt, reagiert er auf Ihre Interaktionen mit einzigartiger Persönlichkeit und Charme.
- 【MEHR LEBEN FÜR DEINEN SCHREIBTISCH】 Lerne Eilik kennen – deinen kleinen Roboter-Freund mit Persönlichkeit. Mit liebevollen Animationen, ausdrucksstarken Reaktionen und spielerischen Interaktionen bringt Eilik mehr Freude in deinen Alltag. Ob auf dem Schreibtisch, im Büro oder am Nachttisch – Eilik wird schnell zu einem vertrauten Begleiter für besondere Momente.
- 【XL-Größe für gedeihende Pflanzen】Geben Sie Ihren Pflanzen den Raum, den sie verdienen! Unser verbessertes, großes 13,7 cm großes Design bietet Platz für Pflanzen mit einem Durchmesser von bis zu 8,9 cm und damit deutlich mehr Platz für Wurzelwachstum und Pflanzengesundheit im Vergleich zu kleineren, veralteten Modellen. Die Produktabmessungen betragen 13,6 x 13,6 x 13,2 cm und das Gerät wiegt nur 355 g.
- V28 Update - JETZT MIT NEUEN FUNKTIONEN! Als Reaktion auf das Ladeproblem von Loona haben wir das automatische Aufladen 2.0 verbessert. Diese Optimierung hilft Loona, die Ladewege in verschiedenen Szenarien zu erkennen und anzupassen, um die Erfolgsquote beim automatischen Aufladen zu erhöhen. Mobile Hotspots können sich mit Loona verbinden und überwinden WLAN-Einschränkungen, sodass Sie jederzeit und überall mit Loona interagieren können.
- Die besten Bücher rund um KI & Robotik!
- Die besten KI-News kostenlos per eMail erhalten!
- Zur Startseite von IT BOLTWISE® für aktuelle KI-News!
- IT BOLTWISE® kostenlos auf Patreon unterstützen!
- Aktuelle KI-Jobs auf StepStone finden und bewerben!
- Künstliche Intelligenz: Dem Menschen überlegen – wie KI uns rettet und bedroht | Der Neurowissenschaftler, Psychiater und SPIEGEL-Bestsellerautor von »Digitale Demenz«
Du hast einen wertvollen Beitrag oder Kommentar zum Artikel "Charles Hoskinson entwickelt neue Programmiersprache für Cardano" für unsere Leser?
#Sophos
#AmazonPrime
#Bestseller
Es werden alle Kommentare moderiert!
Für eine offene Diskussion behalten wir uns vor, jeden Kommentar zu löschen, der nicht direkt auf das Thema abzielt oder nur den Zweck hat, Leser oder Autoren herabzuwürdigen.
Wir möchten, dass respektvoll miteinander kommuniziert wird, so als ob die Diskussion mit real anwesenden Personen geführt wird. Dies machen wir für den Großteil unserer Leser, der sachlich und konstruktiv über ein Thema sprechen möchte.
Du willst nichts verpassen?
Du möchtest über ähnliche News und Beiträge wie "Charles Hoskinson entwickelt neue Programmiersprache für Cardano" informiert werden? Neben der E-Mail-Benachrichtigung habt ihr auch die Möglichkeit, den Feed dieses Beitrags zu abonnieren. Wer natürlich alles lesen möchte, der sollte den RSS-Hauptfeed oder IT BOLTWISE® bei Google News wie auch bei Bing News abonnieren.
Nutze die Google-Suchmaschine für eine weitere Themenrecherche: »Charles Hoskinson entwickelt neue Programmiersprache für Cardano« bei Google Deutschland suchen, bei Bing oder Google News!