IOHK |
Library
Library > Manuel Chakravarty
Manuel Chakravarty
Technical Architect
Tweag
Netherlands
Translation Certification for Smart Contracts (Extended Abstract)
Jacco Krijnen,Manuel Chakravarty,Gabriele Keller,Wouter Swierstra
August 2021, To appear at: TyDe 2021
Hydra: Fast Isomorphic State Channels
Manuel Chakravarty,Sandro Coretti,Matthias Fitzi,Peter Gaži,Philipp Kant,Aggelos Kiayias,Alexander Russell
March 2021, Financial Cryptography 2021
The Extended UTXO Model
Manuel Chakravarty,James Chapman,Kenneth MacKenzie,Orestis Melkonian,Michael Peyton Jones,Philip Wadler
February 2020, Workshop on Trusted Smart Contracts (Financial Cryptography 2020)