AIDA sentence: Privacy-preserving verification using zk-SNARKs can operate across a multi-party chain where each party proves the correctness of their computation without revealing private inputs to other parties. Example hycl AIDA-Sentence

0000-0002-1784-2920, 13 Apr 2026, 17:52:14 UTC

 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. Example hycl AIDA-Sentence

0000-0002-1784-2920, 13 Apr 2026, 17:49:23 UTC

 AIDA sentence: Cryptographic signatures from secure hardware elements on sensor devices can be verified inside a zk-SNARK circuit to prove that input data is authentic without revealing the measurements. Example hycl AIDA-Sentence

0000-0002-1784-2920, 13 Apr 2026, 17:45:03 UTC

 Paper annotation: The approach can also be used in other industries. For instance, in an automobile manufacturing supply chain, motor part manufacturers would not want to disclose where their factories are or some of the metrics regarding the production of their products. cites Example

0000-0002-1784-2920, 13 Apr 2026, 17:39:50 UTC

 Paper annotation: zk-SNARK proofs are small enough (a few kilobytes) to be bundled along with emissions reporting. cites Example

0000-0002-1784-2920, 13 Apr 2026, 17:37:58 UTC

 Paper annotation: To make it more difficult to cheat on the electricity usage figures, we can assume that the data centre operator uses smart meters with a secure hardware element that signs meter readings with a private key configured by the meter manufacturer. cites Example

0000-0002-1784-2920, 13 Apr 2026, 17:36:11 UTC

 NP created using Defining a PCC-based research question Example PccReviewQuestion

0000-0002-1784-2920, 12 Apr 2026, 21:27:26 UTC

 NP created using Declaring a replication study outcome according to FORRT FORRT-Replication-Outcome Example

0000-0002-1784-2920, 12 Apr 2026, 21:08:24 UTC

 NP created using Declaring a replication study design according to FORRT FORRT-Replication-Study Example Reproduction-Study

0000-0002-1784-2920, 12 Apr 2026, 21:05:03 UTC

 ZKP-based privacy-preserving environmental compliance verification data_governance-FORR... FORRT-Claim

Anne Fouilloux, 12 Apr 2026, 18:11:50 UTC