Skyro
| dc.contributor | Kröni, Daniel | |
| dc.contributor | Knecht, Markus | |
| dc.date.accessioned | 2025-10-24T06:49:28Z | |
| dc.description.abstract | Skyro kompiliert in Idris2 geschriebene Programme nach Cairo und ermöglicht dadurch High-Level, rein funktionale Programmierung für verifizierbare Berechnungen. | |
| dc.description.uri | https://github.com/skyro-compiler/skyro | |
| dc.identifier.uri | https://irf.fhnw.ch/handle/11654/53210 | |
| dc.subject | Zero Knowledge Proof | |
| dc.subject | Functional Programming | |
| dc.subject | Verifiable Computing | |
| dc.subject.ddc | 004 - Computer Wissenschaften, Internet | |
| dc.subject.ddc | 005 - Computer Programmierung, Programme und Daten | |
| dc.title | Skyro | |
| dc.type | 00 - Projekt | |
| dspace.entity.type | Project | |
| fhnw.InventedHere | Yes | |
| fhnw.Project.Contact | Kröni, Daniel | |
| fhnw.Project.End | 2022-07-31 | |
| fhnw.Project.Finance | Hasler Stiftung | |
| fhnw.Project.Finance | StarkWare Industries | |
| fhnw.Project.Manager | Kröni, Daniel | |
| fhnw.Project.Manager | Knecht, Markus | |
| fhnw.Project.Partners | StarkWare Industries | |
| fhnw.Project.Provider | StarkWare Industries | |
| fhnw.Project.Start | 2021-08-01 | |
| fhnw.Project.State | abgeschlossen | |
| fhnw.Project.Type | angewandte Forschung | |
| fhnw.affiliation.hochschule | Hochschule für Informatik FHNW | de_CH |
| fhnw.affiliation.institut | Institut für Mobile und Verteilte Systeme | |
| fhnw.sap.reference | T386-0101-2 | |
| relation.isContributorOfProject | 2c1d4e4b-8f36-49b8-b91a-cacaeb684127 | |
| relation.isContributorOfProject | 9b425249-9a7f-49e8-a0e5-13432fe634cc | |
| relation.isContributorOfProject.latestForDiscovery | 2c1d4e4b-8f36-49b8-b91a-cacaeb684127 | |
| relation.isProjectContactOfProject | 2c1d4e4b-8f36-49b8-b91a-cacaeb684127 | |
| relation.isProjectContactOfProject.latestForDiscovery | 2c1d4e4b-8f36-49b8-b91a-cacaeb684127 | |
| relation.isProjectManagerOfProject | 2c1d4e4b-8f36-49b8-b91a-cacaeb684127 | |
| relation.isProjectManagerOfProject | 9b425249-9a7f-49e8-a0e5-13432fe634cc | |
| relation.isProjectManagerOfProject.latestForDiscovery | 2c1d4e4b-8f36-49b8-b91a-cacaeb684127 |
Dateien
Lizenzbündel
1 - 1 von 1
Lade...
- Name:
- license.txt
- Größe:
- 2.66 KB
- Format:
- Item-specific license agreed upon to submission
- Beschreibung: