Last modified 7 years ago Last modified on 11/14/11 01:07:57

Zero-knowledge Type-checker


  • Michael Backes, Cătălin Hriţcu, and Matteo Maffei. Type-checking Zero-knowledge. In 15th ACM Conference on Computer and Communications Security (CCS 2008), pages 357-370, ACM Press, October 2008.
    • Full version that additionally contains all the technical details of the type system, a brief discussion about security despite compromise, and all the proofs; November 2008.

Download Coq Proofs

Formalization and proofs by Cătălin Hriţcu. Copyright 2010-2011. All rights reserved.

You can find previous releases of the proofs here.

Download Type-checker

Implementation by Stefan Lorenz, Kim Pecina, Cătălin Hriţcu, and Thorsten Tarrach. Apache License, Version 2.0.

Bug Tracker

Because of a recent spam wave you need to be logged-in to create new tickets. If you need an account or want to report a bug directly please contact catalin.hritcu@….