rows { options { physical_type: PHYSICAL_STREAM_TYPE_QUADS max_name_table_size: 128 max_prefix_table_size: 16 max_datatype_table_size: 16 logical_type: LOGICAL_STREAM_TYPE_DATASETS version: 2 } } rows { prefix { value: "https://w3id.org/sciencelive/np/" } } rows { name { value: "RA2umDr4wFHRCk343H1FmxYsx2ijsZZ8tYtcfrWKdn7xI" } } rows { namespace { name: "this" value { prefix_id: 1 } } } rows { prefix { value: "https://w3id.org/sciencelive/np/RA2umDr4wFHRCk343H1FmxYsx2ijsZZ8tYtcfrWKdn7xI/" } } rows { name { } } rows { namespace { name: "sub" value { prefix_id: 2 } } } rows { prefix { value: "http://www.nanopub.org/nschema#" } } rows { namespace { name: "np" value { prefix_id: 3 name_id: 2 } } } rows { prefix { value: "http://www.w3.org/1999/02/22-rdf-syntax-ns#" } } rows { namespace { name: "rdf" value { prefix_id: 4 name_id: 2 } } } rows { prefix { value: "http://www.w3.org/ns/prov#" } } rows { namespace { name: "prov" value { prefix_id: 5 name_id: 2 } } } rows { prefix { value: "http://purl.org/nanopub/x/" } } rows { namespace { name: "npx" value { prefix_id: 6 name_id: 2 } } } rows { prefix { value: "http://purl.org/dc/terms/" } } rows { namespace { name: "dc" value { prefix_id: 7 name_id: 2 } } } rows { prefix { value: "http://www.w3.org/2001/XMLSchema#" } } rows { namespace { name: "xsd" value { prefix_id: 8 name_id: 2 } } } rows { name { value: "hasAssertion" } } rows { name { value: "assertion" } } rows { name { value: "Head" } } rows { quad { s_iri { prefix_id: 1 name_id: 1 } p_iri { prefix_id: 3 name_id: 3 } o_iri { prefix_id: 2 } g_iri { } } } rows { name { value: "hasProvenance" } } rows { name { value: "provenance" } } rows { quad { p_iri { prefix_id: 3 } o_iri { prefix_id: 2 } } } rows { name { value: "hasPublicationInfo" } } rows { name { value: "pubinfo" } } rows { quad { p_iri { prefix_id: 3 } o_iri { prefix_id: 2 } } } rows { name { value: "type" } } rows { name { value: "Nanopublication" } } rows { quad { p_iri { prefix_id: 4 } o_iri { prefix_id: 3 } } } rows { name { value: "zkp-replication-outcome" } } rows { prefix { value: "http://schema.org/" } } rows { name { value: "endDate" } } rows { quad { s_iri { prefix_id: 2 } p_iri { prefix_id: 9 } o_literal { lex: "2026-04-11" } g_iri { prefix_id: 2 name_id: 4 } } } rows { prefix { value: "https://w3id.org/sciencelive/o/terms/" } } rows { name { value: "FORRT-Replication-Outcome" } } rows { quad { p_iri { prefix_id: 4 name_id: 10 } o_iri { prefix_id: 10 name_id: 14 } } } rows { prefix { value: "http://www.w3.org/2000/01/rdf-schema#" } } rows { name { value: "label" } } rows { quad { p_iri { prefix_id: 11 } o_literal { lex: "ZKP compliance verification validated with synthetic Donana sensor data " } } } rows { name { value: "hasConclusionDescription" } } rows { quad { p_iri { prefix_id: 10 } o_literal { lex: "The zk-SNARK-based compliance verification works as proposed. A valid Groth16 proof of 805 bytes is generated in 0.3 seconds and verified in 0.25 seconds for 24 hourly readings. The circuit correctly rejects non-compliant inputs, making fraudulent proofs computationally infeasible." } } } rows { name { value: "hasConfidenceLevel" } } rows { name { value: "HighConfidence" } } rows { quad { p_iri { } o_iri { } } } rows { name { value: "hasEvidenceDescription" } } rows { quad { p_iri { } o_literal { lex: "Proof size: 805 bytes. Proof generation: 0.3s. Verification: 0.25s. Circuit constraints: 1536 non-linear for 24 readings. Fraudulent input (one reading above threshold) fails at witness generation as expected." } } } rows { name { value: "hasLimitationsDescription" } } rows { quad { p_iri { } o_literal { lex: "Synthetic data only. No EdDSA signature verification inside circuit. Single-party proof, not multi-party supply chain. Circuit size is fixed at compile time." } } } rows { name { value: "hasOutcomeRepository" } } rows { prefix { value: "https://github.com/annefou/" } } rows { name { value: "zkp-environmental-compliance" } } rows { quad { p_iri { } o_iri { prefix_id: 12 } } } rows { name { value: "hasValidationStatus" } } rows { name { value: "Validated" } } rows { quad { p_iri { prefix_id: 10 } o_iri { } } } rows { name { value: "isOutcomeOf" } } rows { prefix { value: "https://w3id.org/sciencelive/np/RAZXfd2G6MUaJKRnxBPnUGHk5ATg5NNFGkEDWE9YiU_fo/" } } rows { name { value: "zkp-replication-walkthrough" } } rows { quad { p_iri { } o_iri { prefix_id: 13 } } } rows { name { value: "wasAttributedTo" } } rows { prefix { value: "https://orcid.org/" } } rows { name { value: "0000-0002-1784-2920" } } rows { quad { s_iri { prefix_id: 2 name_id: 4 } p_iri { prefix_id: 5 name_id: 27 } o_iri { prefix_id: 14 } g_iri { prefix_id: 2 name_id: 7 } } } rows { prefix { value: "http://xmlns.com/foaf/0.1/" } } rows { name { value: "name" } } rows { quad { s_iri { prefix_id: 14 name_id: 28 } p_iri { prefix_id: 15 } o_literal { lex: " Anne Fouilloux" } g_iri { prefix_id: 2 name_id: 9 } } } rows { name { value: "created" } } rows { datatype { value: "http://www.w3.org/2001/XMLSchema#dateTime" } } rows { quad { s_iri { prefix_id: 1 name_id: 1 } p_iri { prefix_id: 7 name_id: 30 } o_literal { lex: "2026-04-12T21:08:24.496Z" datatype: 1 } } } rows { name { value: "creator" } } rows { quad { p_iri { } o_iri { prefix_id: 14 name_id: 28 } } } rows { name { value: "license" } } rows { prefix { value: "https://creativecommons.org/licenses/by/4.0/" } } rows { quad { p_iri { prefix_id: 7 name_id: 32 } o_iri { prefix_id: 16 name_id: 2 } } } rows { name { value: "introduces" } } rows { quad { p_iri { prefix_id: 6 name_id: 33 } o_iri { prefix_id: 2 name_id: 12 } } } rows { name { value: "wasCreatedAt" } } rows { prefix { id: 8 value: "https://" } } rows { name { value: "platform.sciencelive4all.org" } } rows { quad { p_iri { prefix_id: 6 name_id: 34 } o_iri { prefix_id: 8 } } } rows { name { value: "ExampleNanopub" } } rows { quad { p_iri { prefix_id: 4 name_id: 10 } o_iri { prefix_id: 6 name_id: 36 } } } rows { quad { p_iri { prefix_id: 11 name_id: 15 } o_literal { lex: "NP created using Declaring a replication study outcome according to FORRT" } } } rows { prefix { id: 3 value: "https://w3id.org/np/o/ntemplate/" } } rows { name { value: "wasCreatedFromTemplate" } } rows { prefix { id: 9 value: "https://w3id.org/np/" } } rows { name { value: "RA2zljn0Nw9SadppOyxZoh-_Rxosslrq-vYG-p9SttnJE" } } rows { quad { p_iri { prefix_id: 3 name_id: 37 } o_iri { prefix_id: 9 } } } rows { name { value: "sig" } } rows { name { value: "hasAlgorithm" } } rows { quad { s_iri { prefix_id: 2 } p_iri { prefix_id: 6 } o_literal { lex: "RSA" } } } rows { name { value: "hasPublicKey" } } rows { quad { p_iri { } o_literal { lex: "MIICIjANBgkqhkiG9w0BAQEFAAOCAg8AMIICCgKCAgEAoDcOiD+jen8awiJ6DB2ewDw66PeG64hODmgNFwy7GrwQui4HKnHdvxd++1UhTgiOfycxyxBb7sXPSikLw/1TsSyPsEl0P3/+600szxpTGgLNzW+bZ2DVP3d8ERMV1aWpH0ci3B/5vmK+vXQZ4uCoq57NE0MiFg5c13Gy0gd6n7wZYEhYM4AjWSLL0QS/HY+TFZMYL9bCFeATennGrlB2UEjRlw21UB2Ah16ZZ6hxQlfctFJZE7TGnBJPB3ttTjfcOfamhjZVwQ0yV9mv7x6PGiSmkzpJTVLjn8hagoKT05YUwVQArFb+w7f6sXqvvljMigjd/Rbqgbye/lLUAZLfJSnFM58TubfpEJvXV4zNMDEoT3VQ7dokgoLgMrmjZCKATtQ7gomocoTJ1NhN2esRNtGzWaS2obL/mueUQlMlavssZnqL8WICkdAuDlwDVNbsbwEWKQ50kiPdAdduSigifxA4CM7TgvnxqZVoAResEGP6UhTTem3T4CsbEas1Caj9wa7M1jPjACu5LF5BwcVns3ZQHWLipjRjD+9/ur3G8QtuxbNhmXlDYQ6tXxB1lK+Oz7O519b3bA15ilzFl0SdvMBGTe46xaQ9DsJT18THKnPbUhNMy0dH0VtzpB+EEaXZ25Fp9VHMEUqo1lLS9e89eO3efiqkESKQ7wmB+/DlIRcCAwEAAQ==" } } } rows { name { value: "hasSignature" } } rows { quad { p_iri { } o_literal { lex: "M+OsK8lYn8S+dX/QdKq4htx9d/cyKaz5jdzSBFhYzUB5dLH3uW97TwJcWwZmfIIBqjwhNLFdl5HBs6cOkcspcI1TElII8W9ExHI/m9hlvc/vuzD0hu/SFrbHH197ZGGcXVcVj5Bc1T+PM3FMqCNjHkNe+CrQ1F9EtYBXlvbJG7wI9QKiqMDU5HnDSo9+vuAwytbxDdyFVon1ApKDVvIE+BDI0wuYP7eNra7YVuyD9ExefETt7o73Owf8cC0mG5lhjQsOXbFVSHCsdNgdCe4LCkjl/cuA+42n0345DXqEoGgzLzuYoCRbkQHYVZqP3ycA3GSRNSvtkAWJ0m10cdfyLwwBTMQ/tiJMAfhR/oc6c0sh9HNWL1fOvsSbXqociJ6yLOE52VreENEPH5CAauJQVcOGyiVWtRchm3VA9awB6TUvGfkUFcFuHc313YPs9A7lz+wdze4+/SCnPTgaj4DyiH0+gjUl8340wgByw+OgnYEPWSXd4i63jd88fWikiXyUnwGcuUbUfDurb0CR/LVeERZv4CZTp4W7hade+cq4FD2Ar6v9fQIy4w5paribZWXnX5lxfTy6X64XPsDnrkPd5z79B1Gb7GYWDmLIH7Xx1sPoWYdkIHOkVpexB1kVxA2A9Ieck+Pfo7QgHwwNVBJvtjlPCtboq4to2jvJSfSzjdo=" } } } rows { name { value: "hasSignatureTarget" } } rows { quad { p_iri { } o_iri { prefix_id: 1 name_id: 1 } } } rows { name { value: "signedBy" } } rows { quad { p_iri { prefix_id: 6 name_id: 44 } o_iri { prefix_id: 14 name_id: 28 } } }