Generic Security of the SAFE API and Its Applications

ePrint Report: Generic Security of the SAFE API and Its Applications

Dmitry Khovratovich, Mario Marhuenda Beltrán, Bart Mennink

We provide security foundations for SAFE, a recently introduced API framework for sponge-based hash functions tailored to prime-field-based protocols. SAFE aims to provide a robust and foolproof interface, has been implemented in the Neptune hash framework and some zero-knowledge proof projects, but currently lacks any security proof.
In this work we identify the SAFECore as versatile variant sponge construction underlying SAFE, we …

api applications binary construction eprint report foundations framework functions hash hash functions identify interface knowledge prime projects protocols prove report safe security work