Picnic digital signature algorithm based on the zero-knowledge proof system and symmetric key primitives Specs..