https://github.com/project-everest/hacl-star
Raw File
Tip revision: a5f4d25d998bbac4921227d1933ccb2d1f9e1525 authored by Christoph M. Wintersteiger on 20 July 2020, 14:22:44 UTC
Use non-zero pre-allocated vectors in Merkle tree deserialization.
Tip revision: a5f4d25
AUTHORS.md
This code was primarily written by Santiago Zanella-Beguelin and Cédric Fournet (MSR).
An earlier version was written by Benjamin Beurdouche (INRIA).
back to top