{"entities":{"Q6903893":{"pageid":20922607,"ns":120,"title":"Item:Q6903893","lastrevid":84173192,"modified":"2026-05-13T00:59:39Z","type":"item","id":"Q6903893","labels":{"en":{"language":"en","value":"Bounded verification for finite-field-blasting in a compiler for zero knowledge proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8117690"}},"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":"Q6903893$72DB9EBE-E20A-4073-B9C5-FAB3C948850D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"37b2522a0201072e5718d59ecacd8e20be78d7d7","datavalue":{"value":{"text":"Bounded verification for finite-field-blasting in a compiler for zero knowledge proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6903893$0C2224E7-73F9-4D18-94AB-98F5F49B2356","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6901eb0c3f89453695cca992fc75f5570ef1e648","datavalue":{"value":"10.1007/S10703-025-00476-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6903893$DDB02FA5-A62A-4B6C-8E92-8028142E437F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"474e6105f02e45fefcee26c442791da046a2f700","datavalue":{"value":{"entity-type":"item","numeric-id":2104493,"id":"Q2104493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903893$78E9FFB2-96FB-409C-8270-8930440F2C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0056fae7a7fd6c9edb98a5d1ead57326dd007261","datavalue":{"value":{"entity-type":"item","numeric-id":2226605,"id":"Q2226605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903893$E4AB2AC3-6A82-4781-9AF2-6DCDD0DA679B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"04d0ebdbf56a13af400e2c0df2b6f3232fc01ece","datavalue":{"value":{"entity-type":"item","numeric-id":6535684,"id":"Q6535684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903893$2277DA3F-555C-4F2C-9560-D590A5161AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad77f9f95b13763d1bf3e18f3ef5b6900b795f74","datavalue":{"value":{"entity-type":"item","numeric-id":518400,"id":"Q518400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903893$7B1E2DA5-F8AA-48F8-BCA5-F5A3968D6400","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903893$6D880623-8001-44F6-B441-CF22D5741F70","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb362a705940cd90fcce9cff27386cf2e571803f","datavalue":{"value":{"time":"+2025-11-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":"Q6903893$22723870-6599-4AE1-8D40-D63C09B90DAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6903893$CE78B577-7C03-42C9-9E87-A1A4F5721161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6903893$E8D8BFFB-B9FB-4693-9863-26645C00C9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6903893$10813EE4-DBDF-4A29-8C05-714646DC028B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"419e8bcc1ce293c86b34f34ac357155cb255eda4","datavalue":{"value":"8117690","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6903893$6B04FE14-BCA4-468A-B528-2008C26E33F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a72d1c726cabab8d82c5bcf212bd12e8b120a29","datavalue":{"value":"zero-knowledge proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6903893$89158E88-F061-4724-A279-8631B292EDB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac07c7d6c5cdc2dbc4590f3ecbac0ebb59196bea","datavalue":{"value":"finite fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q6903893$8BF02EB4-8E60-4662-ABB4-6F4E32244896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bacd34e911e115e3cfe335809779aa742a58e725","datavalue":{"value":"compilers","type":"string"},"datatype":"string"},"type":"statement","id":"Q6903893$971A8017-0CED-4464-A386-77D494EDB7B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6903893$7EDADD89-A19D-4461-84FF-B7BE3B0D52EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc37cf6bf1a4fd159f089028e999146e64828fa8","datavalue":{"value":"SMT","type":"string"},"datatype":"string"},"type":"statement","id":"Q6903893$1CA10F0B-5A3B-4FEA-A85D-C7B3629B2BDF","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":"Q6903893$36AEB895-C13A-4FDD-BE40-60A9E5724D11","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"47a392816566ea396bd9a2f21a3571a115ceed6f","datavalue":{"value":{"entity-type":"item","numeric-id":2055641,"id":"Q2055641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903893$625CD9B5-BC83-4871-ADD5-68F4FD97373C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bbed57047570d97d4afd4eabda171670dfd2346","datavalue":{"value":{"entity-type":"item","numeric-id":2703808,"id":"Q2703808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903893$A957377C-3BDB-45A3-82AB-BDF4009125D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b4feb58a2ab8f89621eb4513d36fed4a40d625b","datavalue":{"value":{"entity-type":"item","numeric-id":4365519,"id":"Q4365519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903893$4F9DAE51-E5FA-429D-B09D-40968880114D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c43d3a758c32c9727b6e7c98ee661a7017fcc647","datavalue":{"value":{"entity-type":"item","numeric-id":5276160,"id":"Q5276160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903893$50A50006-8237-495D-8755-23FAE99797B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"333782dfe2a782886768e8c7561d4e8bfd035e1a","datavalue":{"value":{"entity-type":"item","numeric-id":2655327,"id":"Q2655327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903893$D0091A45-7EED-4CB3-92A6-A0C1311BA33F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20e8ffdf71a2dfa26522799999273a77b8dfd124","datavalue":{"value":{"entity-type":"item","numeric-id":2051567,"id":"Q2051567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903893$82BC0562-6D99-499A-B563-44EF9F509519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903893$084068E1-89DD-4C64-A0D3-5D884BCB6A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d93e889c52c36a6fb58e10f9eb9b5078b5353ce","datavalue":{"value":{"entity-type":"item","numeric-id":4972072,"id":"Q4972072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903893$530AE240-CBB1-45A4-A757-D7DBCAFF3D78","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bounded verification for finite-field-blasting in a compiler for zero knowledge proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bounded_verification_for_finite-field-blasting_in_a_compiler_for_zero_knowledge_proofs"}}}}}