{
   The input to expandChallenge is declassified
   Memcheck:Cond
   ...
   fun:expandChallenge
   fun:HCP
   fun:sign_picnic3
   fun:oqs_sig_picnic_impl_sign_picnic3
   fun:oqs_sig_picnic_sign
}
{
   The list of missing leaves is not secret
   Memcheck:Cond
   ...
   fun:getMissingLeavesList
   fun:sign_picnic3
   fun:oqs_sig_picnic_impl_sign_picnic3
   fun:oqs_sig_picnic_sign
}
{
   The list of revealed nodes is not secret
   Memcheck:Cond
   ...
   fun:oqs_sig_picnic_revealSeeds
   fun:sign_picnic3
   fun:oqs_sig_picnic_impl_sign_picnic3
   fun:oqs_sig_picnic_sign
}
{
   The list of revealed nodes is not secret
   Memcheck:Value8
   ...
   fun:oqs_sig_picnic_revealSeeds
   fun:sign_picnic3
   fun:oqs_sig_picnic_impl_sign_picnic3
   fun:oqs_sig_picnic_sign
}
{
   debug output on failure
   Memcheck:Cond
   src:picnic3_impl.c:625 # fun:sign_picnic3
   fun:oqs_sig_picnic_impl_sign_picnic3
}
{
   conditional on unitialized value (hash context init in commit)
   Memcheck:Cond
   ...
   fun:keccak_inc_absorb
   fun:OQS_SHA3_shake*_inc_absorb
   fun:hash_update
   src:picnic3_impl.c:106 # fun:commit
   fun:sign_picnic3
}
{
   use of unitialized value (hash context init in commit)
   Memcheck:Value8
   ...
   fun:keccak_inc_absorb
   fun:OQS_SHA3_shake*_inc_absorb
   fun:hash_update
   src:picnic3_impl.c:106 # fun:commit
   fun:sign_picnic3
}
{
   conditional on unitialized value (hash context init in commit)
   Memcheck:Cond
   ...
   fun:OQS_SHA3_shake*_inc_absorb
   fun:hash_update
   src:picnic3_impl.c:109 # fun:commit
   fun:sign_picnic3
}
{
   use of unitialized value (hash context init in commit)
   Memcheck:Value8
   ...
   fun:OQS_SHA3_shake*_inc_absorb
   fun:hash_update
   src:picnic3_impl.c:109 # fun:commit
   fun:sign_picnic3
}
{
   challengeC is declassified
   Memcheck:Cond
   fun:contains
   src:picnic3_impl.c:673 # fun:sign_picnic3
   fun:oqs_sig_picnic_impl_sign_picnic3
   fun:oqs_sig_picnic_sign
}
{
   challengeC is declassified
   Memcheck:Cond
   fun:indexOf
   src:picnic3_impl.c:675 # fun:sign_picnic3
   fun:oqs_sig_picnic_impl_sign_picnic3
   fun:oqs_sig_picnic_sign
}
{
   challengeP is declassified
   Memcheck:Cond
   src:picnic3_impl.c:686 # fun:sign_picnic3
   fun:oqs_sig_picnic_impl_sign_picnic3
   fun:oqs_sig_picnic_sign
}
{
   challengeP is declassified
   Memcheck:Value8
   src:picnic3_impl.c:691 # fun:sign_picnic3
   fun:oqs_sig_picnic_impl_sign_picnic3
   fun:oqs_sig_picnic_sign
}
{
   Index of the unopened party is declassified
   Memcheck:Cond
   src:picnic3_impl.c:695 # fun:sign_picnic3
   fun:oqs_sig_picnic_impl_sign_picnic3
   fun:oqs_sig_picnic_sign
}
{
   Index of the unopened party is declassified
   Memcheck:Cond
   fun:oqs_sig_picnic_getLeaf
   src:picnic3_impl.c:696 # fun:sign_picnic3
   fun:oqs_sig_picnic_impl_sign_picnic3
   fun:oqs_sig_picnic_sign
}
{
   Index of the unopened party is declassified
   Memcheck:Value8
   fun:oqs_sig_picnic_getLeaf
   src:picnic3_impl.c:696 # fun:sign_picnic3
   fun:oqs_sig_picnic_impl_sign_picnic3
   fun:oqs_sig_picnic_sign
}
{
   Index of the unopened party is declassified
   Memcheck:Cond
   fun:oqs_sig_picnic_getLeaf
   src:picnic3_impl.c:699 # fun:sign_picnic3
   fun:oqs_sig_picnic_impl_sign_picnic3
   fun:oqs_sig_picnic_sign
}
{
   Index of the unopened party is declassified
   Memcheck:Value8
   fun:oqs_sig_picnic_getLeaf
   src:picnic3_impl.c:699 # fun:sign_picnic3
   fun:oqs_sig_picnic_impl_sign_picnic3
   fun:oqs_sig_picnic_sign
}
{
   The signature does not need to be serialized in constant time
   Memcheck:Cond
   ...
   fun:serializeSignature2
   fun:oqs_sig_picnic_impl_sign_picnic3
   fun:oqs_sig_picnic_sign
}
{
   The return value of "timingsafe_bcmp" is declassified
   Memcheck:Cond
   src:picnic3_simulate.c.i:44 # fun:lowmc_simulate_online_s128_129_43
   fun:sign_picnic3
   fun:oqs_sig_picnic_impl_sign_picnic3
   fun:oqs_sig_picnic_sign
}
{
   Variable is initialized
   Memcheck:Cond
   fun:oqs_sig_picnic_getLeaf
   fun:sign_picnic3
   fun:oqs_sig_picnic_impl_sign_picnic3
   fun:oqs_sig_picnic_sign
   fun:common_picnic_sign
 }
 {
   Variable is initialized
   Memcheck:Value8
   fun:KeccakP1600_AddLanes
   fun:KeccakP1600_AddBytes
   fun:keccak_inc_absorb
   fun:OQS_SHA3_shake256_inc_absorb
   fun:hash_update
   fun:commit
   fun:sign_picnic3
   fun:oqs_sig_picnic_impl_sign_picnic3
   fun:oqs_sig_picnic_sign
   fun:common_picnic_sign
}
{
   Variable is initialized
   Memcheck:Cond
   fun:KeccakP1600_AddLanes
   fun:KeccakP1600_AddBytes
   fun:keccak_inc_absorb
   fun:OQS_SHA3_shake256_inc_absorb
   fun:hash_update
   fun:commit
   fun:sign_picnic3
   fun:oqs_sig_picnic_impl_sign_picnic3
   fun:oqs_sig_picnic_sign
   fun:common_picnic_sign
}
{
   Variable is initialized
   Memcheck:Cond
   fun:sign_picnic3
   fun:oqs_sig_picnic_impl_sign_picnic3
   fun:oqs_sig_picnic_sign
   fun:common_picnic_sign
}
{
   Variable is initialized
   Memcheck:Value8
   fun:sign_picnic3
   fun:oqs_sig_picnic_impl_sign_picnic3
   fun:oqs_sig_picnic_sign
   fun:common_picnic_sign
}
{
   Variable is initialized
   Memcheck:Cond
   fun:indexOf
   fun:sign_picnic3
   fun:oqs_sig_picnic_impl_sign_picnic3
   fun:oqs_sig_picnic_sign
   fun:common_picnic_sign
}
{
   Variable is initialized
   Memcheck:Cond
   fun:contains
   fun:sign_picnic3
   fun:oqs_sig_picnic_impl_sign_picnic3
   fun:oqs_sig_picnic_sign
   fun:common_picnic_sign
}
{
   Variable is initialized
   Memcheck:Value8
   fun:KeccakP1600_AddLanes
   fun:KeccakP1600_AddBytes
   fun:keccak_inc_absorb
   fun:OQS_SHA3_shake128_inc_absorb
   fun:hash_update
   fun:commit
   fun:sign_picnic3
   fun:oqs_sig_picnic_impl_sign_picnic3
   fun:oqs_sig_picnic_sign
   fun:common_picnic_sign
}
{
   Variable is initialized
   Memcheck:Cond
   fun:KeccakP1600_AddLanes
   fun:KeccakP1600_AddBytes
   fun:keccak_inc_absorb
   fun:OQS_SHA3_shake128_inc_absorb
   fun:hash_update
   fun:commit
   fun:sign_picnic3
   fun:oqs_sig_picnic_impl_sign_picnic3
   fun:oqs_sig_picnic_sign
   fun:common_picnic_sign
}