This Project is not specific to Greece. For more details, please visit OpenAIRE Explore.
Link with research outputs.
Please log in first and try again.
Completed
A certifying compiler for smart contracts
FunderNetherlands Organisation for Scientific Research (NWO)
Duration01 Sep 2020 - 31 Dec 2024
Project codeENPPS.LIFT.019.032
Identifiers
Project timeline100%
Description
Een compiler produceert machinecode vanuit de programmas die ontwikkelaars schrijven. Maar hoe weten we eigenlijk dat deze machinecode precies hetzelfde doet als het oorspronkelijke programma? Met andere woorden, hoe weten we dat de compiler zelf correct is? Dit is vooral van belang op het gebied van zogeheten smart contracts. Deze smart contracts beheren enorme hoeveelheden geld en data, ze kunnen niet aangepast worden als er later een fout in de compiler wordt ontdekt. Dit project onderzoekt hoe we de correctheid van een bestaande compiler voor de Plutus taal kunnen bewijzen.
Partners (5)
Start a new DMP in Research Footprint
Total research products
Research products
Openness
Last 5 Years of the Project
Impact
citations 0
Fields of Science
SDGs
Data Sources
Loading
Een compiler produceert machinecode vanuit de programmas die ontwikkelaars schrijven. Maar hoe weten we eigenlijk dat deze machinecode precies hetzelfde doet als het oorspronkelijke programma? Met andere woorden, hoe weten we dat de compiler zelf correct is? Dit is vooral van belang op het gebied van zogeheten smart contracts. Deze smart contracts beheren enorme hoeveelheden geld en data, ze kunnen niet aangepast worden als er later een fout in de compiler wordt ontdekt. Dit project onderzoekt hoe we de correctheid van een bestaande compiler voor de Plutus taal kunnen bewijzen.
We use cookies
This website uses essential cookies to ensure its proper operation and tracking cookies to understand how you interact with it. The latter will be set only upon approval.
Read more about our Cookies policy.
Read more about our Cookies policy.
Cookie Usage
We use cookies to ensure the basic functionalities of the website and to enhance your online experience. You can choose for each category to opt-in/out whenever you want.
- Strictly necessary cookiesThese cookies collect information about how you use the website, which pages you visited and which links you clicked on. All of the data is anonymized and cannot be used to identify you.
Name consent Description This cookie holds user cookies consent info. Provider OpenAIRE Expiration 395 days Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name openAIRESession Description Stores the user session ID for OpenAIRE Services. Provider OpenAIRE Expiration Session Name AccessToken Description Stores a JSON Web Token (JWT) used to authenticate the user's access to protected services. Provider OpenAIRE Expiration 1 hour Name jsCheck Description Checks whether the client has javascript enabled. Provider System Expiration Session Name verifiedUser Description Indicates that the user has been verified as human. Provider System Expiration 1 day Name reload- Description Stores a list of URLs for redirection to ensure smooth navigation. Provider System Expiration Session
- Preferences cookiesThese cookies help us to improve your online experience, and store some of your preferences.
- Analytical cookiesThese cookies collect information about how you use the website, which pages you visited and which links you clicked on. All of the data is anonymized and cannot be used to identify you.
Name ^_pk_id Description Used to store a few details about the user such as the unique visitor ID. Provider Matomo Expiration 13 months Name ^_pk_ses Description Short lived cookies used to temporarily store data for the visit. Provider Matomo Expiration 30 minutes
Detailed information about how we handle cookies could be found in our Cookies policy.
Cookie preferences