Module primitives

This module provides interfaces for the basic primitives used in WRK17.

Modules

auth_share

This module defines the interface for share authentication.

commitment

This module implements a commitment scheme in the random oracle model.

mac

This module defines an information theoretic MAC for authenticating bits.

ot

This module implements “The Simplest Protocol for Oblivious Transfer” due to Orlandi and Chou. (cf. https://eprint.iacr.org/archive/2015/267/1527602042.pdf)