@prefix this: <https://w3id.org/sciencelive/np/RAkqwTImAu9TAMBcsA4mR58dX_nocCDyE7gS1p100VNtI> .
@prefix sub: <https://w3id.org/sciencelive/np/RAkqwTImAu9TAMBcsA4mR58dX_nocCDyE7gS1p100VNtI/> .
@prefix np: <http://www.nanopub.org/nschema#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix npx: <http://purl.org/nanopub/x/> .
@prefix dc: <http://purl.org/dc/terms/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

sub:Head {
  this: a np:Nanopublication;
    np:hasAssertion sub:assertion;
    np:hasProvenance sub:provenance;
    np:hasPublicationInfo sub:pubinfo .
}

sub:assertion {
  <http://purl.org/aida/zk-SNARK%20proofs%20are%20compact%20enough%20to%20be%20bundled%20with%20standard%20compliance%20reports%20without%20significant%20overhead%20regardless%20of%20the%20number%20of%20input%20measurements.>
    a <http://purl.org/petapico/o/hycl#AIDA-Sentence>;
    <http://purl.org/spar/cito/obtainsSupportFrom> <https://doi.org/10.48550/arXiv.2506.16347>;
    <http://schema.org/about> <http://www.wikidata.org/entity/Q191943>, <http://www.wikidata.org/entity/Q2493>;
    <http://www.w3.org/2004/02/skos/core#related> <https://w3id.org/sciencelive/np/RAUXG-6TNTcNd042eALoNmhfT43EhZEFP3yDSwyuPOB3M> .
}

sub:provenance {
  sub:assertion prov:wasAttributedTo <https://orcid.org/0000-0002-1784-2920> .
}

sub:pubinfo {
  <https://orcid.org/0000-0002-1784-2920> <http://xmlns.com/foaf/0.1/name> " Anne Fouilloux" .
  
  this: a npx:ExampleNanopub;
    dc:created "2026-04-13T17:49:23.252Z"^^xsd:dateTime;
    dc:creator <https://orcid.org/0000-0002-1784-2920>;
    dc:license <https://creativecommons.org/licenses/by/4.0/>;
    npx:hasNanopubType <http://purl.org/petapico/o/hycl>;
    npx:introduces <http://purl.org/aida/zk-SNARK%20proofs%20are%20compact%20enough%20to%20be%20bundled%20with%20standard%20compliance%20reports%20without%20significant%20overhead%20regardless%20of%20the%20number%20of%20input%20measurements.>;
    npx:wasCreatedAt <https://platform.sciencelive4all.org>;
    <http://www.w3.org/2000/01/rdf-schema#label> "AIDA sentence: zk-SNARK proofs are compact enough to be bundled with standard compliance reports without significant overhead regardless of the number of input measurements.";
    <https://w3id.org/np/o/ntemplate/wasCreatedFromTemplate> <https://w3id.org/np/RALmXhDw3rHcMveTgbv8VtWxijUHwnSqhCmtJFIPKWVaA> .
  
  sub:sig npx:hasAlgorithm "RSA";
    npx:hasPublicKey "MIICIjANBgkqhkiG9w0BAQEFAAOCAg8AMIICCgKCAgEAoDcOiD+jen8awiJ6DB2ewDw66PeG64hODmgNFwy7GrwQui4HKnHdvxd++1UhTgiOfycxyxBb7sXPSikLw/1TsSyPsEl0P3/+600szxpTGgLNzW+bZ2DVP3d8ERMV1aWpH0ci3B/5vmK+vXQZ4uCoq57NE0MiFg5c13Gy0gd6n7wZYEhYM4AjWSLL0QS/HY+TFZMYL9bCFeATennGrlB2UEjRlw21UB2Ah16ZZ6hxQlfctFJZE7TGnBJPB3ttTjfcOfamhjZVwQ0yV9mv7x6PGiSmkzpJTVLjn8hagoKT05YUwVQArFb+w7f6sXqvvljMigjd/Rbqgbye/lLUAZLfJSnFM58TubfpEJvXV4zNMDEoT3VQ7dokgoLgMrmjZCKATtQ7gomocoTJ1NhN2esRNtGzWaS2obL/mueUQlMlavssZnqL8WICkdAuDlwDVNbsbwEWKQ50kiPdAdduSigifxA4CM7TgvnxqZVoAResEGP6UhTTem3T4CsbEas1Caj9wa7M1jPjACu5LF5BwcVns3ZQHWLipjRjD+9/ur3G8QtuxbNhmXlDYQ6tXxB1lK+Oz7O519b3bA15ilzFl0SdvMBGTe46xaQ9DsJT18THKnPbUhNMy0dH0VtzpB+EEaXZ25Fp9VHMEUqo1lLS9e89eO3efiqkESKQ7wmB+/DlIRcCAwEAAQ==";
    npx:hasSignature "QsW+EBq2zRdNuQupqXwKlyndCFZddjyWoNH1dsHkDjdC3e4zUUnF2bZc3prjaA7QDHku3Oz/ok8om5jtJHLauPz9IjTAs9mK3xZRDmBkmT/YMeDk1aTjdviDRacZlFjGqOX/G+F7va5vtoX69iklyWgkyOxIbG1khIYHQXu8PSgppcOxj+G5vK3NqtEj0NqfuHzOwk9vTlago1QOg+qQjil8XUWq3KO32d4j7zfl9cP25sJErDXdL4/A+zcUS4khUmL7ICobFVvuNLglYsZ6C6blboK8KcECvsjDhcmFzzXFiuxGFoV5C0RJhRcWauhuHqfbpsgDvMHDrZJ/Y20NpOVaHJj2QpGVnZD+8uAeo0vDQFnduWuOy04ePrKKkoQqvxyeB7QtUS20p0wBJ7WkhhsFyKQbFv0+Yx6bgaQTOA2J8yPLqlgePjw6Qn82aVnEsMbwwA+MO9VkiBQLCZoY4NetG5z4cO1DfazRmFWDQHJKK4OLo3hO2cMsAFDWpERZQFalXGJmLadaKaA+9tc6boXE8sCZkEYyv7zNOtscE5lrh3oFqPxuUIwyil7lbey4QHLNbvhaPdSsquDhucFh3vwxx9oNP56o1myDZXdJfXNtWvN1fkPEAm981DidF+Tf/KaOt9B77XUW67iwz4l+EQKe96G+HT7mQkJnviwZAPI=";
    npx:hasSignatureTarget this:;
    npx:signedBy <https://orcid.org/0000-0002-1784-2920> .
}