https://w3id.org/sciencelive/np/RA2umDr4wFHRCk343H1FmxYsx2ijsZZ8tYtcfrWKdn7xI/Head https://w3id.org/sciencelive/np/RA2umDr4wFHRCk343H1FmxYsx2ijsZZ8tYtcfrWKdn7xI http://www.nanopub.org/nschema#hasAssertion https://w3id.org/sciencelive/np/RA2umDr4wFHRCk343H1FmxYsx2ijsZZ8tYtcfrWKdn7xI/assertion https://w3id.org/sciencelive/np/RA2umDr4wFHRCk343H1FmxYsx2ijsZZ8tYtcfrWKdn7xI http://www.nanopub.org/nschema#hasProvenance https://w3id.org/sciencelive/np/RA2umDr4wFHRCk343H1FmxYsx2ijsZZ8tYtcfrWKdn7xI/provenance https://w3id.org/sciencelive/np/RA2umDr4wFHRCk343H1FmxYsx2ijsZZ8tYtcfrWKdn7xI http://www.nanopub.org/nschema#hasPublicationInfo https://w3id.org/sciencelive/np/RA2umDr4wFHRCk343H1FmxYsx2ijsZZ8tYtcfrWKdn7xI/pubinfo https://w3id.org/sciencelive/np/RA2umDr4wFHRCk343H1FmxYsx2ijsZZ8tYtcfrWKdn7xI http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.nanopub.org/nschema#Nanopublication https://w3id.org/sciencelive/np/RA2umDr4wFHRCk343H1FmxYsx2ijsZZ8tYtcfrWKdn7xI/assertion https://w3id.org/sciencelive/np/RA2umDr4wFHRCk343H1FmxYsx2ijsZZ8tYtcfrWKdn7xI/zkp-replication-outcome http://schema.org/endDate 2026-04-11 https://w3id.org/sciencelive/np/RA2umDr4wFHRCk343H1FmxYsx2ijsZZ8tYtcfrWKdn7xI/zkp-replication-outcome http://www.w3.org/1999/02/22-rdf-syntax-ns#type https://w3id.org/sciencelive/o/terms/FORRT-Replication-Outcome https://w3id.org/sciencelive/np/RA2umDr4wFHRCk343H1FmxYsx2ijsZZ8tYtcfrWKdn7xI/zkp-replication-outcome http://www.w3.org/2000/01/rdf-schema#label ZKP compliance verification validated with synthetic Donana sensor data https://w3id.org/sciencelive/np/RA2umDr4wFHRCk343H1FmxYsx2ijsZZ8tYtcfrWKdn7xI/zkp-replication-outcome https://w3id.org/sciencelive/o/terms/hasConclusionDescription 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. https://w3id.org/sciencelive/np/RA2umDr4wFHRCk343H1FmxYsx2ijsZZ8tYtcfrWKdn7xI/zkp-replication-outcome https://w3id.org/sciencelive/o/terms/hasConfidenceLevel https://w3id.org/sciencelive/o/terms/HighConfidence https://w3id.org/sciencelive/np/RA2umDr4wFHRCk343H1FmxYsx2ijsZZ8tYtcfrWKdn7xI/zkp-replication-outcome https://w3id.org/sciencelive/o/terms/hasEvidenceDescription 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. https://w3id.org/sciencelive/np/RA2umDr4wFHRCk343H1FmxYsx2ijsZZ8tYtcfrWKdn7xI/zkp-replication-outcome https://w3id.org/sciencelive/o/terms/hasLimitationsDescription Synthetic data only. No EdDSA signature verification inside circuit. Single-party proof, not multi-party supply chain. Circuit size is fixed at compile time. https://w3id.org/sciencelive/np/RA2umDr4wFHRCk343H1FmxYsx2ijsZZ8tYtcfrWKdn7xI/zkp-replication-outcome https://w3id.org/sciencelive/o/terms/hasOutcomeRepository https://github.com/annefou/zkp-environmental-compliance https://w3id.org/sciencelive/np/RA2umDr4wFHRCk343H1FmxYsx2ijsZZ8tYtcfrWKdn7xI/zkp-replication-outcome https://w3id.org/sciencelive/o/terms/hasValidationStatus https://w3id.org/sciencelive/o/terms/Validated https://w3id.org/sciencelive/np/RA2umDr4wFHRCk343H1FmxYsx2ijsZZ8tYtcfrWKdn7xI/zkp-replication-outcome https://w3id.org/sciencelive/o/terms/isOutcomeOf https://w3id.org/sciencelive/np/RAZXfd2G6MUaJKRnxBPnUGHk5ATg5NNFGkEDWE9YiU_fo/zkp-replication-walkthrough https://w3id.org/sciencelive/np/RA2umDr4wFHRCk343H1FmxYsx2ijsZZ8tYtcfrWKdn7xI/provenance https://w3id.org/sciencelive/np/RA2umDr4wFHRCk343H1FmxYsx2ijsZZ8tYtcfrWKdn7xI/assertion http://www.w3.org/ns/prov#wasAttributedTo https://orcid.org/0000-0002-1784-2920 https://w3id.org/sciencelive/np/RA2umDr4wFHRCk343H1FmxYsx2ijsZZ8tYtcfrWKdn7xI/pubinfo https://orcid.org/0000-0002-1784-2920 http://xmlns.com/foaf/0.1/name Anne Fouilloux https://w3id.org/sciencelive/np/RA2umDr4wFHRCk343H1FmxYsx2ijsZZ8tYtcfrWKdn7xI http://purl.org/dc/terms/created 2026-04-12T21:08:24.496Z https://w3id.org/sciencelive/np/RA2umDr4wFHRCk343H1FmxYsx2ijsZZ8tYtcfrWKdn7xI http://purl.org/dc/terms/creator https://orcid.org/0000-0002-1784-2920 https://w3id.org/sciencelive/np/RA2umDr4wFHRCk343H1FmxYsx2ijsZZ8tYtcfrWKdn7xI http://purl.org/dc/terms/license https://creativecommons.org/licenses/by/4.0/ https://w3id.org/sciencelive/np/RA2umDr4wFHRCk343H1FmxYsx2ijsZZ8tYtcfrWKdn7xI http://purl.org/nanopub/x/introduces https://w3id.org/sciencelive/np/RA2umDr4wFHRCk343H1FmxYsx2ijsZZ8tYtcfrWKdn7xI/zkp-replication-outcome https://w3id.org/sciencelive/np/RA2umDr4wFHRCk343H1FmxYsx2ijsZZ8tYtcfrWKdn7xI http://purl.org/nanopub/x/wasCreatedAt https://platform.sciencelive4all.org https://w3id.org/sciencelive/np/RA2umDr4wFHRCk343H1FmxYsx2ijsZZ8tYtcfrWKdn7xI http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://purl.org/nanopub/x/ExampleNanopub https://w3id.org/sciencelive/np/RA2umDr4wFHRCk343H1FmxYsx2ijsZZ8tYtcfrWKdn7xI http://www.w3.org/2000/01/rdf-schema#label NP created using Declaring a replication study outcome according to FORRT https://w3id.org/sciencelive/np/RA2umDr4wFHRCk343H1FmxYsx2ijsZZ8tYtcfrWKdn7xI https://w3id.org/np/o/ntemplate/wasCreatedFromTemplate https://w3id.org/np/RA2zljn0Nw9SadppOyxZoh-_Rxosslrq-vYG-p9SttnJE https://w3id.org/sciencelive/np/RA2umDr4wFHRCk343H1FmxYsx2ijsZZ8tYtcfrWKdn7xI/sig http://purl.org/nanopub/x/hasAlgorithm RSA https://w3id.org/sciencelive/np/RA2umDr4wFHRCk343H1FmxYsx2ijsZZ8tYtcfrWKdn7xI/sig http://purl.org/nanopub/x/hasPublicKey MIICIjANBgkqhkiG9w0BAQEFAAOCAg8AMIICCgKCAgEAoDcOiD+jen8awiJ6DB2ewDw66PeG64hODmgNFwy7GrwQui4HKnHdvxd++1UhTgiOfycxyxBb7sXPSikLw/1TsSyPsEl0P3/+600szxpTGgLNzW+bZ2DVP3d8ERMV1aWpH0ci3B/5vmK+vXQZ4uCoq57NE0MiFg5c13Gy0gd6n7wZYEhYM4AjWSLL0QS/HY+TFZMYL9bCFeATennGrlB2UEjRlw21UB2Ah16ZZ6hxQlfctFJZE7TGnBJPB3ttTjfcOfamhjZVwQ0yV9mv7x6PGiSmkzpJTVLjn8hagoKT05YUwVQArFb+w7f6sXqvvljMigjd/Rbqgbye/lLUAZLfJSnFM58TubfpEJvXV4zNMDEoT3VQ7dokgoLgMrmjZCKATtQ7gomocoTJ1NhN2esRNtGzWaS2obL/mueUQlMlavssZnqL8WICkdAuDlwDVNbsbwEWKQ50kiPdAdduSigifxA4CM7TgvnxqZVoAResEGP6UhTTem3T4CsbEas1Caj9wa7M1jPjACu5LF5BwcVns3ZQHWLipjRjD+9/ur3G8QtuxbNhmXlDYQ6tXxB1lK+Oz7O519b3bA15ilzFl0SdvMBGTe46xaQ9DsJT18THKnPbUhNMy0dH0VtzpB+EEaXZ25Fp9VHMEUqo1lLS9e89eO3efiqkESKQ7wmB+/DlIRcCAwEAAQ== https://w3id.org/sciencelive/np/RA2umDr4wFHRCk343H1FmxYsx2ijsZZ8tYtcfrWKdn7xI/sig http://purl.org/nanopub/x/hasSignature M+OsK8lYn8S+dX/QdKq4htx9d/cyKaz5jdzSBFhYzUB5dLH3uW97TwJcWwZmfIIBqjwhNLFdl5HBs6cOkcspcI1TElII8W9ExHI/m9hlvc/vuzD0hu/SFrbHH197ZGGcXVcVj5Bc1T+PM3FMqCNjHkNe+CrQ1F9EtYBXlvbJG7wI9QKiqMDU5HnDSo9+vuAwytbxDdyFVon1ApKDVvIE+BDI0wuYP7eNra7YVuyD9ExefETt7o73Owf8cC0mG5lhjQsOXbFVSHCsdNgdCe4LCkjl/cuA+42n0345DXqEoGgzLzuYoCRbkQHYVZqP3ycA3GSRNSvtkAWJ0m10cdfyLwwBTMQ/tiJMAfhR/oc6c0sh9HNWL1fOvsSbXqociJ6yLOE52VreENEPH5CAauJQVcOGyiVWtRchm3VA9awB6TUvGfkUFcFuHc313YPs9A7lz+wdze4+/SCnPTgaj4DyiH0+gjUl8340wgByw+OgnYEPWSXd4i63jd88fWikiXyUnwGcuUbUfDurb0CR/LVeERZv4CZTp4W7hade+cq4FD2Ar6v9fQIy4w5paribZWXnX5lxfTy6X64XPsDnrkPd5z79B1Gb7GYWDmLIH7Xx1sPoWYdkIHOkVpexB1kVxA2A9Ieck+Pfo7QgHwwNVBJvtjlPCtboq4to2jvJSfSzjdo= https://w3id.org/sciencelive/np/RA2umDr4wFHRCk343H1FmxYsx2ijsZZ8tYtcfrWKdn7xI/sig http://purl.org/nanopub/x/hasSignatureTarget https://w3id.org/sciencelive/np/RA2umDr4wFHRCk343H1FmxYsx2ijsZZ8tYtcfrWKdn7xI https://w3id.org/sciencelive/np/RA2umDr4wFHRCk343H1FmxYsx2ijsZZ8tYtcfrWKdn7xI/sig http://purl.org/nanopub/x/signedBy https://orcid.org/0000-0002-1784-2920