{"entities":{"Q1633476":{"pageid":1644217,"ns":120,"title":"Item:Q1633476","lastrevid":72390102,"modified":"2026-04-14T04:35:01Z","type":"item","id":"Q1633476","labels":{"en":{"language":"en","value":"Arya: nearly linear-time zero-knowledge proofs for correct program execution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6996132"}},"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":"Q1633476$DDB27AB7-86A0-4A50-A60C-118666810D26","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"901c3e28b4df245d9df40f563030d52fd12a1f34","datavalue":{"value":{"text":"Arya: nearly linear-time zero-knowledge proofs for correct program execution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1633476$DA503340-0528-4C0D-AED5-F123DEA7B3E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae52d24c4d1d1f6f2b2dd56bec93c82f3ff93383","datavalue":{"value":"1446.94108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1633476$520E9EC4-B76D-46CF-9B57-2B37E69122B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"47b052a55b6d82c62069a005e222b55c2e3291af","datavalue":{"value":"10.1007/978-3-030-03326-2_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1633476$D1EBC61E-AABB-46FF-9CEE-8A681F468058","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eea54173c7a7af1742ebb6fb870e5e9696473b1f","datavalue":{"value":{"entity-type":"item","numeric-id":1633468,"id":"Q1633468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633476$A25632FA-FE92-42ED-8B20-D14E2E8B1F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"36e7629c46c9fe357bf019cdb8524bc38bdfdc7a","datavalue":{"value":{"entity-type":"item","numeric-id":1633474,"id":"Q1633474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633476$76159F0D-1992-45AE-8899-76BA6EDA6E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f40c5a81cacc0f7dc100f9bb185602c695eaf53","datavalue":{"value":{"entity-type":"item","numeric-id":290389,"id":"Q290389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633476$5935B399-F9F1-42B2-946A-CA2AF30558C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f7cff59dce06f4ed8e75a8c0b08c7154dda0cf0","datavalue":{"value":{"entity-type":"item","numeric-id":776010,"id":"Q776010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633476$34DD54F5-08B9-4740-BFF6-B27CAF0F23FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c8afce35f6adbb4deb8236759f55e287f55fe62","datavalue":{"value":{"entity-type":"item","numeric-id":306825,"id":"Q306825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633476$9AC5AA36-4B9A-4A82-8519-7EF661786ADE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6dcfa2f686a29b91337cf0e5bf2d36b7222040b6","datavalue":{"value":{"time":"+2018-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1633476$8CD990D4-1E70-464C-89DD-9AB8B89485A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8e5640829e4e3ee6e8fa5f92289bdd3a5b044a2","datavalue":{"value":"https://discovery.ucl.ac.uk/id/eprint/10063978/","type":"string"},"datatype":"url"},"type":"statement","id":"Q1633476$5296B50A-EEAE-44A3-94E9-B2EC68E7C69A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1633476$D91A461D-AB73-41A7-B97D-2F30193B8279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1633476$BB7AE8AF-15F1-4865-89E6-4F3E57AF854D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e91581dee246b28629eaf8ed07a1f0f217078a9","datavalue":{"value":"6996132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1633476$6FACAAD9-7E61-4308-AAAC-DC71E6E64683","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a72d1c726cabab8d82c5bcf212bd12e8b120a29","datavalue":{"value":"zero-knowledge proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1633476$279D0DA9-0DDB-488B-ACAB-59DF4466DCA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45af32cd76c879c61f2cd3c0641a9f6310a8e7bb","datavalue":{"value":"succinct arguments of knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q1633476$74C0612C-E4B8-430A-9A59-A0206356CC7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed22f1f396d2295567df319c483742e322797a92","datavalue":{"value":"TinyRAM","type":"string"},"datatype":"string"},"type":"statement","id":"Q1633476$8271E67B-48C4-431B-B025-C1FDA6B00969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1faff57761fa7049461420cf09001b09573b2e07","datavalue":{"value":"ideal linear commitments","type":"string"},"datatype":"string"},"type":"statement","id":"Q1633476$B8C14A88-9894-42A6-8DE2-148125185334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfb7763d1c30fa8aff048ef6f834a606d919c270","datavalue":{"value":"post-quantum security","type":"string"},"datatype":"string"},"type":"statement","id":"Q1633476$04F6C1D7-C5F4-4853-950C-D48AF693ADE8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e19478a85b3e0383cbd2af1c73b903fecd44c83d","datavalue":{"value":{"entity-type":"item","numeric-id":40217,"id":"Q40217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633476$A46E7BDB-9F24-4981-BD0E-E2B947358165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82fa881df10f2849f6be7bb9366f0c3f7bb59d80","datavalue":{"value":{"entity-type":"item","numeric-id":26503,"id":"Q26503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633476$206CFD9C-EAE4-4771-9CDC-75380C7B808A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c26fbafe519ecef10244a9cc4cc0253b9e516d45","datavalue":{"value":{"entity-type":"item","numeric-id":40218,"id":"Q40218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633476$421AE115-1ADE-4899-A967-1EEEFE32DFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c93b6ade2cf3a1062e2d9cb87b364ad6cc6b6063","datavalue":{"value":{"entity-type":"item","numeric-id":40219,"id":"Q40219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633476$D4B29A0C-0980-4C6A-96A0-288182C44386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9fbbe2c41623726997ace6af6f634b9bba2ce4cf","datavalue":{"value":{"entity-type":"item","numeric-id":40216,"id":"Q40216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633476$7FBC05ED-E040-4522-B24C-6C936E0FCF70","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":"Q1633476$E159E3E8-EBC4-4257-AB2B-F3C6C7DD2E75","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"055aa86376bb7ea720fe0c409511fe3290a423c9","datavalue":{"value":"W2811026317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1633476$C656D4E3-99CC-415C-8FD8-74ECD356EBC3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d286504051425569941a04bc92b7297032f95492","datavalue":{"value":{"entity-type":"item","numeric-id":2849388,"id":"Q2849388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6877b70a39eef6d6a9cc47f71fa71ae8f2b96ed1","datavalue":{"value":{"amount":"+0.8306318521499634","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":"Q1633476$EA3997EC-E2DF-46A4-B3F7-A9AEC582F51C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5be3df071c6113a2fc64a111ef931865b7b2da90","datavalue":{"value":{"entity-type":"item","numeric-id":5738888,"id":"Q5738888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fed7df3fdc983c5b18a2fef5f7893eef8f7832dc","datavalue":{"value":{"amount":"+0.8139485716819763","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":"Q1633476$16CD8BD5-A0C4-4C62-BE73-5FB180A0141E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccc02764ed5977233974027ce203513f1f4fdde7","datavalue":{"value":{"entity-type":"item","numeric-id":1701451,"id":"Q1701451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8cbf4537a57b9399a5b7925d9ecf3f6eca2bc39","datavalue":{"value":{"amount":"+0.8014416694641113","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":"Q1633476$B9363E8C-7389-4BB0-8B51-B9918662D3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebcd01b64452919228f0a0d1963f576a490ee40e","datavalue":{"value":{"entity-type":"item","numeric-id":2304944,"id":"Q2304944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89cbfd8aeb6d609bd77a4349a8f8d53440f81003","datavalue":{"value":{"amount":"+0.7807684540748596","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":"Q1633476$E5B7DD62-E6EB-4D5D-97A1-4DFBFA54CF23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"348930ea81f934e76b8383f15a271432eb5fdd79","datavalue":{"value":{"entity-type":"item","numeric-id":5445495,"id":"Q5445495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08b5cd78c81d32eb5d4b251cc8222483e55205d5","datavalue":{"value":{"amount":"+0.776748538017273","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":"Q1633476$A0C0E362-3915-42EC-A583-7C404A23D8A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Arya: nearly linear-time zero-knowledge proofs for correct program execution","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Arya:_nearly_linear-time_zero-knowledge_proofs_for_correct_program_execution"}}}}}