Skyro

Project Logo
DOI of the original publication
URI
https://irf.fhnw.ch/handle/11654/53210
Project type
angewandte Forschung
Project start
01.08.2021
Project end
31.07.2022
Project status
abgeschlossen
Project contact
Project manager
Contributors
Description
Abstract
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
Created during FHNW affiliation
Yes
Strategic action fields FHNW
School
Hochschule für Informatik FHNW
Institute
Institut für Mobile und Verteilte Systeme
Financed by
Hasler Stiftung
StarkWare Industries
Project partner
StarkWare Industries
Contracting authority
StarkWare Industries
SAP reference
T386-0101-2
Keywords
Zero Knowledge Proof
Functional Programming
Verifiable Computing
Subject (DDC)
004 - Computer Wissenschaften, Internet
005 - Computer Programmierung, Programme und Daten
Publications