{"entities":{"Q7361654":{"pageid":31520501,"ns":120,"title":"Item:Q7361654","lastrevid":105366926,"modified":"2026-10-07T13:36:43Z","type":"item","id":"Q7361654","labels":{"en":{"language":"en","value":"CRYSTALS-Kyber"}},"descriptions":{"en":{"language":"en","value":"AFP entry CRYSTALS-Kyber"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e25eeee178c461d64bbb392244787b12e0bbde2","datavalue":{"value":"https://isa-afp.org/entries/CRYSTALS-Kyber.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361654$1026E2BC-AE6C-4C12-8E85-7D1E00A29ECF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"415c6c2e69acd4231da012444bdf064389ad9caf","datavalue":{"value":{"time":"+2022-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361654$CF926A8F-778D-42FB-9562-2883C2343EF6","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"5c7a061d577dcccfffdf73a25e38b5684211d46b","datavalue":{"value":"Katharina Kreuzer","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361654$1A99C61E-3B5E-4AFE-AD22-B5461D6223D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9185e1e8ad0c3ad2992405b79a1ccb6980aff921","datavalue":{"value":{"text":"CRYSTALS-Kyber","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361654$FE4B0734-3A59-48CA-96E8-680DCB2D3345","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"13304953c011af1088337d1c3e1bac401316095d","datavalue":{"value":"This article formalizes the specification and the algorithm of the cryptographic scheme CRYSTALS-KYBER with multiplication using the Number Theoretic Transform and verifies its (1-\u03b4)-correctness proof. CRYSTALS-KYBER is a key encapsulation mechanism in lattice-based post-quantum cryptography. This entry formalizes the key generation, encryption and decryption algorithms and shows that the algorithm decodes correctly under a highly probable assumption ((1-\u03b4)-correctness). Moreover, the Number Theoretic Transform (NTT) in the case of Kyber and the convolution theorem thereon is formalized.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361654$399B3F6F-E88E-429C-AD63-65A569F9CD62","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":"Q7361654$449725A8-F037-484B-B958-F1D32CD7388A","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"58b378310c3c01d83cef379d83129d9bd06f9769","datavalue":{"value":{"entity-type":"item","numeric-id":7361750,"id":"Q7361750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361654$1A795E2C-8F08-4CD7-8F38-F7C6C3CE048A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"ad4282da3fa0e94239230f91a1bad757e6974432","datavalue":{"value":{"entity-type":"item","numeric-id":7361001,"id":"Q7361001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361654$F80F1A96-8D8E-4A31-8DB6-5259111B3395","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"ed082e42011d2ebbcbf36c06241a36f1d357174f","datavalue":{"value":{"entity-type":"item","numeric-id":7360801,"id":"Q7360801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361654$48E74028-17AC-4DD5-B917-15636BF247B4","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":"Q7361654$422F7F1A-5EFD-4C4E-B66C-9B07E87F429F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"CRYSTALS-Kyber","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/CRYSTALS-Kyber"}}}}}