Module fiat_shamir

Fiat-Shamir transformation for SigmaProtocols.

This module defines NISigmaProtocol, a generic non-interactive Sigma protocol wrapper, based on applying the Fiat-Shamir heuristic using a codec.

It transforms an interactive SigmaProtocol into a non-interactive one, by deriving challenges deterministically from previous protocol messages via a cryptographic sponge function (Codec).

Usage

This struct is generic over:

• P: the underlying Sigma protocol (SigmaProtocol trait).
• C: the codec (Codec trait).

Structs

NISigmaProtocol

A Fiat-Shamir transformation of a SigmaProtocol into a non-interactive proof.