Computation Integrity

Verifiable Computation

While storage integrity requirements address the integrity of outsourced data, computation integrity requirements address the correctness of outsourced computation.

Requirements
  • WP32-R1: Computation integrity
  • WP32-R2: Public verifiability
  • WP32-R3: Public delegatability
  • WP32-R4: Managing big databases

Content extracted from deliverable document D2.2 Requirements Analysis and Consolidation