Skip to main content

Module fiat

Module fiat 

Source
Expand description

Macros for generating wrappers for fiat-crypto synthesized field implementations, currently specialized to support word-by-word-montgomery implementations.