About

Overview Research Leadership Media

Community

Overview Blog Essential Cardano Catalyst

Careers Contact

English

IOHK |

Library

About
Library
Research Topics

Library > Edsko de Vries

Edsko de Vries

Formal specification for a Cardano wallet

Duncan Coutts,Edsko de Vries

July 2018, IOHK

IMPLEMENTATION PROOF-OF-STAKE

Products

Cardano
Daedalus
Atala PRISM
Lace
Catalyst
Marlowe
Plutus

Media

Media
Media kit

Courses

Plutus Pioneers
IOG Academy

Legal

DMCA Policy
Privacy Policy
Terms & Conditions

Social

Twitter
Facebook
GitHub
LinkedIn
YouTube
TikTok
Instagram