fix def: Include conjectured output hashes in formula hash

polydawn / repeatr

Repeatr: Reproducible, hermetic Computation. Provision containers from Content-Addressable snapshots; run using familiar containers (e.g. runc); store outputs in Content-Addressable form too! JSON API; connect your own pipelines! (Or, use github.com/polydawn/stellar for pipelines!)

https://repeatr.io

Apache License 2.0

68 stars 5 forks source link

fix def: Include conjectured output hashes in formula hash #91

Closed tazjin closed 7 years ago

tazjin commented 7 years ago

The hashes of conjectured outputs should be consistent for the same set of input hashes. It follows that because we include input hashes in the hash, including output hashes for conjectured outputs should be safe.

This fixes #90

Signed-off-by: Vincent Ambo tazjin@gmail.com

tazjin commented 7 years ago

Conjecture was removed in #97 (which I disagree with) but it breaks this PR.