{"entities":{"Q1180509":{"pageid":1191258,"ns":120,"title":"Item:Q1180509","lastrevid":66776169,"modified":"2026-04-12T12:46:56Z","type":"item","id":"Q1180509","labels":{"en":{"language":"en","value":"Practic zero-knowledge proofs: Giving hints and using deficiencies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 25946"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180509$002BD9DC-7A1B-4339-A625-469CB8D4F2C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6057a2d89108b14f1d25ff8294bc67666ce0eb8","datavalue":{"value":{"text":"Practic zero-knowledge proofs: Giving hints and using deficiencies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1180509$6A4A7029-48DC-428E-A84D-9CBDECE47CAE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0d85bcdb1b663e442fe011ffa32aa9ca266f16c","datavalue":{"value":"0755.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1180509$94C248DC-FDED-424A-94FE-46118DD993D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f2eb9c1c32e953d3856e4e2c4c7bd56a7d48a6f","datavalue":{"value":"10.1007/BF00196727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1180509$1D296F02-B998-43D0-AB0F-178207A1ED93","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b9b93bb4e6abc1ac0f2a637e5926c78cfe4853c","datavalue":{"value":{"entity-type":"item","numeric-id":839635,"id":"Q839635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180509$3DAEACDC-8618-4879-82A9-E764471D2362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0fd4ba6ae24b50fd6533c8567e1f545fe3cfc8c0","datavalue":{"value":{"entity-type":"item","numeric-id":699763,"id":"Q699763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180509$330412E7-599C-477C-9F69-9F62C8A40CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc7d1a4eaf68ad28c765a87d96a0e4f61af86791","datavalue":{"value":{"entity-type":"item","numeric-id":2453542,"id":"Q2453542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180509$5CD5EAA3-E049-4B6B-B78A-0B2A1265660C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d5eab3bbb3b6673353b9ed770934b15d004ef795","datavalue":{"value":{"entity-type":"item","numeric-id":166358,"id":"Q166358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180509$597B80E3-3CF1-471F-81D3-AF09C25B1805","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70844ffc4666eabac4e20376c648613dbe8620f7","datavalue":{"value":{"time":"+1992-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1180509$74B77DEC-712E-4F46-9DE3-E001B49F59BE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ef32b59a9979178d1abf2553efc192f3f15e5946","datavalue":{"value":"The paper presents a practical zero-knowledge proof for a special case of primitivity. The protocol, which shows that an element of the multiplicative group module a prime \\(p\\) is a generator, only requires that the prover be probabilistic polynomial time, though he must know the complete factorization of \\(p-1\\). Other known protocols for this proof make use of the computation of discrete logarithms. Here the authors get round this problem by having the verifier giving the prover ``hints'' which will help the last one to find the discrete logarithms in question.   Unfortunately, the part of the protocol which shows that an element is a primitive fails in some cases if \\(p-1\\) has large square factors. However, this failure is so well-defined that the authors can use it in a zero- knowledge proof that a number \\(n\\) is not square, free. However, this proof is zero-knowledge only under a certain reasonable intractability assumption and is thus only computational zero-knowledge rather than perfect or statistical zero-knowledge. The protocol does not, however, involve any bit encryptions (blobs). Those ``blobs'' have been used before in all previous ``natura'' zero-knowledge proofs for this problem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1180509$BF8B411D-8B93-4F22-B5C2-DA4CF4C6A17D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1180509$BE5E3B14-411F-4CB1-A6A1-A2195D9F36A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1180509$06A64CC0-B16F-4DF5-BC80-85566FFCD7FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8345a47a4b46418e381b7c0e64846cf3d51fea24","datavalue":{"value":"25946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1180509$D15AAA00-FBC6-416E-93AF-0AB1AE1329A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75f7fe19f725521885c5a40b8a361664ab1a2991","datavalue":{"value":"efficiency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1180509$EFF8C96B-4C1C-45AF-9DDA-078F27B8BF62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"509f0d063fdfc0647b1509127fb1de4d70ecc7a7","datavalue":{"value":"number-theoretic problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1180509$D43219D0-818C-464D-838D-A571EB623188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be8d3edd09944f75249407bd940adbd5a84e4713","datavalue":{"value":"zero-knowledge proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q1180509$37D9EE3E-EBC0-4FA2-91FD-CE753EE92DB1","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180509$AC64C38A-B229-45F1-948F-2310E6E6BD3E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"68282598c4babea55330cb6529118f9c0c5d82a7","datavalue":{"value":{"entity-type":"item","numeric-id":3783345,"id":"Q3783345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180509$8F2B79CC-CF00-49A7-B4B3-6BCC33E781B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e92943cdcf526ef1f35c6c68cf6c5fa410e957c","datavalue":{"value":{"entity-type":"item","numeric-id":3778673,"id":"Q3778673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180509$DB5E396A-0C52-46D4-87FF-C9D8F31192C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ceef5307961d7894eb83c6ef5e3560792b4f1dd","datavalue":{"value":{"entity-type":"item","numeric-id":5659665,"id":"Q5659665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180509$325932C5-3CA9-4F3A-A91A-4A17A208DE8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac4b8e7cf4034c184fb2852754739a22a4e70036","datavalue":{"value":{"entity-type":"item","numeric-id":1108004,"id":"Q1108004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180509$B3B7D942-C5F3-40BF-9A6A-3B549DD66889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"514dd73ad647fc614d99591897112c8b00c01c7d","datavalue":{"value":{"entity-type":"item","numeric-id":3777938,"id":"Q3777938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180509$F9C1FF07-5694-47DA-86B8-FA692D0071AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec0b37814753bf77441063e433b0e7d82275e935","datavalue":{"value":{"entity-type":"item","numeric-id":3792628,"id":"Q3792628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180509$5FCACC85-2E27-4842-93EC-59FE8F73BBED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e483b42d953ceec45e551db0764b60b8c1cdc0c4","datavalue":{"value":{"entity-type":"item","numeric-id":3780991,"id":"Q3780991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180509$9503A26C-5B7E-4A2E-BF13-DEF4EADB2DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42487bed5eb1c94bfc00e524909eea26f10e3d1e","datavalue":{"value":{"entity-type":"item","numeric-id":5542212,"id":"Q5542212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180509$51B18B1F-0B58-4FAF-AA78-9D5BC82AEE60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49ee1410bd306d6722cc2c176479c826bbb0715d","datavalue":{"value":{"entity-type":"item","numeric-id":3722415,"id":"Q3722415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180509$DF8D6499-BE8F-4E8D-8EDC-EBF7D1D908AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18d61579d9949e96d2a3d9ee11cbf91e51d5f0d6","datavalue":{"value":{"entity-type":"item","numeric-id":1112785,"id":"Q1112785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180509$9B832A02-ABC9-40A6-B206-67652778E4B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de59f0cf141dff83116d26c2d605ee8fde2c064a","datavalue":{"value":{"entity-type":"item","numeric-id":3210166,"id":"Q3210166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180509$1A71695D-ACA5-4FFF-AA33-3BE9235EA716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97992a43a05eecff38c5d0c13f42180cb25e5a9d","datavalue":{"value":{"entity-type":"item","numeric-id":5750402,"id":"Q5750402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180509$4E61787D-C8D7-434B-8BD3-411D59FEA445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb4c62e6619c90e64a6184568783067da56015e6","datavalue":{"value":{"entity-type":"item","numeric-id":4302852,"id":"Q4302852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180509$1657D645-4599-46E7-9EF8-A1271807D6A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b548fb76f8ef8a56f9223030f407f1a96f0c7ba1","datavalue":{"value":{"entity-type":"item","numeric-id":1057832,"id":"Q1057832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180509$9E64A777-9F77-4EC8-89B0-2A93B3788FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae477ba2300400eec2908d55329cb4248dc074d4","datavalue":{"value":{"entity-type":"item","numeric-id":3833627,"id":"Q3833627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180509$67CF9E63-E739-469F-B7FA-628B9C940B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd7032bf8b790004ef26cd2cd2c0a6a0bb01a543","datavalue":{"value":{"entity-type":"item","numeric-id":3791077,"id":"Q3791077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180509$20E5A508-2B8A-4F5C-9F71-403321FF30BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa0540fd78fb7a7ac36ecb95287d9deaac0fb1e2","datavalue":{"value":{"entity-type":"item","numeric-id":5585021,"id":"Q5585021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180509$A047CE39-8AA6-4A46-A46B-F33B330D0EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff777be63b91ba136763fd1864340ab7856c51e4","datavalue":{"value":{"entity-type":"item","numeric-id":3910619,"id":"Q3910619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180509$39B77BBB-7756-43C4-816F-066D154EAA8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6a88e7c87651eeb3ff2433bf71733b763895cdc","datavalue":{"value":{"entity-type":"item","numeric-id":2626710,"id":"Q2626710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180509$AEA98F5B-E28E-4FFB-8A25-7208C5EA1E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba574a3fa69782816566925d59607182b871e147","datavalue":{"value":{"entity-type":"item","numeric-id":4193559,"id":"Q4193559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180509$52D13C58-A8FD-4128-BCEA-68436322DE5D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e59059626bae62713733dcffa39354fdb41f7e99","datavalue":{"value":{"entity-type":"item","numeric-id":3358224,"id":"Q3358224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2520e6592135c7c626512218bee8d4232cab8c9a","datavalue":{"value":{"amount":"+0.8711181879043579","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1180509$068198C6-4005-4861-98E0-C6C1D7539E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adb4f201923a1ead152e9b43605cd4a73265ec66","datavalue":{"value":{"entity-type":"item","numeric-id":913490,"id":"Q913490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9de689e94312c87cf3d3a0bd69e03f7417d5d3bd","datavalue":{"value":{"amount":"+0.803118884563446","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1180509$35CAE5EA-729A-437F-8E0D-717681193A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"721b7421546ca2712b138be666de1bb7e7b07fcc","datavalue":{"value":{"entity-type":"item","numeric-id":4019982,"id":"Q4019982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"904fec65475ea82c5c03d2d641a0d0518bd66a14","datavalue":{"value":{"amount":"+0.7948641777038574","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1180509$93A6C469-1D35-4CEA-82F9-60049025DA61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f859ac7c03ca210c95d92c41f4ffc4068abe37a","datavalue":{"value":{"entity-type":"item","numeric-id":4250757,"id":"Q4250757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a22dbfc7f47391b4009a8a99d65804b3c1d70b5","datavalue":{"value":{"amount":"+0.7885317206382751","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1180509$9257E850-A864-4E3A-8597-05A35221F261","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Practic zero-knowledge proofs: Giving hints and using deficiencies","badges":[]}}}}}