Crate poseidon_paramgen

Module for generating parameters for the Poseidon SNARK-friendly hash function.

This crate will, given a choice of:

• M, the desired security level (in bits),
• t, the width of the desired hash function, e.g. $t=3$ corresponds to 2-to-1 hash.
• p, the prime modulus,
• allow_inverse, whether or not to allow an inverse alpha for the Sbox layer.

generate the best choice of parameters, for both the unoptimized version of Poseidon specified in the Poseidon paper, as well as the optimizations described in Appendix B.

Modules

poseidon_build

For generating parameters at build time.

Structs

ArcMatrix

Represents an matrix of round constants.

InputParameters

Input parameters that are used to generate Poseidon parameters.

Matrix

Represents a matrix over PrimeField elements.

MdsMatrix

Represents an MDS (maximum distance separable) matrix.

OptimizedArcMatrix

Represents an optimized matrix of round constants.

OptimizedMdsMatrices

Represents an optimized MDS (maximum distance separable) matrix.

PoseidonParameters

A set of Poseidon parameters for a given set of input parameters.

RoundNumbers

RoundNumbers required for security based on known attacks.

SquareMatrix

Represents a square matrix over PrimeField elements

Enums

Alpha

The exponent in Sbox(x) = x^\alpha.

Traits

MatrixOperations

Basic matrix operations all matrices should implement.

SquareMatrixOperations

Matrix operations that are defined on square matrices.

Functions

dot_product

Compute vector dot product

log2

Computes the binary log of a BigInteger

mat_mul

Multiply two matrices