Projekt Skyro
Das Institut für Mobile und Verteilte Systeme (IMVS) entwickelt eine Software, die es ermöglicht, Smart Contracts für die Skalierungslösung StarkNet in der Programmiersprache Idris zu implementieren. Idris ist eine Sprache, die einen Fokus auf Programmkorrektheit legt. Dies ist besonders wichtig, da bei Applikationen im Blockchain Umfeld häufig hohe finanzielle Beträge involviert sind.
In diesem Projekt wird ein Compiler (Übersetzer) von Idris nach Cairo realisiert. Cairo ist eine neue Programmiersprache zur Programmierung von Zero-Knowledge (ZK) Verifiable Computing (VC) Anwendungen.
ZK VC sind kryptographische Verfahren, die ermöglichen, dass Computerprogramme von einer potentiell nicht vertrauenswürdigen Drittpartei ausgeführt und im Anschluss die Korrektheit der Resultate, mit geringem Aufwand, verifiziert werden können (VC). Die Drittpartei kann zudem geheime Daten in die Berechnung mit einbeziehen und dem Verifizierer beweisen, dass sie im Besitz dieser geheimen Daten ist, ohne diese preiszugeben (ZK).
Die Kombination dieser beiden Konzepte ZK und VC erlaubt neuartige Anwendungen. Hier zwei Beispiele:
- Elektronische Wahlen, wobei jeder Wähler selbst verifizieren kann, dass seine Stimme korrekt ins Resultat mit einbezogen wurde, ohne dass publik gemacht wird, von welchem Wähler eine Wahl abgegeben wurde.
- Blockchain Skalierung, wobei tausende Transaktionen auf einem leistungsfähigen Drittsystem verarbeitet werden und dann das Resultat zusammen mit dem Korrektheitsnachweis als eine einzige Blockchain-Transaktion veröffentlicht und verifiziert wird. Auf diesem Ansatz basiert StarkNet.
Der realisierte Compiler namens Skyro ermöglicht die Entwicklung von korrekten Zero Knowledge / Verifiable Computation basierten Applikationen und ebnet den Pfad in eine Zukunft, in der Privatsphäre und Digitalisierung nicht in einem Widerspruch stehen
Kontaktperson
