Implementation notes: amd64, hertz, crypto_sign/luov863256

Compiler output

LUOV.c: LUOV.c:1156:10: warning: unused function 'read_uint64_t' [-Wunused-function]
LUOV.c:  1156 | uint64_t read_uint64_t(const unsigned char *data){
LUOV.c:       |          ^~~~~~~~~~~~~
LUOV.c: 1 warning generated.
keccakrng.c: keccakrng.c:71:24: warning: unused function 'rotl' [-Wunused-function]
keccakrng.c:    71 | static inline uint64_t rotl(const uint64_t x, int k) {
keccakrng.c:       |                        ^~~~
keccakrng.c: 1 warning generated.

Compiler output

LUOV.c: In file included from /usr/lib/gcc/x86_64-linux-gnu/13/include/immintrin.h:43,
LUOV.c:                  from LUOV.h:7,
LUOV.c:                  from LUOV.c:1:
LUOV.c: In function '_mm256_loadu_si256',
LUOV.c:     inlined from 'TransformQ1' at LUOV.c:212:19:
LUOV.c: /usr/lib/gcc/x86_64-linux-gnu/13/include/avxintrin.h:929:10: warning: array subscript '__m256i_u[0]' is partly outside array bounds of 'uint64_t[1]' {aka 'long unsigned int[1]'} [-Warray-bounds=]
LUOV.c:   929 |   return *__P;
LUOV.c:       |          ^~~~
LUOV.c: LUOV.c: In function 'TransformQ1':
LUOV.c: LUOV.c:207:38: note: object 'r' of size 8
LUOV.c:   207 |                         bitcontainer r = Q1[colQ1];
LUOV.c:       |                                      ^

Compiler output

F64Field.c: F64Field.c: In function 'f64addInPlace':
F64Field.c: F64Field.c:43:11: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
F64Field.c:    43 |         *((uint64_t *) a->coef) ^= *((uint64_t *) b->coef);
F64Field.c:       |          ~^~~~~~~~~~~~~~~~~~~~~
F64Field.c: F64Field.c:43:38: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
F64Field.c:    43 |         *((uint64_t *) a->coef) ^= *((uint64_t *) b->coef);
F64Field.c:       |                                     ~^~~~~~~~~~~~~~~~~~~~~
F80Field.c: F80Field.c: In function 'f80addInPlace':
F80Field.c: F80Field.c:55:11: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
F80Field.c:    55 |         *((uint64_t *) a->coef) ^= *((uint64_t *) b->coef);
F80Field.c:       |          ~^~~~~~~~~~~~~~~~~~~~~
F80Field.c: F80Field.c:55:38: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
F80Field.c:    55 |         *((uint64_t *) a->coef) ^= *((uint64_t *) b->coef);
F80Field.c:       |                                     ~^~~~~~~~~~~~~~~~~~~~~

Namespace violations

LUOV.o BuildAugmentedMatrixFromP1L T
LUOV.o BuildAugmentedMatrixFromQ1 T
LUOV.o EvaluateVinegarPart T
LUOV.o TransformQ1 T
LUOV.o _generateKeyPair T
LUOV.o _sign T
LUOV.o calculateQ2 T
LUOV.o computeTarget T
LUOV.o deserializeQ2 T
LUOV.o evaluatePublicMap T
LUOV.o extractMessage T
LUOV.o generateBigKeyPair T
LUOV.o generateKeyPair T
LUOV.o initializeVinegarSponge T
LUOV.o multiplyByT T
LUOV.o precompute_sign T
LUOV.o precompute_verify T
LUOV.o serializeQ2 T
LUOV.o solvePrivateUOVSystem T
LUOV.o verify T
LUOV.o verify_fast T
LinearAlgebra.o destroy_matrix T
LinearAlgebra.o getUniqueSolution T
LinearAlgebra.o newMatrix T
LinearAlgebra.o printMatrix T
LinearAlgebra.o rowEchelonAugmented T
LinearAlgebra.o rowOp T
LinearAlgebra.o scalarMul2 T
LinearAlgebra.o scaleRow T
LinearAlgebra.o swapRows T
intermediateValues.o printAugmentedMatrix T
intermediateValues.o printEvaluation T
intermediateValues.o printPrivateSolution T
intermediateValues.o printVinegarValues T
intermediateValues.o reportSolutionFound T
keccakrng.o calculateQ1 T
keccakrng.o initializeAndAbsorb T
keccakrng.o squeezeCols T
keccakrng.o squeezeVector T
keccakrng.o squeezeuint64_t T

Namespace violations

Bitcontainer.o squeezeBitcontainerArray T
F16Field.o f16EucildeanDivision T
F16Field.o f16ExtendedEuclideanAlgorithm T
F16Field.o f16antilog T
F16Field.o f16deserialize_FELT T
F16Field.o f16inverse T
F16Field.o f16log T
F16Field.o f16multiply T
F16Field.o f16polyAdd T
F16Field.o f16polyCopy T
F16Field.o f16polyMult T
F16Field.o f16polyOne T
F16Field.o f16polyZero T
F16Field.o f16printFELT T
F16Field.o f16scalarMultiply T
F16Field.o f16serialize_FELT T
F16Field.o isArrayOfZeros T
F32Field.o f32add T
F32Field.o f32addInPlace T
F32Field.o f32deserialize_FELT T
F32Field.o f32inverse T
F32Field.o f32isEqual T
F32Field.o f32multiply T
F32Field.o f32multiplyOld T
F32Field.o f32printFELT T
F32Field.o f32scalarMultiply T
F32Field.o f32serialize_FELT T
F32Field.o newF32FELT T
F48Field.o f48add T
F48Field.o f48addInPlace T
F48Field.o f48deserialize_FELT T
F48Field.o f48inverse T
F48Field.o f48isEqual T
F48Field.o f48multiply T
F48Field.o f48printFELT T
F48Field.o f48scalarMultiply T
F48Field.o f48serialize_FELT T
F48Field.o newF48FELT T
F64Field.o f64add T
F64Field.o f64addInPlace T
F64Field.o f64deserialize_FELT T
F64Field.o f64inverse T
F64Field.o f64isEqual T
F64Field.o f64multiply T
F64Field.o f64printFELT T
F64Field.o f64scalarMultiply T
F64Field.o f64serialize_FELT T
F64Field.o newF64FELT T
F80Field.o f80Scalarmultiply T
F80Field.o f80add T
F80Field.o f80addInPlace T
F80Field.o f80deserialize_FELT T
F80Field.o f80inverse T
F80Field.o f80isEqual T
F80Field.o f80multiply T
F80Field.o f80printFELT T
F80Field.o f80serialize_FELT T
F80Field.o newF80FELT T
F8Field.o f8antilog T
F8Field.o f8deserialize_FELT T
F8Field.o f8inverse T
F8Field.o f8log T
F8Field.o f8multiply T
F8Field.o f8printFELT T
F8Field.o f8serialize_FELT T
LUOV.o BuildAugmentedMatrix T
LUOV.o _addScalarProduct1 T
LUOV.o _addScalarProduct3 T
LUOV.o addScalarProduct T
LUOV.o addScalarProduct3 T
LUOV.o calculateQ2 T
LUOV.o computeTarget T
LUOV.o deserialize_PublicKey T
LUOV.o deserialize_SecretKey T
LUOV.o deserialize_signature T
LUOV.o destroy_PublicKey T
LUOV.o destroy_SecretKey T
LUOV.o destroy_signature T
LUOV.o evaluatePublicMap T
LUOV.o expandTable T
LUOV.o extractMessage T
LUOV.o generateKeyPair T
LUOV.o repeatTable T
LUOV.o serialize_PublicKey T
LUOV.o serialize_SecretKey T
LUOV.o serialize_signature T
LUOV.o signDocument T
LUOV.o solvePrivateUOVSystem T
LUOV.o verify T
LinearAlgebra.o destroy_matrix T
LinearAlgebra.o getUniqueSolution T
LinearAlgebra.o newMatrix T
LinearAlgebra.o printMatrix T
LinearAlgebra.o rowEchelonAugmented T
LinearAlgebra.o rowOp T
LinearAlgebra.o scaleRow T
LinearAlgebra.o swapRows T
LinearAlgebra.o zeroMatrix T
buffer.o deserialize_uint64_t T
buffer.o newReader T
buffer.o newWriter T
buffer.o readBit T
buffer.o serialize_uint64_t T
buffer.o transcribe T
buffer.o writeBit T
intermediateValues.o printAugmentedMatrix T
intermediateValues.o printEvaluation T
intermediateValues.o printPrivateSolution T
intermediateValues.o printVinegarValues T
intermediateValues.o reportSolutionFound T
keccakrng.o initializeAndAbsorb T
keccakrng.o squeezeVector T
keccakrng.o squeezeuint64_t T

Namespace violations

Bitcontainer.o squeezeBitcontainerArray T
F16Field.o f16EucildeanDivision T
F16Field.o f16ExtendedEuclideanAlgorithm T
F16Field.o f16antilog T
F16Field.o f16deserialize_FELT T
F16Field.o f16inverse T
F16Field.o f16log T
F16Field.o f16multiply T
F16Field.o f16polyAdd T
F16Field.o f16polyCopy T
F16Field.o f16polyMult T
F16Field.o f16polyOne T
F16Field.o f16polyZero T
F16Field.o f16printFELT T
F16Field.o f16scalarMultiply T
F16Field.o f16serialize_FELT T
F16Field.o isArrayOfZeros T
F32Field.o f32add T
F32Field.o f32deserialize_FELT T
F32Field.o f32inverse T
F32Field.o f32isEqual T
F32Field.o f32multiply T
F32Field.o f32multiplyOld T
F32Field.o f32printFELT T
F32Field.o f32scalarMultiply T
F32Field.o f32serialize_FELT T
F32Field.o newF32FELT T
F48Field.o f48add T
F48Field.o f48deserialize_FELT T
F48Field.o f48inverse T
F48Field.o f48isEqual T
F48Field.o f48multiply T
F48Field.o f48printFELT T
F48Field.o f48scalarMultiply T
F48Field.o f48serialize_FELT T
F48Field.o newF48FELT T
F64Field.o f64add T
F64Field.o f64deserialize_FELT T
F64Field.o f64inverse T
F64Field.o f64isEqual T
F64Field.o f64multiply T
F64Field.o f64printFELT T
F64Field.o f64scalarMultiply T
F64Field.o f64serialize_FELT T
F64Field.o newF64FELT T
F80Field.o f80Scalarmultiply T
F80Field.o f80add T
F80Field.o f80deserialize_FELT T
F80Field.o f80inverse T
F80Field.o f80isEqual T
F80Field.o f80multiply T
F80Field.o f80printFELT T
F80Field.o f80serialize_FELT T
F80Field.o newF80FELT T
F8Field.o f8antilog T
F8Field.o f8deserialize_FELT T
F8Field.o f8inverse T
F8Field.o f8log T
F8Field.o f8multiply T
F8Field.o f8printFELT T
F8Field.o f8serialize_FELT T
LUOV.o BuildAugmentedMatrix T
LUOV.o calculateQ2 T
LUOV.o computeTarget T
LUOV.o deserialize_PublicKey T
LUOV.o deserialize_SecretKey T
LUOV.o deserialize_signature T
LUOV.o destroy_PublicKey T
LUOV.o destroy_SecretKey T
LUOV.o destroy_signature T
LUOV.o evaluatePublicMap T
LUOV.o extractMessage T
LUOV.o generateKeyPair T
LUOV.o serialize_PublicKey T
LUOV.o serialize_SecretKey T
LUOV.o serialize_signature T
LUOV.o signDocument T
LUOV.o solvePrivateUOVSystem T
LUOV.o verify T
LinearAlgebra.o destroy_matrix T
LinearAlgebra.o getUniqueSolution T
LinearAlgebra.o newMatrix T
LinearAlgebra.o printMatrix T
LinearAlgebra.o rowEchelonAugmented T
LinearAlgebra.o rowOp T
LinearAlgebra.o scaleRow T
LinearAlgebra.o swapRows T
LinearAlgebra.o zeroMatrix T
buffer.o deserialize_uint64_t T
buffer.o newReader T
buffer.o newWriter T
buffer.o readBit T
buffer.o serialize_uint64_t T
buffer.o transcribe T
buffer.o writeBit T
intermediateValues.o printAugmentedMatrix T
intermediateValues.o printEvaluation T
intermediateValues.o printPrivateSolution T
intermediateValues.o printVinegarValues T
intermediateValues.o reportSolutionFound T
keccakrng.o initializeAndAbsorb T
keccakrng.o squeezeVector T
keccakrng.o squeezeuint64_t T