Cryptographic devices and methods for generating and verifying commitments from linearly homomorphic signatures
AssigneeThomson Licensing
InventorsMarc JOYE, Benoit LIBERT
Life of this patent
Estimating the term…
Abstract
A processor of a device generates a cryptographic commitment by receiving a vector {right arrow over (m)}, a public verification key of a homomorphic signature scheme, and a tag; choosing a signature σ in the signature space; generating a commitment c by running the verification algorithm of the homomorphic signature scheme; and outputting the commitment c as intermediate values resulting from the verification algorithm.
Claims13
A method of generating a non-malleable cryptographic commitment, the method comprising the steps in a processor of a device, of:
- receiving a vector {right arrow over (m)}, a public verification key of a homomorphic signature scheme associated with a space where signatures live, and a tag;
- choosing an element σ in the space where signatures live;
- generating a commitment c using the vector {right arrow over (m)}, the public verification key, the tag and the element σ;
- and
- outputting the commitment c;
- wherein the commitment c is generated by evaluating a linear function F used in a verification algorithm of the homomorphic signature scheme on the vector {right arrow over (m)}, the public verification key, the tag and the element σ.
A device for generating a non-malleable cryptographic commitment, the device comprising:
- at least one interface configured to:
- receive a vector {right arrow over (m)}, a public verification key of a homomorphic signature scheme associated with a space where signatures live, and a tag;
- and
- output a commitment c;
- and
- a processor configured to:
- choose an element σ in the space where signatures live;
- and
- generate the commitment c using the vector {right arrow over (m)}, the public verification key, the tag and the element σ;
- wherein the processor is configured to generate the commitment c by evaluating a linear function Fused in a verification algorithm of the homomorphic signature scheme on the vector {right arrow over (m)}, the public verification key, the tag and the element σ.
Dependencies are inferred from the claim text.