Skyro

Logo des Projekt
DOI der Originalpublikation
URI
https://irf.fhnw.ch/handle/11654/53210
Projekttyp
angewandte Forschung
Projektbeginn
01.08.2021
Projektende
31.07.2022
Projektstatus
abgeschlossen
Projektkontakt
Projektmanager:in
Beteiligte
Beschreibung
Zusammenfassung
Skyro kompiliert in Idris2 geschriebene Programme nach Cairo und ermöglicht dadurch High-Level, rein funktionale Programmierung für verifizierbare Berechnungen.
Link
https://github.com/skyro-compiler/skyro
Während FHNW Zugehörigkeit erstellt
Ja
Zukunftsfelder FHNW
Hochschule
Hochschule für Informatik FHNW
Institut
Institut für Mobile und Verteilte Systeme
Finanziert durch
Hasler Stiftung
StarkWare Industries
Projektpartner
StarkWare Industries
Auftraggeberschaft
StarkWare Industries
SAP Referenz
T386-0101-2
Schlagwörter
Zero Knowledge Proof
Functional Programming
Verifiable Computing
Fachgebiet (DDC)
004 - Computer Wissenschaften, Internet
005 - Computer Programmierung, Programme und Daten
Publikationen