US 12,452,069 B2
Information verification method and apparatus
Gang Di, Beijing (CN); Yang Gao, Beijing (CN); Mengwei He, Beijing (CN); Youcai Qian, Beijing (CN); and Mingyu Cheng, Beijing (CN)
Assigned to DIGITAL CURRENCY INSTITUTE, THE PEOPLE'S BANK OF CHINA, Beijing (CN)
Appl. No. 18/564,535
Filed by Digital Currency Institute, The People's Bank of China, Beijing (CN)
PCT Filed May 26, 2022, PCT No. PCT/CN2022/095259
§ 371(c)(1), (2) Date Nov. 27, 2023,
PCT Pub. No. WO2022/247910, PCT Pub. Date Dec. 1, 2022.
Claims priority of application No. 202110585056.8 (CN), filed on May 27, 2021.
Prior Publication US 2024/0259203 A1, Aug. 1, 2024
Int. Cl. H04L 9/32 (2006.01); G06F 21/60 (2013.01); G06F 21/62 (2013.01); G06F 21/64 (2013.01)
CPC H04L 9/3218 (2013.01) [G06F 21/602 (2013.01); G06F 21/6245 (2013.01); G06F 21/64 (2013.01)] 20 Claims
OG exemplary drawing
 
1. An information verification method, comprising:
constructing a constraint set of a zero-knowledge proof circuit, wherein the constraint set comprises a range attribute verification condition, and the range attribute verification condition is used for verifying whether an attribute value of personal information is within a constraint range of a threshold value;
receiving a verifiable representation, using the verifiable representation as a secret input of the zero-knowledge proof circuit, and generating a personal information credential by the zero-knowledge proof circuit, wherein the verifiable representation is generated by an issuing system of a personal information credential and a holding system of the personal information credential based on personal information to be verified;
in response to receiving decentralized identity information and the threshold value, which are sent by a verification system of the personal information credential, using the decentralized identity information and the threshold value as public inputs of the zero-knowledge proof circuit, and verifying, by the zero-knowledge proof circuit, whether the personal information credential satisfies the constraint set.