Tools

Jump to bottom Edit New page

Pierre-Yves Strub edited this page Feb 10, 2016 · 2 revisions

Please list tools and frameworks you'd like to use with NEXTLEAP.

PETlib https://github.com/gdanezis/petlib UCL
CryptoVerif http://prosecco.gforge.inria.fr/personal/bblanche/cryptoverif/ INRIA
EasyCrypt https://www.easycrypt.info/trac/ IMDEA
Proscript INRIA
ZooCrypt http://zoocrypt.github.io/ IMDEA
AutoG&P https://github.com/ZooCrypt/AutoGnP IMDEA
A library for efficient ZK proof systems https://github.com/scipr-lab/libsnark SCIPR Lab