{"entities":{"Q7361520":{"pageid":31520099,"ns":120,"title":"Item:Q7361520","lastrevid":105368066,"modified":"2026-10-07T13:37:19Z","type":"item","id":"Q7361520","labels":{"en":{"language":"en","value":"Sigma Protocols and Commitment Schemes"}},"descriptions":{"en":{"language":"en","value":"AFP entry Sigma_Commit_Crypto"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c6d4b970dcc6b5bad9b9b3430d76fecdbcd79357","datavalue":{"value":"https://isa-afp.org/entries/Sigma_Commit_Crypto.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361520$7BA8B725-FCD7-4652-B22D-419612681A28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0027e7c78970709c142f5f04013afe779ba5e86b","datavalue":{"value":{"time":"+2019-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361520$E4ED998F-BA61-4087-A9DF-53786456DB5F","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"eaf5cfe9eabf46366475ccea2290546607acfa49","datavalue":{"value":"David Butler","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361520$52C6CC17-22F2-4A97-8D08-2375980DA7A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"480a99c095fd0e6e30ce40dd951da46a627a2bb9","datavalue":{"value":"Andreas Lochbihler","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361520$287F68E4-0BB4-4225-8166-8D0A34795DFD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19b00620826f2e67d7e871377fe2c46815af2360","datavalue":{"value":{"text":"Sigma Protocols and Commitment Schemes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361520$BF3BC0DA-C850-498D-9817-818C0DCF2069","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f6286bb612ca976a1f5000697dc11bb822f0d64c","datavalue":{"value":"We use CryptHOL to formalise commitment schemes and Sigma-protocols. Both are widely used fundamental two party cryptographic primitives. Security for commitment schemes is considered using game-based definitions whereas the security of Sigma-protocols is considered using both the game-based and simulation-based security paradigms. In this work, we first define security for both primitives and then prove secure multiple case studies: the Schnorr, Chaum-Pedersen and Okamoto Sigma-protocols as well as a construction that allows for compound (AND and OR statements) Sigma-protocols and the Pedersen and Rivest commitment schemes. We also prove that commitment schemes can be constructed from Sigma-protocols. We formalise this proof at an abstract level, only assuming the existence of a Sigma-protocol; consequently, the instantiations of this result for the concrete Sigma-protocols we consider come for free.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361520$5EA675F5-4780-4D65-92CD-D5C55D0D63A0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e6318d0982f3a77cccd75b2de7afbda525f3f0","datavalue":{"value":{"entity-type":"item","numeric-id":4035712,"id":"Q4035712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361520$4844EF9C-6A3D-4623-ABDA-755F4C63BAFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf56dec8252ad1c37ceeaafd971233e9fa863d09","datavalue":{"value":{"entity-type":"item","numeric-id":1687724,"id":"Q1687724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361520$B233A0B8-8788-4576-99DB-D543195060EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dff1f4674bb4f787ae21925f7864822e87c1a6f4","datavalue":{"value":{"entity-type":"item","numeric-id":6091329,"id":"Q6091329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361520$3C9E2E0D-9291-47BD-85D8-BAA9890D8CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81d7e961421242593ff477025e20ae8816ca3de3","datavalue":{"value":{"entity-type":"item","numeric-id":5001636,"id":"Q5001636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361520$4B805F02-FC71-4B02-BE32-B044904F0B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5440a4352b0a6151d3864e3306be5656bc39db8","datavalue":{"value":{"entity-type":"item","numeric-id":1611358,"id":"Q1611358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361520$ABF8161F-F9A2-437F-8CBA-B0D5E5CCA4F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9555fd6e13661952c64bc2d93f0ff961be1bbd46","datavalue":{"value":{"entity-type":"item","numeric-id":1180508,"id":"Q1180508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361520$734A7BB1-F580-41F3-98A3-F3B7536CEF83","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361520$929ED0E8-C22E-4F9F-97EB-928BD660BA9F","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"ade26dda0279fbc4dc5dce2aaa38eba4ae21c47f","datavalue":{"value":{"entity-type":"item","numeric-id":7361923,"id":"Q7361923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361520$C7C69DD8-7FE9-4B07-912E-AA0DDEA820E7","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"67cfe7e765f8f36de5d26ce854526f3fec39cd26","datavalue":{"value":{"entity-type":"item","numeric-id":7360802,"id":"Q7360802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361520$81C4978E-7878-4E09-9D90-105FD07B5D45","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361520$1C62EC27-75FA-4033-8370-D826DE8F9459","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sigma Protocols and Commitment Schemes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sigma_Protocols_and_Commitment_Schemes"}}}}}